Tags: c++ angr static 

Rating: 0

This is a completely static analysis solution, and how we did it during the competition:


If you want a really silly script that can solve it with angr, a binary analysis framework, though, here's a way to do that. We didn't actually do it this way during the competition, but it's an interesting proof-of-concept.