[Seccon Beginners 2018][Rev] Simple Auth

바이너리를 까보면 간단한 연산을 하는데 angr로 풀면 슥삭이다.

import angr
 
def main():
    p = angr.Project("simple_auth", load_options={'auto_load_libs': False})
    ex = p.surveyors.Explorer(find=(0x4007DF, ), avoid=(0x400801,))
    ex.run()
 
    return ex.found[0].state.posix.dumps(0).strip('\0\n')
 
if __name__ == '__main__':
    print main()