Index

A B C D E F G H I J K L M N O P R S T U V W X Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

U

Unary - Class in pascal.taie.ir.stmt

Representation of following kinds of unary assign statements: negation: x = -y array length: x = arr.length

Unary(Var, UnaryExp) - Constructor for class pascal.taie.ir.stmt.Unary

UnaryExp - Interface in pascal.taie.ir.exp

Representation of unary expression.

UNCAUGHT_EXCEPTION - Enum constant in enum class pascal.taie.analysis.graph.cfg.CFGEdge.Kind

Edge representing the possibility that a node raise an exception that cannot be caught by the current method.

union(E, E) - Method in class pascal.taie.util.collection.UnionFindSet

Unions the sets which e1 and e2 belong to, respectively.

union(SetFact<E>) - Method in class pascal.taie.analysis.dataflow.fact.SetFact

Unions other fact into this fact.

union(SetFact<E>) - Method in class pascal.taie.analysis.dataflow.fact.ToppedSetFact

UnionFindSet<E> - Class in pascal.taie.util.collection

UnionFindSet(Collection<E>) - Constructor for class pascal.taie.util.collection.UnionFindSet

unionWith(SetFact<E>) - Method in class pascal.taie.analysis.dataflow.fact.SetFact

UNKNOWN - Static variable in class pascal.taie.analysis.pta.plugin.reflection.LogItem

UNKNOWN_ERROR - Static variable in class pascal.taie.language.classes.ClassNames

unmodifiableMultiMap(MultiMap<K, V>) - Static method in class pascal.taie.util.collection.Maps

unmodifiableTwoKeyMultiMap(TwoKeyMultiMap<K1, K2, V>) - Static method in class pascal.taie.util.collection.Maps

UnsafeModel - Class in pascal.taie.analysis.pta.plugin.natives

UNSATISFIED_LINK_ERROR - Static variable in class pascal.taie.language.classes.ClassNames

update(String...) - Method in class pascal.taie.util.graph.DotAttributes

update(K, V) - Method in class pascal.taie.analysis.dataflow.fact.MapFact

Updates the key-value mapping in this fact.

update(Var, Value) - Method in class pascal.taie.analysis.dataflow.analysis.constprop.CPFact

useMethodHandle() - Static method in class pascal.taie.analysis.pta.plugin.invokedynamic.InvokeDynamicAnalysis

USHR - Enum constant in enum class pascal.taie.ir.exp.ShiftExp.Op

A B C D E F G H I J K L M N O P R S T U V W X Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form