Статические анализаторы C/C++
1,00
р.
BLAST, CODAN, cppcheck, slint, clang, что-то ещё?
Интересуют:
бесплатные и Linux.
До сих пор имел дело только с CODAN (в Eclipse CDT из коробки) и cppcheck. По метке смотрел, но интересует именно безопасность и "корявость" кода, в идеале - что-то приближенное к MISRA.
CLion с его прекраснейшим парсером
Я не прошу IDE. Анализатор для меня ценен как утилита, которая может встраиваться в IDE (тогда это бонус), но обязана работать самостоятельно.
Что касается прекрасности парсера в CLion. Да, на тестовом прогоне он нашёл несколько плюшек:
Data flow analysis: File is too complex to perform context-sensitive data-flow analysis (at line 11) (хи-хи) Type checks: Parameter type mismatch: Values of type 'size_t' may not fit into the receiver type 'int' at line 267 (второй аргумент fgets()) Unused code: Unused import statement at line 9 (речь шла о включении ненужного .h)
Вроде бы полезно. Но он не нашёл главного:
cppcheck: (error) Memory leak: src (at line 249)
Тут я специально закомментировал вызов free(), причём не прямой, а через враппер(!), что cppcheck прекрасно отловил. CODAN тоже справился. А CLion - нет. Так что до прекрасности ему ещё очень далеко. Не говоря уж о полном отсутствии нормальной поддержки valgrind (ох, не свалиться бы в холивар про IDE...)
Не то, чтобы отдельный анализатор, но clang на максимальном уровне варнингов довольно полезная штука
Примеры можно? Я с ним дел не имел, и пока не очень представляю, в чём отличие от этого:
gcc -Wall -pedantic -pedantic-errors
Ответ
Сейчас под Линукс появился PVS-Studio, который можно даже бесплатно полно-функционально использовать. На самом деле неплохая вещь.
Интересуют:
бесплатные и Linux.
До сих пор имел дело только с CODAN (в Eclipse CDT из коробки) и cppcheck. По метке смотрел, но интересует именно безопасность и "корявость" кода, в идеале - что-то приближенное к MISRA.
CLion с его прекраснейшим парсером
Я не прошу IDE. Анализатор для меня ценен как утилита, которая может встраиваться в IDE (тогда это бонус), но обязана работать самостоятельно.
Что касается прекрасности парсера в CLion. Да, на тестовом прогоне он нашёл несколько плюшек:
Data flow analysis: File is too complex to perform context-sensitive data-flow analysis (at line 11) (хи-хи) Type checks: Parameter type mismatch: Values of type 'size_t' may not fit into the receiver type 'int' at line 267 (второй аргумент fgets()) Unused code: Unused import statement at line 9 (речь шла о включении ненужного .h)
Вроде бы полезно. Но он не нашёл главного:
cppcheck: (error) Memory leak: src (at line 249)
Тут я специально закомментировал вызов free(), причём не прямой, а через враппер(!), что cppcheck прекрасно отловил. CODAN тоже справился. А CLion - нет. Так что до прекрасности ему ещё очень далеко. Не говоря уж о полном отсутствии нормальной поддержки valgrind (ох, не свалиться бы в холивар про IDE...)
Не то, чтобы отдельный анализатор, но clang на максимальном уровне варнингов довольно полезная штука
Примеры можно? Я с ним дел не имел, и пока не очень представляю, в чём отличие от этого:
gcc -Wall -pedantic -pedantic-errors
Ответ
Сейчас под Линукс появился PVS-Studio, который можно даже бесплатно полно-функционально использовать. На самом деле неплохая вещь.
