FICHA · AUR
ikos-git
Static analyzer for C and C++ developed by NASA
- c-cpp-static-analyzer
- CLI
- TERMINAL
- STATIC-ANALYSIS
- Launchable
- Runs in terminal
· official+codex · reviewed · Jun 1, 2026 description in en
C and C++ programs can be analyzed with a development build of NASA's static analyzer before release or production use.
It is useful for users who want newer analyzer behavior for defect detection. Static analysis can report false positives, so findings need review.
How to run
ikos
Commands: ikos
Permissions
Permissions not analysed for this source yet.