This is the PoC - dynamic lifter and deobfuscator with collecting trace.

More examples and information will be provided a little later

The project is currently under development

About

The first phase - opaque predicates elemination via Z3

The second phase - dead code elemination in calls via Z3(multigraph elemination)

The third phase - stack deobfuscation(The phase is currently under development)

The fourth phase - MBA elemination via MCMC(The phase is currently under development)

The fifth phase - trace builder(The phase is currently under development)

How to gen .sln file

cmake ..