IKOS
A sound static analyzer for C/C++ code based on LLVM.
Github:
- 17351735521282017
Workflow integration:
cli
https://github.com/nasa-sw-vnv/ikos
Other
Maintained
A sound static analyzer for C/C++ code based on LLVM.
https://github.com/nasa-sw-vnv/ikos
Other
Maintained