форумы  помощь  поиск  регистрация  вход/выход  слежка

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

"Методы работы и история возникновения анализатора кода 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.dev/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 (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 | Индекс форумов | Темы | Пред. тема | След. тема