erfan on 2020-06-09 04:58:
Wow no one has solved it yet!
As a hint, this code calculates xor basis,
So write a similar code, compile it and compare it to this one to find out what else this one does
https://codeforces.com/blog/entry/68953
jeffli6789 on 2020-06-12 11:31:
An interesting algorithm! Its complex if only analyzed statically. But debugging helps me out. Thx!
You must be logged in to submit a writeup
Solution by cronop.io on 2020-06-09 02:44: Solved using radare2 and Z3:
https://cronop-io.github.io/posts/binary%20analysis/2020-06-08-crackme-xbs/