InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now. Learn more →
Top 16 C++ Static Analysis Projects
-
ImHex
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Project mention: Ask HN: What are good high information density UIs (screenshots, apps, sites) | news.ycombinator.com | 2025-05-08I find Geizhals' filtering options reasonably compact and information dense. https://geizhals.de/?cat=gra16_512&xf=132_16384&pg=1&view=li...
I like the simple table view of RPiLocator. Only a few columns, but lots of rows, no unneeded clutter. https://rpilocator.com/
Not as compact as possible, but at least shows quite some information: GSMArena. It could fit more phones into the comparison table with less whitespace/greyspace though. https://www.gsmarena.com/compare.php3?idPhone1=10386&idPhone...
All sites as viewed on desktop, on mobile this would likely not work out.
I also want to echo the command line tools mention in another comment. GDB's TUI is reasonable for my use, but after some experience this recently posted terminal debugger might be better: https://github.com/al13n321/nnd via https://news.ycombinator.com/item?id=43905185
Also the hex editor I am currently using, despite some problems: https://github.com/WerWolv/ImHex
An example of an information dense GUI that might be a bit overwhelming is Ghidra: https://en.wikipedia.org/wiki/Ghidra (page includes a basic screenshot, you can fill your screen(s) with as many sub windows and information panes as you want)
As a side note, while trying to find examples I realized just how few websites there are (any more?) that show a lot of information at the same time. Worst recent offender is YouTube's redesign with only 3 video tiles in a row on a 1440p screen, luckily easily fixed via a ublock rule.
-
JetBrains
Tell us how you use coding tools. You may win a prize! Are you a developer or a data analyst? Share your thoughts about your coding tools in our short survey and get a chance to win prizes!
-
I decided to look for a trending GitHub repository written in C++, my favorite programming language. I came across a very intriguing repository called cppcheck. Why did it catch my attention? Well, we all know about ESLint and Prettier, but a linter for C++? Now, that is something I just had to explore!
-
Project mention: An almost catastrophic OpenZFS bug and the humans that made it | news.ycombinator.com | 2025-07-11
https://github.com/NASA-SW-VnV/ikos/blob/master/analyzer/REA...
Commercial tool like Astree https://www.absint.com/astree/index.htm if you have money.
-
lazy_importer
library for importing functions from dlls in a hidden, reverse engineer unfriendly way
-
-
-
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
-
-
crab
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev. (by seahorn)
-
-
Project mention: The Skyline algorithm for packing 2D rectangles | news.ycombinator.com | 2024-11-18
An even more recent one from Google: https://github.com/google/minimalloc
-
-
orc
ORC: A tool for finding violations of C++'s One Definition Rule on the OSX toolchain. (by adobe)
-
-
-
Sevalla
Deploy and host your apps and databases, now with $50 credit! Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
C++ Static Analysis discussion
C++ Static Analysis related posts
-
An almost catastrophic OpenZFS bug and the humans that made it
-
The Skyline algorithm for packing 2D rectangles
-
Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation
-
Starting With Open Source
-
Static analyzer IKOS 3.2 Released
-
NaiveSystems Analyze – FOSS static analyzer for MISRA C/C++, AUTOSAR C++14, etc.
-
Static analyzer IKOS 3.2-rc1 published – Request for testers
-
A note from our sponsor - InfluxDB
www.influxdata.com | 31 Aug 2025
Index
What are some of the best open-source Static Analysis projects in C++? This list will help you:
| # | Project | Stars |
|---|---|---|
| 1 | ImHex | 50,276 |
| 2 | Cppcheck | 6,297 |
| 3 | ikos | 3,028 |
| 4 | lazy_importer | 1,794 |
| 5 | SVF | 1,582 |
| 6 | inline_syscall | 709 |
| 7 | psychec | 550 |
| 8 | Cerberus | 392 |
| 9 | sleighcraft | 253 |
| 10 | crab | 244 |
| 11 | analyze | 191 |
| 12 | minimalloc | 160 |
| 13 | cclyzerpp | 144 |
| 14 | orc | 95 |
| 15 | Gymbo | 35 |
| 16 | ayanami-nemesis-analyzer | 7 |
Sponsored
Tell us how you use coding tools. You may win a prize!
Are you a developer or a data analyst? Share your thoughts about your coding tools in our short survey and get a chance to win prizes!
surveys.jetbrains.com