MAXLOCALS
CodeAttributeBuilder
MAXSTACK
CodeAttributeBuilder
MDCSS
FeatureQueries
MEMBER_VISIBILITY_FLAGS
AccessFlagsContexts
METHOD
ba AccessFlagsContexts
METHODS
ba
METHOD_FLAGS
AccessFlagsContexts
METHOD_PARAMETERS
AccessFlagsContexts
METHOD_PARAMETER_FLAGS
AccessFlagsContexts
METHOD_VISIBILITY_FLAGS
AccessFlagsContexts
MODULE
AccessFlagsContexts
MODULE_FLAGS
AccessFlagsContexts
MONITORENTER
instructions
MONITOREXIT
instructions
MObjectValue
DefaultTypeLevelReferenceValues ReferenceValues
MULTIANEWARRAY
instructions
MainClassAttribute
reader
MainClass_attribute
MainClass_attributeReader ClassFileReader da
MainClass_attributeReader
reader
MainMethodDescriptor
EntryPointsAnalysis
ManualGarbageCollection
analyses
MaxArrayLengthRefinement
l1
MaxCallChainLengthPattern
BugPickerAnalysis
MaxCardinalityOfIntegerRangesPattern
BugPickerAnalysis
MaxCardinalityOfLongSetsPattern
BugPickerAnalysis
MaxEvalFactorPattern
BugPickerAnalysis
MaxEvalTimePattern
BugPickerAnalysis
MaxLocalsEvaluation
br
MaxLocations
Globals
MaxLocationsKey
Globals
MaxPossibleArraySize
ArrayValues
MaxValue
UByte UShort
MayBeEntryPoint
properties
MaybeArgEscape
properties
MaybeInstantiable
properties
MaybeMethodEscape
properties
MaybeNoEscape
properties
MaybePure
properties
MetaInformationUpdate
ai
MetaInformationUpdateIllegalValue
ValuesDomain DefaultDomainValueBinding
MetaInformationUpdateType
ai
Method
AttributesParent br
MethodAccessibilityAnalysis
analyses
MethodAccessibilityAnalysisDemo
analyses
MethodAnalysisDemo
analyses
MethodAnnotationsPrinter
br
MethodAttributeBuilder
br
MethodBodyIsNotAvailable
ThrownExceptionsAreUnknown
MethodCall
tac
MethodCallInformation
ai
MethodCallMethodHandle
br
MethodCallParameters
tac
MethodCallResult
MethodCallsDomain MethodCallsHandling
MethodCallResults
domain
MethodCallsDomain
ai
MethodCallsDomainWithMethodLockup
cg
MethodCallsHandling
domain
MethodCompletionInstruction
instructions
MethodComplexity
properties
MethodComplexityAnalysis
analyses
MethodComplexityDemo
complexity
MethodComplexityPropertyMetaInformation
properties
MethodComprehension
issues
MethodDeclarationContext
analyses
MethodDeclarationContextOrdering
analyses
MethodDescriptor
br
MethodEscape
properties
MethodEscapeViaParameterAssignment
properties
MethodEscapeViaReturn
properties
MethodEscapeViaReturnAssignment
properties
MethodFilter
bc
MethodHandle
ReferenceValuesFactory br ObjectType
MethodHandleClassFile
Project ProjectLike
MethodHandleConst
tac
MethodHandleSubtypes
Project ProjectLike
MethodHandles
ObjectType
MethodHandles$Lookup
ObjectType
MethodIdentifier
br
MethodInMethodReferenceExpression
TypeAnnotationTargetReader TypeAnnotationsBinding ClassFileReader
MethodInfo
analyses
MethodInvocation
TypeAnnotationTargetReader TypeAnnotationsBinding ClassFileReader
MethodInvocationInstruction
instructions
MethodIsAbstract
NoExceptionsAreThrown
MethodIsNative
ThrownExceptionsAreUnknown
MethodLocation
hermes issues
MethodMatcher
checking
MethodMissing
IssueKind
MethodName
BytecodeInstructionsCache
MethodParameter
MethodParameters_attributeReader br MethodParameters_attributeBinding ClassFileReader da
MethodParameterManifest
MethodParameters_attributeReader MethodParameters_attributeBinding ClassFileReader
MethodParameterTable
br
MethodParameters
MethodParameters_attributeReader br
MethodParametersAttribute
bi
MethodParameters_attribute
MethodParameters_attributeReader MethodParameters_attributeBinding ClassFileReader da
MethodParameters_attributeBinding
reader
MethodParameters_attributeReader
reader
MethodReferenceExpressionIdentifier
TypeAnnotationTargetReader TypeAnnotationsBinding ClassFileReader
MethodReferenceExpressionNew
TypeAnnotationTargetReader TypeAnnotationsBinding ClassFileReader
MethodReturnValue
fpcf
MethodReturnValueInformation
analyses
MethodReturnValuePropertyMetaInformation
fpcf
MethodReturnValues
issues
MethodReturnValuesAnalysis
ai analyses l1
MethodReturnValuesKey
analyses
MethodSignature
br
MethodTemplate
br
MethodType
ReferenceValuesFactory ObjectType
MethodTypeConst
tac
MethodTypeSignature
br
MethodTypes
queries
MethodWithBody
br
MethodWithName
checking
MethodWithSignature
checking
Method_Info
MethodsReader BytecodeOptimizer MethodsBinding ClassFileReader da
Method_InfoManifest
MethodsReader MethodsBinding ClassFileReader
Methods
ClassFileReader MethodsReader br ClassFileBinding da
MethodsBinding
reader
MethodsMatcher
spec
MethodsReader
reader
MethodsThatAlwaysReturnAPassedParameter
ai
MethodsWithNoVirtualMethodCalls
analyses
MethodsWithoutReturns
queries
Metrics
queries
MicroPatterns
queries
Milliseconds
util
MinRelevance
Console
MinRelevancePattern
Console
MinValue
UByte UShort
MissingStaticModifier
IssueKind
Moderate
Relevance
Module
br
ModuleAttribute
reader
Module_attribute
Module_attributeReader Module_attributeBinding ClassFileReader da
Module_attributeBinding
reader
Module_attributeReader
reader
Modulo
BinaryArithmeticOperators
MonitorEnter
tac
MonitorExit
tac
MonitorInstructionsDomain
ai
MonitorInstructionsTracker
domain
MoreCheckers
analyses
MultiResult
fpcf
MultiTracer
ai
MultipleOriginsValue
Origin
MultipleReferenceValues
DefaultReferenceValuesBinding ReferenceValues
MultipleResultsAnalysis
analyses
Multiply
BinaryArithmeticOperators
MultiplyInstruction
instructions
MutableNode
graphs
MutableNodeLike
graphs
MutableObject
properties
MutableObjectByAnalysis
properties
MutableObjectDueToUnknownSupertypes
properties
MutableObjectDueToUnresolvableDependency
properties
MutableType
properties
main
GetCallees InterpretMethod CallGraphVisualization MethodFilter ClassFileInformation PrintBaseCFG AnalysisExecutor ClassHierarchyExtractor ClassHierarchyVisualizer MoreCheckers Console JavaSecurityConfigurationInfo Disassembler DependencyMatrix FPCFAnalysesRegistry HermesCLI LocalPointsTo PrintTAC TAC
mainPackage
DependencyAnalysis
mainPane
Hermes
main_class_index
MainClass_attribute
major
UShortPair
majorVersion
ClassFile
major_version
ClassFile
makeAllocationSitesAvailable
PropertyStoreKey
makeFormalParametersAvailable
PropertyStoreKey
map
NoResult Result Success FilteredSuccess Code FilteredCode Chain ChainWithFilter EmptyIntArraySet IntArraySet IntArraySet1 IntArraySet2 IntArraySet3 IntArraySetN ArrayMap Locals
mapConserve
:&: Chain Naught Locals
mapKV
Locals
mapOperands
ai
mapOperandsToParameters
ai
mapPCsToIndexes
CFG
mapToVector
Locals
mask
ACC_ABSTRACT ACC_ANNOTATION ACC_BRIDGE ACC_DYNAMIC_PHASE ACC_ENUM ACC_FINAL ACC_INTERFACE ACC_MANDATED ACC_MODULE ACC_NATIVE ACC_PRIVATE ACC_PROTECTED ACC_PUBLIC ACC_STATIC ACC_STATIC_PHASE ACC_STRICT ACC_SUPER ACC_SYNCHRONIZED ACC_SYNTHETIC ACC_TRANSIENT ACC_TRANSITIVE ACC_VARARGS ACC_VOLATILE AccessFlag PrimitiveAccessFlagsMatcher VisibilityModifier
matchAny
LocalOutgoingAnnotatedWithConstraint
matchFields
AllClasses ClassMatcher DefaultClassMatcher
matchImplementingclasses
DefaultClassMatcher
matchMethods
AllClasses ClassMatcher DefaultClassMatcher
matchPair
Code
matchSubclasses
DefaultClassMatcher
matchTriple
Code
matcher
MethodsMatcher RegexNamePredicate
max
EmptyIntArraySet IntArraySet IntArraySet1 IntArraySet2 IntArraySet3 IntArraySetN
maxCallChainLength
ChildDefaultDomain DefaultDomain AnalysisParameters BasePerformInvocationBugPickerAnalysisDomain InvocationBugPickerAnalysisDomain RootBugPickerAnalysisDomain
maxCardinalityOfIntegerRanges
AnalysisDomain AnalysisDomain CFACallGraphDomain BaseDomain IntegerRangeValues DefaultDomain AnalysisParameters FallbackBugPickerAnalysisDomain InvocationBugPickerAnalysisDomain RootBugPickerAnalysisDomain
maxCardinalityOfIntegerSets
IntegerSetValues
maxCardinalityOfLongSets
LongSetValues AnalysisParameters FallbackBugPickerAnalysisDomain InvocationBugPickerAnalysisDomain RootBugPickerAnalysisDomain
maxComplexity
MethodComplexityAnalysis
maxEffort
TimeBoundedAI
maxEvalFactor
AnalysisParameters
maxEvalTime
AnalysisParameters
maxEvaluationCount
InstructionCountBoundedAI
maxEvaluationTime
BoundedInterruptableAI
maxKindId
ElementValue
maxLocals
Code
maxNode
DominanceFrontiers DominatorTree DominatorTreeFactory
maxSpreadLong
PreciseLongValues
maxStack
Code
maxTrackedArraySize
ArrayValues
maxUpdatesForIntegerValues
DefaultDomain PreciseIntegerValues
max_locals
Code_attribute
max_stack
Code_attribute
mayThrowException
CFGNode
mdDescription
FeatureQuery
meet
ArgEscape EscapeProperty GlobalEscape MaybeArgEscape MaybeMethodEscape MaybeNoEscape MethodEscape NoEscape
memory
PerformanceEvaluation
memoryLayoutBeforeSubroutineCall
AIResult InterpretationFailedException TheMemoryLayout
memoryLayoutToText
ai
merge
:&: Chain Naught Relevance
mergeDEComputations
TypeLevelReferenceValues
mergeDEsComputations
TypeLevelReferenceValues
mergeDomainValues
ValuesDomain
mergeEsComputations
TypeLevelReferenceValues
mergeMultipleExceptionValues
TypeLevelReferenceValues
mergeVisualProperties
MutableNode MutableNodeLike
message
DomainException UselessComputation CodeAnalysisFailedException AnalysisException InconsistentProjectException ConstantPoolException BytecodeProcessingFailedException IncompatibleNumericConstraints SpecificationViolation BasicLogMessage ExceptionLogMessage LogMessage StandardLogMessage
method
AnalysisDomain ExceptionUsage ExceptionUsageAnalysisDomain InfiniteRecursion InfiniteRecursionsDomain RefinedReturnType UselessComputation AnalysisDomain AnalysisDomain BaseMethodReturnValuesAnalysisDomain AdditionalCallTargets BasicVTACallGraphDomain BasicVTAWithPreAnalysisCallGraphDomain CFACallGraphDomain AnalysisContext CallGraphConstructionException CallGraphDifferenceReport AnalysisContext DefaultCHACallGraphDomain DefaultVTACallGraphDomain ExtVTACallGraphDomain UnexpectedCallTargets AnalysisContext TheMethod BaseDomain PrimitiveTACAIDomain DefaultDomain DefaultIntervalValuesDomain DefaultReferenceValuesDomain DefaultSetValuesDomain DefaultSingletonValuesDomain AnalysisDomain RefinedReturnType SharedDefaultDomain DefaultDomain DefaultDomain CallStackEntry TaintAnalysisDomain AnalysisDomain AllocationSite ArrayAllocationSite ObjectAllocationSite FormalParameter MethodDeclarationContext MethodInfo FallbackBugPickerAnalysisDomain InvocationBugPickerAnalysisDomain RootBugPickerAnalysisDomain AnalysisDomain FieldValues MethodComprehension MethodLocation MethodReturnValues
methodAccessFlagsToString
br
methodAttributeBuilderToSeq
ba
methodDescriptor
InvokeInterfaceMethodHandle InvokeSpecialMethodHandle InvokeStaticMethodHandle InvokeVirtualMethodHandle MethodCallMethodHandle MethodIdentifier NewInvokeSpecialMethodHandle CONSTANT_InvokeDynamic_info CONSTANT_MethodType_info CONSTANT_NameAndType_info DEFAULT_INVOKEDYNAMIC INCOMPLETE_INVOKEDYNAMIC INVOKEINTERFACE INVOKESPECIAL INVOKESTATIC INVOKEVIRTUAL InvocationInstruction
methodDescriptorAsInlineNode
da
methodJVMSignature
MethodComprehension
methodLocation
InstructionLocation
methodName
MethodIdentifier CONSTANT_InvokeDynamic_info
methodNames
Project
methodParameters
JVMMethod
methodPredicate
MethodMatcher LocalOutgoingShouldImplementMethodConstraint
methodReturnValueInformation
FPFieldValuesAnalysisDomain FPMethodReturnValuesAnalysisDomain BasicVTAWithPreAnalysisCallGraphDomain CFACallGraphDomain DefaultVTACallGraphDomain ExtVTACallGraphDomain VTAWithPreAnalysisCallGraphAlgorithmConfiguration DefaultDomain RefinedTypeLevelInvokeInstructions FallbackBugPickerAnalysisDomain InvocationBugPickerAnalysisDomain RootBugPickerAnalysisDomain
methodSignature
InstructionLocation MethodLocation
methodToIDL
issues
methodToXHTML
br
methodTypeSignature
JVMMethod
methodTypeSignatureParser
SignatureParsers
method_index
EnclosingMethod_attribute
method_ref
BootstrapMethod
methods
BootstrapMethodTable ClassFile ProjectIndex ClassFile
methodsCount
Project
methodsToXHTML
BootstrapMethods_attribute ClassFile
millisecondsWrites
Milliseconds
min
EmptyIntArraySet IntArraySet IntArraySet1 IntArraySet2 IntArraySet3 IntArraySetN
minKindId
ElementValue
minLogLevel
ConsoleOPALLogger
minor
UShortPair
minorVersion
ClassFile
minor_version
ClassFile
mkString
Chain IntArraySet ArrayMap Locals
mnemonic
AALOAD AASTORE ACONST_NULL ALOAD ALOAD_0 ALOAD_1 ALOAD_2 ALOAD_3 ANEWARRAY ARETURN ARRAYLENGTH ASTORE ASTORE_0 ASTORE_1 ASTORE_2 ASTORE_3 ATHROW BALOAD BASTORE BIPUSH CALOAD CASTORE CHECKCAST D2F D2I D2L DADD DALOAD DASTORE DCMPG DCMPL DCONST_0 DCONST_1 DDIV DLOAD DLOAD_0 DLOAD_1 DLOAD_2 DLOAD_3 DMUL DNEG DREM DRETURN DSTORE DSTORE_0 DSTORE_1 DSTORE_2 DSTORE_3 DSUB DUP DUP2 DUP2_X1 DUP2_X2 DUP_X1 DUP_X2 F2D F2I F2L FADD FALOAD FASTORE FCMPG FCMPL FCONST_0 FCONST_1 FCONST_2 FDIV FLOAD FLOAD_0 FLOAD_1 FLOAD_2 FLOAD_3 FMUL FNEG FREM FRETURN FSTORE FSTORE_0 FSTORE_1 FSTORE_2 FSTORE_3 FSUB GETFIELD GETSTATIC GOTOLike GOTO_WLike I2B I2C I2D I2F I2L I2S IADD IALOAD IAND IASTORE ICONST_0 ICONST_1 ICONST_2 ICONST_3 ICONST_4 ICONST_5 ICONST_M1 IDIV IFEQLike IFGELike IFGTLike IFLELike IFLTLike IFNELike IFNONNULLLike IFNULLLike IF_ACMPEQLike IF_ACMPNELike IF_ICMPEQLike IF_ICMPGELike IF_ICMPGTLike IF_ICMPLELike IF_ICMPLTLike IF_ICMPNELike IINC ILOAD ILOAD_0 ILOAD_1 ILOAD_2 ILOAD_3 IMUL INEG INSTANCEOF INVOKEDYNAMIC INVOKEINTERFACE INVOKESPECIAL INVOKESTATIC INVOKEVIRTUAL IOR IREM IRETURN ISHL ISHR ISTORE ISTORE_0 ISTORE_1 ISTORE_2 ISTORE_3 ISUB IUSHR IXOR InstructionLike JSRLike JSR_WLike L2D L2F L2I LADD LALOAD LAND LASTORE LCMP LCONST_0 LCONST_1 LDC LDC2_W LDC_W LDIV LLOAD LLOAD_0 LLOAD_1 LLOAD_2 LLOAD_3 LMUL LNEG LOOKUPSWITCHLike LOR LREM LRETURN LSHL LSHR LSTORE LSTORE_0 LSTORE_1 LSTORE_2 LSTORE_3 LSUB LUSHR LXOR MONITORENTER MONITOREXIT MULTIANEWARRAY NEW NEWARRAY NOP POP POP2 PUTFIELD PUTSTATIC RET RETURN SALOAD SASTORE SIPUSH SWAP TABLESWITCHLike WIDE
module
ClassFile
monitorenter
MonitorInstructionsDomain IgnoreSynchronization MonitorInstructionsTracker ValuesCoordinatingDomain
monitorexit
MonitorInstructionsDomain IgnoreSynchronization MonitorInstructionsTracker ValuesCoordinatingDomain
multianewarray
ReferenceValuesDomain TypeLevelReferenceValues
mutable
collection collection