바이너리 분석을 진행할 때 어떤 도구를 주로 사용하시나요?

바이너리 분석에서 도구를 쓴다는 것과 원하는 결과를 얻는다는 것이 다르다는 걸 CTF에서 배웠습니다. Ghidra로 역어셈블한 결과를 보는 것은 빠른데, 어느 함수가 실제 취약점 경로인지를 찾는 데 처음엔 몇 시간씩 걸렸습니다. 이후엔 GDB로 실제 실행 중에 브레이크포인트를 잡아 값이 어떻게 바뀌는지를 추적하는 방식으로 정적+동적 분석을 병행했습니다. 5번째 CTF부터는 정적 분석에서 의심되는 함수를 먼저 추리고 동적으로 검증하는 순서가 굳어졌고, 평균 분석 시간이 초반보다 3분의 1 수준으로 줄었습니다. 익스플로잇 재현에 성공한 뒤엔 같은 바이너리 환경에서 재현 절차를 다른 사람이 따라할 수 있는 수준으로 기록해두는 습관이 생겼습니다.