Записи с меткой «code audit»

Подводные камни статического анализа: predefined macros

2 комментария
27 Июн 2013, Андрей Фадин

Достаточно часто, например в рамках сертификационных испытаний по НДВ, эксперт сталкивается с тем, что имея полный (или достаточно полный) объём исходных текстов для проведения статического анализа, он не может запустить статический анализ текстов на сборочной машине. Т.е. на одном компьютере они реально собираются, на другом — анализируются. Причин тому — множество, и технических, и организационных, […]

Аудит кода,Сертификация , .

О российских анализаторах кода

2 комментария
03 Мар 2012, Андрей Фадин

Есть интересная статья в блогах на эту тему: http://alexanius-blog.blogspot.com/2012/01/pvs.html Нет желания оголотело хвалить или ругать любой из существующих анализаторов кода, интересней было бы начать со статистических исследований, понять какие из типов дефектов более распространены в реальном коде программ, наложить на это CWSS и выстроить приоритеты по автоматизации анализа. Статья как раз идет с этих позиций, проводя сравнение […]

Аудит кода , .

S3R