Ericsson/codechecker
View on GitHub ↗ ★ 2,632 Python
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
4 mentions on Hacker News by 4 people: 3 stories, 1 comment · first 2015-08-03 · latest 2022-04-20
20082026
-
…false alarms. Although it's good to have both, each one found issues not seen by the other. [1] https://github.com/Ericsson/codechecker [2] https://clang-analyzer.llvm.org/ [3] https://github.com/Z3Prover/z3
comment by yaantc · 2022-04-20 · in IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation