Static code analysis 3: обзор инструментов и заключение

Это третья часть цикла. Начало: http://itech-notes.blogspot.com/2014/09/sca-1.html и http://itech-notes.blogspot.com/2014/09/sca-2.html.

Static code analysis 2

Это вторая часть цикла. Начало: http://itech-notes.blogspot.com/2014/09/sca-1.html 

Statiс code analysis 1

В качестве предисловия.

Некоторое время назад я готовил / проводил семинар в рамках сертификации компании на соответствие стандарту PA DSS (http://en.wikipedia.org/wiki/PA-DSS). Одним из требований, предъявленных аудитором, было использование при разработке ПО автоматизированных инструментов анализа программного кода. Конкретной темой моего семинара был статический анализ и его возможности.

Теперь я хочу поделиться собранным материалом.