кстати, есть российский многоплатформенный анализато кода АК-ВС, ориентированный автоматизированное выявление критических уязвимостей:

http://www.npo-echelon.ru/about/articles/code_audit.php