Crystal is a static analysis framework built as an Eclipse plugin. It's primary goals is to teach students about static analysis and to provide a way for researchers to prototype analyses.

You may create new analyses by extending with another Eclipse plugin. Crystal supports features such as branch-sensitivity, annotation extraction, exceptional control flow, and three address code. The classes used in Crystal are based on the abstractions of lattices and flow functions, thus making it easy to go from a formally defined analysis to a prototype.