| Interface | Description |
|---|---|
| PathAnalysisMethodChecker | |
| PathAnalysisSupplementalFactory<T,U> | |
| StaticMethodAnalysisStorage<U> |
Deprecated legacy interface for storing the results of a static analysis of
class files (not needed since class files are now analyzed at runtime).
|
| Class | Description |
|---|---|
| Annotations | |
| CodePath | |
| CodePath.PathInstruction | |
| MethodAnalysisResults | |
| MethodSideEffect | |
| MethodSideEffectCall | |
| MethodSideEffectFieldAssign | |
| PathAnalysis | |
| PathAnalysisFactory | |
| PathAnalysisSimplifier | |
| SymbExBooleanRewriter |
Java uses integers for booleans.
|
| SymbExSimplifier<I> | |
| TransformationClassAnalyzer |
Copyright © 2018. All Rights Reserved.