FPFieldValuesAnalysisDomain
analyses
FPMethodReturnValuesAnalysisDomain
analyses
FieldAccessesDomain
ai
FieldLocation
issues
FieldRead
tac
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