4 results found Sort:

JonathanSalwan
Triton JonathanSalwan
545
3.7k
apache-2.0
134
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,291 commits to master branch, last one about a month ago
BinaryAnalysisPlatform
bap BinaryAnalysisPlatform
276
2.1k
mit
95
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,284 commits to master branch, last one 23 days ago
lifting-bits
remill lifting-bits
149
1.4k
apache-2.0
61
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 8 months ago
Colton1skees
Dna Colton1skees
20
227
unknown
6
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
150 commits to master branch, last one 8 days ago