A script to solve the challenge Binary Tree from the 2021 pbctf. The challenge including source code can be found in the pbctf 2021 repo. The script uses MLIL to build up the search graph and then finds the shortest path through it and finally converts that path into the flag.
The script takes about 30 seconds to run on the binary and eventually gives output like this:
