1O1over137·Dec 18, 2023
How do you conclude that? The instructions here:
https://github.com/naivesystems/analyze/wiki/How-to-run-on-m...
say docker is required.
In NaiveSystems Analyze – FOSS static analyzer for MISRA C/C++, AUTOSAR C++14, etc.naivesystems
analyze
C++2023–2023
naivesystems / analyze
analyze
NaiveSystems Analyze is a static analysis tool for code security and compliance.
2Distinct people
3Mentions
0Explicit recommenders
205GitHub stars
What to know before exploring
What it is
NaiveSystems Analyze is a static analysis tool for code security and compliance.
GitHub
Where it is used
No documented product use has been verified yet.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
No other repository is repeatedly linked in the same discussions.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 3:56:07 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by hour3 dated mentions
Observed mentions: 2023-12-17 18:00:47 UTC to 2023-12-18 02:58:02 UTC.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| Dec 17, 18:00 | 2023-12-17 18:00:00 UTC | 2023-12-17 19:00:00 UTC | 1 | 0 | 1 |
| Dec 17, 19:00 | 2023-12-17 19:00:00 UTC | 2023-12-17 20:00:00 UTC | 0 | 0 | 0 |
| Dec 17, 20:00 | 2023-12-17 20:00:00 UTC | 2023-12-17 21:00:00 UTC | 1 | 1 | 0 |
| Dec 17, 21:00 | 2023-12-17 21:00:00 UTC | 2023-12-17 22:00:00 UTC | 0 | 0 | 0 |
| Dec 17, 22:00 | 2023-12-17 22:00:00 UTC | 2023-12-17 23:00:00 UTC | 0 | 0 | 0 |
| Dec 17, 23:00 | 2023-12-17 23:00:00 UTC | 2023-12-18 00:00:00 UTC | 0 | 0 | 0 |
| Dec 18, 00:00 | 2023-12-18 00:00:00 UTC | 2023-12-18 01:00:00 UTC | 0 | 0 | 0 |
| Dec 18, 01:00 | 2023-12-18 01:00:00 UTC | 2023-12-18 02:00:00 UTC | 0 | 0 | 0 |
| Dec 18, 02:00 | 2023-12-18 02:00:00 UTC | 2023-12-18 03:00:00 UTC | 1 | 0 | 1 |
What Hacker News says
3 sourcesNaiveSystems Analyze – FOSS static analyzer for MISRA C/C++, AUTOSAR C++14, etc.
45 points · Open discussionIf you are interested in this, take a look at NaiveSystems Analyze [0] which is a free and open source static analyzer for checking MISRA compliance etc.
Disclaimer: I'm the founder.
It has been battle tested with real customers in automotive, medical devices, and semiconductors. AFAIK this is the first FOSS tool that achieves commercial use standards (extensive ruleset coverage, low false positives based symbolic execution (which Coverity relies heavily on) and SMT solver, ...)
[0]: https://github.com/naivesystems/analyze
In Misra C++:2023