1 dépôt
Awesome GitHub RepositoriesBit-Vector Memory Modeling
Representing registers and memory as bit vectors to enable precise data flow analysis and symbolic reasoning.
Distinct from Bit-Vector Set Implementations: Candidates describe bit-set implementations or vectorized memory access for performance, not symbolic memory modeling for analysis.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Bit-Vector Memory Modeling. Refine with filters or upvote what's useful.
Awesome Bit-Vector Memory Modeling GitHub Repositories
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- jonathansalwan/triton
JonathanSalwan/Triton
4,202Voir sur GitHubTriton is a dynamic binary analysis framework designed to automate reverse engineering. It functions as a multi-architecture CPU emulator, an SMT-based symbolic execution engine, and a dynamic taint analysis tool. The framework translates raw machine instructions into abstract syntax trees, allowing it to represent binary program logic as a structured intermediate representation. This allows the system to map multiple hardware instruction sets to a single analysis framework and translate machine instructions into mathematical formulas for solving constraints. Its capabilities cover the simul
Tracks registers and memory locations as bit vectors to monitor precise data flow during binary program execution.
C++
