Проверка исходного кода свободного графического редактора Krita 4.0 +37
Публикации с тегом статический анализ
Статический анализ и property-based тестирование: вместе мы сила +21
Пылесосим код IDEA Ultimate с помощью анализа потоков данных +41
Как PVS-Studio ищет ошибки: методики и технологии +58
Статический анализатор HuntBugs: проверяем IntelliJ IDEA +39
Статический анализ printf-like функций в Си при помощи libclang +16
Пишем простой анализатор кода на Roslyn +21
Проверяем открытый исходный код UEFI для Intel Galileo при помощи PVS-Studio +39
