Подводные камни статического анализа: predefined macros
Достаточно часто, например в рамках сертификационных испытаний по НДВ, эксперт сталкивается с тем, что имея полный (или достаточно полный) объём...
static analysis
Статический анализ безопасности программного кода
Согласно требованиям регуляторов (Минобороны России, ФСБ России, ФСТЭК России др.) ряд категорий программных систем подлежит обязательным проверкам на отсутствие недекларированных...
О российских анализаторах кода
Есть интересная статья в блогах на эту тему: http://alexanius-blog.blogspot.com/2012/01/pvs.html Нет желания оголотело хвалить или ругать любой из существующих анализаторов кода, интересней было...
