중간언어 생성을 위한 바이너리 코드 자료형 및 변수 추론 기술 조사 분석