instruction-semantics topic
List
instruction-semantics repositories
Triton
3.4k
Stars
521
Forks
Watchers
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
remill
1.2k
Stars
139
Forks
Watchers
Library for lifting machine code to LLVM bitcode
bap
2.0k
Stars
271
Forks
Watchers
Binary Analysis Platform
Dna
84
Stars
12
Forks
Watchers
Static analysis & deobfuscation framework for x86/x64
TritonTranslator
19
Stars
5
Forks
Watchers
Standalone static version of Triton's x86/x64 translator
KParser
16
Stars
1
Forks
Watchers
.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.