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