4 results found Sort:

JonathanSalwan
Triton JonathanSalwan
538
3.5k
apache-2.0
137
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
lifter emulator deobfuscation taint-analysis binary-analysis dynamic-analysis program-analysis binary-translation symbolic-execution reverse-engineering instruction-semantics
Created 2015-01-25
4,256 commits to master branch, last one about a month ago
BinaryAnalysisPlatform
bap BinaryAnalysisPlatform
273
2.1k
mit
93
Binary Analysis Platform
arm bap x86 mips ocaml lifter powerpc emulator security disassembler taint-analysis binary-analysis static-analysis dynamic-analysis program-analysis symbolic-execution reverse-engineering program-verification instruction-semantics
Created 2014-10-30
1,275 commits to master branch, last one 3 months ago
lifting-bits
remill lifting-bits
144
1.3k
apache-2.0
65
Library for lifting machine code to LLVM bitcode
x86 llvm armv7 armv8 thumb2 x86-64 aarch64 llvm-ir sparcv8 sparcv9 instruction-semantics
Created 2015-10-22
1,060 commits to master branch, last one 4 months ago
Colton1skees
Dna Colton1skees
19
192
gpl-3.0
5
LLVM based static binary analysis framework
x86 llvm binary lifter triton x86-64 llvm-ir analysis deobfuscation static-analysis program-analysis instruction-semantics
Created 2022-03-12
146 commits to master branch, last one about a month ago