This study describes techniques for detranslating a restricted class of machine language program into an assembly language program. This detranslation process, called "disassembly", is concerned with the ultimate objective of realizing the software transport system, which moves well-debugged and already established software from one machine to another at object code level without reprogramming.
A systematic methodology is discussed for the disassembly process studied. The disassembler consists of three major phases: the control flow analysis, the data flow analysis, and the code generation. The control flow analysis include the block detection and loop detection algorithms. The data flow analysis is concerned with the loop analysis and variable range analysis. These flow analysis techniques resulted in the efficiency of the disassembly process.
In order to demonstrate the techniques discussed, the disassembler was implemented in a microcomputer. The working disassembler was tested by running the sample test programs which represent a variety of applications.
본 논문은 제한된 범위의 컴퓨터 기계어 프로그램을 어셈블리 언어 프로그램으로 역번역하는 방법을 기술하였다. 이러한 역번역 과정을 "디스어셈블리" 라고 부르는데, 이는 본 연구의 궁극적인 목표가 되는 소프트웨어 이전체제 (Software Transport System)를 실현하기 위한 방법의 일부로 연구되었다. 소프트웨어 이전체제란 기존의 잘 디버깅 된 소프트웨어를 다시 프로그래밍을 하지 않고 한 컴퓨터에서 다른 컴퓨터로 이전시키는 체제를 말한다.
현재까지 디스어셈블리 과정이 잘 알려지지 않았으며 더구나 특별한 기술이 정립되어 있지 않은 상태에서, 본 논문은 디스어셈블리 과정에 대해 연구하였으며 이를 위한 조직적 방법을 생각하였다. 디스어셈블리 과정을 성공적으로 수행하기 위한 방법으로, 본 논문은 다음의 주요한 세개의 과정으로 제시하였다: (1)제어 흐름 분석, (2) 데이터 흘름 분석, 및 (3) 코우드 생성, 제어 흐름 분석 과정에는 블럭 및 루우프 검출 알고리즘이 포함되어 있으며, 데이터 흐름 분석 과정은 루우프의 성격 분석 및 변수의 범위 분석에 대해 관계한다. 이러한 흐름 분석 기법이 사용되어 디스어셈블리 과정을 보다 정확하고 효율적으로 수행할 수 있었다.
연구된 디스어셈블리 기술을 평가하기 위해 한 마이크로 컴퓨터에 실험적으로 설치되었다. 여러가지의 실험 프로그램을 수행하여 봄으로써 본 디스어셈블리의 효율을 측정 하였으며, 여러 방면의 활용도에 대해 생각하였다.
