가상머신 난독화 코드의 정적분석

Abstract

가상머신 난독화 코드의 정적분석을 위해 알아보기 쉬운 프로그램으로 변환하는 방법을 설명하였다. 코드 언어와 인터프리터 언어를 디자인 했으며, 그것의 실행 의미를 정의하였다. 프로그램 카운터 변수와 코드 부분, 인터프리터 부분을 알고 있다면, 가상머신 난독화 코드를 보기 쉬운 인터프리터 언어로된 프로그램으로 변환 할 수 있다. 이러한 변환을 통해 쉽게 분석할 수 없는 가상머신 난독화 코드를 정적분석 가능하게 할 수 있다.