Index
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form
V
- validate() - Method in class pascal.taie.ir.exp.ArithmeticExp
- validate() - Method in class pascal.taie.ir.exp.BitwiseExp
- validate() - Method in class pascal.taie.ir.exp.ComparisonExp
- validate() - Method in class pascal.taie.ir.exp.ConditionExp
- validate() - Method in class pascal.taie.ir.exp.ShiftExp
- value() - Element in annotation interface pascal.taie.analysis.pta.plugin.util.InvokeHandlers
- value() - Method in record class pascal.taie.language.annotation.BooleanElement
-
Returns the value of the
value
record component. - value() - Method in record class pascal.taie.language.annotation.DoubleElement
-
Returns the value of the
value
record component. - value() - Method in record class pascal.taie.language.annotation.FloatElement
-
Returns the value of the
value
record component. - value() - Method in record class pascal.taie.language.annotation.IntElement
-
Returns the value of the
value
record component. - value() - Method in record class pascal.taie.language.annotation.LongElement
-
Returns the value of the
value
record component. - value() - Method in record class pascal.taie.language.annotation.StringElement
-
Returns the value of the
value
record component. - value() - Method in record class pascal.taie.util.collection.TwoKeyMap.Entry
-
Returns the value of the
value
record component. - Value - Class in pascal.taie.analysis.dataflow.analysis.constprop
-
Represents lattice values in constant propagation.
- valueOf(String) - Static method in enum class pascal.taie.analysis.bugfinder.Severity
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.analysis.graph.callgraph.CallKind
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.analysis.graph.cfg.CFGEdge.Kind
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.analysis.graph.flowgraph.FlowKind
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.analysis.pta.core.solver.EmptyParamProvider
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.analysis.pta.core.solver.Identity
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.analysis.pta.plugin.taint.IndexRef.Kind
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.config.Scope
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.ir.exp.ArithmeticExp.Op
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.ir.exp.BitwiseExp.Op
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.ir.exp.ComparisonExp.Op
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.ir.exp.ConditionExp.Op
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.ir.exp.MethodHandle.Kind
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.ir.exp.NullLiteral
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.ir.exp.ShiftExp.Op
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.ir.stmt.Monitor.Op
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.classes.Modifier
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.generics.BaseType
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.generics.TypeArgument.Kind
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.generics.VoidDescriptor
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.type.BooleanType
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.type.BottomType
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.type.ByteType
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.type.CharType
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.type.DoubleType
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.type.FloatType
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.type.IntType
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.type.LongType
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.type.NullType
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.type.ShortType
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - Static method in enum class pascal.taie.language.type.VoidType
-
Returns the enum constant of this class with the specified name.
- values() - Static method in enum class pascal.taie.analysis.bugfinder.Severity
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.analysis.graph.callgraph.CallKind
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.analysis.graph.cfg.CFGEdge.Kind
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.analysis.graph.flowgraph.FlowKind
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.analysis.pta.core.solver.EmptyParamProvider
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.analysis.pta.core.solver.Identity
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.analysis.pta.plugin.taint.IndexRef.Kind
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.config.Scope
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.ir.exp.ArithmeticExp.Op
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.ir.exp.BitwiseExp.Op
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.ir.exp.ComparisonExp.Op
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.ir.exp.ConditionExp.Op
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.ir.exp.MethodHandle.Kind
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.ir.exp.NullLiteral
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.ir.exp.ShiftExp.Op
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.ir.stmt.Monitor.Op
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.classes.Modifier
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.generics.BaseType
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.generics.TypeArgument.Kind
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.generics.VoidDescriptor
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.type.BooleanType
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.type.BottomType
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.type.ByteType
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.type.CharType
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.type.DoubleType
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.type.FloatType
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.type.IntType
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.type.LongType
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.type.NullType
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.type.ShortType
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Static method in enum class pascal.taie.language.type.VoidType
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - Method in class pascal.taie.util.collection.AbstractHybridMap
- values() - Method in class pascal.taie.util.collection.AbstractMultiMap
- values() - Method in class pascal.taie.util.collection.AbstractTwoKeyMap
- values() - Method in interface pascal.taie.util.collection.MultiMap
- values() - Method in interface pascal.taie.util.collection.TwoKeyMap
- ValueType - Interface in pascal.taie.language.type
- var - Variable in class pascal.taie.ir.stmt.SwitchStmt
-
The variable holding the condition value of the switch-statement.
- Var - Class in pascal.taie.ir.exp
-
Representation of method/constructor parameters, lambda parameters, exception parameters, and local variables.
- Var(JMethod, String, Type, int) - Constructor for class pascal.taie.ir.exp.Var
- Var(JMethod, String, Type, int, Literal) - Constructor for class pascal.taie.ir.exp.Var
- VAR - Enum constant in enum class pascal.taie.analysis.pta.plugin.taint.IndexRef.Kind
- VAR_HANDLE - Static variable in class pascal.taie.language.classes.ClassNames
- VARARGS - Enum constant in enum class pascal.taie.language.classes.Modifier
- VarNode - Class in pascal.taie.analysis.graph.flowgraph
- VERIFY_ERROR - Static variable in class pascal.taie.language.classes.ClassNames
- Views - Class in pascal.taie.util.collection
-
Provides unmodifiable view collections.
- VIRTUAL - Enum constant in enum class pascal.taie.analysis.graph.callgraph.CallKind
- visit(ArithmeticExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(ArrayAccess) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(ArrayLengthExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(BitwiseExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(CastExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(ClassLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(ComparisonExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(ConditionExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(DoubleLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(FloatLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(InstanceFieldAccess) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(InstanceOfExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(IntLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(InvokeDynamic) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(InvokeInterface) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(InvokeSpecial) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(InvokeStatic) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(InvokeVirtual) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(LongLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(MethodHandle) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(MethodType) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(NegExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(NewArray) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(NewInstance) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(NewMultiArray) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(NullLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(ShiftExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(StaticFieldAccess) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(StringLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(Var) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visit(AssignLiteral) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(Binary) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(Cast) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(Catch) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(Copy) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(Goto) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(If) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(InstanceOf) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(Invoke) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(LoadArray) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(LoadField) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(LookupSwitch) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(Monitor) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(New) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(Nop) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(Return) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(StoreArray) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(StoreField) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(TableSwitch) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(Throw) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visit(Unary) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- visitDefault(Exp) - Method in interface pascal.taie.ir.exp.ExpVisitor
- visitDefault(Stmt) - Method in interface pascal.taie.ir.stmt.StmtVisitor
- VOID - Enum constant in enum class pascal.taie.language.generics.VoidDescriptor
- VOID - Enum constant in enum class pascal.taie.language.type.VoidType
- VOID - Static variable in class pascal.taie.language.classes.ClassNames
- VoidDescriptor - Enum Class in pascal.taie.language.generics
-
In JVM Spec.
- VoidType - Enum Class in pascal.taie.language.type
- VOLATILE - Enum constant in enum class pascal.taie.language.classes.Modifier
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form