Модельные варианты ошибок, или Как статические анализаторы находят ошибки, которые не могут искать

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

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