4 ms·
You can solve many keygen type reverse engineering challenges with z3.
by 0xdada 7y ago
You can solve many keygen type reverse engineering challenges with z3.
- viraptor 7y agoI'd be interested in reading about it. Do you convert the core algorithm into solver rules to find any solution? Or something more complex?
- 0xdada 7y agoYes. It basically turns a reverse engineering task back into regular "forward" engineering, except you are programming with z3's symbolic variables. Here is an example: https://anee.me/solving-a-simple-crackme-using-z3-68c55af7f7b1 https://anee.me/solving-a-simple-crackme-using-z3-68c55af7f7...