DocumentCode :
3008284
Title :
The Semantics of Abstract Program Slicing
Author :
Zanardini, Damiano
Author_Institution :
CLIP, Tech. Univ. of Madrid, Madrid
fYear :
2008
fDate :
28-29 Sept. 2008
Firstpage :
89
Lastpage :
98
Abstract :
The present paper introduces the semantic basis for abstract slicing. This notion is more general than standard, concrete slicing, in that slicing criteria are abstract, i.e., defined on properties of data, rather than concrete values. This approach is based on abstract interpretation: properties are abstractions of data. Many properties can be investigated; e.g., the nullity of a program variable. Standard slicing is a special case, where properties are exactly the concrete values. As a practical outcome, abstract slices are likely to be smaller than standard ones, since commands which are relevant at the concrete level can be removed if only some abstract property is supposed to be preserved. This can make debugging and program understanding tasks easier, since a smaller portion of code must be inspected when searching for undesired behavior. The framework also includes the possibility to restrict the input states of the program, in the style of conditioned slicing, thus lying between static and dynamic slicing.
Keywords :
program debugging; program slicing; reverse engineering; abstract program slicing; dynamic slicing; program debugging; program understanding; program variable nullity; static slicing; Acoustic propagation; Calculus; Concrete; Debugging; Reverse engineering; Software maintenance; Abstract Interpretation; Dependence; Program Slicing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Source Code Analysis and Manipulation, 2008 Eighth IEEE International Working Conference on
Conference_Location :
Beijing
Print_ISBN :
978-0-7695-3353-7
Type :
conf
DOI :
10.1109/SCAM.2008.19
Filename :
4637542
Link To Document :
بازگشت