Data dependences, which relate statements that compute data values to statements that use those values, are useful for automating a variety of program-comprehension-related activities, such as reverse engineering, impact analysis, and debugging. Unfortunat
Table1:Def-usetypesbasedonthetypesofde nitionsanduses.
De nitede nition
def-usetype3def-usetype4
Table2:Classi cationofΠ—pathsfromde nitionstouses—afterincorporatingtheoccurrencesofde nitekillingpaths.
BasetypeofΠallde nitedef-clear
π∈Π:πisde nitekilling
somede nitedef-clear
π∈Π:πisde nitekilling
allpossibledef-clear
π∈Π:πisde nitekilling
PRD-KDPRD-KExtendedtypeofΠ
DRD-K