http://www.repo.kr/2016/05/2016-def-con-ctf-qualifier-reversing.html

Reverse me and get the flag. Get it here.<span>
This program is simple, take data as input.</span>Input is checked by function.If input meets the requirements for printing flag, program shows the flag for getting score.<span>
</span><span>


But this binary has too many branchs.</span>


In these case, we can find approachable path by using symbolic execution. 
<span>

Output is here.</span>
 

Original writeup (http://www.repo.kr/2016/05/2016-def-con-ctf-qualifier-reversing.html).