The OpenNET Project / Index page

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



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

Оглавление

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

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


10. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +4 +/
Сообщение от Аноним (-), 25-Окт-16, 11:56 
Я на всегда запомню, что PVS - этот тот продукт, который имел возможность очень круто попиариться, но не смог. Была их реклама, что де при проверке openssl найдено столько-то багов, а чуть позже объявили о найденной heart bleed... причем из заявления разработчиков их совершено не волнует, почему аналайзер его не нашел.
Ответить | Правка | Наверх | Cообщить модератору

11. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Аноним (-), 25-Окт-16, 11:57 
зато "В настоящее время в PVS-Studio проверен 271 открытый проект, в результате проверки выявлено 10466 ошибок."
Ответить | Правка | Наверх | Cообщить модератору

21. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +12 +/
Сообщение от Andrey_Karpov (ok), 25-Окт-16, 12:31 
Тот баг не нашел ни один анализатор. Потом были статьи, что мол если сделать так, вот так и вот тут ещё настроечку поменять, а вот здесь подсказать специальным комментарием, то анализатор X это найдёт. Но это не считается. По факту все анализаторы облажались. И это нормально, в том смысле что никто и не обещал, что анализаторы должны находить КАЖДУЮ ошибку. Искусственный интеллект ещё не придумали. Но не смотря на свою неидеальность, статические анализаторы всё равно приносят пользу и это факт.
Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

74. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от АнонимХ (ok), 25-Окт-16, 17:31 
> Искусственный интеллект ещё не придумали.

кстати, даже AI не будет находить ВСЕ ошибки. Это "проблема разрешения", она не имеет решения.

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

144. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (-), 26-Окт-16, 17:27 
> кстати, даже AI не будет находить ВСЕ ошибки. Это "проблема разрешения", она
> не имеет решения.

Кстати на поприкалываться: systemd спалил дедлок в одной из моих программ и серьезную проблему с random на платформе. А казалось бы всего-то сделали апи вачдога и измерение времени старта сервисов.

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

76. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (-), 25-Окт-16, 18:10 
> Но не смотря на свою неидеальность, статические анализаторы всё равно приносят пользу и это факт.

конечно! они приносят бабки! а уж какие именно баги они ищут, не суть важно.

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

110. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Vkni (ok), 26-Окт-16, 04:54 
> Искусственный интеллект ещё не придумали.

Так вы с естественным интеллектом практически в каждой статье не можете исправить пару ошибок, т.к. вы не знаете детальных требований к коду. Т.е. и ИИ тут на 100% не поможет.

С другой стороны, значительная часть ошибок, которые вы находите, невозможна в ряде более современных и менее эклектичных языках, чем С++.

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

121. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (-), 26-Окт-16, 08:46 
> С другой стороны, значительная часть ошибок, которые вы находите, невозможна в ряде
> более современных и менее эклектичных языках, чем С++.

Только этим языкам все это что-то не помогло. На плюсах ворочают большие проекты критичные к скорости. И это довольно много софта. А эти языки - ну они там где-то есть, да. И у них других проблем есть. И в целом получается Неуловимый Джо - ошибок на них никто не делает, потому что ими никто не пользуется. Логично, что сказать.

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

154. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Vkni (ok), 27-Окт-16, 00:56 
> Только этим языкам все это что-то не помогло.

Помогло, помогло, не переживайте.

> И это довольно много софта.

Софта вообще очень много.

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

160. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (-), 27-Окт-16, 09:49 
> Помогло, помогло, не переживайте.

А по ним и не скажешь. Вон весь гитхаб js'ом заспамили. Но это наверное не про него было?

> Софта вообще очень много.

Я бы даже сказал что его настолько много что найти приличный софт стало целым приключением.

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

163. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Kern (?), 27-Окт-16, 11:43 
Ой да действительно, невозможны, именно поэтому существуют всякие Infer от фейсбука, Community-driven FindBugs, PMD и прочие прочие.
Ответить | Правка | К родителю #110 | Наверх | Cообщить модератору

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

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




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

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