실전 바이너리 분석 - 자동화 취약점 탐지를 위한 -