If you find other useful tools, please contribute them!
Imagix 4D
A commercial visualization tool.
Syntactic analysis for C and C++ code: cross references, calls, etc.
Nice facilities for graph traversal: filtering, transitive closure,
etc.
Executable and pre-computed database for CTAS in /mit/6.894/share/tools/imagix
Guru: Eric Bothwell
Generously donated to the course by Imagix, Inc.
Lackwit
A research prototype developed by Robert O'Callahan at CMU.
Semantic analysis for C programs based on type inference.
Database for communication manager has been created
Guru: Daniel Jackson
Executable and pre-computed database for CTAS in /mit/6.894/share/tools/lackwit
CodeSurfer
A commercial program slicing tool.
Semantic analysis for C programs; dataflow and pointer analysis.
Guru: Eddie Kohler
Generously donated to the course by Grammatech, Inc.