Crystal Static Analysis Framework, version 3.5.0

Packages
edu.cmu.cs.crystal The core package for Crystal; start here for making your own Crystal analysis.
edu.cmu.cs.crystal.analysis.alias  
edu.cmu.cs.crystal.analysis.constant  
edu.cmu.cs.crystal.analysis.live  
edu.cmu.cs.crystal.analysis.metrics  
edu.cmu.cs.crystal.analysis.print  
edu.cmu.cs.crystal.annotations Utilities for automatically retrieving and storing Java annotations for use by a Crystal analsysis.
edu.cmu.cs.crystal.bridge DEPRECATED PACKAGE! Do not use anything in this package; it only exists for the Plural analysis.
edu.cmu.cs.crystal.cfg An internal package for defining a control flow graph.
edu.cmu.cs.crystal.cfg.eclipse An internal package for creating a control flow graph from Eclipse.
edu.cmu.cs.crystal.flow This package is used for flow analyses.
edu.cmu.cs.crystal.flow.concur This experimental package is for running analyses concurrently.
edu.cmu.cs.crystal.flow.worklist An internal package for running a flow analysis.
edu.cmu.cs.crystal.internal An internal package for Crystal to interact with Eclipse and start running the analyses.
edu.cmu.cs.crystal.simple This package is for creating very simple flow analyses; if you're new to flow analyses, start here.
edu.cmu.cs.crystal.tac This package contains classes and interfaces for writing flow analyses based on three-address code (TAC).
edu.cmu.cs.crystal.tac.eclipse An internal package for creating three address code nodes based on the Eclipse AST.
edu.cmu.cs.crystal.tac.model The interfaces for the three-address code (TAC) instructions and variables.
edu.cmu.cs.crystal.util Several utilities that other analysis writers have found useful.
edu.cmu.cs.crystal.util.typehierarchy