SaaSHub helps you find the best software and product alternatives Learn more →
Top 4 C++ symbolic-execution Projects
-
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)
-
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: GrayC: Greybox Fuzzing of Compilers and Analysers for C [pdf] | news.ycombinator.com | 2023-06-11
Another problem with LLVM I’ve heard about is that it’s intermediate language or API or something is a moving, informally-specified target. People who know LLVM internals might weigh in on that claim. If true, it’s actually easier to target C or a subset of Rust just because it’s static and well-understood.
Two projects sought to mitigate these issues by going in different directions. One was a compiler backend that aimed to be easy to learn with well-specified IL. The other aimed to formalize LLVM’s IL.
http://c9x.me/compile/
https://github.com/AliveToolkit/alive2
There have also been typed, assembly languages to support verification from groups like FLINT. One can also compile language-specific analysis with a certified to LLVM IL compiler. Integrating pieces from different languages can have risks. That (IIRC) is being mitigated by people doing secure, abstract compilation.
Project mention: [P] Let's Debug Your Neural Network: Gradient-based Symbolic Execution for NN | /r/MachineLearning | 2023-12-04I have developed Gymbo, a proof of concept for a Gradient-based Symbolic Execution Engine implemented from scratch.
C++ symbolic-execution related posts
-
[P] Let's Debug Your Neural Network: Gradient-based Symbolic Execution for NN
-
GrayC: Greybox Fuzzing of Compilers and Analysers for C [pdf]
-
Triton – a dynamic binary analysis library
-
Installing Triton in fresh linux VM step-by-step guide (hairpull-free edition)
-
Triton: Open-Source GPU Programming for Neural Networks
-
A note from our sponsor - SaaSHub
www.saashub.com | 10 May 2024
Index
What are some of the best open-source symbolic-execution projects in C++? This list will help you:
Project | Stars | |
---|---|---|
1 | Triton | 3,314 |
2 | klee | 2,461 |
3 | alive2 | 688 |
4 | Gymbo | 35 |
Sponsored