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–7 of 7 · Most stars
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript
- optimization
- nonlinear
- derivatives
- code-generation
SymEngine is a fast symbolic manipulation library, written in C++
- math
- computer-algebra
- c-plus-plus
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Fast Static Symbol Table (FSST): efficient random-access string compression
Fast lossless data compression in C++
- compression
- cpp
- lossless-data-compression
- lz77
Single-header C++ JIT compiler/evaluator for mathematical expressions
- expression-evaluator
- expression-parser
- formula-engine
- formula-evaluator