Hacker GitHub

← All repos

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

Mentions per year 3 mentions · busiest year 2023 (3)
20082026
AllStoriesComments NewestTopOldest
  1. 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.
  2. …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