소프트웨어 보안약점 분석을 위한 바이너리 코드-중간언어 변환기에 관한 연구