The OpenNET Project / Index page

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



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

Оглавление

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

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


19. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok), 25-Окт-16, 12:26 
Некрасивый код, это не к нам. :) PVS-Studio ориентирован на поиск настоящих ошибок. Прошу посмотреть внимательнее на то, что он выявляет: http://www.viva64.com/ru/examples/

Суть статического анализа, не в том, чтобы прискакать на единороге перед релизом и найти два фатальных бага. Суть статического анализа в регулярном использовании и нахождении многих ошибок на самом раннем этапе. Зачем долго и мучиться отлаживаться, если можно найти многие ошибки сразу. Да не все ошибки, но многие. Это экономия сил и времени разработчика. Пример: https://habrahabr.ru/post/198836/

И ещё на тему, что программы и так работают: http://www.viva64.com/ru/b/0336/


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

32. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Аноним (-), 25-Окт-16, 13:19 
> Прошу посмотреть внимательнее на то, что он выявляет: http://www.viva64.com/ru/examples/

Ну да, реальные ошибки находятся - спору нет.

Хотя по сути, тестировался бы код... Ну потому что "infinite loop" - это на самом деле очень серьёзно. И что, хотите сказать, что мыши плакали, кололись, но продолжали пользоваться программой, которая зависала? Значит, этот код либо не для продакшена, либо вообще не используется. Ну зависание же, ну infinite loop же!

А вот с возвращением из функции указателя на локальную переменную - это да, это круто. Но тогда пвс должна сразу писать письмо в отдел расстрелов.

В общем, как ни крути (превьюшка на видео к новости (а видео-то уже удалилось!)): Кому нужен статический анализатор?
- новичкам
- "индусам"
- плохим программистам

Поэтому если компания использует пвс, значит контингент понятен :)

Я - хрен с горы - заявляю: инструмент, в принципе, полезен. Но...

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

43. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +2 +/
Сообщение от angra (ok), 25-Окт-16, 14:12 
>  Кому нужен статический анализатор?
> - новичкам
> - "индусам"
> - плохим программистам
> Поэтому если компания использует пвс, значит контингент понятен :)

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


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

48. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Аноним (-), 25-Окт-16, 15:01 
> Я так понимаю, ты сейчас даш нам пример написанного тобой серьезного софта без единой ошибки, причем даже на этапе написания, код сразу писался идеальный.

Примера не будет, так как этот проект пока ещё только в планах, но, поверь, у него уже идеальный код!

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

54. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от Аноним (-), 25-Окт-16, 15:38 
философ и вонючка!
Ответить | Правка | Наверх | Cообщить модератору

84. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (-), 25-Окт-16, 19:52 
> философ и вонючка!

А тот чудак который про Тюринга не в курсе? Обнаружить все infinite loops невозможно даже чисто теоретически.

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

90. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (-), 25-Окт-16, 20:48 
Изнутри LLVM запросто, в GCC не так просто в реализации через ядро, не говоря уже про обертку с нуля.
Ответить | Правка | Наверх | Cообщить модератору

119. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (-), 26-Окт-16, 08:34 
> Изнутри LLVM запросто,

Что значит - изнутри LLVM? Ты готов гонять симуляцию моей програмы вечно, чтобы посмотреть загнется ли она в конце концов? Ну вот отработала моя программа два года. И какой будет вердикт? А может, я в программе на часы смотрю и жду 2027 года, и закруглюсь именно тогда? И как ты это будешь анализировать, хоть LLVM'ом, хоть чем там еще? Тебе для анализа Full AI потребуется как минимум, и тот лажать по черному будет.

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

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

                              ^- Error at line 1: syntax error.

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

61. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (-), 25-Окт-16, 15:55 
Щито? Так было на видосе! А масса уже делает выводы о том, что увидела...
Ответить | Правка | К родителю #43 | Наверх | Cообщить модератору

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

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




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

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