Разработка игр - долгий и сложный процесс, и появления ошибок не избежать. Существует множество подходов для минимазиции ошибок в коде: код-ревью, юнит-тесты и прочие. Одним из важных этапов проверки кода, которым зачастую пренебрегают, является статический анализ исхо…
За последнее время в статическом анализаторе PVS-Studio появилось немало интересных нововведений. Помимо реализации новых диагностических правил, улучшения механизмов анализа, мы также непрерывно работаем над расширением возможностей интеграции с различными системами. …
Обзор различных багов, которые были найдены разработчиками PVS-Studio во время проверки различных открытых проектов. Статические анализаторы способны находить проблемы различных типов, поэтому им всегда есть чем удивить.
Время от времени пользователи спрашивают, есть ли какой-либо материал, который рассматривает возможности анализатора, описывает, что это такое, и так далее. По этой причине команда PVS-Studio решила записать это видео, в котором ведущий разработчик Филипп расскажет, чт…
В данном видео продемонстрирован пример использования статического анализатора кода PVS-Studio совместно с интегрированной средой разработок KEIL 5 и с применением генератора кода STM32CubeMX.
Разработчики PVS-Studio продемонстрируют, как можно эффективно использовать инструменты статического анализа, как статический анализ может быть включен в CI (на примере стека "Docker + Jenkins + Maven + Java-анализатор PVS-Studio"). Также будет показан процесс интеграц…
Автор доклада поговорит о нём на примере разработки статического анализатора. Рассмотрит классификацию и различные виды Data Flow анализа, смежные технологии, взаимодополняющие друг друга и проблемы, возникающие при его разработке, и сюрпризы, которые преподносит C++ п…
Разработка диагностики V3134.В этом видео будет кратко показано, как разрабатываются новые диагностики для нашего статического анализатора PVS-Studio на примере новой C# диагностики V3134. Будет рассказано, как идея или случайно найденная ошибка в коде превращается в п…
Разработка диагностики V3133.В этом видео будет кратко показано, как разрабатываются новые диагностики для статического анализатора PVS-Studio на примере новой C# диагностики. Будет продемонстрировано, как идея или случайно найденная ошибка в коде превращается в полноц…
Дело в том, что сторонние наблюдатели видят только вершину всего процесса, так как им доступен для изучения только простой интерфейс, который предоставляют анализаторы для взаимодействия с миром. Это ведь не графический редактор с сотнями кнопок и рычажков. В результат…
