Category: еда

Статический анализ кода

Из статических анализаторов кода знаю про Coverity, CodeSonar, Fortify Source Code Analysis, Parasoft C++test.
Интересует опыт реального использования любого статического анализатора.
Да, и в книге Secure Programming with Static Analysis очень вкусно расписывается Fortify SCA. Может быть кто-нибудь знает где его можно взять "на посмотреть"?