LibraryEntryPointsAnalysis
analysis
LocalCallGraphInformation
CallGraphExtractor
LocalVariables
issues
Locals
ai
ValuesDomain
LocalsArray
ValuesDomain
LogContextProvider
domain
LongConst
tac
LongRange
DefaultPreciseLongValues
LongReturnValue
OperandVar
LongSet
DefaultLongSetValues
LongSetValues
LongSetValues
l1
LongSetValuesShiftOperators
l1
LongValue
LongValuesFactory
DefaultTypeLevelLongValues
TypeLevelLongValues
DefaultLongSetValues
DefaultLongValues
LongSetValues
LongValues
DefaultPreciseLongValues
PreciseLongValues
LongValueOrArithmeticException
LongValuesDomain
LongValues
l1
LongValuesDomain
ai
LongValuesFactory
ai
LongValuesShiftOperators
l1
Low
Relevance
l0
domain
l1
domain
l2
domain
l2d
PrimitiveValuesConversionsDomain
ValuesCoordinatingDomain
TypeLevelPrimitiveValuesConversions
ConcretePrimitiveValuesConversions
l2f
PrimitiveValuesConversionsDomain
ValuesCoordinatingDomain
TypeLevelPrimitiveValuesConversions
ConcretePrimitiveValuesConversions
l2i
PrimitiveValuesConversionsDomain
ValuesCoordinatingDomain
TypeLevelPrimitiveValuesConversions
ConcretePrimitiveValuesConversions
la
domain
ladd
LongValuesDomain
TypeLevelLongValues
LongSetValues
LongValues
PreciseLongValues
laload
ReferenceValuesDomain
GeneralizedArrayHandling
land
LongValuesDomain
TypeLevelLongValues
LongSetValues
LongValues
PreciseLongValues
lastore
ReferenceValuesDomain
GeneralizedArrayHandling
lb
BaseTypesBasedSet
ByteSet
CharSet
ShortSet
U15BitSet
U7BitSet
lcmp
LongValuesDomain
TypeLevelLongValues
LongSetValues
LongValues
PreciseLongValues
ldiv
LongValuesDomain
TypeLevelLongValues
LongSetValues
LongValues
PreciseLongValues
left
BinaryExpr
Compare
If
leftExpr
If
length
ObjectValue
ArrayAbstraction
ArrayValue
NullValue
ConcreteArrayValue
InitializedArrayValue
MultipleReferenceValues
lengths
InitializedArrayValue
li
domain
linc
PreciseLongValues
line
PCLineComprehension
lineNode
PCLineComprehension
lineNumber
TACode
lineNumberTable
TACode
liveVariables
AIResult
lmul
LongValuesDomain
TypeLevelLongValues
LongSetValues
LongValues
PreciseLongValues
lneg
LongValuesDomain
TypeLevelLongValues
LongSetValues
LongValues
PreciseLongValues
load
ObjectValue
ArrayAbstraction
ArrayValue
NullValue
MultipleReferenceValues
localOrigin
RecordDefUse
localVariableToString
issues
localVariables
LocalVariables
Operands
localsArray
AIResult
InterpretationFailedException
TheMemoryLayout
locationAsIDL
ClassLocation
InstructionLocation
MethodLocation
PackageLocation
locationAsInlineXHTML
ClassLocation
InstructionLocation
MethodLocation
PackageLocation
locations
Issue
logContext
GlobalLogContextProvider
LogContextProvider
TheProject
CalledMethodsStore
longIsLessThan
PreciseLongValues
longIsLessThanOrEqualTo
PreciseLongValues
longIsSomeValueInRange
PreciseLongValues
longIsSomeValueNotInRange
PreciseLongValues
longUpdateValue
PreciseLongValues
longValue
ConcreteLongValues
LongSetValues
LongValues
PreciseLongValues
longValueOption
ConcreteLongValues
LongSetValues
LongValues
PreciseLongValues
longValues
LongValues
lor
LongValuesDomain
TypeLevelLongValues
LongSetValues
LongValues
PreciseLongValues
lowerBound
IntegerRange
IntegerRange
lrem
LongValuesDomain
TypeLevelLongValues
LongSetValues
LongValues
PreciseLongValues
lreturn
ReturnInstructionsDomain
DefaultHandlingForReturnInstructions
RecordCFG
RecordReturnFromMethodInstructions
RecordReturnedValuesInfrastructure
ValuesCoordinatingDomain
DefaultTypeLevelHandlingForReturnInstructions
lshl
LongValuesDomain
ValuesCoordinatingDomain
TypeLevelLongValuesShiftOperators
LongSetValuesShiftOperators
LongValuesShiftOperators
PreciseLongValues
lshr
LongValuesDomain
ValuesCoordinatingDomain
TypeLevelLongValuesShiftOperators
LongSetValuesShiftOperators
LongValuesShiftOperators
PreciseLongValues
lsub
LongValuesDomain
TypeLevelLongValues
LongSetValues
LongValues
PreciseLongValues
lushr
LongValuesDomain
ValuesCoordinatingDomain
TypeLevelLongValuesShiftOperators
LongSetValuesShiftOperators
LongValuesShiftOperators
PreciseLongValues
lxor
LongValuesDomain
TypeLevelLongValues
LongSetValues
LongValues
PreciseLongValues