Display by Author: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
Composed Control Dependence Graph Generator
|Authors:||Shevlin, Theodore P|
Prior to doctoral work by Stafford, control dependence algorithms only worked for uni-procedure analysis and inlined multi-procedure analysis. Inlined multi-procedure analysis fails to address recursion, and in most cases can be too costly to perform. Stafford took a compositional approach to multi-procedure analysis by developing a language-independent, composed control dependence graph for any uni- or multi-procedure software component. This paper details an effort to implement that algorithm in the C++ language using Stanford University Intermediate Format (SUIF) and Machine SUIF (MachSUIF).
Faculty: for help posting a technical report please visit the User Guide.