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