MObjectValue
DefaultTypeLevelReferenceValues ReferenceValues
MainMethodDescriptor
EntryPointsAnalysis
MaxArrayLengthRefinement
l1
MaxPossibleArraySize
ArrayValues
MetaInformationUpdate
ai
MetaInformationUpdateIllegalValue
ValuesDomain DefaultDomainValueBinding
MetaInformationUpdateType
ai
MethodCall
tac
MethodCallResult
MethodCallsDomain MethodCallsHandling
MethodCallResults
domain
MethodCallsDomain
ai
MethodCallsDomainWithMethodLockup
cg
MethodCallsHandling
domain
MethodComplexityAnalysis
analysis
MethodComprehension
issues
MethodHandle
ReferenceValuesFactory
MethodHandleConst
tac
MethodLocation
issues
MethodMissing
IssueKind
MethodReturnValue
fpcf
MethodReturnValueInformation
analyses
MethodReturnValuePropertyMetaInformation
fpcf
MethodReturnValues
issues
MethodReturnValuesAnalysis
analyses
MethodReturnValuesKey
analyses
MethodType
ReferenceValuesFactory
MethodTypeConst
tac
MissingStaticModifier
IssueKind
Moderate
Relevance
MonitorEnter
tac
MonitorExit
tac
MonitorInstructionsDomain
ai
MonitorInstructionsTracker
domain
MultiTracer
ai
MultipleOriginsValue
Origin
MultipleReferenceValues
DefaultReferenceValuesBinding ReferenceValues
MutablePCs
ai
main
TAC
mapOperands
ai
mapOperandsToParameters
ai
maxCallChainLength
ChildDefaultDomain DefaultDomain
maxCardinalityOfIntegerRanges
CFACallGraphDomain IntegerRangeValues DefaultDomain
maxCardinalityOfIntegerSets
IntegerSetValues
maxCardinalityOfLongSets
LongSetValues
maxComplexity
MethodComplexityAnalysis
maxEffort
TimeBoundedAI
maxEvaluationCount
InstructionCountBoundedAI
maxEvaluationTime
BoundedInterruptableAI
maxSpreadLong
PreciseLongValues
maxTrackedArraySize
ArrayValues
maxUpdatesForIntegerValues
DefaultConfigurableDomain PreciseIntegerValues
memoryLayoutBeforeSubroutineCall
AIResult InterpretationFailedException TheMemoryLayout
memoryLayoutToText
ai
merge
Relevance
mergeDEComputations
TypeLevelReferenceValues
mergeDEsComputations
TypeLevelReferenceValues
mergeDomainValues
ValuesDomain
mergeEsComputations
TypeLevelReferenceValues
mergeMultipleExceptionValues
TypeLevelReferenceValues
message
DomainException
method
BaseMethodReturnValuesAnalysisDomain AdditionalCallTargets BasicVTACallGraphDomain BasicVTAWithPreAnalysisCallGraphDomain CFACallGraphDomain AnalysisContext AnalysisContext CallGraphConstructionException CallGraphDifferenceReport AnalysisContext DefaultCHACallGraphDomain DefaultVTACallGraphDomain ExtVTACallGraphDomain UnexpectedCallTargets AnalysisContext TheMethod BaseConfigurableDomain DefaultConfigurableDomain DefaultConfigurableIntervalValuesDomain DefaultConfigurableReferenceValuesDomain DefaultReferenceValuesDomain DefaultSetValuesDomain DefaultSingletonValuesDomain SharedDefaultDomain DefaultDomain DefaultConfigurableDomain FieldValues MethodComprehension MethodLocation MethodReturnValues
methodJVMSignature
MethodComprehension
methodReturnValueInformation
FPFieldValuesAnalysisDomain FPMethodReturnValuesAnalysisDomain BasicVTAWithPreAnalysisCallGraphDomain CFACallGraphDomain DefaultVTACallGraphDomain ExtVTACallGraphDomain VTAWithPreAnalysisCallGraphAlgorithmConfiguration DefaultDomain RefinedTypeLevelInvokeInstructions
methodToIDL
issues
monitorenter
MonitorInstructionsDomain IgnoreSynchronization MonitorInstructionsTracker ValuesCoordinatingDomain
monitorexit
MonitorInstructionsDomain IgnoreSynchronization MonitorInstructionsTracker ValuesCoordinatingDomain
multianewarray
ReferenceValuesDomain TypeLevelReferenceValues