SALOAD
instructions
SASTORE
instructions
SIPUSH
instructions BytecodeInstructionsCache
SObjectValue
DefaultTypeLevelReferenceValues ReferenceValues
SReferenceValue
TypeLevelReferenceValues
STATIC
ba AccessModifier AccessFlagsMatcher
STRICT
ba AccessModifier
SUBROUTINE
ai
SUBROUTINE_END
ai
SUBROUTINE_INFORMATION_BLOCK_SEPARATOR_BOUND
ai
SUBROUTINE_RETURN_ADDRESS_LOCAL_VARIABLE
ai
SUBROUTINE_RETURN_TO_TARGET
ai
SUBROUTINE_START
ai
SUID
UIDSetDemo
SUPER
ba AccessModifier
SWAP
instructions
SYNCHRONIZED
ba AccessModifier
SYNTHETIC
ba AccessModifier
SameFrame
StackMapFrameReader br StackMapTable_attributeBinding ClassFileReader da
SameFrameExtended
StackMapFrameReader br StackMapTable_attributeBinding ClassFileReader da
SameLocals1StackItemFrame
StackMapFrameReader br StackMapTable_attributeBinding ClassFileReader da
SameLocals1StackItemFrameExtended
StackMapFrameReader br StackMapTable_attributeBinding ClassFileReader da
ScalaLambdaDeserialize
ObjectType
ScalaLambdaDeserializeDescriptor
MethodDescriptor
ScalaMajorVersion
util
ScalaSymbol
ObjectType
ScalaSymbolLiteral
ObjectType
ScalaSymbolLiteralDescriptor
MethodDescriptor
Schedule
fpcf
SearchJS
core
Seconds
util
Self
MethodReturnValuePropertyMetaInformation PropertyMetaInformation CallBySignature ClassImmutabilityPropertyMetaInformation ClientCallable EntryPoint EscapePropertyMetaInformation FactoryMethodPropertyMetaInformation FieldMutabilityPropertyMetaInformation InheritableByNewTypes InstantiabilityPropertyMetaInformation MethodComplexityPropertyMetaInformation ProjectAccessibility PurityPropertyMetaInformation SelfReferenceLeakage ThrownExceptions TypeImmutabilityPropertyMetaInformation
SelfReferenceLeakage
EscapeAnalysis properties
Serializable
ObjectType
SerializableAndCloneable
ObjectType
SerializedLambda
ObjectType
SetRelation
collection
SharedDefaultDomain
l2
SharedValuesDomain
l2
ShiftInstruction
instructions
ShiftLeft
BinaryArithmeticOperators
ShiftRight
BinaryArithmeticOperators
Short
ObjectType
ShortSet
DefaultIntegerSetValues IntegerSetValues
ShortType
br
ShortTypeInfo
da
ShortValue
IntegerValuesFactory DefaultTypeLevelIntegerValues TypeLevelIntegerValues DefaultIntegerRangeValues DefaultIntegerSetValues DefaultIntegerValues DefaultPreciseIntegerValues ElementValuePairsReader br AnnotationsBinding ClassFileReader da
ShowInnerClassesInformation
br
ShowLocalVariableTypeTables
br
SideEffectFree
properties
Signature
br
SignatureAttribute
bi
SignatureElement
br
SignatureParser
reader
SignatureParsers
SignatureParser
SignaturePolymorphicMethod
MethodDescriptor
SignatureVisitor
br
Signature_attribute
Signature_attributeReader Signature_attributeBinding ClassFileReader da
Signature_attributeBinding
reader
Signature_attributeReader
reader
SimilarityTestConfiguration
br
SimpleAIKey
common
SimpleBooleanPropertyTracing
tracing
SimpleClassTypeSignature
br
SimpleConditionalBranchInstruction
instructions
SimpleConditionalBranchInstructionLike
instructions
SimpleDefUseAnalysis
l1
SimpleGenericType
br
SimpleInstantiabilityAnalysis
analyses
SimpleInstantiabilityAnalysisDemo
demo
SimpleProjectStatistics
analyses
SimplePropagation
tac
SimpleStmt
tac
SimpleTACAIKey
tac
SimpleTypeLevelInvokeInstructions
l0
SimpleValueConst
tac
SimpleVar
tac
SimplifyControlFlowKey
BytecodeOptimizer
SingleArgumentMethodDescriptor
br
SingleOptionalResultAnalysis
analyses
SingleOriginReferenceValue
ReferenceValues
SingleOriginValue
Origin
SingleOriginValueOrdering
Origin
SingletonSet
collection
SizeOfInheritanceTree
queries
SkipUnknown_attributeReader
reader
SomeAI
ai
SomeCallerThrowsUnknownExceptions
ThrownExceptionsAreUnknown
SomeClass
AnnotatedWith
SomeContinuation
fpcf
SomeEOptionP
fpcf
SomeEP
fpcf
SomeEPK
fpcf
SomeEPKs
PropertyKey
SomeLocals
AI
SomeProject
analyses
SomeProperty
fpcf
SomePropertyComputation
fpcf
SomePropertyKey
fpcf
SomeUpdate
ai
Source
reader
SourceDebugExtension
br
SourceDebugExtensionAttribute
bi
SourceDebugExtension_attribute
SourceDebugExtension_attributeReader SourceDebugExtension_attributeBinding ClassFileReader da
SourceDebugExtension_attributeBinding
reader
SourceDebugExtension_attributeReader
reader
SourceElement
br
SourceElementID
br
SourceElementPredicate
checking
SourceElementsMatcher
checking
SourceElementsVisitor
br
SourceFile
br
SourceFileAttribute
bi
SourceFile_attribute
SourceFile_attributeReader SourceFile_attributeBinding ClassFileReader da
SourceFile_attributeBinding
reader
SourceFile_attributeReader
reader
SourcesAndSinks
spec
SpecialMethodsHandling
domain
SpecialValuesOriginOffset
ai
Specification
checking
SpecificationError
checking
SpecificationFactory
Specification
SpecificationViolation
checking fpcf
Stack
instructions TACNaive
StackBasedArithmeticInstruction
instructions
StackBasedBinaryArithmeticInstruction
instructions
StackManagementInstruction
instructions
StackMapFrame
StackMapFrameReader StackMapTable_attributeReader br StackMapTable_attributeBinding ClassFileReader da
StackMapFrameManifest
StackMapTable_attributeReader StackMapTable_attributeBinding ClassFileReader
StackMapFrameReader
reader
StackMapFrames
StackMapTable_attributeReader br
StackMapTable
br
StackMapTableAttribute
bi
StackMapTable_attribute
StackMapTable_attributeReader StackMapTable_attributeBinding ClassFileReader da
StackMapTable_attributeBinding
reader
StackMapTable_attributeReader
reader
StandardLogMessage
log
Start
ProgressEvents
StartsWith
checking
StaticAPIMethod
util
StaticFunctionCall
tac
StaticMethodAccessibilityAnalysis
analyses
StaticMethodCall
tac
Stmt
tac
StoreLocalVariableInstruction
instructions
StoredInArray
UsageKind
StoredInField
UsageKind
StrictSubset
collection
StrictSuperset
collection
String
ObjectType
StringBuilderValue
StringBuilderValues
StringBuilderValues
l1
StringConst
tac
StringConstants
br
StringConstantsInformation
analyses
StringConstantsInformationKey
analyses
StringId
ObjectType
StringPassedToClassForName
instance
StringToBinaryString
checking
StringToSourceElementMatcher
Specification
StringValue
ReferenceValuesFactory TypeLevelReferenceValues DefaultStringValuesBinding ReferenceValues StringValues ElementValuePairsReader br AnnotationsBinding ClassFileReader da
StringValues
l1
StructuralUpdate
ai
StructuralUpdateIllegalValue
ValuesDomain
StructuralUpdateType
ai
StructureIdentifier
br
StructuredElementValue
da
SubroutinesDomain
ai
Subtract
BinaryArithmeticOperators
SubtractInstruction
instructions
SubtypeInformation
br
Success
opalj
SupertypeInformation
br
SupertypeTarget
TypeAnnotationTargetReader TypeAnnotationsBinding ClassFileReader
SuspendedPC
fpcf
Switch
tac
SwitchInstruction
instructions
SynchronizationInstruction
instructions
SynchronizationStmt
tac
SynthesizedClassFiles
br
Synthetic
br
SyntheticAttribute
bi
Synthetic_attribute
Synthetic_attributeReader Synthetic_attributeBinding ClassFileReader da
Synthetic_attributeBinding
reader
Synthetic_attributeReader
reader
System
ObjectType
SystemAPIUsage
queries
s
CompleteCollection IncompleteCollection QualifiedCollection
s1
UIDSetDemo
s12
UIDSetDemo
s1234
UIDSetDemo
s2
UIDSetDemo
s21
UIDSetDemo
saload
ReferenceValuesDomain GeneralizedArrayHandling
sanitizeFileName
io
sastore
ReferenceValuesDomain GeneralizedArrayHandling
sccs
graphs Graph UnidirectionalGraph VirtualUnidirectionalGraph
schedule
CoreDomainFunctionality ComputationSpecification PropertyStore
scheduleForCollected
PropertyStore
scheduleForEntities
PropertyStore
scheduleForFiltered
PropertyStore
scheduleLazyComputation
PropertyStore
scheduleOnDemandComputation
PropertyStore
scheduleSinglePropertyComputation
PropertyStore
se
UIDSetDemo
secondsReads
Seconds
secondsWrites
Seconds
selectParameter
MethodDescriptor
seq
Chain
serialize
Assembler
serializeAs
Assembler
set
Locals PropertyStore
setAnalyzeInParallel
AnalysisAggregator
setCodeStructure
ConstraintsBetweenIntegerValues
setIsStartOfSubroutine
BasicBlock
setMethodContext
BaseFieldValuesAnalysisDomain
setObjectTypeCreationListener
ObjectType
setProperty
PropertyTracing
setupProject
InvokedynamicPrinter AnalysisExecutor Console
severity
InconsistentProjectException
sharedPrefix
Chain
shouldInvocationBePerformed
CFACallGraphDomain ChildDefaultDomain DefaultDomain DefaultPerformInvocationsDomain PerformInvocations BasePerformInvocationBugPickerAnalysisDomain
showFeatureQueryResults
Hermes
showTree
UIDTrieSetNodeLike
sideEffectOnlyOrExceptions
IgnoreSynchronization
signature
JVMMethod LocalVariableType Signature_attribute
signatureSpan
Signature_attribute
signatureToJava
JVMField JVMMethod
signature_index
LocalVariableTypeTableEntry Signature_attribute
similar
Annotation AnnotationTable AnnotationValue ArrayValue Attribute BaseTypeElementValue BootstrapMethodTable ClassFile ClassValue Code ConstantFieldValue Deprecated EnclosingMethod EnumValue ExceptionTable InnerClassTable JVMField JVMMethod LineNumberTable LocalVariableTable LocalVariableTypeTable MethodParameterTable Module ParameterAnnotationTable Signature SourceDebugExtension SourceFile StackMapTable StringValue SynthesizedClassFiles Synthetic TypeAnnotationTable UnknownAttribute VirtualTypeFlag Instruction LoadDouble LoadFloat LoadFloat_W TACode
simpleClassForNameCall
ClassValues
simpleClassTypeSignature
ClassTypeSignature
simpleClassTypeSignatureParser
SignatureParsers
simpleName
ObjectType SimpleClassTypeSignature
singleton
Chain
sinkInstructions
DataFlowProblem SourcesAndSinks
sinks
SourcesAndSinks
size
TypeHierarchyInformation TypesSet Chain ConstArray EmptyIntArraySet IntArraySet IntArraySet1 IntArraySet2 IntArraySet3 IntArraySetN UIDSet0 UIDSet1 UIDSet2 UIDTrieSetInnerNode UIDTrieSetLeaf IntArrayStack IntQueue Locals Attribute BootstrapMethod CONSTANT_Class_info CONSTANT_Double_info CONSTANT_Float_info CONSTANT_Integer_info CONSTANT_InvokeDynamic_info CONSTANT_Long_info CONSTANT_MethodHandle_info CONSTANT_MethodType_info CONSTANT_NameAndType_info CONSTANT_Ref CONSTANT_String_info CONSTANT_Utf8_info ClassFile Constant_Pool_Entry Field_Info Method_Info LocationsContainer
slidingCollect
Code
solve
DataFlowProblem
solver
dataflow
source
DependencyViolation PropertyViolation MethodInfo Project ClassFileLocation FieldLocation InstructionLocation Location MethodLocation PackageLocation
sourceDebugExtension
ClassFile
sourceElementsCount
Project
sourceEnsemble
LocalOutgoingAnnotatedWithConstraint LocalOutgoingNotAllowedConstraint LocalOutgoingOnlyAllowedConstraint LocalOutgoingShouldExtendConstraint LocalOutgoingShouldImplementMethodConstraint
sourceEnsembles
DependencyChecker GlobalIncomingConstraint LocalOutgoingNotAllowedConstraint LocalOutgoingOnlyAllowedConstraint
sourceFile
ClassFile SourceFile SourceFile_attribute
sourceFile_index
SourceFile_attribute
sourceType
D2F D2I D2L F2D F2I F2L I2B I2C I2D I2F I2L I2S L2D L2F L2I NumericConversionInstruction
sourceValues
DataFlowProblem SourcesAndSinks
sources
SourcesAndSinks
spec
dataflow
specialCall
AnalysisContext AnalysisContext ProjectLike
spread
PreciseLongValues
stackMapFrames
StackMapTable
stackMapTable
Code
stackSlotsChange
ALoadInstruction ARRAYLENGTH AStoreInstruction ATHROW AddInstruction ArrayLoadInstruction ArrayStoreInstruction BitwiseInstruction CHECKCAST ComparisonInstruction CompoundConditionalBranchInstructionLike CreateNewOneDimensionalArrayInstruction DLoadInstruction DMUL DStoreInstruction DUP DUP2 DUP2_X1 DUP2_X2 DUP_X1 DUP_X2 DivideInstruction FLoadInstruction FMUL FStoreInstruction GETFIELD GETSTATIC GOTOLike GOTO_WLike IF0InstructionLike IFACMPInstructionLike IFICMPInstructionLike IFXNullInstructionLike IINC ILoadInstruction IMUL INSTANCEOF IStoreInstruction InstructionLike InvocationInstruction JSRInstructionLike LLoadInstruction LMUL LStoreInstruction LoadConstantInstruction MONITORENTER MONITOREXIT MULTIANEWARRAY NEW NOP NegateInstruction NumericConversionInstruction POP POP2 PUTFIELD PUTSTATIC RET RETURN RemainderInstruction ReturnValueInstruction SWAP ShiftInstruction SubtractInstruction WIDE
stack_map_frames
StackMapTable_attribute
stack_map_framestoXHTML
StackMapTable_attribute
start
ProgressManagement FPCFAnalysisRunner AdvancedFieldMutabilityAnalysis CallBySignatureTargetAnalysis CallableFromClassesInOtherPackagesAnalysis ClassImmutabilityAnalysis EntryPointsAnalysis FactoryMethodAnalysis FieldMutabilityAnalysis InheritableByNewSubtypesAnalysis MethodAccessibilityAnalysis PurityAnalysis SimpleInstantiabilityAnalysis StaticMethodAccessibilityAnalysis TypeImmutabilityAnalysis
startBlock
CFG
startNode
DominatorTree DominatorTreeFactory
startNodeHasPredecessors
DominatorTreeFactory
startPC
ExceptionHandler LineNumber LocalVariable LocalVariableType LocalvarTableEntry BasicBlock CatchNode
startTime
DefaultLogContext
start_pc
ExceptionTableEntry LineNumberTableEntry LocalVariableTableEntry LocalVariableTypeTableEntry LocalvarTableEntry
startsWith
Chain
state
BooleanProperty
stateToString
AIAborted AICompleted AIResult
staticCall
AnalysisContext AnalysisContext ProjectLike
staticInitializer
ClassFile
statistics
AnalysisContext ClassHierarchy FieldAccessInformation InstantiableClasses Project ProjectIndex ProjectConfiguration
step
ProgressManagement
step1
TypeImmutabilityAnalysis
step2
TypeImmutabilityAnalysis
stmts
TACode
stmtsToTxtStmt
ToTxt
store
ObjectValue ArrayAbstraction ArrayValue NullValue MultipleReferenceValues
storeProxy
Java8LambdaExpressionsRewriting
strictlyDominates
DominatorTree
string_index
CONSTANT_String_info CONSTANT_String_info
styles
XHTML
subExpr
ArrayLength ArrayLoad BinaryExpr CaughtException Compare Expr FunctionCall GetField GetStatic InstanceOf Invokedynamic New NewArray PrefixExpr PrimitiveTypecastExpr ValueExpr
subExprCount
ArrayLength ArrayLoad BinaryExpr CaughtException Compare Expr FunctionCall GetField GetStatic InstanceOf Invokedynamic New NewArray PrefixExpr PrimitiveTypecastExpr ValueExpr
submit
Tasks
subroutineInstructions
AIResult
subroutinesLocalsArray
AIResult TheMemoryLayout
subroutinesOperandsArray
AIResult TheMemoryLayout
subsetOf
EmptyIntArraySet IntArraySet
subtypeInheritability
InheritableByNewSubtypesAnalysis
subtypes
ClassHierarchy
successOrFailure
Result
successor
LogContext
successors
CFG CFGNode Graph VirtualUnidirectionalGraph
successorsOf
RecordCFG
summarize
ValuesDomain IllegalValue RETValue Value ADoubleValue AFloatValue ALongValue MObjectValue ComputationalTypeIntegerValue NullValue SReferenceValue AnIntegerValue IntegerRange AnIntegerValue BaseTypesBasedSet IntegerSet AnIntegerValue TheIntegerValue ALongValue LongSet ALongValue TheLongValue MultipleReferenceValues AnIntegerValue TheIntegerValue ALongValue LongRange
summary
Issue
superClassSignature
ClassSignature
superInterfacesSignature
ClassSignature
superTypes
ClassFile
super_class
ClassFile
superclassSignatureParser
SignatureParsers
superclassType
ClassFile ClassHierarchy
superclasses
ClassHierarchy
superinterfaceSignatureParser
SignatureParsers
superinterfaceTypes
ClassHierarchy
supertype_index
TAOfSupertype TATSupertype
supertypes
ClassHierarchy
symbolToLabelElement
CodeElement
synthesizedClassFiles
ClassFile