http://www.repo.kr/2016/05/2016-def-con-ctf-qualifier-reversing.htmlReverse 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> 