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

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

ГОСТ Р 71207, касающийся статического анализа кода, вводит термин «модельный вариант» ошибок. Дело в том, что невозможно в общем виде искать такие ошибки, как неопределенное поведение, разыменование нулевых указателей или опечатки. Но искать их нужно. Как же создатели анализаторов выходят из этой ситуации? Как раз с помощью понятия модельных вариантов ошибок (даже не зная, что они так называются), сводя поиск ошибки общего типа к задаче поиска ошибок множества подтипов. Андрей Карпов предлагает заглянуть внутрь PVS-Studio и посмотреть, как происходит поиск ошибок, несмотря на технологические ограничения методологии статического анализа. Приятного просмотра и чистого кода :) ---------------------------------------------------------------------------------------------- 🎁Попробовать PVS-Studio бесплатно в течение месяца: https://pvs-studio.ru/youtube_ru 📬Наша поддержка: https://pvs-studio.com/ru/about-feedb... ---------------------------------------------------------------------------------------------- Website: https://pvs-studio.com Facebook:   / staticcodeanalyzer   Twitter:   / code_analysis   Instagram:   / pvsstudio   Vk: https://vk.com/pvsstudio_rus #PVSStudio