GIGO: words unreadable aloud

C/C++ Static Analysis papers

Gorgeous day today in the Santa Cruz Mountains. Not bad for February. Had a house guest for the past few days; she headed to the airport to fly back to San Diego today.

I spent some time studying static analysis tools for C/C++ programs. Some of the examples:

SLAM (Software (Specifications), Languages, Analysis, and Model checking)
LClint (now called Splint, it also now has a confusingly-named sourceforge project page )
PREfix was Intrinsa's tool, before Microsoft bought Intrinsa. Prefixco was rumored to have existed but looks gone now.
Meta-level compilation (MC, using a langauge called "metal"); Dawson Engler et al. at Stanford. There's a paper at
http://hands.stanford.edu/osdi2000/paper.html
The above paper has a reference to "metal"...
[5] A. Chou and D.R. Engler. Metal: A language and system for building lightweight, system-specific software checkers, analyzers and optimizers. Available upon request: acc@cs.stanford.edu, 2000.
Refine (from Reasoning ). There is a brief old intro here, and a tutorial seems to have existed once at John M Gravley's site , but today I could find it only via Google's cache.

Got the hint about SLAM from the "Lambda, the Ultimate" Weblog .
6:15:42 PM comment/