Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Top 9 C++ program-analysis Projects
-
x64dbg
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
-
Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code. (by JonathanSalwan)
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
-
-
vast
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
Project mention: Print(“lol”) doubled the speed of my Go function | news.ycombinator.com | 2023-08-23Most languages target C or LLVM, and C and LLVM have a fundamentally lossy compilation processes.
To get around this, you'd need a hodge podge of pre compiler directives, or take a completely different approach.
I found a cool project that uses a "Tower of IRs" that can restablish source to binary provenance, which, seems to me, to be on the right track:
https://github.com/trailofbits/vast
I'd definitely like to see the compilation processes be more transparent and easy to work with.
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
-
Project mention: [P] Let's Debug Your Neural Network: Gradient-based Symbolic Execution for NN | /r/MachineLearning | 2023-12-04
I have developed Gymbo, a proof of concept for a Gradient-based Symbolic Execution Engine implemented from scratch.
C++ program-analysis related posts
- Static analyzer IKOS 3.2 Released
- Static analyzer IKOS 3.2-rc1 published – Request for testers
- [P] Let's Debug Your Neural Network: Gradient-based Symbolic Execution for NN
- Print(“lol”) doubled the speed of my Go function
- Veles – A new age tool for binary analysis
- Does anyone use IKOS for static analysis?
- Astrée Static Analyzer for C and C++
-
A note from our sponsor - InfluxDB
www.influxdata.com | 18 Apr 2024
Index
What are some of the best open-source program-analysis projects in C++? This list will help you:
Project | Stars | |
---|---|---|
1 | x64dbg | 43,128 |
2 | Triton | 3,293 |
3 | DIE-engine | 2,093 |
4 | ikos | 1,979 |
5 | psychec | 496 |
6 | vast | 334 |
7 | crab | 215 |
8 | cclyzerpp | 109 |
9 | Gymbo | 34 |