RETValue
ValuesDomain
RecordAllThrownExceptions
domain l1
RecordCFG
domain
RecordConstraints
domain
RecordDefUse
domain
RecordJoinedThrownExceptions
domain
RecordLastReturnedValues
domain
RecordMethodCallResults
domain
RecordReturnFromMethodInstructions
domain
RecordReturnedValue
domain
RecordReturnedValueInfrastructure
domain
RecordReturnedValues
domain
RecordReturnedValuesInfrastructure
domain
RecordThrownExceptions
domain
RecordVoidReturns
domain
ReferenceReturnValue
OperandVar
ReferenceValue
ReferenceValuesFactory ValuesDomain TypeLevelReferenceValues ReferenceValues
ReferenceValues
l1
ReferenceValuesDomain
ai
ReferenceValuesFactory
ai
RefinedTypeLevelFieldAccessInstructions
la
RefinedTypeLevelInvokeInstructions
la
Refinements
ReferenceValues
ReflectiveInvoker
l1
RegisterVar
tac
ReifiedConstraint
ReifiedConstraints
ReifiedConstraints
domain
ReifiedSingleValueConstraint
ReifiedConstraints
ReifiedTwoValuesConstraint
ReifiedConstraints
RelationalOperator
opalj
Relevance
issues
RelevanceWrites
issues
Ret
tac
Return
tac
ReturnAddressValue
ValuesDomain DefaultDomainValueBinding
ReturnAddressValues
ValuesDomain
ReturnInstructionsDomain
ai domain l0
ReturnValue
tac
ReturnedValue
BaseMethodReturnValuesAnalysisDomain RecordLastReturnedValues RecordMethodCallResults RecordReturnedValuesInfrastructure
receiver
InstanceFunctionCall InstanceMethodCall NonVirtualFunctionCall NonVirtualMethodCall VirtualFunctionCall VirtualMethodCall
recordReturnedValue
RecordLastReturnedValues RecordReturnedValues
recordThrownException
RecordAllThrownExceptions RecordJoinedThrownExceptions RecordThrownExceptions RecordAllThrownExceptions
refAreEqual
ReferenceValuesDomain TypeLevelReferenceValues ReferenceValues
refAreNotEqual
ReferenceValuesDomain
refEstablishAreEqual
ReferenceValuesDomain ReifiedConstraints
refEstablishAreNotEqual
ReferenceValuesDomain ReifiedConstraints
refEstablishIsNonNull
ReferenceValuesDomain ReifiedConstraints ReferenceValues
refEstablishIsNull
ReferenceValuesDomain ReifiedConstraints ReferenceValues
refIsNonNull
ReferenceValuesDomain
refIsNull
ReferenceValuesDomain TypeLevelReferenceValues
refSetUpperTypeBoundOfTopOperand
ReferenceValuesDomain ReifiedConstraints TypeLevelReferenceValues ReferenceValues
refTopOperandIsNull
ReferenceValuesDomain ReifiedConstraints TypeLevelReferenceValues ReferenceValues
refineIf
MultipleReferenceValues ReferenceValue SingleOriginReferenceValue
refineIsNull
ReferenceValues MultipleReferenceValues ReferenceValue SingleOriginReferenceValue
refineToValue
MultipleReferenceValues
refineUpperTypeBound
MultipleReferenceValues ReferenceValue SingleOriginReferenceValue
refinementGoal
ImpossibleRefinement
register
DomainRegistry
registerOnControlFlowUpdater
PerInstructionPostProcessing
registerOnExceptionalControlFlowUpdater
PerInstructionPostProcessing
registerOnRegularControlFlowUpdater
PerInstructionPostProcessing
registry
DomainRegistry
regularSuccessorsOf
RecordCFG
reifyArray
ArrayValues
rejoinValue
MultipleReferenceValues
relevance
Issue
removeFirst
util
removeFirstUnless
util
report
OptionalReport
requirements
FieldValuesKey MethodReturnValuesKey EntryPointKey VTACallGraphKey SimpleAIKey CHACallGraphKey DefaultTACAIKey SimpleTACAIKey
rescheduled
AITracer MultiTracer
restartInterpretation
AICompleted
result
AITracer Computation ComputationFailed ComputationWithSideEffectOnly ComputationWithSideEffectOrException ComputedValue ComputedValueOrException MultiTracer ThrowsException FieldValues MethodReturnValues
ret
AITracer MultiTracer
returnFromSubroutine
AITracer MultiTracer SubroutinesDomain
returnValue
MethodReturnValue
returnVoid
ReturnInstructionsDomain DefaultHandlingOfVoidReturns RecordCFG RecordMethodCallResults RecordReturnFromMethodInstructions RecordVoidReturns ValuesCoordinatingDomain DefaultTypeLevelHandlingOfVoidReturns
returnedNormally
MethodCallResults RecordMethodCallResults
returnedValue
BaseMethodReturnValuesAnalysisDomain MethodCallResults RecordMethodCallResults RecordReturnedValue RecordReturnedValueInfrastructure
returnedValueRemapped
MethodCallResults RecordMethodCallResults
returnsNormally
Computation ComputationFailed ComputationWithSideEffectOnly ComputationWithSideEffectOrException ComputedValue ComputedValueOrException ThrowsException
right
BinaryExpr Compare If
rightExpr
If