The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Статический анализатор PVS-Studio доступен для Linux (реклама), opennews (??), 25-Окт-16, (0) [смотреть все] –4

Сообщения [Сортировка по времени | RSS]


97. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (-), 25-Окт-16, 23:12 
>приводящие к самому мерзкому типу ошибок - не воспроизводимым, проявляющимся лишь время от времени.

По-моему как раз от таких проблем никакой статический анализатор не спасет, ведь только в рантайме (легче всего - с помощью valgrind/callgrind/helgrind/massif/drd) можно задетектить периодические переполнения буфферов, дэдлоки, небезопасное использование разделяемой памяти и т.п.

Ответить | Правка | К родителю #18 | Наверх | Cообщить модератору

98. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok), 26-Окт-16, 00:09 
И да, и нет. Всё зависит от типа ошибки. То, что легко выявляет статический анализ, бывает сложно/невозможно выявить динамическим. И наоборот.

P.S. Близко по теме: http://www.viva64.com/ru/b/0248/

Ответить | Правка | Наверх | Cообщить модератору

164. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (-), 27-Окт-16, 14:26 
> P.S. Близко по теме: http://www.viva64.com/ru/b/0248/

Поздравления, вы тоже придумали ASAN. Но это уже несколько лет реализовано и в clang и в gcc и продать что-то такое за деньги реально наверное только пользователям вьюжлстудии которые еще не выбросили MS'овский компилятор. Ну или если у вас производительность сильно выше. ASAN все-таки ощутимо просаживает программу.

Ответить | Правка | Наверх | Cообщить модератору

165. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok), 27-Окт-16, 15:01 
Это никак не мешает нам легко находить ошибки в этих самых clang и gcc. Proof: http://www.viva64.com/en/b/0425/ , http://www.viva64.com/en/b/0108/ , http://www.viva64.com/en/b/0155/ и скоро ещё одна статья будет про clang. Так что деньги мы получаем не зря за PVS-Studio. :)
Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру