Data Dependency Analysis.
Abstract:
In order to understand the structure of computer programs and to detect certain types of protection errors in computer operating systems, it is often necessary to determine the flow of data both within single programs and among programs. The report describes a simple technique, data dependency analysis, for automatically generating this information from the static source representation of programs. The report also describes an experimental implementation used to determine the data flow of PL1 programs taken from the Multics operating system. Author
Security Markings
DOCUMENT & CONTEXTUAL SUMMARY
Distribution:
Approved For Public Release
RECORD
Collection: TR