Statikus kódanalizátor
List:
- Polyspace (MATLAB)
- fizetős
- MisraC-t ellenőriz
- PC-lint / FlexeLint
- fizetős
- MisraC-t ellenőriz
- https://mcuoneclipse.com/2012/04/10/linting-without-a-plugin/
- fizetős plugin nélkül
- Linticator: Eclipse plugin a PC-lintre és FlexeLint-re
- fizetős
- Linticator
- Eclipse plugin PC-lintre
- https://mcuoneclipse.com/2012/04/01/eclipse-and-pc-lint-linticator/
- Linticator nélkül PC-lint
- Lehet, de az ingyenes Atollic TrueSTUDIO nem engedi
- LDRA
- fizetős
- MisraC-t ellenőriz
- RuleChecker
- Klocwork
- fizetős
- Mentornál is ezt használják
- QA C
- https://www.qa-systems.com/tools/qa-c/static-analysis/
- fizetős
- MisraC-t ellenőriz
- Goanna Studio
- Goanna Studio- Static Analysis for C/C++
- fizetős
- MisraC-t ellenőriz
- Eclipse plugin
- AppChecker
- Visual-lint
- Riverblade cég
- PC-lint újraeladók
- Splint
- (Open Source) (ingyenes)
- https://github.com/ravenexp/splint
- http://www.splint.org/
- weboldal nem elérhető
- http://lclint.cs.virginia.edu/
- MisraC-t nem ellenőriz
- Clang
- ingyenes
- https://clang-analyzer.llvm.org/
- Includator
- fizetős
- Eclipse plugin
- Cppcheck
- free
- van eclipse plugin
- MisraC-t nem ellenőriz
- VG ezt használja otthon
- https://github.com/keleshev/misra-c
- Ingyenes, GitHubos MisraC-2014 checker
- nem minden Misra C-t fed le
- Codan
- Ingyenes
- Ez van beépítve az Eclipse-be (és az Atollic TrueStudio-ba is: C/C++ code analysis
- SWAMP
- Ingyenes
- több más ingyenes statikus analizátort használ
- Eclipse plugin
- valami regisztrációt igényel
- OClint
- ingyenes lenne
- Pythonos
- SonarLint
- Open source, ingyenes
- Van Eclipse-ben
- VG használja
- Smatch
- Yasca
- https://github.com/scovetta/yasca
- dead, moved to DevSkim
- DevSkim
- Flawfinder
- CodeFactor
- https://www.codefactor.io/
- VG tesztelés alatt
- Fbinfer
