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
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)
cmake ..