BaseAI
ai
BaseConfigurableDomain
l0
BaseDomain
l0
CalledMethodsStore
BaseDomainWithDefUse
l0
BaseFieldValuesAnalysisDomain
analyses
BaseMethodReturnValuesAnalysisDomain
analyses
BaseReferenceValues
ai
BaseTypesBasedSet
DefaultIntegerSetValues
IntegerSetValues
BasicVTACallGraphAlgorithmConfiguration
cg
BasicVTACallGraphDomain
cg
BasicVTAWithPreAnalysisCallGraphAlgorithmConfiguration
cg
BasicVTAWithPreAnalysisCallGraphDomain
cg
BinaryArithmeticOperator
opalj
BinaryExpr
tac
BooleanProperty
SimpleBooleanPropertyTracing
BooleanValue
IntegerValuesFactory
DefaultTypeLevelIntegerValues
TypeLevelIntegerValues
DefaultIntegerRangeValues
DefaultIntegerSetValues
DefaultIntegerValues
DefaultPreciseIntegerValues
BoundedInterruptableAI
ai
ByteSet
DefaultIntegerSetValues
IntegerSetValues
ByteValue
IntegerValuesFactory
DefaultTypeLevelIntegerValues
TypeLevelIntegerValues
DefaultIntegerRangeValues
DefaultIntegerSetValues
DefaultIntegerValues
DefaultPreciseIntegerValues
baload
ReferenceValuesDomain
GeneralizedArrayHandling
baseValues
IsReferenceValue
ArrayValue
ObjectValue
NullValue
MultipleReferenceValues
bastore
ReferenceValuesDomain
GeneralizedArrayHandling
bbCFG
RecordCFG
beforeBaseJoin
CoreDomainFunctionality
bootstrapMethod
Invokedynamic
bottom
OperandVar
buildCallGraph
CallGraphBuilder
builder
StringBuilderValue
builderType
StringBuilderValue