1 个仓库
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
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- jonathansalwan/triton
JonathanSalwan/Triton
4,202在 GitHub 上查看Triton 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++
