erfan on 4:58 AM 06/09/2020: 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 11:31 AM 06/12/2020: 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: Solved using radare2 and Z3:
https://cronop-io.github.io/posts/binary%20analysis/2020-06-08-crackme-xbs/