Title :
A static analysis for program understanding and debugging
Author_Institution :
IRISA/INRIA, Rennes, France
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;
Conference_Titel :
Automated Software Engineering, 1997. Proceedings., 12th IEEE International Conference
Conference_Location :
Incline Village, NV
Print_ISBN :
0-8186-7961-1
DOI :
10.1109/ASE.1997.632853
