com.oracle.graal.pointsto.api

Class PointstoOptions

java.lang.Object

com.oracle.graal.pointsto.api.PointstoOptions

public class PointstoOptions
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PointstoOptions.ContextSensitivity

Field Summary

Fields

Modifier and Type	Field and Description
static org.graalvm.compiler.options.OptionKey<Boolean>	AliasArrayTypeFlows
static org.graalvm.compiler.options.OptionKey<Boolean>	AllocationSiteSensitiveHeap
static org.graalvm.compiler.options.OptionKey<String>	AnalysisContextSensitivity Controls the static analysis context sensitivity.
static org.graalvm.compiler.options.OptionKey<Integer>	AnalysisSizeCutoff
static org.graalvm.compiler.options.OptionKey<Boolean>	ConditionalEliminationBeforeAnalysis
static org.graalvm.compiler.options.OptionKey<Boolean>	EscapeAnalysisBeforeAnalysis
static org.graalvm.compiler.options.OptionKey<Boolean>	ExhaustiveHeapScan
static org.graalvm.compiler.options.OptionKey<Boolean>	ExtendedAsserts
static org.graalvm.compiler.options.OptionKey<Boolean>	HybridStaticContext
static org.graalvm.compiler.options.OptionKey<String>	InspectServerContentPath
static org.graalvm.compiler.options.OptionKey<Boolean>	LimitObjectArrayLength
static org.graalvm.compiler.options.OptionKey<Integer>	MaxCallingContextDepth
static org.graalvm.compiler.options.OptionKey<Integer>	MaxCallingContextWidth
static org.graalvm.compiler.options.OptionKey<Integer>	MaxConstantObjectsPerType
static org.graalvm.compiler.options.OptionKey<Integer>	MaxHeapContextDepth
static org.graalvm.compiler.options.OptionKey<Integer>	MaxHeapContextWidth
static org.graalvm.compiler.options.OptionKey<Integer>	MaxObjectSetSize
static org.graalvm.compiler.options.OptionKey<Integer>	MinCallingContextDepth
static org.graalvm.compiler.options.OptionKey<Integer>	MinHeapContextDepth
static org.graalvm.compiler.options.OptionKey<Boolean>	OptimizeReturnedParameter
static org.graalvm.compiler.options.OptionKey<Integer>	ParsingContextMaxDepth
static org.graalvm.compiler.options.OptionKey<Boolean>	PrintPointsToStatistics
static org.graalvm.compiler.options.OptionKey<Boolean>	PrintSynchronizedAnalysis
static org.graalvm.compiler.options.OptionKey<Boolean>	ProfileAnalysisOperations
static org.graalvm.compiler.options.OptionKey<Boolean>	ProfileConstantObjects
static org.graalvm.compiler.options.OptionKey<Boolean>	RelaxTypeFlowStateConstraints
static org.graalvm.compiler.options.OptionKey<Boolean>	RemoveSaturatedTypeFlows
static org.graalvm.compiler.options.OptionKey<Boolean>	ScanObjectsParallel
static org.graalvm.compiler.options.OptionKey<Boolean>	TrackAccessChain
static org.graalvm.compiler.options.OptionKey<Boolean>	TrackInputFlows
static org.graalvm.compiler.options.OptionKey<Integer>	TypeFlowSaturationCutoff
static org.graalvm.compiler.options.OptionKey<Boolean>	UnresolvedIsError
static org.graalvm.compiler.options.OptionKey<Boolean>	UseExperimentalReachabilityAnalysis
static org.graalvm.compiler.options.OptionKey<Boolean>	UseReachabilityMethodSummaries

Constructor Summary

Constructors

Constructor and Description
PointstoOptions()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

UseExperimentalReachabilityAnalysis

public static final org.graalvm.compiler.options.OptionKey<Boolean> UseExperimentalReachabilityAnalysis

UseReachabilityMethodSummaries

public static final org.graalvm.compiler.options.OptionKey<Boolean> UseReachabilityMethodSummaries

HybridStaticContext

public static final org.graalvm.compiler.options.OptionKey<Boolean> HybridStaticContext

AllocationSiteSensitiveHeap

public static final org.graalvm.compiler.options.OptionKey<Boolean> AllocationSiteSensitiveHeap

MinHeapContextDepth

public static final org.graalvm.compiler.options.OptionKey<Integer> MinHeapContextDepth

MaxHeapContextDepth

public static final org.graalvm.compiler.options.OptionKey<Integer> MaxHeapContextDepth

MaxHeapContextWidth

public static final org.graalvm.compiler.options.OptionKey<Integer> MaxHeapContextWidth

MinCallingContextDepth

public static final org.graalvm.compiler.options.OptionKey<Integer> MinCallingContextDepth

MaxCallingContextDepth

public static final org.graalvm.compiler.options.OptionKey<Integer> MaxCallingContextDepth

MaxCallingContextWidth

public static final org.graalvm.compiler.options.OptionKey<Integer> MaxCallingContextWidth

LimitObjectArrayLength

public static final org.graalvm.compiler.options.OptionKey<Boolean> LimitObjectArrayLength

MaxObjectSetSize

public static final org.graalvm.compiler.options.OptionKey<Integer> MaxObjectSetSize

MaxConstantObjectsPerType

public static final org.graalvm.compiler.options.OptionKey<Integer> MaxConstantObjectsPerType

ProfileAnalysisOperations

public static final org.graalvm.compiler.options.OptionKey<Boolean> ProfileAnalysisOperations

ProfileConstantObjects

public static final org.graalvm.compiler.options.OptionKey<Boolean> ProfileConstantObjects

PrintSynchronizedAnalysis

public static final org.graalvm.compiler.options.OptionKey<Boolean> PrintSynchronizedAnalysis

OptimizeReturnedParameter

public static final org.graalvm.compiler.options.OptionKey<Boolean> OptimizeReturnedParameter

ExtendedAsserts

public static final org.graalvm.compiler.options.OptionKey<Boolean> ExtendedAsserts

TrackAccessChain

public static final org.graalvm.compiler.options.OptionKey<Boolean> TrackAccessChain

ParsingContextMaxDepth

public static final org.graalvm.compiler.options.OptionKey<Integer> ParsingContextMaxDepth

TrackInputFlows

public static final org.graalvm.compiler.options.OptionKey<Boolean> TrackInputFlows

AnalysisSizeCutoff

public static final org.graalvm.compiler.options.OptionKey<Integer> AnalysisSizeCutoff

TypeFlowSaturationCutoff

public static final org.graalvm.compiler.options.OptionKey<Integer> TypeFlowSaturationCutoff

RemoveSaturatedTypeFlows

public static final org.graalvm.compiler.options.OptionKey<Boolean> RemoveSaturatedTypeFlows

AliasArrayTypeFlows

public static final org.graalvm.compiler.options.OptionKey<Boolean> AliasArrayTypeFlows

RelaxTypeFlowStateConstraints

public static final org.graalvm.compiler.options.OptionKey<Boolean> RelaxTypeFlowStateConstraints

UnresolvedIsError

public static final org.graalvm.compiler.options.OptionKey<Boolean> UnresolvedIsError

PrintPointsToStatistics

public static final org.graalvm.compiler.options.OptionKey<Boolean> PrintPointsToStatistics

InspectServerContentPath

public static final org.graalvm.compiler.options.OptionKey<String> InspectServerContentPath

ScanObjectsParallel

public static final org.graalvm.compiler.options.OptionKey<Boolean> ScanObjectsParallel

ExhaustiveHeapScan

public static final org.graalvm.compiler.options.OptionKey<Boolean> ExhaustiveHeapScan

EscapeAnalysisBeforeAnalysis

public static final org.graalvm.compiler.options.OptionKey<Boolean> EscapeAnalysisBeforeAnalysis

ConditionalEliminationBeforeAnalysis

public static final org.graalvm.compiler.options.OptionKey<Boolean> ConditionalEliminationBeforeAnalysis

AnalysisContextSensitivity

public static final org.graalvm.compiler.options.OptionKey<String> AnalysisContextSensitivity

Controls the static analysis context sensitivity. Available values:

insens - context insensitive analysis,

allocsens - allocation site sensitive heap, i.e. heap allocated objects are modeled using the allocation site, but the analysis is context insensitive

1obj - 1 object sensitive analysis with a context insensitive heap (however allocation site sensitive heap),

2obj1h - 2 object sensitive with a 1 context sensitive heap

Constructor Detail

PointstoOptions

public PointstoOptions()