FPFieldValuesAnalysisDomain
analyses
FPMethodReturnValuesAnalysisDomain
analyses
FailingExpression
tac
FailingInstruction
tac
FailingStatement
tac
FieldAccessesDomain
ai
FieldLocation
issues
FieldValueInformation
analyses
FieldValues
issues
FieldValuesAnalysis
analyses
FieldValuesKey
analyses
FieldWriteAccessStmt
tac
FirstVirtualOriginAddressOfDefaultArrayValues
ArrayValues
FloatConst
tac
FloatReturnValue
OperandVar
FloatValue
FloatValuesFactory
DefaultTypeLevelFloatValues
TypeLevelFloatValues
FloatValuesDomain
ai
FloatValuesFactory
ai
FrameworkName
ai
FunctionCall
tac
f2d
PrimitiveValuesConversionsDomain
ValuesCoordinatingDomain
TypeLevelPrimitiveValuesConversions
f2i
PrimitiveValuesConversionsDomain
ValuesCoordinatingDomain
TypeLevelPrimitiveValuesConversions
f2l
PrimitiveValuesConversionsDomain
ValuesCoordinatingDomain
TypeLevelPrimitiveValuesConversions
fadd
FloatValuesDomain
TypeLevelFloatValues
faload
ReferenceValuesDomain
GeneralizedArrayHandling
fastore
ReferenceValuesDomain
GeneralizedArrayHandling
fcmpg
FloatValuesDomain
TypeLevelFloatValues
fcmpl
FloatValuesDomain
TypeLevelFloatValues
fdiv
FloatValuesDomain
TypeLevelFloatValues
field
FieldLocation
fieldValueInformation
BaseMethodReturnValuesAnalysisDomain
FPFieldValuesAnalysisDomain
BasicVTAWithPreAnalysisCallGraphDomain
CFACallGraphDomain
DefaultVTACallGraphDomain
ExtVTACallGraphDomain
VTAWithPreAnalysisCallGraphAlgorithmConfiguration
DefaultDomain
RefinedTypeLevelFieldAccessInstructions
fieldsWithRefinedValues
BaseFieldValuesAnalysisDomain
fileToLocationIdentifier
issues
firstLineNumber
TACode
firstLineOfMethod
MethodLocation
flow
AITracer
CoreDomainFunctionality
MultiTracer
PerInstructionPostProcessing
RecordCFG
ConstraintsBetweenIntegerValues
PropertyTracing
fmul
FloatValuesDomain
TypeLevelFloatValues
fneg
FloatValuesDomain
TypeLevelFloatValues
foreach
EntryPointInformation
foreachCalledByMethod
CallGraph
foreachCallingMethod
CallGraph
foreachOrigin
Origin
foreachPCWithOperands
ai
foreachPredecessorOf
RecordCFG
foreachSuccessorOf
RecordCFG
fpcf
ai
opalj
frem
FloatValuesDomain
TypeLevelFloatValues
frequentEvaluationWarningLevel
CalledMethodsStore
ChildPerformInvocationsWithRecursionDetection
DefaultDomain
PerformInvocationsWithRecursionDetection
frequentEvalution
CalledMethodsStore
freturn
ReturnInstructionsDomain
DefaultHandlingForReturnInstructions
RecordCFG
RecordReturnFromMethodInstructions
RecordReturnedValuesInfrastructure
ValuesCoordinatingDomain
DefaultTypeLevelHandlingForReturnInstructions
fsub
FloatValuesDomain
TypeLevelFloatValues
fuse
BaseTypesBasedSet
ByteSet
CharSet
ShortSet
U15BitSet
U7BitSet