목록Reversing/HackCTF (1)
D1N0's hacking blog
HackCTF - Keygen
z3 solver를 써볼 문제를 찾다가 이걸 선택하게 되었다 굳이 z3 solver를 안 써도 풀 수 있을 것 같기는 한데 그래도 이왕 배운 거 써먹어보고 싶었다 문제 풀이 분석 일단 주어진 파일의 hex값을 보면 elf파일임을 알 수 있다 실행을 해보면 입력을 받는다 그리고 바로 끝나는데 키가 맞으면 뭔가 일어날 것 같다 IDA로 까보면 입력을 받고 check_key를 실행하여 1이면 flag 파일을 열어 출력해주는 것을 알 수 있다 check_key 함수는 입력받은 문자열을 encoding 함수에 넣고 OO]oUU2U
Reversing/HackCTF
2020. 12. 16. 12:17