Constant Field Values

Contents

• pascal.taie.*

pascal.taie.*

pascal.taie.AbstractWorldBuilder

Modifier and Type	Constant Field	Value
protected static final String	JREs	"java-benchmarks/JREs"

pascal.taie.analysis.bugfinder.DroppedException

Modifier and Type	Constant Field	Value
public static final String	ID	"dropped-exception"

pascal.taie.analysis.bugfinder.nullpointer.IsNullAnalysis

Modifier and Type	Constant Field	Value
public static final String	ID	"is-null"

pascal.taie.analysis.dataflow.analysis.LiveVariable

Modifier and Type	Constant Field	Value
public static final String	ID	"live-var"

pascal.taie.analysis.dataflow.analysis.ReachingDefinition

Modifier and Type	Constant Field	Value
public static final String	ID	"reach-def"

pascal.taie.analysis.dataflow.analysis.availexp.AvailableExpression

Modifier and Type	Constant Field	Value
public static final String	ID	"avail-exp"

pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation

Modifier and Type	Constant Field	Value
public static final String	ID	"const-prop"

pascal.taie.analysis.dataflow.inter.InterConstantPropagation

Modifier and Type	Constant Field	Value
public static final String	ID	"inter-const-prop"

pascal.taie.analysis.deadcode.DeadCodeDetection

Modifier and Type	Constant Field	Value
public static final String	ID	"dead-code"

pascal.taie.analysis.defuse.DefUseAnalysis

Modifier and Type	Constant Field	Value
public static final String	ID	"def-use"

pascal.taie.analysis.exception.ThrowAnalysis

Modifier and Type	Constant Field	Value
public static final String	ID	"throw"

pascal.taie.analysis.graph.callgraph.CallGraphBuilder

Modifier and Type	Constant Field	Value
public static final String	ID	"cg"

pascal.taie.analysis.graph.cfg.CFGBuilder

Modifier and Type	Constant Field	Value
public static final String	ID	"cfg"

pascal.taie.analysis.graph.icfg.ICFGBuilder

Modifier and Type	Constant Field	Value
public static final String	ID	"icfg"

pascal.taie.analysis.misc.IRDumper

Modifier and Type	Constant Field	Value
public static final String	ID	"ir-dumper"

pascal.taie.analysis.misc.ResultProcessor

Modifier and Type	Constant Field	Value
public static final String	ID	"process-result"

pascal.taie.analysis.pta.PointerAnalysis

Modifier and Type	Constant Field	Value
public static final String	ID	"pta"

pascal.taie.analysis.pta.client.MayFailCast

Modifier and Type	Constant Field	Value
public static final String	ID	"may-fail-cast"

pascal.taie.analysis.pta.client.PolymorphicCallSite

Modifier and Type	Constant Field	Value
public static final String	ID	"poly-call"

pascal.taie.analysis.pta.plugin.ResultProcessor

Modifier and Type	Constant Field	Value
public static final String	RESULTS_FILE	"pta-results.txt"
public static final String	RESULTS_YAML_FILE	"pta-results.yml"

pascal.taie.analysis.pta.plugin.reflection.LogItem

Modifier and Type	Constant Field	Value
public static final int	UNKNOWN	-1

pascal.taie.analysis.pta.plugin.util.InvokeUtils

Modifier and Type	Constant Field	Value
public static final int	BASE	-1
public static final int	RESULT	-2

pascal.taie.config.Plan

Modifier and Type	Constant Field	Value
public static final String	KEEP_ALL	"$KEEP-ALL"

pascal.taie.language.classes.ClassNames

Modifier and Type	Constant Field	Value
public static final String	ABSTRACT_METHOD_ERROR	"java.lang.AbstractMethodError"
public static final String	ANNOTATION	"java.lang.annotation.Annotation"
public static final String	ARITHMETIC_EXCEPTION	"java.lang.ArithmeticException"
public static final String	ARRAY	"java.lang.reflect.Array"
public static final String	ARRAY_INDEX_OUT_OF_BOUNDS_EXCEPTION	"java.lang.ArrayIndexOutOfBoundsException"
public static final String	ARRAY_STORE_EXCEPTION	"java.lang.ArrayStoreException"
public static final String	BOOLEAN	"java.lang.Boolean"
public static final String	BYTE	"java.lang.Byte"
public static final String	CALL_SITE	"java.lang.invoke.CallSite"
public static final String	CHARACTER	"java.lang.Character"
public static final String	CLASS	"java.lang.Class"
public static final String	CLASS_CAST_EXCEPTION	"java.lang.ClassCastException"
public static final String	CLASS_NOT_FOUND_EXCEPTION	"java.lang.ClassNotFoundException"
public static final String	CLONE_NOT_SUPPORTED_EXCEPTION	"java.lang.CloneNotSupportedException"
public static final String	CLONEABLE	"java.lang.Cloneable"
public static final String	CONSTRUCTOR	"java.lang.reflect.Constructor"
public static final String	DOUBLE	"java.lang.Double"
public static final String	ERROR	"java.lang.Error"
public static final String	EXCEPTION	"java.lang.Exception"
public static final String	EXCEPTION_IN_INITIALIZER_ERROR	"java.lang.ExceptionInInitializerError"
public static final String	FIELD	"java.lang.reflect.Field"
public static final String	FLOAT	"java.lang.Float"
public static final String	ILLEGAL_ACCESS_ERROR	"java.lang.IllegalAccessError"
public static final String	ILLEGAL_MONITOR_STATE_EXCEPTION	"java.lang.IllegalMonitorStateException"
public static final String	INCOMPATIBLE_CLASS_CHANGE_ERROR	"java.lang.IncompatibleClassChangeError"
public static final String	INDEX_OUT_OF_BOUNDS_EXCEPTION	"java.lang.IndexOutOfBoundsException"
public static final String	INSTANTIATION_ERROR	"java.lang.InstantiationError"
public static final String	INTEGER	"java.lang.Integer"
public static final String	INTERNAL_ERROR	"java.lang.InternalError"
public static final String	INTERRUPTED_EXCEPTION	"java.lang.InterruptedException"
public static final String	LINKAGE_ERROR	"java.lang.LinkageError"
public static final String	LONG	"java.lang.Long"
public static final String	LOOKUP	"java.lang.invoke.MethodHandles$Lookup"
public static final String	METHOD	"java.lang.reflect.Method"
public static final String	METHOD_HANDLE	"java.lang.invoke.MethodHandle"
public static final String	METHOD_TYPE	"java.lang.invoke.MethodType"
public static final String	NEGATIVE_ARRAY_SIZE_EXCEPTION	"java.lang.NegativeArraySizeException"
public static final String	NO_CLASS_DEF_FOUND_ERROR	"java.lang.NoClassDefFoundError"
public static final String	NO_SUCH_FIELD_ERROR	"java.lang.NoSuchFieldError"
public static final String	NO_SUCH_METHOD_ERROR	"java.lang.NoSuchMethodError"
public static final String	NULL_POINTER_EXCEPTION	"java.lang.NullPointerException"
public static final String	OBJECT	"java.lang.Object"
public static final String	OUT_OF_MEMORY_ERROR	"java.lang.OutOfMemoryError"
public static final String	RUNTIME_EXCEPTION	"java.lang.RuntimeException"
public static final String	SERIALIZABLE	"java.lang.Serializable"
public static final String	SHORT	"java.lang.Short"
public static final String	STACK_OVERFLOW_ERROR	"java.lang.StackOverflowError"
public static final String	STRING	"java.lang.String"
public static final String	STRING_BUFFER	"java.lang.StringBuffer"
public static final String	STRING_BUILDER	"java.lang.StringBuilder"
public static final String	THREAD	"java.lang.Thread"
public static final String	THREAD_GROUP	"java.lang.ThreadGroup"
public static final String	THROWABLE	"java.lang.Throwable"
public static final String	UNKNOWN_ERROR	"java.lang.UnknownError"
public static final String	UNSATISFIED_LINK_ERROR	"java.lang.UnsatisfiedLinkError"
public static final String	VAR_HANDLE	"java.lang.invoke.VarHandle"
public static final String	VERIFY_ERROR	"java.lang.VerifyError"
public static final String	VOID	"java.lang.Void"

pascal.taie.language.classes.MethodNames

Modifier and Type	Constant Field	Value
public static final String	CLINIT	"<clinit>"
public static final String	INIT	"<init>"

pascal.taie.language.classes.Signatures

Modifier and Type	Constant Field	Value
public static final String	FINALIZE	"<java.lang.Object: void finalize()>"
public static final String	FINALIZER_REGISTER	"<java.lang.ref.Finalizer: void register(java.lang.Object)>"
public static final String	INVOKEDYNAMIC_FINDCONSTRUCTOR	"<java.lang.invoke.MethodHandles$Lookup: java.lang.invoke.MethodHandle findConstructor(java.lang.Class,java.lang.invoke.MethodType)>"
public static final String	INVOKEDYNAMIC_FINDSPECIAL	"<java.lang.invoke.MethodHandles$Lookup: java.lang.invoke.MethodHandle findSpecial(java.lang.Class,java.lang.String,java.lang.invoke.MethodType,java.lang.Class)>"
public static final String	INVOKEDYNAMIC_FINDSTATIC	"<java.lang.invoke.MethodHandles$Lookup: java.lang.invoke.MethodHandle findStatic(java.lang.Class,java.lang.String,java.lang.invoke.MethodType)>"
public static final String	INVOKEDYNAMIC_FINDVIRTUAL	"<java.lang.invoke.MethodHandles$Lookup: java.lang.invoke.MethodHandle findVirtual(java.lang.Class,java.lang.String,java.lang.invoke.MethodType)>"
public static final String	LAMBDA_ALTMETAFACTORY	"<java.lang.invoke.LambdaMetafactory: java.lang.invoke.CallSite altMetafactory(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.Object[])>"
public static final String	LAMBDA_METAFACTORY	"<java.lang.invoke.LambdaMetafactory: java.lang.invoke.CallSite metafactory(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.invoke.MethodType,java.lang.invoke.MethodHandle,java.lang.invoke.MethodType)>"
public static final String	REFERENCE_INIT	"<java.lang.ref.Reference: void <init>(java.lang.Object,java.lang.ref.ReferenceQueue)>"
public static final String	REFERENCE_PENDING	"<java.lang.ref.Reference: java.lang.ref.Reference pending>"
public static final String	STRING_CONCAT_FACTORY_MAKE	"<java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>"

pascal.taie.language.classes.Subsignature

Modifier and Type	Constant Field	Value
public static final String	CLINIT	"void <clinit>()"
public static final String	NO_ARG_INIT	"void <init>()"

pascal.taie.language.generics.ClassTypeGSignature

Modifier and Type	Constant Field	Value
public static final String	JAVA_LANG	"java.lang"
public static final String	OBJECT	"Object"

pascal.taie.language.generics.GSignatures

Modifier and Type	Constant Field	Value
public static final int	API	589824

pascal.taie.util.collection.AbstractBitSet

Modifier and Type	Constant Field	Value
protected static final int	ADDRESS_BITS_PER_WORD	6
protected static final int	BITS_PER_WORD	64

pascal.taie.util.collection.AbstractMultiMap<K,V>

Modifier and Type	Constant Field	Value
protected static final String	NULL_KEY	"MultiMap does not permit null keys"
protected static final String	NULL_VALUE	"MultiMap does not permit null values"

pascal.taie.util.collection.AbstractTwoKeyMap<K1,K2,V>

Modifier and Type	Constant Field	Value
protected static final String	NULL_KEY	"TwoKeyMap does not permit null keys"
protected static final String	NULL_VALUE	"TwoKeyMap does not permit null values"

pascal.taie.util.collection.AbstractTwoKeyMultiMap<K1,K2,V>

Modifier and Type	Constant Field	Value
protected static final String	NULL_KEY	"TwoKeyMultiMap does not permit null keys"
protected static final String	NULL_VALUE	"TwoKeyMultiMap does not permit null values"

pascal.taie.util.collection.ArrayMap<K,V>

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_CAPACITY	8

pascal.taie.util.collection.ArraySet<E>

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_CAPACITY	8