| Interface | Description |
|---|---|
| Inflation |
Extension of StaticAnalysisEngine providing access to more svm specific methods.
|
| Class | Description |
|---|---|
| AnnotationsProcessor | |
| CallChecker | |
| DynamicHubInitializer | |
| NativeImagePointsToAnalysis | |
| PointsToUnknownFieldHandler | |
| SubstrateUnsupportedFeatures | |
| SVMAnalysisMetaAccess | |
| UnknownFieldHandler | |
| UserLimitationsChecker |
Checks if all user defined limitations such as the number of types are satisfied.
|