|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |