Выбор инструмента статического анализа кода

Для кода C вам определенно unix-utils следует использовать Flexelint. Я software-testing использовал его в течение software-testing почти 15 лет и клянусь им. Одной testing из его действительно замечательных c функций является то, что c предупреждения можно выборочно tests отключать и включать с помощью test комментариев в коде ("/* lint software-testing -e123*/"). Это оказалось unix мощным инструментом документирования, когда unix вы хотели чего-то необычного. «Я unix отключаю предупреждение X, следовательно, есть unix веская причина, по которой unix-programming я делаю X».

Для тех, кто интересуется tests интересными вопросами по test C/C++, посмотрите некоторые unix из их примеров на их сайте unix и посмотрите, сможете ли unix-programming вы найти ошибки, не глядя unix-programming на подсказки.