Павел Беликов
Архитектор

Как работает анализ Data Flow в статическом анализаторе кода

Конференция: CoreHard 2018.
Анализ Data Flow (потоков данных) - технология анализа исходного кода программ, широко используемая в различных development tools: компиляторах, линтерах, IDE.

Автор доклада поговорит о нём на примере разработки статического анализатора. Рассмотрит классификацию и различные виды Data Flow анализа, смежные технологии, взаимодополняющие друг друга и проблемы, возникающие при его разработке, и сюрпризы, которые преподно...

7 апреля 2018 г.

Современный статический анализ кода: что умеет он, чего не умели линтеры

Конференция: CoreHard 2017.
Статический анализ появился почти 40 лет назад.
В своём докладе автор хочет показать, чему за это время научились статические анализаторы. Он рассмотрит различные методики анализа, как они появлялись и какие ошибки можно найти с помощью них.

Автор доклада предлагает посмотреть на примеры ошибок, найденных PVS-Studio в Open Source проектах, поговорить о том, чем статический анализатор отличается от "линтеров" и некотор...

12 февраля 2017 г.

Как избежать ошибок, используя современный C++

Конференция: C++ Siberia 2016.
Одной из проблем C++ является большое количество конструкций, поведение которых не определено или просто неожиданно для программиста. С такими ошибками разработчики часто сталкиваются при разработке статического анализатора кода. Но, как известно, лучше всего находить ошибки ещё на этапе компиляции.

На этом докладе будет сказано о том, какие техники из современного C++ позволяют писать не только более простой и вы...

26 августа 2016 г.


Найденные ошибки

Проверено проектов
411
Собрано ошибок
14 123

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

goto PVS-Studio;
Этот сайт использует куки и другие технологии, чтобы предоставить вам более персонализированный опыт. Продолжая просмотр страниц нашего веб-сайта, вы принимаете условия использования этих файлов. Если вы не хотите, чтобы ваши данные обрабатывались, пожалуйста, покиньте данный сайт. Подробнее →
Принять