Abstract :
We report on a system developed to construct outlines of loops in C
programs. It is derived from a model and a system previously define to
outline LISP loops, that have both been enhanced to handle those
constructs of an imperative language like C that were out of scope in
(pure functionnal) LISP, especially: iterative control flow structures,
variable assignements, and manipulations of arrays, structures and
pointers.
In this paper, we first introduce our model for C loop outlining. Then
we present the architecture of our system and describe the main steps of
the outline construction process. We then discuss results obtained from
the application of our system to two real-world programs and finally we
show that this experiment gives a preview of the use of outlines as
indexes for browsing and querying large scale programs.
Ce papier est disponible en version Postcript ou sur demande à fb@ai.univ-paris8.fr.