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