ida로 해당 바이너리가 어떻게 동작하는지는 분석이 됐지만, output.txt 파일은 왜 생긴건지 도저히 알 수 없겠어서 한번 writeup을 찾아봤는데 해당 블로그에서 sub_1209 함수를 살펴보면 output.txt를 역연산하는 문제라는 것을 알 수 있다고 합니다. 근데 sub_1209 함수의 코드를 보면 output.txt함수를 생성하는 코드가 없는데 어떻게 output.txt 를 역연산하는걸 알 수 있는거죠?

그냥 다른 파일이 존재하는걸 보고 감으로 유추하는건가요?