Serialized Form

Package pascal.taie

Class pascal.taie.World

class World extends AbstractResultHolder implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream s)
                 throws IOException,
ClassNotFoundException

Throws:

IOException

ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream s)
                  throws IOException

Throws:

IOException

Serialized Fields

classHierarchy

ClassHierarchy classHierarchy

implicitEntries

Collection<JMethod> implicitEntries

mainMethod

JMethod mainMethod

nativeModel

NativeModel nativeModel

typeSystem

TypeSystem typeSystem

Package pascal.taie.analysis.graph.callgraph

Class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

class AbstractCallGraph extends Object implements Serializable

Serialized Fields

calleeToEdges

MultiMap<Method,Edge<CallSite,Method>> calleeToEdges

callSitesIn

MultiMap<Method,CallSite> callSitesIn

callSiteToContainer

Map<CallSite,Method> callSiteToContainer

callSiteToEdges

MultiMap<CallSite,Edge<CallSite,Method>> callSiteToEdges

entryMethods

Set<Method> entryMethods

reachableMethods

Set<Method> reachableMethods

Set of reachable methods. This field is not final so that it allows subclasses choose more efficient data structure.

Class pascal.taie.analysis.graph.callgraph.DefaultCallGraph

class DefaultCallGraph extends AbstractCallGraph<Invoke,JMethod> implements Serializable

Package pascal.taie.analysis.graph.cfg

Class pascal.taie.analysis.graph.cfg.CFGEdge

class CFGEdge extends AbstractEdge<N> implements Serializable

Serialized Fields

kind

CFGEdge.Kind kind

Record Class pascal.taie.analysis.graph.cfg.CFGNodeIndexer

class CFGNodeIndexer extends Record implements Serializable

Serialized Fields

cfg

CFG<Node> cfg

Package pascal.taie.analysis.graph.flowgraph

Class pascal.taie.analysis.graph.flowgraph.NodeManager

class NodeManager extends Object implements Serializable

Serialized Fields

array2Node

Map<Obj,ArrayIndexNode> array2Node

iField2Node

TwoKeyMap<Obj,JField,InstanceFieldNode> iField2Node

nodeCounter

int nodeCounter

nodes

List<Node> nodes

sField2Node

Map<JField,StaticFieldNode> sField2Node

var2Node

Map<Var,VarNode> var2Node

Class pascal.taie.analysis.graph.flowgraph.ObjectFlowGraph

class ObjectFlowGraph extends NodeManager implements Serializable

Serialized Fields

inEdges

MultiMap<Node,FlowEdge> inEdges

outEdges

MultiMap<Node,FlowEdge> outEdges

Package pascal.taie.analysis.graph.icfg

Class pascal.taie.analysis.graph.icfg.CallEdge

class CallEdge extends ICFGEdge<Node> implements Serializable

Serialized Fields

callee

JMethod callee

Callee of the call edge.

Class pascal.taie.analysis.graph.icfg.CallToReturnEdge

class CallToReturnEdge extends ICFGEdge<Node> implements Serializable

Class pascal.taie.analysis.graph.icfg.ICFGEdge

class ICFGEdge extends AbstractEdge<Node> implements Serializable

Class pascal.taie.analysis.graph.icfg.NormalEdge

class NormalEdge extends ICFGEdge<Node> implements Serializable

Serialized Fields

cfgEdge

CFGEdge<Node> cfgEdge

The corresponding CFG edge, which brings the information of edge type.

Class pascal.taie.analysis.graph.icfg.ReturnEdge

class ReturnEdge extends ICFGEdge<Node> implements Serializable

Serialized Fields

callSite

Node callSite

The call site that corresponds to the return edge.

exceptions

Collection<ClassType> exceptions

The exceptions that may be thrown out.

returnVars

Collection<Var> returnVars

The variables that hold return values.

Package pascal.taie.analysis.pta.core.cs

Class pascal.taie.analysis.pta.core.cs.CSCallGraph

class CSCallGraph extends AbstractCallGraph<CSCallSite,CSMethod> implements Serializable

Serialized Fields

csManager

CSManager csManager

Package pascal.taie.analysis.pta.core.heap

Class pascal.taie.analysis.pta.core.heap.AbstractHeapModel

class AbstractHeapModel extends Object implements Serializable

Serialized Fields

constantObjs

TwoKeyMap<Type,ReferenceLiteral,ConstantObj> constantObjs

counter

int counter

Counter for indexing Objs.

isDistinguishedSC

Predicate<String> isDistinguishedSC

Predicate used to check whether a given string constant in the program should be distinguished.

isMergeExceptionObjects

boolean isMergeExceptionObjects

isMergeStringBuilders

boolean isMergeStringBuilders

isMergeStringObjects

boolean isMergeStringObjects

mergedObjs

Map<Type,MergedObj> mergedObjs

mergedSC

MergedObj mergedSC

The merged object representing string constants.

mockObjs

Map<MockObj,MockObj> mockObjs

newObjs

Map<New,NewObj> newObjs

objs

List<Obj> objs

string

ClassType string

stringBuffer

ClassType stringBuffer

stringBuilder

ClassType stringBuilder

throwable

ClassType throwable

typeSystem

TypeSystem typeSystem

Class pascal.taie.analysis.pta.core.heap.AllocationSiteBasedModel

class AllocationSiteBasedModel extends AbstractHeapModel implements Serializable

Package pascal.taie.analysis.pta.core.solver

Class pascal.taie.analysis.pta.core.solver.PointerFlowEdge

class PointerFlowEdge extends Object implements Serializable

Serialized Fields

kind

FlowKind kind

source

Pointer source

target

Pointer target

transfers

Set<Transfer> transfers

Class pascal.taie.analysis.pta.core.solver.PointerFlowGraph

class PointerFlowGraph extends Object implements Serializable

Serialized Fields

csManager

CSManager csManager

Package pascal.taie.config

Exception pascal.taie.config.ConfigException

class ConfigException extends RuntimeException implements Serializable

Class pascal.taie.config.Options

class Options extends Object implements Serializable

Serialized Fields

allowPhantom

boolean allowPhantom

analyses

Map<String,String> analyses

appClassPath

String appClassPath

classPath

String classPath

inputClasses

List<String> inputClasses

javaVersion

int javaVersion

keepResult

Set<String> keepResult

mainClass

String mainClass

nativeModel

boolean nativeModel

onlyGenPlan

boolean onlyGenPlan

optionsFile

File optionsFile

outputDir

File outputDir

planFile

File planFile

preBuildIR

boolean preBuildIR

prependJVM

boolean prependJVM

printHelp

boolean printHelp

scope

Scope scope

worldBuilderClass

Class<? extends WorldBuilder> worldBuilderClass

worldCacheMode

boolean worldCacheMode

Package pascal.taie.frontend.cache

Class pascal.taie.frontend.cache.CachedIRBuilder

class CachedIRBuilder extends Object implements Serializable

Serialized Fields

methodSig2IR

Map<String,IR> methodSig2IR

Package pascal.taie.ir

Class pascal.taie.ir.DefaultIR

class DefaultIR extends AbstractResultHolder implements Serializable

Serialized Fields

exceptionEntries

List<ExceptionEntry> exceptionEntries

method

JMethod method

params

List<Var> params

returnVars

List<Var> returnVars

stmts

List<Stmt> stmts

thisVar

Var thisVar

varIndexer

Indexer<Var> varIndexer

vars

List<Var> vars

Package pascal.taie.ir.exp

Class pascal.taie.ir.exp.ArithmeticExp

class ArithmeticExp extends pascal.taie.ir.exp.AbstractBinaryExp implements Serializable

Serialized Fields

op

ArithmeticExp.Op op

Class pascal.taie.ir.exp.ArrayAccess

class ArrayAccess extends Object implements Serializable

Serialized Fields

base

Var base

index

Var index

Class pascal.taie.ir.exp.ArrayLengthExp

class ArrayLengthExp extends Object implements Serializable

Serialized Fields

base

Var base

Class pascal.taie.ir.exp.BitwiseExp

class BitwiseExp extends pascal.taie.ir.exp.AbstractBinaryExp implements Serializable

Serialized Fields

op

BitwiseExp.Op op

Class pascal.taie.ir.exp.CastExp

class CastExp extends Object implements Serializable

Serialized Fields

castType

Type castType

value

Var value

The value to be casted.

Class pascal.taie.ir.exp.ClassLiteral

class ClassLiteral extends Object implements Serializable

Serialized Fields

value

Type value

The type represented by this class object.

Class pascal.taie.ir.exp.ComparisonExp

class ComparisonExp extends pascal.taie.ir.exp.AbstractBinaryExp implements Serializable

Serialized Fields

op

ComparisonExp.Op op

Class pascal.taie.ir.exp.ConditionExp

class ConditionExp extends pascal.taie.ir.exp.AbstractBinaryExp implements Serializable

Serialized Fields

op

ConditionExp.Op op

Class pascal.taie.ir.exp.DoubleLiteral

class DoubleLiteral extends Object implements Serializable

Serialized Fields

value

double value

Class pascal.taie.ir.exp.FieldAccess

class FieldAccess extends Object implements Serializable

Serialized Fields

fieldRef

FieldRef fieldRef

Class pascal.taie.ir.exp.FloatLiteral

class FloatLiteral extends Object implements Serializable

Serialized Fields

value

float value

Class pascal.taie.ir.exp.InstanceFieldAccess

class InstanceFieldAccess extends FieldAccess implements Serializable

Serialized Fields

base

Var base

Class pascal.taie.ir.exp.InstanceOfExp

class InstanceOfExp extends Object implements Serializable

Serialized Fields

checkedType

ReferenceType checkedType

value

Var value

The value to be checked.

Class pascal.taie.ir.exp.IntLiteral

class IntLiteral extends Object implements Serializable

Serialized Fields

value

int value

The value of the literal.

Class pascal.taie.ir.exp.InvokeDynamic

class InvokeDynamic extends InvokeExp implements Serializable

Serialized Fields

bootstrapArgs

List<Literal> bootstrapArgs

Additional static arguments for bootstrap method. As all these arguments are taken from the constant pool, we store them as a list of Literals.

bootstrapMethodRef

MethodRef bootstrapMethodRef

methodName

String methodName

methodType

MethodType methodType

Class pascal.taie.ir.exp.InvokeExp

class InvokeExp extends Object implements Serializable

Serialized Fields

args

List<Var> args

The arguments of the invocation.

methodRef

MethodRef methodRef

The method reference at the invocation.

Class pascal.taie.ir.exp.InvokeInstanceExp

class InvokeInstanceExp extends InvokeExp implements Serializable

Serialized Fields

base

Var base

Class pascal.taie.ir.exp.InvokeInterface

class InvokeInterface extends InvokeInstanceExp implements Serializable

Class pascal.taie.ir.exp.InvokeSpecial

class InvokeSpecial extends InvokeInstanceExp implements Serializable

Class pascal.taie.ir.exp.InvokeStatic

class InvokeStatic extends InvokeExp implements Serializable

Class pascal.taie.ir.exp.InvokeVirtual

class InvokeVirtual extends InvokeInstanceExp implements Serializable

Class pascal.taie.ir.exp.LongLiteral

class LongLiteral extends Object implements Serializable

Serialized Fields

value

long value

The value of the literal.

Class pascal.taie.ir.exp.MethodHandle

class MethodHandle extends Object implements Serializable

Serialized Fields

kind

MethodHandle.Kind kind

memberRef

MemberRef memberRef

Class pascal.taie.ir.exp.MethodType

class MethodType extends Object implements Serializable

Serialized Fields

paramTypes

List<Type> paramTypes

returnType

Type returnType

Class pascal.taie.ir.exp.NegExp

class NegExp extends Object implements Serializable

Serialized Fields

value

Var value

Class pascal.taie.ir.exp.NewArray

class NewArray extends Object implements Serializable

Serialized Fields

length

Var length

type

ArrayType type

Class pascal.taie.ir.exp.NewInstance

class NewInstance extends Object implements Serializable

Serialized Fields

type

ClassType type

Class pascal.taie.ir.exp.NewMultiArray

class NewMultiArray extends Object implements Serializable

Serialized Fields

lengths

List<Var> lengths

type

ArrayType type

Class pascal.taie.ir.exp.ShiftExp

class ShiftExp extends pascal.taie.ir.exp.AbstractBinaryExp implements Serializable

Serialized Fields

op

ShiftExp.Op op

Class pascal.taie.ir.exp.StaticFieldAccess

class StaticFieldAccess extends FieldAccess implements Serializable

Class pascal.taie.ir.exp.StringLiteral

class StringLiteral extends Object implements Serializable

Serialized Fields

value

String value

Class pascal.taie.ir.exp.Var

class Var extends Object implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream s)
                 throws IOException,
ClassNotFoundException

Throws:

IOException

ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream s)
                  throws IOException

Throws:

IOException

Serialized Fields

constValue

Literal constValue

If this variable is a (temporary) variable generated for holding a constant value, then this field holds that constant value; otherwise, this field is null.

index

int index

The index of this variable in Var.method.

method

JMethod method

The method containing this Var.

name

String name

The name of this Var.

type

Type type

The type of this Var.

Package pascal.taie.ir.proginfo

Record Class pascal.taie.ir.proginfo.ExceptionEntry

class ExceptionEntry extends Record implements Serializable

Serialized Fields

catchType

ClassType catchType

end

Stmt end

handler

Catch handler

start

Stmt start

Class pascal.taie.ir.proginfo.FieldRef

class FieldRef extends MemberRef implements Serializable

Serialized Fields

type

Type type

Exception pascal.taie.ir.proginfo.FieldResolutionFailedException

class FieldResolutionFailedException extends ResolutionFailedException implements Serializable

Class pascal.taie.ir.proginfo.MemberRef

class MemberRef extends Object implements Serializable

Serialized Fields

declaringClass

JClass declaringClass

isStatic

boolean isStatic

name

String name

Class pascal.taie.ir.proginfo.MethodRef

class MethodRef extends MemberRef implements Serializable

Serialized Fields

parameterTypes

List<Type> parameterTypes

returnType

Type returnType

subsignature

Subsignature subsignature

Exception pascal.taie.ir.proginfo.MethodResolutionFailedException

class MethodResolutionFailedException extends ResolutionFailedException implements Serializable

Exception pascal.taie.ir.proginfo.ResolutionFailedException

class ResolutionFailedException extends RuntimeException implements Serializable

Package pascal.taie.ir.stmt

Class pascal.taie.ir.stmt.AssignLiteral

class AssignLiteral extends AssignStmt<Var,Literal> implements Serializable

Class pascal.taie.ir.stmt.AssignStmt

class AssignStmt extends DefinitionStmt<L extends LValue,R extends RValue> implements Serializable

Serialized Fields

lvalue

L extends LValue lvalue

rvalue

R extends RValue rvalue

Class pascal.taie.ir.stmt.Binary

class Binary extends AssignStmt<Var,BinaryExp> implements Serializable

Class pascal.taie.ir.stmt.Cast

class Cast extends AssignStmt<Var,CastExp> implements Serializable

Class pascal.taie.ir.stmt.Catch

class Catch extends pascal.taie.ir.stmt.AbstractStmt implements Serializable

Serialized Fields

exceptionRef

Var exceptionRef

Reference of the exception object to be caught.

Class pascal.taie.ir.stmt.Copy

class Copy extends AssignStmt<Var,Var> implements Serializable

Class pascal.taie.ir.stmt.DefinitionStmt

class DefinitionStmt extends pascal.taie.ir.stmt.AbstractStmt implements Serializable

Class pascal.taie.ir.stmt.FieldStmt

class FieldStmt extends AssignStmt<L extends LValue,R extends RValue> implements Serializable

Class pascal.taie.ir.stmt.Goto

class Goto extends JumpStmt implements Serializable

Serialized Fields

target

Stmt target

Class pascal.taie.ir.stmt.If

class If extends JumpStmt implements Serializable

Serialized Fields

condition

ConditionExp condition

The condition expression.

target

Stmt target

Jump target when the condition expression is evaluated to true.

Class pascal.taie.ir.stmt.InstanceOf

class InstanceOf extends AssignStmt<Var,InstanceOfExp> implements Serializable

Class pascal.taie.ir.stmt.Invoke

class Invoke extends DefinitionStmt<Var,InvokeExp> implements Serializable

Serialized Fields

container

JMethod container

The method containing this statement.

invokeExp

InvokeExp invokeExp

The invocation expression.

result

Var result

The variable receiving the result of the invocation. This field is null if no variable receives the invocation result, e.g., o.m(...).

Class pascal.taie.ir.stmt.JumpStmt

class JumpStmt extends pascal.taie.ir.stmt.AbstractStmt implements Serializable

Class pascal.taie.ir.stmt.LoadArray

class LoadArray extends pascal.taie.ir.stmt.ArrayStmt<Var,ArrayAccess> implements Serializable

Class pascal.taie.ir.stmt.LoadField

class LoadField extends FieldStmt<Var,FieldAccess> implements Serializable

Class pascal.taie.ir.stmt.LookupSwitch

class LookupSwitch extends SwitchStmt implements Serializable

Serialized Fields

caseValues

List<Integer> caseValues

Class pascal.taie.ir.stmt.Monitor

class Monitor extends pascal.taie.ir.stmt.AbstractStmt implements Serializable

Serialized Fields

objectRef

Var objectRef

Reference of the object to be locked/unlocked.

op

Monitor.Op op

Class pascal.taie.ir.stmt.New

class New extends AssignStmt<Var,NewExp> implements Serializable

Serialized Fields

container

JMethod container

The method containing this new statement.

Class pascal.taie.ir.stmt.Nop

class Nop extends pascal.taie.ir.stmt.AbstractStmt implements Serializable

Class pascal.taie.ir.stmt.Return

class Return extends pascal.taie.ir.stmt.AbstractStmt implements Serializable

Serialized Fields

value

Var value

Class pascal.taie.ir.stmt.StoreArray

class StoreArray extends pascal.taie.ir.stmt.ArrayStmt<ArrayAccess,Var> implements Serializable

Class pascal.taie.ir.stmt.StoreField

class StoreField extends FieldStmt<FieldAccess,Var> implements Serializable

Class pascal.taie.ir.stmt.SwitchStmt

class SwitchStmt extends JumpStmt implements Serializable

Serialized Fields

defaultTarget

Stmt defaultTarget

The jump target for default case.

targets

List<Stmt> targets

List of jump targets of the switch-statement, one target for each case.

var

Var var

The variable holding the condition value of the switch-statement.

Class pascal.taie.ir.stmt.TableSwitch

class TableSwitch extends SwitchStmt implements Serializable

Serialized Fields

highIndex

int highIndex

lowIndex

int lowIndex

Class pascal.taie.ir.stmt.Throw

class Throw extends pascal.taie.ir.stmt.AbstractStmt implements Serializable

Serialized Fields

exceptionRef

Var exceptionRef

Reference of the exception object to be thrown.

Class pascal.taie.ir.stmt.Unary

class Unary extends AssignStmt<Var,UnaryExp> implements Serializable

Package pascal.taie.language.annotation

Class pascal.taie.language.annotation.Annotation

class Annotation extends Object implements Serializable

Serialized Fields

annotationType

String annotationType

String representation of type of this annotation.

elements

Map<String,Element> elements

Map from names to corresponding elements in this annotation.

Record Class pascal.taie.language.annotation.AnnotationElement

class AnnotationElement extends Record implements Serializable

Serialized Fields

annotation

Annotation annotation

Class pascal.taie.language.annotation.AnnotationHolder

class AnnotationHolder extends Object implements Serializable

Serialized Fields

annotations

Map<String,Annotation> annotations

Map from annotation type to corresponding annotation in this holder.

Record Class pascal.taie.language.annotation.ArrayElement

class ArrayElement extends Record implements Serializable

Serialized Fields

elements

List<Element> elements

Record Class pascal.taie.language.annotation.BooleanElement

class BooleanElement extends Record implements Serializable

Serialized Fields

value

boolean value

Record Class pascal.taie.language.annotation.ClassElement

class ClassElement extends Record implements Serializable

Serialized Fields

classDescriptor

String classDescriptor

Record Class pascal.taie.language.annotation.DoubleElement

class DoubleElement extends Record implements Serializable

Serialized Fields

value

double value

Record Class pascal.taie.language.annotation.EnumElement

class EnumElement extends Record implements Serializable

Serialized Fields

name

String name

type

String type

Record Class pascal.taie.language.annotation.FloatElement

class FloatElement extends Record implements Serializable

Serialized Fields

value

float value

Record Class pascal.taie.language.annotation.IntElement

class IntElement extends Record implements Serializable

Serialized Fields

value

int value

Record Class pascal.taie.language.annotation.LongElement

class LongElement extends Record implements Serializable

Serialized Fields

value

long value

Record Class pascal.taie.language.annotation.StringElement

class StringElement extends Record implements Serializable

Serialized Fields

value

String value

Package pascal.taie.language.classes

Exception pascal.taie.language.classes.AmbiguousMemberException

class AmbiguousMemberException extends RuntimeException implements Serializable

Class pascal.taie.language.classes.ClassHierarchyImpl

class ClassHierarchyImpl extends Object implements Serializable

Serialized Fields

allSubclasses

Map<JClass,Set<JClass>> allSubclasses

Cache results of ClassHierarchyImpl.getAllSubclassesOf(JClass).

bootstrapLoader

JClassLoader bootstrapLoader

classCounter

int classCounter

classes

List<JClass> classes

defaultLoader

JClassLoader defaultLoader

directImplementors

MultiMap<JClass,JClass> directImplementors

Map from each interface to its direct implementors.

directInnerClasses

MultiMap<JClass,JClass> directInnerClasses

Map from a class to its direct inner classes.

directSubclasses

MultiMap<JClass,JClass> directSubclasses

Map from each class to its direct subclasses.

directSubinterfaces

MultiMap<JClass,JClass> directSubinterfaces

Map from each interface to its direct subinterfaces.

dispatchTable

TwoKeyMap<JClass,Subsignature,JMethod> dispatchTable

Cache results of method dispatch.

JavaLangObject

JClass JavaLangObject

loaders

Map<String,JClassLoader> loaders

Class pascal.taie.language.classes.ClassMember

class ClassMember extends Object implements Serializable

Serialized Fields

annotationHolder

AnnotationHolder annotationHolder

declaringClass

JClass declaringClass

modifiers

Set<Modifier> modifiers

name

String name

signature

String signature

Class pascal.taie.language.classes.JClass

class JClass extends AbstractResultHolder implements Serializable

Serialized Fields

annotationHolder

AnnotationHolder annotationHolder

declaredFields

MultiMap<String,JField> declaredFields

declaredMethods

Map<Subsignature,JMethod> declaredMethods

gSignature

ClassGSignature gSignature

index

int index

interfaces

Collection<JClass> interfaces

isApplication

boolean isApplication

If this class is application class.

isPhantom

boolean isPhantom

loader

JClassLoader loader

modifiers

Set<Modifier> modifiers

moduleName

String moduleName

name

String name

outerClass

JClass outerClass

phantomFields

MultiMap<String,JField> phantomFields

simpleName

String simpleName

superClass

JClass superClass

type

ClassType type

Class pascal.taie.language.classes.JField

class JField extends ClassMember implements Serializable

Serialized Fields

gSignature

ReferenceTypeGSignature gSignature

type

Type type

Class pascal.taie.language.classes.JMethod

class JMethod extends ClassMember implements Serializable

Serialized Fields

exceptions

List<ClassType> exceptions

gSignature

MethodGSignature gSignature

paramAnnotations

List<AnnotationHolder> paramAnnotations

paramNames

List<String> paramNames

paramTypes

List<Type> paramTypes

returnType

Type returnType

subsignature

Subsignature subsignature

Class pascal.taie.language.classes.Subsignature

class Subsignature extends Object implements Serializable

Serialized Fields

subsig

String subsig

Package pascal.taie.language.generics

Class pascal.taie.language.generics.ArrayTypeGSignature

class ArrayTypeGSignature extends Object implements Serializable

Serialized Fields

baseTypeGSig

TypeGSignature baseTypeGSig

dimensions

int dimensions

Class pascal.taie.language.generics.ClassGSignature

class ClassGSignature extends Object implements Serializable

Serialized Fields

isInterface

boolean isInterface

Whether this class signature describes an interface. This field is only used for precise printing.

See Also:

• ClassGSignature.toString()

superClass

ClassTypeGSignature superClass

superInterfaces

List<ClassTypeGSignature> superInterfaces

typeParams

List<TypeParameter> typeParams

Class pascal.taie.language.generics.ClassTypeGSignature

class ClassTypeGSignature extends Object implements Serializable

Serialized Fields

packageName

String packageName

package name. For example, org.example

signatures

List<ClassTypeGSignature.SimpleClassTypeGSignature> signatures

class names and their type arguments. For example,

• Generic and T1
• Inner1 and T2
• Inner2 and T3

Record Class pascal.taie.language.generics.ClassTypeGSignature.SimpleClassTypeGSignature

class SimpleClassTypeGSignature extends Record implements Serializable

Serialized Fields

className

String className

typeArgs

List<TypeArgument> typeArgs

Class pascal.taie.language.generics.MethodGSignature

class MethodGSignature extends Object implements Serializable

Serialized Fields

parameterSigs

List<TypeGSignature> parameterSigs

resultSignature

TypeGSignature resultSignature

throwsSigs

List<TypeGSignature> throwsSigs

typeParams

List<TypeParameter> typeParams

Class pascal.taie.language.generics.TypeArgument

class TypeArgument extends Object implements Serializable

Serialized Fields

gSig

ReferenceTypeGSignature gSig

kind

TypeArgument.Kind kind

Class pascal.taie.language.generics.TypeParameter

class TypeParameter extends Object implements Serializable

Serialized Fields

classBound

ReferenceTypeGSignature classBound

interfaceBounds

List<ReferenceTypeGSignature> interfaceBounds

typeName

String typeName

Class pascal.taie.language.generics.TypeVariableGSignature

class TypeVariableGSignature extends Object implements Serializable

Serialized Fields

typeName

String typeName

Package pascal.taie.language.natives

Class pascal.taie.language.natives.DefaultNativeModel

class DefaultNativeModel extends Object implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream s)
                 throws IOException,
ClassNotFoundException

Throws:

IOException

ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream s)
                  throws IOException

Throws:

IOException

Serialized Fields

hierarchy

ClassHierarchy hierarchy

javaVersion

int javaVersion

typeSystem

TypeSystem typeSystem

Class pascal.taie.language.natives.EmptyNativeModel

class EmptyNativeModel extends Object implements Serializable

Package pascal.taie.language.type

Record Class pascal.taie.language.type.ArrayType

class ArrayType extends Record implements Serializable

Serialized Fields

baseType

Type baseType

dimensions

int dimensions

elementType

Type elementType

Class pascal.taie.language.type.ClassType

class ClassType extends Object implements Serializable

Serialized Fields

loader

JClassLoader loader

name

String name

Class pascal.taie.language.type.TypeSystemImpl

class TypeSystemImpl extends Object implements Serializable

Serialized Fields

arrayTypes

ConcurrentMap<Integer,ConcurrentMap<Type,ArrayType>> arrayTypes

This map may be concurrently written during IR construction, thus we use concurrent map to ensure its thread-safety.

BOOLEAN

ClassType BOOLEAN

BYTE

ClassType BYTE

CHARACTER

ClassType CHARACTER

classTypes

Map<JClassLoader,Map<String,ClassType>> classTypes

CLONEABLE

ClassType CLONEABLE

DOUBLE

ClassType DOUBLE

FLOAT

ClassType FLOAT

hierarchy

ClassHierarchy hierarchy

INTEGER

ClassType INTEGER

LONG

ClassType LONG

OBJECT

ClassType OBJECT

SERIALIZABLE

ClassType SERIALIZABLE

SHORT

ClassType SHORT

Package pascal.taie.util

Exception pascal.taie.util.AnalysisException

class AnalysisException extends RuntimeException implements Serializable

Class pascal.taie.util.Canonicalizer

class Canonicalizer extends Object implements Serializable

Serialized Fields

map

Map<T,T> map

Class pascal.taie.util.MutableInt

class MutableInt extends Number implements Serializable

Serialized Fields

value

int value

Class pascal.taie.util.SimpleIndexer

class SimpleIndexer extends Object implements Serializable

Serialized Fields

counter

int counter

index2obj

List<E> index2obj

obj2index

Map<E,Integer> obj2index

Package pascal.taie.util.collection

Class pascal.taie.util.collection.AbstractBitSet

class AbstractBitSet extends Object implements Serializable

Class pascal.taie.util.collection.AbstractHybridMap

class AbstractHybridMap extends AbstractMap<K,V> implements Serializable

Serialized Fields

isLargeMap

boolean isLargeMap

Whether the map implementation is the one for large map.

map

Map<K,V> map

The map containing the key-value mappings. Null if the map is not used.

singleton_value

V singleton_value

The value, for singletons. Null if not singleton.

singletonKey

K singletonKey

The key for singletons. Null if not singleton.

Class pascal.taie.util.collection.AbstractHybridSet

class AbstractHybridSet extends AbstractSetEx<E> implements Serializable

Serialized Fields

isLargeSet

boolean isLargeSet

Whether the set implementation is the one for large set.

set

Set<E> set

The set containing the elements. Null if the set is not used.

singleton

E singleton

The singleton value. Null if not a singleton.

Class pascal.taie.util.collection.AbstractTwoKeyMap

class AbstractTwoKeyMap extends Object implements Serializable

Class pascal.taie.util.collection.AbstractTwoKeyMultiMap

class AbstractTwoKeyMultiMap extends Object implements Serializable

Class pascal.taie.util.collection.ArrayMap

class ArrayMap extends AbstractMap<K,V> implements Serializable

Serialized Fields

entries

ArrayList<Map.Entry<K,V>> entries

fixedCapacity

boolean fixedCapacity

initialCapacity

int initialCapacity

Class pascal.taie.util.collection.ArraySet

class ArraySet extends AbstractSetEx<E> implements Serializable

Serialized Fields

elements

ArrayList<E> elements

fixedCapacity

boolean fixedCapacity

initialCapacity

int initialCapacity

Class pascal.taie.util.collection.GenericBitSet

class GenericBitSet extends AbstractSetEx<E> implements Serializable

Serialized Fields

bitSet

IBitSet bitSet

Class pascal.taie.util.collection.HybridBitSet

class HybridBitSet extends AbstractHybridSet<E> implements Serializable

Serialized Fields

indexer

Indexer<E> indexer

isSparse

boolean isSparse

Class pascal.taie.util.collection.HybridHashMap

class HybridHashMap extends AbstractHybridMap<K,V> implements Serializable

Class pascal.taie.util.collection.HybridHashSet

class HybridHashSet extends AbstractHybridSet<E> implements Serializable

Class pascal.taie.util.collection.HybridIndexableSet

class HybridIndexableSet extends AbstractHybridSet<E extends Indexable> implements Serializable

Serialized Fields

isSparse

boolean isSparse

Class pascal.taie.util.collection.HybridLinkedHashSet

class HybridLinkedHashSet extends AbstractHybridSet<E> implements Serializable

Class pascal.taie.util.collection.IndexerBitSet

class IndexerBitSet extends GenericBitSet<E> implements Serializable

Serialized Fields

indexer

Indexer<E> indexer

Class pascal.taie.util.collection.IndexMap

class IndexMap extends AbstractMap<K,V> implements Serializable

Serialized Fields

indexer

Indexer<K> indexer

size

int size

values

V[] values

Class pascal.taie.util.collection.MapEntry

class MapEntry extends Object implements Serializable

Serialized Fields

key

K key

value

V value

Class pascal.taie.util.collection.MapMapTwoKeyMap

class MapMapTwoKeyMap extends AbstractTwoKeyMap<K1,K2,V> implements Serializable

Serialized Fields

map

Map<K1,Map<K2,V>> map

The backing map.

mapFactory

SSupplier<Map<K2,V>> mapFactory

Factory function for creating new maps.

size

int size

Class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap

class MapMultiMapTwoKeyMultiMap extends AbstractTwoKeyMultiMap<K1,K2,V> implements Serializable

Serialized Fields

map

Map<K1,MultiMap<K2,V>> map

The backing map.

multimapFactory

SSupplier<MultiMap<K2,V>> multimapFactory

Factory function for creating multimap.

size

int size

Class pascal.taie.util.collection.MapSetMultiMap

class MapSetMultiMap extends AbstractMultiMap<K,V> implements Serializable

Serialized Fields

map

Map<K,Set<V>> map

The backing map.

setFactory

SSupplier<Set<V>> setFactory

Factory function for creating new sets.

size

int size

Record Class pascal.taie.util.collection.Pair

class Pair extends Record implements Serializable

Serialized Fields

first

T1 first

second

T2 second

Class pascal.taie.util.collection.RegularBitSet

class RegularBitSet extends AbstractBitSet implements Serializable

Serialized Fields

words

long[] words

The internal field corresponding to the serialField "bits".

wordsInUse

int wordsInUse

The number of words in the logical size of this BitSet.

Class pascal.taie.util.collection.SetQueue

class SetQueue extends AbstractQueue<E> implements Serializable

Serialized Fields

set

Set<E> set

Class pascal.taie.util.collection.SparseBitSet

class SparseBitSet extends AbstractBitSet implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream s)
                 throws IOException,
ClassNotFoundException

Throws:

IOException

ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream s)
                  throws IOException

Throws:

IOException

Exception pascal.taie.util.collection.TooManyElementsException

class TooManyElementsException extends RuntimeException implements Serializable

Record Class pascal.taie.util.collection.TwoKeyMap.Entry

class Entry extends Record implements Serializable

Serialized Fields

key1

K1 key1

key2

K2 key2

value

V value

Package pascal.taie.util.function

Package pascal.taie.util.graph

Class pascal.taie.util.graph.AbstractEdge

class AbstractEdge extends Object implements Serializable

Serialized Fields

source

N source

The source node of the edge.

target

N target

The target node of the edge.

Class pascal.taie.util.graph.MergedSCCGraph

class MergedSCCGraph extends Object implements Serializable

Serialized Fields

nodes

Set<MergedNode<N>> nodes

Class pascal.taie.util.graph.ReverseGraph

class ReverseGraph extends Object implements Serializable

Serialized Fields

graph

Graph<N> graph

Class pascal.taie.util.graph.SimpleGraph

class SimpleGraph extends Object implements Serializable

Serialized Fields

nodes

Set<N> nodes

preds

MultiMap<N,N> preds

succs

MultiMap<N,N> succs