제리의 블로그

#keygen, #solver, #z3PositionPoint: 160 Solved: 732요약본 Writeup은 z3를 이용하여 풀었습니다.serial과 passwd의 맨 마지막 문자열 p는 ReadMe.txt에 주어져있었고프로그램을 실행시켰을 때 보이는 Wrong 문자열을 cross reference 로 따라가서Correct!가 나오기위한 조건을 리버싱을 통해 수집하고z3를 통해 답을 도출했습니다. 1. serial은 76876-77776. passwd[3]은 p2. passwd 길이 4.3. passwd는 a~z로 이루어져 있음.4. passwd는 문자가 중복 사용되지 않음.5. serial은 길이 11. serial[5]는 -6. serial과 passwd를 비교 검증 분석ReadMe.txt:Re..