代码库
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
Roff
deobfuscationllvm-irprogram-analysissymbolic-executionvmprotect
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
C++
binary-analysisbinary-translationdeobfuscationdynamic-analysisemulatorinstruction-semanticslifterprogram-analysisreverse-engineeringsymbolic-executiontaint-analysis
Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
LLVM
deobfuscationllvmreverse-engineeringsolution-tigress-challengesymbolic-executiontaint-analysistigresstigress-protectionstriton