| 연구목표 |
o 기보유한 바이너리 분석 엔진(B2R2)의 성능 고도화o 바이너리에서 CFG 복원을 위한 알고리즘 개발o 바이너리에서 변수와 타입 복원을 위한 알고리즘 개발o 공개형 디컴파일러 개발o 바이너리 분석을 위한 재조립 알고리즘과 도구 개발o 바이너리 분석과 디컴파일의 성능 평가를 위한 벤치마크 개발o End Product - 바이너리 분석을 위한 벤치마크 ... |
| 연구내용 |
체계화된 CFG 복원 기술 개발 - 생성된 벤치마크에서 간접분기문의 대상 정보 추출 - 정적 데이터흐름 분석을 통한 switch문의 대상 정보 추출 - 복원된 CFG와 벤치마크의 교차분석을 통한 정확도 검증 기술 개발재조립을 위한 바이너리 분석 인터페이스 설계 - 심볼화 대상을 알아낼 수 있는 알고리즘에 대한 설계 - 새로운 알고리즘을 손쉽게 사용... |
| 기대효과 |
(1) 기술적 측면o 디컴파일 기술의 건설적인 발전- 현존하는 디컴파일 기술은 ad-hoc하게 개발되고 있으며 그 기술이 온전히 공개되는 경우가 드뭄- 특히 학계에서 개발된 아이디어가 바로 대중에 공개되지 않고 사업화를 통해서만 그 기술이 활용되는 경우가 많음 (예: rev.ng)- 대부분의 디컴파일 기술은 특허 조차 출원되지 않은 경우가 대부분임- 본 연... |
| 키워드 |
디컴파일,바이너리 코드 분석,역공학,제어흐름 분석,타입 복원 |