팀명
동일하개
팀원 명단
유정균 백유미 이혜연
지도교수
조은선 교수님
작품 배경 및 목적
C언어는 성능과 기계적 호환성, 보편성 등 다른 프로그래밍 언어에 비해서 월등히 뛰어나다는 특징을 가짐. 성능 향상을 목적으로 다른 언어로 작성된 코드의 일부를 C/C++로 변경하는 경 우가 있음. 다른 언어로 작성된 코드와 변환된 C코드가 동일하다는 사실을 보장할 수 없다는 치명적인 단점이 있음.
작품 내용
비교대상 코드를 Binary 파일로 전환 후 Miasm을 이용해 Symbolic Execution을 시행하고, Z3 solver를 사용하여 Instruction block에서의 register값을 서로 비교해 코드가 기능적으로 일치하는지 판단하는 도구.
Comments