DocumentCode
1712774
Title
A static analysis for program understanding and debugging
Author
Gaugne, Ronan
Author_Institution
IRISA/INRIA, Rennes, France
fYear
1997
Firstpage
297
Lastpage
298
Abstract
The paper presents a static pointer analysis technique for a subset of C. The tool supports user-defined assertions inserted in the body of the program. Assertions are of two kinds: static assertions automatically verified by the analyser, and hypothetical assertions treated as assumptions by the analyser. The technique deals with recursive data structures and it is accurate enough to handle circular structures
Keywords
data structures; program debugging; program verification; reverse engineering; system monitoring; C subset; assumptions; automatic verification; circular structures; hypothetical assertions; program debugging; program understanding; recursive data structures; static assertions; static pointer analysis technique; user-defined assertions; Computer bugs; Computer languages; Costs; Data structures; Debugging; Logic; Mechanical factors; Programming profession; Tail; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 1997. Proceedings., 12th IEEE International Conference
Conference_Location
Incline Village, NV
Print_ISBN
0-8186-7961-1
Type
conf
DOI
10.1109/ASE.1997.632853
Filename
632853
Link To Document