Static Backward Demand-Driven Slicing

8 years 9 days ago

Download www.es.mdh.se

Program slicing identiﬁes the program parts that may affect certain properties of the program, such as the outcomes of conditions affecting the program ﬂow. Ottenstein’s Program Dependence Graph (PDG) based algorithm is the state-of-practice for static slicing today: it is well-suited in applications where many slices are computed, since the cost of building the PDG then can be amortized over the slices. But there are applications that require few slices of a given program, and where computing all the dependencies may be unnecessary. We present a light-weight interprocedural algorithm for backward static slicing where the data dependence analysis is done using a variant of the Strongly Live Variables (SLV) analysis. This allows us to avoid building the Data Dependence Graph, and to slice program statements “on-the-ﬂy” during the SLV analysis which is potentially faster for computing few slices. Furthermore n abstract interpretation-based value analysis to extend our slicin...

Björn Lisper, Abu Naser Masud, Husni Khanfar

Real-time Traffic