LINUX.ORG.RU
Новости — Ядро Linux  

Ядро Linux проверено статическим анализатором PVS Studio

 , , , ,


2

6

Исходный код ядра Linux (3.18.1) был проверен проприетарным статическим анализатором PVS Studio, разработанным в Туле. Анализатор нашёл ряд ошибок и крайне подозрительных участков кода. Полный текст статьи можно найти на сайте компании или на habrahabr.ru.

PVS-Studio ориентирован только на Windows, поэтому для проверки исходного кода ядра Linux была написана утилита на С++, которая для каждого запущенного процесса компилятора сохраняла командную строку, текущую директорию и переменные окружения. По результатам проверки были выбраны и подробно описаны некоторые интересные сообщения.

>>> Результаты проверки ядра Linux (3.18.1) анализатором PVS-Studio

☆

Проверено: Shaman007 ()
Последнее исправление: AP (всего исправлений: 2)

 ← 1 2 3 4 →
Ответ на: комментарий от Deleted

Так и программируете, грепом и файндом? Ну lol, идите, разыменовывайте нулевые указатели. Кстати, таблица прерываний реального режима в x86 по какому адресу находится? К системному программированию не притрагивайтесь пока пожалуйста, ну очень вас прошу. Засмеют ведь.

A-234 ★★★★★
()

Спасибо уважаемый Андрей!

Спасибо Вам Андрей за проделанную работу и неоспоримый вклад в развитие открытого кода. Было бы очень здорово, если бы на досуге Вы протестировали код такого важнейшего и самого огромного проекта - LibreOffice.. Уверен, Ваша и без того светлая карма засияла бы цветами индиго, а мы были бы очень благодарны Вам.

Не обращайте внимания на хамов. Здесь люди разные - есть нормальные, есть шпионы майкрософтов и есть просто шпионы, не заинтересованные в закрытии их специальных хитрых лазеек...

asm64kmr
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
 ← 1 2 3 4 →
Ядро Linux