Nitr0-G / Rework-part-of-z3-proving

This is the PoC of a dynamic lifter and deobfuscator with collecting trace.
32Updated last year

Related projects

Alternatives and complementary repositories for Rework-part-of-z3-proving