Hacker GitHub

← All repos

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

Mentions per year 4 mentions · busiest year 2015 (1)
20082026
AllStoriesComments NewestTopOldest
  1. …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
  2. ▲ 3
    CodeChecker – a static analysis infrastructure built on the LLVM/Clang toolchain
    story by JoachimS · 2019-12-16 · 0 comments
  3. ▲ 1
    CodeChecker: Defect DB and Viewer for Clang Static Analyzer and Clang Tidy
    story by osivertsson · 2017-06-13 · 0 comments
  4. ▲ 4
    CodeChecker: a static analysis infrastructure built on Clang Static Analyzer
    story by ingve · 2015-08-03 · 0 comments