Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
- reverse-engineering
- symbolic-execution
- binary-analysis
- program-analysis
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Model-based design and verification for robotics.
- robotics
- drake
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- static-analysis
- software-verification
- abstract-interpretation
- program-analysis
SDK for growing mobile in-app purchases
- ios
- purchases
- iap
- sdk