바이너리 코드 분석을 위한 명령어 의미론 기반 기호 실행

바이너리 코드 명령어 의미론에 대한 공식적 설명을 활용하여 바이너리 코드를 직접 기호 실행하는 접근법을 제안한다.