naivesystems/analyze
View on GitHub ↗ ★ 205 C++
NaiveSystems Analyze is a static analysis tool for code security and compliance.
3 mentions on Hacker News by 2 people: 1 story, 2 comments · first 2023-12-17 · latest 2023-12-18
20082026
-
How do you conclude that? The instructions here: https://github.com/naivesystems/analyze/wiki/How-to-run-on-m... say docker is required.
comment by 1over137 · 2023-12-18 · in NaiveSystems Analyze – FOSS static analyzer for MISRA C/C++, AUTOSAR C++14, etc. -
▲ 45
NaiveSystems Analyze – FOSS static analyzer for MISRA C/C++, AUTOSAR C++14, etc.story by xjia · 2023-12-17 · 13 comments
-
…positives based symbolic execution (which Coverity relies heavily on) and SMT solver, ...) [0]: https://github.com/naivesystems/analyze
comment by xjia · 2023-12-17 · in Misra C++:2023