daryl@hpcllla.HP.COM (Daryl Odnert) (02/14/89)
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@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 Niskermaart@cs.vu.nl (Maarten Litmaath) (02/16/89)
daryl@hpcllla.HP.COM (Daryl Odnert) writes:
\ "INTERP-ANAL is a static analyzer for C programs that delineates
^^^^^^^^^^^ ^^^^^^^^^^
That STOOPID (*) name suggests a FORTRAN analyzer.
(*) "STOOPID" is a trademark of richard@gryphon.COM (Richard Sexton).
--
"I love it |Maarten Litmaath @ VU Amsterdam:
when a plan comes together." |maart@cs.vu.nl, mcvax!botter!maart