C - Static CodeAnalyzer

Statikus kódanalizátor

List:

https://www.dwheeler.com/essays/static-analysis-tools.html

https://github.com/mre/awesome-static-analysis#multiple-languages

• 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
• fizetős
• http://www.kalimetrix.com/logiscope/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
• https://npo-echelon.ru/en/solutions/appchecker.php
• 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
• Free
• http://smatch.sourceforge.net/
• Yasca
• https://github.com/scovetta/yasca
• dead, moved to DevSkim
• DevSkim
• https://github.com/microsoft/devskim
• Flawfinder
• https://www.dwheeler.com/flawfinder/
• CodeFactor
• https://www.codefactor.io/
• VG tesztelés alatt
• Fbinfer
• http://fbinfer.com/
• https://github.com/facebook/infer

PlantUML test (in Atollic TrueSTUDIO / Eclipse)

Why is very good?
Because, you can "draw" plants and diagrams in your comments, e.g. after function or begin of files, etc...
 

Atollic - v9.0. - STM32

 Welcome new Atollic (for STM32)!

I like the new Atollic version!
Now (free) available:

• Memory view
• Call Stack calculations
• Fault stack analyzer
• Terminal (serial, cmd, ...)

Others

• FreeRTOS: Task list view
• SWV Trace log

Download: https://atollic.com/

Atollic TrueSTUDIO - Memory

Atollic TrueSTUDIO - Stack

Atollic TrueSTUDIO - Terminal