|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
| PointsToAnalysis | A generic interface to any type of pointer analysis. |
| PointsToSet | A generic interface to some set of runtime objects computed by a pointer analysis. |
| Class Summary | |
| SparkOptions | Various options regulating the functioning of Spark. |
| SparkOptions.Switch_doubleSetNew | |
| SparkOptions.Switch_doubleSetOld | |
| SparkOptions.Switch_propagator | |
| SparkOptions.Switch_setImpl | |
| SparkTransformer | Main entry point for Spark. |
Spark: Soot pointer analysis research kit
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||