Андрей Карпов — Модельные варианты ошибок в статических анализаторах

Подробнее о конференции SafeCode:
— — Скачать презентацию с сайта SafeCode —
ГОСТ Р 71207, касающийся статического анализа кода, вводит термин «модельный вариант» ошибок. Мне как разработчику статического анализатора это понятие кажется очень интересным и важным. Дело в том, что невозможно в общем виде искать такие ошибки, как неопределенное поведение, разыменование нулевых указателей или опечатки. Но искать их нужно. Как же создатели анализаторов выходят из этой ситуации? Как раз с помощью понятия модельных вариантов ошибок (даже не зная, что они так называются), сводя поиск ошибки общего типа к задаче поиска ошибок множества подтипов. Андрей предлагает заглянуть внутрь PVS-Studio и посмотреть, как происходит поиск ошибок, несмотря на технологические ограничения методологии статического анализа.