| Interface | Description |
|---|---|
| BigBang |
Central static analysis interface that groups together the functionality of reachability analysis
and heap scanning and adds utility methods and lifecycle hooks that should be used to query and
change the state of the analysis.
|
| HeapScanning |
The heap crawling algorithm used for updating type flow is mostly implemented in
ObjectScanner. |
| ObjectScanningObserver |
This interface contains hooks for constant scanning events.
|
| PointsToAnalysis.TypeFlowRunnable | |
| ReachabilityAnalysis |
Interface to be used to query and change the state of the static analysis in Native Image.
|
| Class | Description |
|---|---|
| AbstractAnalysisEngine |
This abstract class is shared between Reachability and Points-to.
|
| AnalysisObjectScanningObserver | |
| AnalysisPolicy | |
| HeapScanningPolicy |
Policy to decide what constants to scan.
|
| ObjectScanner |
Provides functionality for scanning constant objects.
|
| ObjectScanner.ArrayScan | |
| ObjectScanner.EmbeddedRootScan | |
| ObjectScanner.FieldConstantFold | |
| ObjectScanner.FieldScan | |
| ObjectScanner.MethodParsing | |
| ObjectScanner.OtherReason | |
| ObjectScanner.ReusableSet |
This datastructure keeps track if an object was already put or not atomically.
|
| ObjectScanner.ScanReason | |
| PointsToAnalysis | |
| PointsToAnalysis.BucketTiming | |
| PointsToAnalysis.ConstantObjectsProfiler |