В проекте clang-3.9 есть clang-analyzer -- я уже писал здесь много раз. Там просто вместо make пишешь scan-build make и дальше оно всё само. Проблема в том, что в новых clang оно пропало и будут ли и когда дальше приводить анализатор в чувство не https://clang-analyzer.llvm.org/
понятно. Есть ещё SCAVE от ИСП РАН, он даже как-то работает и выдаёт предупреждений больше чем clang-analyzer, но по большей части они опять же туповатые, на студента. GCC и сам Clang не в режиме анализатора, а в режиме компилятора тем временем существенно подтянулись и уже дышат в спину с обычными варнингами. Ссылка:
https://www.ispras …ru/technologies/svace/
fk0, легенда (25.12.2019 01:11, просмотров: 144) ответил Evgeny_CD на Про CLANG, ты, кстати, отчасти прав. В его состав всходит программулина, которая разбирает код в AST, и это AST там доступно через API сторонним программам, так что можно сделать IDE с анализом кода "как его видит компилятор". Это только часть