# Baby First
* ARM64 challenge.* Solved using Z3 solver.* There were a lot of constraints given in the binary but adding only the first few gave away the  flag.* The arrays can be retreived using IDA Python or r2.* I wrote a [python  script](https://github.com/r00tus3r/CTF-Scripts/blob/master/HackIT_CTF_2018/baby_first/baby_constraints.py) to generate the z3 constraints because there were a lot of  them.* Adding the constraints to the [z3  script](https://github.com/r00tus3r/CTF-Scripts/blob/master/HackIT_CTF_2018/baby_first/solve.py) gave away the flag.