История изменений
Исправление Bass, (текущая версия) :
Спасибо.
Для C++ ложноположительные, насколько понимаю, вообще стандартная практика и неизбежность.
Но CSA просто прекрасен, и, при наличии такой бесплатной альтернативы, платить деньги профессионалам из PVS смысла не вижу. На CSA башляли деньги Apple, под него большая академическая база подведена (реальные научные исследования), и на Mac OS X он в Xcode просто встроен. Ну а на Linux — из командной строки. https://github.com/Ericsson/codechecker
Про cross TU analysis: https://clang.llvm.org/docs/analyzer/user-docs/CrossTranslationUnit.html
FB Infer я ещё не щупал, но тоже интересно посмотреть.
Анализировать большую кодовую базу можно и нужно, потому что только так можно увидеть, упирается ли твой анализатор в процессор и в память.
Исходная версия Bass, :
Спасибо.
Для C++ ложноположительные, насколько понимаю, вообще стандартная практика и неизбежность.
Но CSA просто прекрасен, и, при наличии такой бесплатной альтернативы платить деньги профессионалам из PVS смысла не вижу. На CSA башляли деньги Apple, под него большая академическая база подведена (реальные научные исследования), и на Mac OS X он в Xcode просто встроен. Ну а на Linux — из командной строки. https://github.com/Ericsson/codechecker
Про cross TU analysis: https://clang.llvm.org/docs/analyzer/user-docs/CrossTranslationUnit.html
FB Infer я ещё не щупал, но тоже интересно посмотреть.
Анализировать большую кодовую базу можно и нужно, потому что только так можно увидеть, упирается ли твой анализатор в процессор и в память.