The OpenNET Project / Index page

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

форумы  помощь  поиск  регистрация  вход/выход  слежка  RSS
"Методы работы и история возникновения анализатора кода PVS-S..."
Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Изначальное сообщение [ Отслеживать ]

"Методы работы и история возникновения анализатора кода PVS-S..."  –1 +/
Сообщение от opennews (??) on 17-Янв-17, 20:35 
Компания СиПроВер  подготовила несколько статей, рассказывающих о внутреннем устройстве и истории создания статического анализатора PVS-Studio (http://www.viva64.com/ru/pvs-studio/), позволяющего автоматизировать выявление ошибок в коде на языках C, C++ и C#.


В первой статье "Как PVS-Studio ищет ошибки: методики и технологии (http://www.viva64.com/ru/b/0466/)" приводится обзор технологий,  используемых для поиска ошибок и уязвимостей  в коде. Показано, как та или иная технология позволяет выявлять ошибки в программах. Проверка  кода   выполняется с использованием графа потока управления (control flow graph) и дерева разбора (http://www.viva64.com/ru/t/0039/), для построения которого используется собственный парсер. Для языков   C и C++ анализатор выполняет около 340 диагностик, для C# - 120. В будущем не исключается появление поддержки Objective-C или Java.


Для определения ошибок применяются такие технологии, как анализ на основе сопоставления с типовыми шаблонами ошибочного кода; вычисление полной информации о типах всех переменных и выражений на основе семантической модели; аннотирование методов для получения расширенной информации об используемых методах; проверка диапазонов и переполнений через определение значений переменных при помощи механизма символьного выполнения; анализ потока данных для вычисления ограничений значений переменных при обработке различных конструкций языка. В качестве тестового полигона при разработке PVS-Studio осуществляется проверка кода различных открытых проектов. На данный момент проверено около 270 открытых проектов (http://www.viva64.com/ru/inspections/), в которых выявлено более 10 тысяч ошибок (http://www.viva64.com/ru/examples/).

Во второй статье "Как 10 лет назад начинался проект PVS-Studio (http://www.viva64.com/ru/b/0465/)" подводятся промежуточные итоги в развитии анализатора PVS-Studio и рассказывается о том как начинался и развивался проект. В настоящее время в компании СиПроВер, разрабатывающей PVS-Studio, работает 24 человека, разработка ведётся в городе Тула.  

URL: http://www.viva64.com/ru/b/0466/
Новость: http://www.opennet.ru/opennews/art.shtml?num=45872

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

Оглавление

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


2. "Методы работы и история возникновения анализатора кода PVS-S..."  +30 +/
Сообщение от Анонимъ on 17-Янв-17, 20:37 
А где доказательства, что этот ваш PVS-Studio сам не нашпигован ошибками? Кто-то проверял его независимыми OpenSource-анализаторами? Иначе какой толк в программе с закрытыми исходниками, мало ли чего она там найдет?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

4. "Методы работы и история возникновения анализатора кода PVS-S..."  –19 +/
Сообщение от Michael Shikimorin on 17-Янв-17, 20:41 
мало ли чего она там найдет?
Всмысле? Она тебе пишет что нашла - а дальше ты сам смотришь что да как.
Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

8. "Методы работы и история возникновения анализатора кода PVS-S..."  –20 +/
Сообщение от Andrey_Karpov (ok) on 17-Янв-17, 21:30 
Мы очень тщательно подходим к тестированию. В статье "Как PVS-Studio ищет ошибки: методики и технологии" есть глава "Тестирование PVS-Studio". Например, мы регулярно проверяем наш продукт с помощью анализатора Clang.
Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

29. "Методы работы и история возникновения анализатора кода PVS-S..."  –23 +/
Сообщение от Аноним (??) on 18-Янв-17, 12:37 
Вас только ошибки беспокоят? Нынче модны кружевные зонтики и калитки на заднем дворе.
Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

32. "Методы работы и история возникновения анализатора кода PVS-S..."  +23 +/
Сообщение от Анонимъ on 18-Янв-17, 13:21 
Крутняк, вам там таск поставили чтоль целой командой меня минусовать? :D
Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

40. "Методы работы и история возникновения анализатора кода PVS-S..."  –22 +/
Сообщение от Andrey_Karpov (ok) on 21-Янв-17, 17:27 
> Крутняк, вам там таск поставили чтоль целой командой меня минусовать? :D

Видимо людям не понравился странный и бессмысленный вопрос. Наличие ошибок в PVS-Studio в худшем случае приведёт к тому, что он не обнаружит какие-то ошибки в вашем коде. Неприятно, но не критично. В конце концов без PVS-Studio они всё равно там есть. Сам же анализатор изменения в код не вносит, а только предлагает обратить программисту внимания на определённые места и исправить их при необходимости.

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

45. "Методы работы и история возникновения анализатора кода PVS-S..."  +20 +/
Сообщение от Анонимс on 24-Янв-17, 23:21 
> Видимо людям не понравился странный и бессмысленный вопрос

Следуя вашей логике, отношение к вашему изделию мягко говоря аналогичное.

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

11. "Методы работы и история возникновения анализатора кода PVS-S..."  –22 +/
Сообщение от Аноним (??) on 17-Янв-17, 22:07 
> дерева разбора, для построения которого используется собственный парсер.

что означает появление очередного диалекта C. код который для них без багов - у других будет с ошибками и наоборот.

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

41. "Методы работы и история возникновения анализатора кода PVS-S..."  –22 +/
Сообщение от Andrey_Karpov (ok) on 21-Янв-17, 17:29 
>> дерева разбора, для построения которого используется собственный парсер.
> что означает появление очередного диалекта C. код который для них без багов
> - у других будет с ошибками и наоборот.

Всё смеалось, кони, люди... Не понимаю, причем здесь новый диалект C. Собственный парсер C/C++ кода нам удобно позволяет поддерживать одновременно несколько компиляторов, у каждого есть свои недокументированные особенности.

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

12. "Методы работы и история возникновения анализатора кода PVS-S..."  +19 +/
Сообщение от тоже Аноним (ok) on 17-Янв-17, 22:29 
> и дерева разбора, для построения которого используется собственный парсер

На xkcd еще нет картинки с блок-схемой, испещренной квадратиками с надписью "MAGIC"? Надо рисовать...

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

13. "Методы работы и история возникновения анализатора кода PVS-S..."  –24 +/
Сообщение от Michael Shigorin email(ok) on 17-Янв-17, 22:56 
>> и дерева разбора, для построения которого используется собственный парсер
> На xkcd еще нет картинки с блок-схемой, испещренной квадратиками с надписью "MAGIC"?

За неимением гербовой libcparser... :]

> Надо рисовать...

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

14. "Методы работы и история возникновения анализатора кода PVS-S..."  –22 +/
Сообщение от Аноним (??) on 17-Янв-17, 23:00 
Нарисуй, сделаем вид, что это смешно.
Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

16. "Методы работы и история возникновения анализатора кода PVS-S..."  –20 +/
Сообщение от iPony on 18-Янв-17, 05:49 
Годно, нужно.
Наряду с самоварами и пряниками, у Тулы появился еще один повод для гордости.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

22. "Методы работы и история возникновения анализатора кода PVS-S..."  –21 +/
Сообщение от anonimous on 18-Янв-17, 10:34 
> Наряду с самоварами и пряниками

Ценность примерно такая же.

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

25. "Методы работы и история возникновения анализатора кода PVS-S..."  –21 +/
Сообщение от kai3341 (ok) on 18-Янв-17, 11:47 
Haters gonna hate
Ответить | Правка | ^ к родителю #22 | Наверх | Cообщить модератору

27. "Методы работы и история возникновения анализатора кода PVS-S..."  +24 +/
Сообщение от Аноним (??) on 18-Янв-17, 12:32 
PVS-Studio наконец стала OpenSource? Или опять тупо реклама?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

31. "Методы работы и история возникновения анализатора кода PVS-S..."  –22 +/
Сообщение от J.L. on 18-Янв-17, 12:45 
> PVS-Studio наконец стала OpenSource? Или опять тупо реклама?

не тупо, а вполне годная реклама, если бы такой был заполнен телевизор - я б его вероятно и смотрел бы

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

33. "Методы работы и история возникновения анализатора кода PVS-S..."  –21 +/
Сообщение от Аноним (??) on 18-Янв-17, 14:09 
А чем плоха реклама? Проект нужный, реклама конкретная и по делу, а opennet ты не донатишь на поддержание хоста.
Ответить | Правка | ^ к родителю #27 | Наверх | Cообщить модератору

44. "Методы работы и история возникновения анализатора кода PVS-S..."  +19 +/
Сообщение от Анонимс on 24-Янв-17, 10:47 
Тем что она реклама! Проект фуфлыжный, байка про голодающих админов и поддержках хоста так смешна что даже грустно.
Ответить | Правка | ^ к родителю #33 | Наверх | Cообщить модератору

35. "Методы работы и история возникновения анализатора кода PVS-S..."  +23 +/
Сообщение от Илья (??) on 18-Янв-17, 19:31 
цены у него конские. можно за такие деньги разработчика нанять, который способен ошибки бизнесс логики находить.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

37. "Методы работы и история возникновения анализатора кода PVS-S..."  –23 +/
Сообщение от J.L. on 19-Янв-17, 11:06 
> цены у него конские. можно за такие деньги разработчика нанять, который способен
> ошибки бизнесс логики находить.

цену не смотрел, но отвечаю что разработчик соло не осилит
одно без другого - большое проседание способности поиска ошибок

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

39. "Методы работы и история возникновения анализатора кода PVS-S..."  +22 +/
Сообщение от Аноним (??) on 21-Янв-17, 02:58 
А почему у Вас цены конские?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

42. "Методы работы и история возникновения анализатора кода PVS-S..."  –23 +/
Сообщение от Andrey_Karpov (ok) on 21-Янв-17, 17:31 
> А почему у Вас цены конские?

Ну какие-же они конские. Обыкновенные цены, даже ниже чем у конкурентов, таких как Coverity или Klocwork.

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

43. "Методы работы и история возникновения анализатора кода PVS-S..."  +25 +/
Сообщение от Аноним (??) on 23-Янв-17, 23:52 
Любая проприетарщина, она всегда проприетарщина, особенно если она позиционируется с наилучшими намерениями.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

46. "Методы работы и история возникновения анализатора кода PVS-S..."  +21 +/
Сообщение от Дядя Гриша on 27-Янв-17, 11:39 
> несколько статей, рассказывающих о внутреннем устройстве и истории создания

Как же коммерсанты обожают про себя любимого таким самовлюблённым пафосом всюду выпостиваться, смешно на них и противно!

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

47. "Методы работы и история возникновения анализатора кода PVS-S..."  –20 +/
Сообщение от Andrey_Karpov (ok) on 27-Янв-17, 21:07 
Сделал обзорную презентацию о том, что представляет PVS-Studio на начало 2017 года. Можно быстро узнать, какие возможности предоставляет анализатор: http://www.slideshare.net/Andrey_Karpov/pvsstudio-windowslin...
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

48. "Методы работы и история возникновения анализатора кода PVS-S..."  +14 +/
Сообщение от Аноним (??) on 29-Янв-17, 18:40 
Мне вот интересно, вам за подобное хорошо платят?
Ответить | Правка | ^ к родителю #47 | Наверх | Cообщить модератору

49. "Методы работы и история возникновения анализатора кода PVS-S..."  +15 +/
Сообщение от Аноним (??) on 29-Янв-17, 21:14 
> Мне вот интересно, вам за подобное хорошо платят?

Он основатель и один из владельцев бизнеса.

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

50. "Методы работы и история возникновения анализатора кода PVS-S..."  +15 +/
Сообщение от Аноним (??) on 31-Янв-17, 13:12 
> проверено около 270 открытых проектов, в которых выявлено более

А по закрытым проектам статистика есть? Закрытые проверятели делятся инфой?

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

53. "Методы работы и история возникновения анализатора кода PVS-S..."  +5 +/
Сообщение от Аноним (??) on 05-Фев-17, 22:29 
Закрытый закрытого закрыл?
Ответить | Правка | ^ к родителю #50 | Наверх | Cообщить модератору

54. "Методы работы и история возникновения анализатора кода PVS-S..."  +/
Сообщение от Аноним (??) on 08-Фев-17, 11:11 
)))
Ответить | Правка | ^ к родителю #53 | Наверх | Cообщить модератору

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

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




Спонсоры:
Слёрм
Inferno Solutions
Hosting by Ihor
Хостинг:

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