Program Analysis by Digital Computer
Name
MIT-LCS-TR-043.pdf
Size
3.43 MB
Format
Adobe PDF
Checksum (MD5)
cb2beca0b517a418aa4b2f3f6c86a484
Author(s)
Wilde, Daniel Underwood
Advisor(s)
Teager, Herbert M.
Date Issued
August 1967
Series/Report no.
MIT-LCS-TR-043
MAC-TR-043
Abstract
A comparison of the properties of non-modifying and self-modifying programs leads to the definition of independent and dependent instructions. Because non-modifying programs contain only independent instructions, such programs can be analyzed by a straight forward, two -step analysis procedure. First, the program control flow is detected; second, that control flow is used to determine the program data flow or data processing. However, self-modifying programs can also contain dependent instructions, and the program control flows and data flows exhibit cyclic interaction.
Persistent DSpace Link
