HandledException
OperandVar
High
Relevance
handleError
TAC
handleInstanceBasedInvoke
MethodCallsHandling
SimpleTypeLevelInvokeInstructions
handleInvoke
MethodCallsHandling
handleReturn
ReturnInstructionsDomain
ReturnInstructionsDomain
handlesException
RecordCFG
hasAnnotatedSubtypeAndInheritsMethod
JavaEEEntryPointsAnalysis
hasCandidateFields
BaseFieldValuesAnalysisDomain
hasMultiplePredecessors
RecordCFG
hasMultipleSuccessors
RecordCFG
hasNoSuccessor
RecordCFG
hasPropertyOnExit
SimpleBooleanPropertyTracing
hasPropertyOnNormalReturn
SimpleBooleanPropertyTracing
hasResult
Computation
ComputationFailed
ComputationWithSideEffectOnly
ComputationWithSideEffectOrException
ComputedValue
ComputedValueOrException
ThrowsException
hasSameLocation
IdBasedVar
hasSuccessor
RecordCFG
hashCode
ReturnAddressValue
ConcreteArrayValue
InitializedArrayValue
ClassValue
AnIntegerValue
IntegerRange
AnIntegerValue
BaseTypesBasedSet
IntegerSet
AnIntegerValue
TheIntegerValue
ALongValue
LongSet
TheLongValue
ArrayValue
MObjectValue
MultipleReferenceValues
NullValue
SObjectValue
StringBuilderValue
StringValue
htmlify
XHTML