OPAL - Abstract Interpretation Framework

T

ReferenceValues

TAC

tac

TACAI

tac

TACAIKey

tac

TACMethodParameter

tac

TACNaive

tac

TACOptimization

tac

TACOptimizationResult

tac

TACode

tac

TargetDomain

ai

TechnicalArtifact

Relevance

TempVar

tac

TheAI

ai

TheClassHierarchy

ai

TheCode

domain

TheCodeStructure

ai

TheIllegalValue

ValuesDomain DefaultDomainValueBinding

TheIntegerValue

DefaultIntegerValues IntegerValues DefaultPreciseIntegerValues

TheLocalsArray

ai

TheLongValue

DefaultLongValues LongValues

TheMemoryLayout

ai

TheMethod

domain

TheNullValue

DefaultReferenceValuesBinding

TheOperandsArray

ai

TheProject

domain

ThePropertyStore

domain

TheRegistry

DomainRegistry

TheReturnAddressValues

ValuesDomain DefaultDomainValueBinding

ThisType

NoUpdate

Throw

tac

ThrowAllPotentialExceptionsConfiguration

domain

ThrowNoPotentialExceptionsConfiguration

domain

Throwable

ExceptionsFactory DefaultExceptionsFactory

ThrownException

RecordAllThrownExceptions RecordJoinedThrownExceptions RecordMethodCallResults RecordThrownExceptions RecordAllThrownExceptions

ThrowsException

ai IssueKind

TimeBoundedAI

ai

Timestamp

ReferenceValues

TimestampUpdate

ReferenceValues

ToTxt

tac

TypeInformation

ai

TypeLevelDomain

l0

TypeLevelDoubleValues

l0

TypeLevelFieldAccessInstructions

l0

TypeLevelFloatValues

l0

TypeLevelIntegerValues

l0

TypeLevelInvokeInstructions

l0

TypeLevelLongValues

l0

TypeLevelLongValuesShiftOperators

l0

TypeLevelPrimitiveValuesConversions

l0

TypeLevelReferenceValues

l0

TypeOfReferenceValue

ai

TypedValue

TypedValuesFactory ValuesDomain

TypedValuesFactory

ai

t

ArrayValue MObjectValue MultipleReferenceValues NullValue ReferenceValue SObjectValue

tac

opalj

tacToDot

tac

tacToGraph

tac

targetStmt

Goto If JSR

targetTpe

PrimitiveTypecastExpr

targetVar

testAndDoInvoke

testOrElseUpdated

thePackage

theProject

theUpperTypeBound

ArrayValue SObjectValue SReferenceValue NonNullSingleOriginSReferenceValue

thisClassType

BaseFieldValuesAnalysisDomain

thisParameter

Parameters

throwArithmeticExceptions

Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain

throwArrayIndexOutOfBoundsException

Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain

throwArrayStoreException

Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain

throwClassCastException

Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain

throwClassNotFoundException

Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain

throwExceptionsOnMethodCall

Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain

throwIllegalMonitorStateException

Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain

throwNegativeArraySizeException

Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain

throwNullPointerExceptionOnArrayAccess

Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain

throwNullPointerExceptionOnFieldAccess

Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain

throwNullPointerExceptionOnMethodCall

Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain

throwNullPointerExceptionOnMonitorAccess

Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain

throwNullPointerExceptionOnThrow

Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain

throwableToXHTML

XHTML

thrownExceptions

MethodCallResults RecordMethodCallResults

throws

ReferenceValuesFactory

throwsException

Computation ComputationFailed ComputationWithSideEffectOnly ComputationWithSideEffectOrException ComputedValue ComputedValueOrException ThrowsException RecordCFG

title

MethodReturnValuesAnalysis

toAnsiColoredString

ClassLocation FieldValues InstructionLocation Issue IssueRepresentations LocalVariables MethodReturnValues Operands ProjectLocation Relevance

toCategoryName

Relevance

toConsoleString

IssueRepresentations

toDomainValue

AsDomainValue DefaultJavaObjectToDomainValueConversion StringValues

toEclipseConsoleString

FieldValues InstructionLocation Issue IssueRepresentations LocalVariables MethodReturnValues Operands ProjectLocation Relevance

toFullString

CallGraphConstructionException

toHTMLColor

Relevance

toIDL

FieldValues Issue IssueRepresentations LocalVariables MethodReturnValues Operands PackageLocation Relevance

toJavaObject

AsJavaObject TypeLevelReferenceValues ReferenceValues StringValues

toString

IllegalValue ReturnAddressValue ReturnAddressValues CallGraphConstructionException CallGraphDifferenceReport UnresolvedMethodCall MObjectValue NullValue SReferenceValue ConcreteArrayValue InitializedArrayValue ClassValue AnIntegerValue IntegerRange AnIntegerValue BaseTypesBasedSet IntegerSet AnIntegerValue TheIntegerValue ALongValue LongSet TheLongValue ArrayValue MObjectValue MultipleReferenceValues NonNullSingleOriginReferenceValue NullValue SObjectValue StringBuilderValue StringValue SharedDefaultDomain TheIntegerValue LongRange BooleanProperty ArrayLength ArrayLoad ArrayStore Assignment BinaryExpr CaughtException Checkcast ClassConst Compare DVar DoubleConst ExprStmt FloatConst GetField GetStatic Goto If InstanceOf IntConst Invokedynamic JSR LongConst MethodHandleConst MethodTypeConst MonitorEnter MonitorExit New NewArray NonVirtualFunctionCall NonVirtualMethodCall Nop NullExpr Parameters PrefixExpr PrimitiveTypecastExpr PutField PutStatic Ret Return ReturnValue StaticFunctionCall StaticMethodCall StringConst Switch TACMethodParameter TACode Throw UVar VirtualFunctionCall VirtualMethodCall

toTxtExpr

ToTxt

toTxtStmt

ToTxt

toXHTML

FieldValues Issue IssueRepresentations LocalVariables MethodReturnValues Operands PackageLocation

tpe

ClassConst Const DoubleConst FloatConst IntConst LongConst MethodHandleConst MethodTypeConst New NewArray NullExpr StringConst

tracer

AI TheAI

tracers

tracing

transformResult

typeOfValue

typeToIDL