|static analyzers for detecting program errors firstname.lastname@example.org (1991-11-21)|
|SUMMARY: Static analyzers for detecting programming errors email@example.com (1991-12-05)|
|From:||firstname.lastname@example.org (David Spuler)|
|Organization:||James Cook University of North Queensland, Australia|
|Date:||Thu, 21 Nov 91 13:01:02 +1100|
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.
James Cook University of North Queensland, Australia
Return to the
Search the comp.compilers archives again.