PC
ai
PCLineComprehension
issues
PCs
ai
PackageLocation
issues
Param
tac
Parameters
tac
PerInstructionPostProcessing
domain
PerformAI
domain
PerformInvocations
l2
PerformInvocationsWithBasicVirtualMethodCallResolution
la
PerformInvocationsWithRecursionDetection
l2
Performance
IssueCategory
PostEvaluationMemoryManagement
domain
PreciseIntegerValues
li
PreciseLongValues
li
PredefinedClassHierarchy
domain
PrefixExpr
tac
PrimitiveTACAIDomain
l0
PrimitiveTypecastExpr
tac
PrimitiveValuesConversionsDomain
ai
PrimitiveValuesFactory
ai
ProjectLocation
issues
Property
PropertyTracing
PropertyComputation
fpcf
PropertyKeyID
fpcf
PropertyTracing
tracing
ProvenAssertion
Relevance
PutField
tac
PutStatic
tac
parameter
Parameters
parameterIndexToValueOrigin
ai
parameterVariables
ai
parameterVariablesIterator
ai
parameters
Parameters
params
Call Invokedynamic NonVirtualFunctionCall NonVirtualMethodCall StaticFunctionCall StaticMethodCall TACode VirtualFunctionCall VirtualMethodCall
pc
InterpretationFailedException AdditionalCallTargets CallGraphDifferenceReport UnexpectedCallTargets UnresolvedMethodCall ReifiedConstraint ReifiedSingleValueConstraint ReifiedTwoValuesConstraint CodeComprehension InstructionLocation LocalVariables Operands ArrayLength ArrayLoad ArrayStore Assignment BinaryExpr CaughtException Checkcast ClassConst Compare DoubleConst ExprStmt FloatConst GetField GetStatic Goto If InstanceOf IntConst Invokedynamic JSR LongConst MethodHandleConst MethodTypeConst MonitorEnter MonitorExit New NewArray NonVirtualFunctionCall NonVirtualMethodCall Nop NullExpr PrefixExpr PrimitiveTypecastExpr PutField PutStatic Ret Return ReturnValue StaticFunctionCall StaticMethodCall Stmt StringConst Switch Throw VirtualFunctionCall VirtualMethodCall
pcLineToString
PCLineComprehension
pcNode
PCLineComprehension
pcOfVMLevelValue
ai
perform
AI
performInterpretation
AI
postDominatorTree
RecordCFG
postDominatorTreeFactory
RecordCFG
preInterpretationInitialization
AI
predecessorsOf
RecordCFG
prettifyJarUrl
issues
primitiveType
IsBooleanValue IsByteValue IsCharValue IsDoubleValue IsFloatValue IsIntegerValue IsLongValue IsPrimitiveValue IsShortValue
printDomainValue
DUVar
project
BaseFieldValuesAnalysisDomain BaseMethodReturnValuesAnalysisDomain AdditionalCallTargets BasicVTACallGraphDomain BasicVTAWithPreAnalysisCallGraphDomain CFACallGraphDomain AnalysisContext CallGraph CallGraphAlgorithmConfiguration CallGraphBuilder CallGraphDifferenceReport AnalysisContext Callees DefaultCHACallGraphDomain DefaultCallGraphAlgorithmConfiguration DefaultVTACallGraphDomain ExtVTACallGraphDomain UnexpectedCallTargets AnalysisContext TheProject BaseDomain DefaultDomain DefaultIntervalValuesDomain DefaultReferenceValuesDomain DefaultSetValuesDomain DefaultSingletonValuesDomain CoordinatingValuesDomain SharedDefaultDomain DefaultDomain DefaultDomain ai AdvancedFieldMutabilityAnalysis EntryPointsAnalysis JavaEEEntryPointsAnalysis LibraryEntryPointsAnalysis
propagateRefinement
ReferenceValue
properties
ValuesDomain RecordDefUse ConstraintsBetweenIntegerValues PropertyTracing
propertyName
SimpleBooleanPropertyTracing
propertyStore
TheProject ThePropertyStore
putConstraintInStore
ConstraintsBetweenIntegerValues
putfield
FieldAccessesDomain BaseFieldValuesAnalysisDomain ValuesCoordinatingDomain TypeLevelFieldAccessInstructions
putstatic
FieldAccessesDomain BaseFieldValuesAnalysisDomain ValuesCoordinatingDomain TypeLevelFieldAccessInstructions