Interprocedural Structure of C Programs

[Daryl Odnert]

A few months ago I posted a request for a reference on a tech report
from Barbara Ryder on the structure of C programs.  I finally got a
copy of the paper today.

After posting my original basenote, I received several mail messages
asking me to post the information if and when I found it.  So, without
further delay...

   "The Interprocedural Structure of C Programs: An Empirical Study"
   by B.G. Ryder and H.D. Pande, Technical Report LCSR-TR-99, Feb. 1988.

   Laboratory for Computer Science Research
   Busch Campus, Rutgers University
   New Brunswick, New Jersey  08903

Here is an edited version of the abstract:

   "INTERP-ANAL is a static analyzer for C programs that delineates
   their calling structure, characterizes the sharing of data through
   parameters and globals, and reports interesting pointer usage.  Our
   aim is to better understand the interprocedural structre of software
   systems written in C, in order to build incremental static analysis
   tools for them.  [...]  We present the design and implementation of
   INTERP-ANAL as well as our observations obtained from empirical
   experiments."

Professor Ryder has communicated to me that this is a preliminary technical
report and that she and her colleagues hope to have more data published
later this year.

Daryl Odnert
daryl%hpcllla at hplabs.hp.com  or  {wherever}!hplabs!hpcllla!daryl
Hewlett-Packard California Language Lab
Cupertino, California

  "If you don't like the news, go out and make some of your own."
       - Scoop Nisker