This repo contains all the source codes of experiments and tools.
程瑞(chengrui0@stu.xjtu.edu.cn, crsec.work)
./
experiments
DeObfs
DSN2018 //a modified angr which can detect the symbolic addressing opaque predicate
ACSAC2019 //a python script, deobfs the FOR Obfs
Z3-Solver
Factoring
tools
ObfsPass //a llvm pass, can generate obfuscated code