Tools

The following tools are available to help you working with CTAS code. I'd like to collect feedback on these tools, so send me any comments, grumps, insights, etc.

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.
 

Back to 6.894 home page