Gymbo
cclyzerpp
Gymbo | cclyzerpp | |
---|---|---|
2 | 1 | |
35 | 111 | |
- | 1.8% | |
8.8 | 4.2 | |
5 months ago | about 1 year ago | |
C++ | C++ | |
Apache License 2.0 | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Gymbo
-
[P] Let's Debug Your Neural Network: Gradient-based Symbolic Execution for NN
I have developed Gymbo, a proof of concept for a Gradient-based Symbolic Execution Engine implemented from scratch.
- Gymbo: Gradient-based Symbolic Execution
cclyzerpp
What are some alternatives?
crab - A library for building abstract interpretation-based analyses
x64dbg - An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
percival - 📝 Web-based, reactive Datalog notebooks for data analysis and visualization
ikos - Static analyzer for C/C++ based on the theory of Abstract Interpretation.
SVF - Static Value-Flow Analysis Framework for Source Code
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.
c-semantics - Semantics of C in K
bap - Binary Analysis Platform
codeql - CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security