P
DataFlowProblemFactory StringPassedToClassForName
PARAMETER_ANNOTATED_WITH
DependencyTypes
PARAMETER_TYPE
DependencyTypes
PARAMETER_TYPE_OF_CALLED_METHOD
DependencyTypes
PC
ai br
PCLineComprehension
issues
PCs
ai br
POP
instructions
POP2
instructions
PRIVATE
ba AccessModifier AccessFlagsMatcher
PRIVATE_FINAL
AccessFlagsMatcher
PROTECTED
ba AccessModifier AccessFlagsMatcher
PUBLIC
ba AccessModifier AccessFlagsMatcher
PUBLIC_ABSTRACT
AccessFlagsMatcher
PUBLIC_FINAL
AccessFlagsMatcher
PUBLIC_INTERFACE
AccessFlagsMatcher
PUBLIC_STATIC
AccessFlagsMatcher
PUBLIC_STATIC_FINAL
AccessFlagsMatcher
PUBLIC___OR___PROTECTED_AND_NOT_FINAL
AccessFlagsMatcher
PUTFIELD
instructions
PUTSTATIC
instructions
PackageLocal
properties
PackageLocation
hermes issues
PackageMatcher
checking
ParallelismLevel
PropertyStore
Param
tac
ParameterAnnotationTable
br
ParameterAnnotations
ParametersAnnotationsReader RuntimeInvisibleParameterAnnotations_attributeReader RuntimeVisibleParameterAnnotations_attributeReader br ParametersAnnotations_attribute
ParameterDeclarationOfClassOrInterface
TypeAnnotationTargetReader TypeAnnotationsBinding ClassFileReader
ParameterDeclarationOfMethodOrConstructor
TypeAnnotationTargetReader TypeAnnotationsBinding ClassFileReader
ParameterUsageAnalysis
l0
Parameters
tac
ParametersAnnotations
ParametersAnnotationsReader RuntimeInvisibleParameterAnnotations_attributeReader RuntimeVisibleParameterAnnotations_attributeReader ParametersAnnotations_attribute
ParametersAnnotationsReader
reader
ParametersAnnotations_attribute
da
PathToJARs
Specification
PerInstructionPostProcessing
domain
PerformAI
domain
PerformControlFlowSimplifications
BytecodeOptimizer
PerformInvocations
l2
PerformInvocationsWithBasicVirtualMethodCallResolution
la
PerformInvocationsWithRecursionDetection
l2
Performance
IssueCategory
PerformanceCounting
util
PerformanceEvaluation
util
PopInstruction
instructions
PositiveIntegerValue
NumericRange
PostDominatorTree
graphs
PostEvaluationMemoryManagement
domain
PreAnalysesCount
BugPickerAnalysis
PreciseIntegerValues
li
PreciseLongValues
li
PredefinedClassHierarchy
domain
PrefixExpr
tac
PrimitiveAccessFlagsMatcher
bi
PrimitiveArrayAccess
instructions
PrimitiveArrayStoreInstruction
instructions
PrimitiveBooleanToLangBoolean
TypeConversionFactory
PrimitiveByteToLangByte
TypeConversionFactory
PrimitiveCharToLangCharacter
TypeConversionFactory
PrimitiveDoubleToLangDouble
TypeConversionFactory
PrimitiveFloatToLangFloat
TypeConversionFactory
PrimitiveIntToLangInteger
TypeConversionFactory
PrimitiveLongToLangLong
TypeConversionFactory
PrimitiveShortToLangShort
TypeConversionFactory
PrimitiveTACAIDomain
l0
PrimitiveTypeInfo
da
PrimitiveTypecastExpr
tac
PrimitiveValuesConversionsDomain
ai
PrimitiveValuesFactory
ai
PrintBaseCFG
br
PrintTAC
tac
PrivateMethodsWithObjectTypeParameterCounter
br
ProgressEvent
analyses
ProgressEvents
analyses
ProgressManagement
analyses
Project
analyses
ProjectAccessibility
properties
ProjectConfiguration
hermes
ProjectDemo
analyses
ProjectDirectory
Specification
ProjectFeatures
hermes
ProjectIndex
analyses
ProjectIndexKey
analyses
ProjectIndexStatistics
analyses
ProjectInformationKey
analyses
ProjectInformationKeys
analyses
ProjectInstantiation
hermes
ProjectJAR
Specification
ProjectJARs
Specification
ProjectLike
analyses
ProjectLocation
issues
ProperTypeArgument
br
Property
PropertyTracing fpcf
PropertyChecker
checking
PropertyComputation
fpcf
PropertyComputationResult
fpcf
PropertyKey
fpcf
PropertyKeyID
fpcf
PropertyKind
fpcf
PropertyMetaInformation
fpcf
PropertyStore
fpcf
PropertyStoreContext
fpcf
PropertyStoreKey
analyses
PropertyTracing
tracing
PropertyViolation
checking
ProvenAssertion
Relevance
Provides
Module_attributeReader br
ProvidesEntry
Module_attributeReader Module_attributeBinding ClassFileReader da
ProvidesEntryManifest
Module_attributeReader Module_attributeBinding ClassFileReader
Proxy
ClassFileFactory
PseudoInstruction
ba
PublicMethodsInNonRestrictedPackagesCounter
br
Pure
properties
Purity
properties
PurityAnalysis
analyses
PurityAnalysisDemo
analyses
PurityAnalysisRunner
fpcf
PurityPropertyMetaInformation
properties
PutField
tac
PutFieldMethodHandle
br
PutStatic
tac
PutStaticMethodHandle
br
p
DataFlowProblem FilteredCode EOptionP EP EPK ImmediateResult IntermediateResult Result
packageIdentifier
ClassTypeSignature
packageName
ObjectType MethodDeclarationContext PackageLocation
packageSpecifierParser
SignatureParsers
packages
Project ConcealedPackages_attribute
packagesCount
Project
pair
UShortPair
parForeachArrayElement
concurrent
parForeachClassFile
Project
parForeachLibraryClassFile
Project
parForeachMethodWithBody
Project
parForeachProjectClassFile
Project
parallelismLevel
PropertyStoreKey
parameter
Parameters
parameterAnnotations
JVMMethod ParameterAnnotationTable RuntimeInvisibleParameterAnnotationTable RuntimeVisibleParameterAnnotationTable
parameterForwardingInstructions
ClassFileFactory
parameterIndex
NativeCallWithBoundedMethodParameter FormalParameter
parameterIndexToValueOrigin
ai
parameterType
MethodDescriptor
parameterTypes
JVMMethod MethodDescriptor
parameterVariables
ai
parameterVariablesIterator
ai
parameters
CallResult Invoke MethodParameterTable MethodParameters_attribute Parameters
parametersAnnotationstoXHTML
ParametersAnnotations_attribute
parametersCount
MethodDescriptor INVOKESTATIC
parametersTypeSignatures
MethodTypeSignature
parameters_annotations
ParametersAnnotations_attribute RuntimeInvisibleParameterAnnotations_attribute RuntimeVisibleParameterAnnotations_attribute
params
Call Invokedynamic NonVirtualFunctionCall NonVirtualMethodCall StaticFunctionCall StaticMethodCall TACode VirtualFunctionCall VirtualMethodCall
parseClassSignature
SignatureParser SignatureParsers
parseConfig
DirectTypeExtensibilityInformation
parseFieldType
da
parseFieldTypeSignature
SignatureParser SignatureParsers
parseMethodDescriptor
da
parseMethodTypeSignature
SignatureParser SignatureParsers
parseReturnType
da
parser
CompactLineNumberTable_attributeReader
path
TAOnNestedType TypeAnnotation TypeAnnotationPathElements
pc
FlowEntity InterpretationFailedException UselessComputation AdditionalCallTargets CallGraphDifferenceReport UnexpectedCallTargets UnresolvedMethodCall ReifiedConstraint ReifiedSingleValueConstraint ReifiedTwoValuesConstraint AllocationSite ArrayAllocationSite CodeAnalysisFailedException ObjectAllocationSite InstructionLocation 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
pcOfNextInstruction
Code
pcOfPreviousInstruction
Code
pcOfVMLevelValue
ai
perFeatureCounts
HermesCore
perform
AI
performInterpretation
AI
performJava8LambdaExpressionsRewriting
Java8LambdaExpressionsRewriting
pk
ConcurrentResult EOptionP EP EPK SuspendedPC
pop
IntArrayStack
postAnalysis
TaintAnalysisDomain
postDominatorTree
RecordCFG
postDominatorTreeFactory
RecordCFG
potentialAccessFlags
AccessFlagsContexts AccessFlagsIterator
preInitializedClassHierarchy
ClassHierarchy
preInterpretationInitialization
AI
predecessorPCs
Code
predecessors
CFG CFGNode Graph
predecessorsOf
RecordCFG
preferences
Hermes
prettifyJarUrl
issues
previousTaintAnalysisDomain
CalledTaintAnalysisDomain
primitiveFeatureIndex
Hermes
primitiveType
IsBooleanValue IsByteValue IsCharValue IsDoubleValue IsFloatValue IsIntegerValue IsLongValue IsPrimitiveValue IsShortValue ObjectType
primitiveTypeWrapperMatcher
ObjectType
print
UTF8Println
printDomainValue
DUVar
printOIDs
ConsoleTracer
printUsage
AnalysisExecutor
println
InterpretMethodsAnalysis UTF8Println
process
Tasks DependencyExtractor io
processAnalysisParameters
DataFlowProblemFactory StringPassedToClassForName
processDependency
TypesCollector DependencyCollectingDependencyProcessor DependencyCountingDependencyProcessor DependencyExtractor DependencyProcessor DependencyProcessorAdapter DependencyProcessorDecorator FilterSelfDependencies
processInvokedynamic
DependencyExtractor
processInvokedynamicRuntimeDependencies
DependencyExtractor
processSignature
DependencyExtractor
processSource
io
processSubtypes
ClassHierarchy
programCounters
Code
progress
ProgressManagement OPALLogger
project
AnalysisDomain ExceptionUsageAnalysisDomain InfiniteRecursionsDomain NativeCallWithBoundedMethodParameter RefinedReturnType AnalysisDomain AnalysisDomain BaseFieldValuesAnalysisDomain BaseMethodReturnValuesAnalysisDomain AdditionalCallTargets BasicVTACallGraphDomain BasicVTAWithPreAnalysisCallGraphDomain CFACallGraphDomain AnalysisContext CallGraph CallGraphAlgorithmConfiguration CallGraphBuilder CallGraphDifferenceReport AnalysisContext Callees DefaultCHACallGraphDomain DefaultCallGraphAlgorithmConfiguration DefaultVTACallGraphDomain ExtVTACallGraphDomain UnexpectedCallTargets AnalysisContext DataFlowProblem TheProject BaseDomain DefaultDomain DefaultIntervalValuesDomain DefaultReferenceValuesDomain DefaultSetValuesDomain DefaultSingletonValuesDomain AnalysisDomain CoordinatingValuesDomain SharedDefaultDomain DefaultDomain DefaultDomain CalledTaintAnalysisDomain RootTaintAnalysisDomain ai AnalysisDomain DependencyViolation PropertyViolation Specification ClosedCodeBase ClosedPackagesConfiguration ClosedPackagesInformation ConfigureFinalTypes DirectTypeExtensibilityInformation FieldAccessInformation InstantiableClasses JavaProject OpenCodeBase OpenPackagesConfiguration TypeExtensibilityInformationAnalysis FallbackBugPickerAnalysisDomain InvocationBugPickerAnalysisDomain RootBugPickerAnalysisDomain FPCFAnalysesManager FPCFAnalysis AdvancedFieldMutabilityAnalysis CallBySignatureResolution CallBySignatureTargetAnalysis CallableFromClassesInOtherPackagesAnalysis ClassImmutabilityAnalysis EntryPointsAnalysis FactoryMethodAnalysis FieldMutabilityAnalysis InheritableByNewSubtypesAnalysis JavaEEEntryPointsAnalysis LibraryEntryPointsAnalysis MethodAccessibilityAnalysis PurityAnalysis SimpleInstantiabilityAnalysis TypeImmutabilityAnalysis ProjectInstantiation AnalysisDomain
projectClassFilesCount
Project
projectClassFilesWithSources
Project
projectClassMembersPerClassDistribution
Project
projectColumn
Hermes
projectConfiguration
ProjectFeatures
projectConfigurations
HermesCore
projectFieldsCount
Project
projectLogContext
ClosedPackagesInformation
projectMethodsCount
Project
projectMethodsLengthDistribution
Project
projectPackages
Project
propagateRefinement
ReferenceValue
properties
FlowEntity ValuesDomain Calls RecordDefUse ConstraintsBetweenIntegerValues PropertyTracing ImmediateMultiResult MultiResult PropertyStore fpcf
property
PropertyChecker LocalOutgoingAnnotatedWithConstraint LocalOutgoingShouldExtendConstraint LocalOutgoingShouldImplementMethodConstraint
propertyChecker
PropertyViolation
propertyComputationsDependencies
AnalysisScenario
propertyName
SimpleBooleanPropertyTracing ExplicitlyNamedProperty ArgEscape GlobalEscapeViaHeapObjectAssignment GlobalEscapeViaStaticFieldAssignment MaybeArgEscape MaybeMethodEscape MaybeNoEscape MethodEscapeViaParameterAssignment MethodEscapeViaReturn MethodEscapeViaReturnAssignment NoEscape
propertyStore
TheProject ThePropertyStore FPCFAnalysesManager FPCFAnalysis CallBySignatureResolution
propertyType
PropertyViolation
provides
Module Provides Module_attribute
provides_index
ProvidesEntry
proxyMethod
ClassFileFactory
ps
FPCFAnalysis
push
IntArrayStack
put
PropertyStore
putConstraintInStore
ConstraintsBetweenIntegerValues
putIfAbsentAndGet
collection
putfield
FieldAccessesDomain BaseFieldValuesAnalysisDomain ValuesCoordinatingDomain TypeLevelFieldAccessInstructions TaintAnalysisDomain
putstatic
FieldAccessesDomain BaseFieldValuesAnalysisDomain ValuesCoordinatingDomain TypeLevelFieldAccessInstructions TaintAnalysisDomain