static analyzers for detecting program errors

I'm a graduate student interested in the design and implementation
of compiler-like static analysis tools that detect common programming
errors (e.g. Lint for the C language). I tend to be more interested
in analyzers for procedural languages, but functional and logic
programming are interesting too.


I'd love to hear from anyone who can send me information about:


Papers/books with discussions of algorithms for detecting errors.
Simple algorithms are fine (e.g. unreachable code via
depth-first search of flow graph), but I'm particularly
interested in advanced algorithms that use data flow
or verification techniques.


Lists of bugs that can be found by simple/not-so-simple techiques
(esp. for Pascal, C, C++, Fortran)


Commercial products of this type (e.g. FlexeLint for IBM PCs)




If anyone else is interested in this stuff, I have some bug lists
and references of my own.


David Spuler
James Cook University of North Queensland, Australia
--

Return to the comp.compilers page.
Search the comp.compilers archives again.