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

N

name - Variable in class pascal.taie.language.classes.ClassMember

name() - Method in record class pascal.taie.language.annotation.Annotation.Entry

Returns the value of the name record component.

name() - Method in record class pascal.taie.language.annotation.EnumElement

Returns the value of the name record component.

NATIVE - Enum constant in enum class pascal.taie.language.classes.Modifier

NativeModel - Interface in pascal.taie.language.natives

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

This class models some native calls by "inlining" their side effects at the call sites to provide better precision for pointer analysis.

NativeModeller() - Constructor for class pascal.taie.analysis.pta.plugin.natives.NativeModeller

NE - Enum constant in enum class pascal.taie.ir.exp.ConditionExp.Op

needTransferEdge(CFGEdge<Node>) - Method in class pascal.taie.analysis.dataflow.analysis.AbstractDataflowAnalysis

By default, a data-flow analysis does not have edge transfer, i.e., does not need to perform transfer for any edges.

needTransferEdge(CFGEdge<Node>) - Method in interface pascal.taie.analysis.dataflow.analysis.DataflowAnalysis

needTransferEdge(CFGEdge<Stmt>) - Method in class pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation.Analysis

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

NegExp - Class in pascal.taie.ir.exp

Representation of negation expression, e.g., -o;

NegExp(Var) - Constructor for class pascal.taie.ir.exp.NegExp

New - Class in pascal.taie.ir.stmt

Representation of following kinds of new statements: new instance: o = new T new array: o = new T[..] new multi-array: o = new T[..][..]

New(JMethod, Var, NewExp) - Constructor for class pascal.taie.ir.stmt.New

NewArray - Class in pascal.taie.ir.exp

Representation of new array expression, e.g., new T[..].

NewArray(ArrayType, Var) - Constructor for class pascal.taie.ir.exp.NewArray

newBitSet(boolean) - Static method in interface pascal.taie.util.collection.IBitSet

Creates a new set.

newBoundaryFact() - Method in class pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation.Analysis

newBoundaryFact() - Method in interface pascal.taie.analysis.dataflow.analysis.DataflowAnalysis

newBoundaryFact(Node) - Method in interface pascal.taie.analysis.dataflow.inter.InterDataflowAnalysis

newBoundaryFact(IR) - Method in class pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation.Analysis

newBoundaryFact(Stmt) - Method in class pascal.taie.analysis.dataflow.inter.InterConstantPropagation

newConcurrentMap() - Static method in class pascal.taie.util.collection.Maps

newConcurrentMap(int) - Static method in class pascal.taie.util.collection.Maps

newConcurrentSet() - Static method in class pascal.taie.util.collection.Sets

NewExp - Interface in pascal.taie.ir.exp

Representation of new expressions.

newHybridMap() - Static method in class pascal.taie.util.collection.Maps

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

newHybridOrderedSet() - Static method in class pascal.taie.util.collection.Sets

newHybridSet() - Static method in class pascal.taie.util.collection.Sets

newHybridSet(Collection<E>) - Static method in class pascal.taie.util.collection.Sets

newInitialFact() - Method in class pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation.Analysis

newInitialFact() - Method in interface pascal.taie.analysis.dataflow.analysis.DataflowAnalysis

newInitialFact() - Method in class pascal.taie.analysis.dataflow.inter.InterConstantPropagation

newInitialFact() - Method in interface pascal.taie.analysis.dataflow.inter.InterDataflowAnalysis

NewInstance - Class in pascal.taie.ir.exp

Representation of new instance expression, e.g., new T.

NewInstance(ClassType) - Constructor for class pascal.taie.ir.exp.NewInstance

newLargeMap(int) - Method in class pascal.taie.util.collection.AbstractHybridMap

Creates a large map.

newLargeMap(int) - Method in class pascal.taie.util.collection.HybridHashMap

newLargeSet(int) - Method in class pascal.taie.util.collection.AbstractHybridSet

Creates a large set.

newLargeSet(int) - Method in class pascal.taie.util.collection.HybridBitSet

newLargeSet(int) - Method in class pascal.taie.util.collection.HybridHashSet

newLargeSet(int) - Method in class pascal.taie.util.collection.HybridIndexableSet

newLargeSet(int) - Method in class pascal.taie.util.collection.HybridLinkedHashSet

newLinkedHashMap() - Static method in class pascal.taie.util.collection.Maps

newLinkedSet() - Static method in class pascal.taie.util.collection.Sets

newMap() - Static method in class pascal.taie.util.collection.Maps

newMap(int) - Static method in class pascal.taie.util.collection.Maps

NewMultiArray - Class in pascal.taie.ir.exp

Representation of new multi-array expression, e.g., new T[..][..][..].

NewMultiArray(ArrayType, List<Var>) - Constructor for class pascal.taie.ir.exp.NewMultiArray

newMultiMap() - Static method in class pascal.taie.util.collection.Maps

newMultiMap(int) - Static method in class pascal.taie.util.collection.Maps

newMultiMap(Map<K, Set<V>>) - Static method in class pascal.taie.util.collection.Maps

newMultiMap(Map<K, Set<V>>, SSupplier<Set<V>>) - Static method in class pascal.taie.util.collection.Maps

newMultiMap(SSupplier<Set<V>>) - Static method in class pascal.taie.util.collection.Maps

NewObj - Class in pascal.taie.analysis.pta.core.heap

Objects that are created by new statements.

newOrderedMap() - Static method in class pascal.taie.util.collection.Maps

newOrderedMap(Comparator<? super K>) - Static method in class pascal.taie.util.collection.Maps

newOrderedSet() - Static method in class pascal.taie.util.collection.Sets

newOrderedSet(Comparator<? super E>) - Static method in class pascal.taie.util.collection.Sets

newReturn() - Method in class pascal.taie.ir.IRBuildHelper

newSet() - Method in class pascal.taie.util.collection.AbstractSetEx

Creates and returns a new set.

newSet() - Method in class pascal.taie.util.collection.GenericBitSet

newSet() - Method in class pascal.taie.util.collection.HybridHashSet

newSet() - Method in class pascal.taie.util.collection.HybridLinkedHashSet

newSet() - Method in class pascal.taie.util.collection.IndexerBitSet

newSet() - Static method in class pascal.taie.util.collection.Sets

newSet(int) - Static method in class pascal.taie.util.collection.Sets

newSet(Collection<? extends E>) - Static method in class pascal.taie.util.collection.Sets

newSmallMap() - Method in class pascal.taie.util.collection.AbstractHybridMap

Creates a small map.

newSmallMap() - Static method in class pascal.taie.util.collection.Maps

newSmallSet() - Method in class pascal.taie.util.collection.AbstractHybridSet

Creates a small set.

newSmallSet() - Static method in class pascal.taie.util.collection.Sets

newTempVar(Type) - Method in class pascal.taie.ir.IRBuildHelper

newTwoKeyMap() - Static method in class pascal.taie.util.collection.Maps

newTwoKeyMap(Map<K1, Map<K2, V>>, SSupplier<Map<K2, V>>) - Static method in class pascal.taie.util.collection.Maps

newTwoKeyMultiMap() - Static method in class pascal.taie.util.collection.Maps

newTwoKeyMultiMap(Map<K1, MultiMap<K2, V>>, SSupplier<MultiMap<K2, V>>) - Static method in class pascal.taie.util.collection.Maps

nextClearBit(int) - Method in interface pascal.taie.util.collection.IBitSet

Returns the index of the first bit that is set to false that occurs on or after the specified starting index.

nextClearBit(int) - Method in class pascal.taie.util.collection.RegularBitSet

nextClearBit(int) - Method in class pascal.taie.util.collection.SparseBitSet

nextSetBit(int) - Method in interface pascal.taie.util.collection.IBitSet

Returns the index of the first bit that is set to true that occurs on or after the specified starting index.

nextSetBit(int) - Method in class pascal.taie.util.collection.RegularBitSet

nextSetBit(int) - Method in class pascal.taie.util.collection.SparseBitSet

NO_ARG_INIT - Static variable in class pascal.taie.language.classes.Subsignature

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

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

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

Node - Class in pascal.taie.analysis.graph.flowgraph

Nodes in object flow graph.

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

NodeManager() - Constructor for class pascal.taie.analysis.graph.flowgraph.NodeManager

NodeResult<Node,Fact> - Interface in pascal.taie.analysis.dataflow.fact

An interface for querying data-flow results.

nodesCanReach(N) - Method in class pascal.taie.util.graph.Reachability

Nop - Class in pascal.taie.ir.stmt

Representation of nop statement which does nothing.

Nop() - Constructor for class pascal.taie.ir.stmt.Nop

NormalEdge<Node> - Class in pascal.taie.analysis.graph.icfg

The edge connecting nodes in the same method.

NULL - Enum constant in enum class pascal.taie.language.type.NullType

NULL_KEY - Static variable in class pascal.taie.util.collection.AbstractMultiMap

NULL_KEY - Static variable in class pascal.taie.util.collection.AbstractTwoKeyMap

NULL_KEY - Static variable in class pascal.taie.util.collection.AbstractTwoKeyMultiMap

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

NULL_VALUE - Static variable in class pascal.taie.util.collection.AbstractMultiMap

NULL_VALUE - Static variable in class pascal.taie.util.collection.AbstractTwoKeyMap

NULL_VALUE - Static variable in class pascal.taie.util.collection.AbstractTwoKeyMultiMap

NullHandler - Class in pascal.taie.analysis.pta.plugin

Handles AssignLiteral var = null.

NullHandler() - Constructor for class pascal.taie.analysis.pta.plugin.NullHandler

NullLiteral - Enum Class in pascal.taie.ir.exp

NullPointerDetection - Class in pascal.taie.analysis.bugfinder.nullpointer

NullPointerDetection(AnalysisConfig) - Constructor for class pascal.taie.analysis.bugfinder.nullpointer.NullPointerDetection

NullType - Enum Class in pascal.taie.language.type

NumberLiteral - Interface in pascal.taie.ir.exp

NumberLiteralHandler - Class in pascal.taie.analysis.pta.plugin

Handles AssignLiteral where the RValue is of NumberLiteral.

NumberLiteralHandler() - Constructor for class pascal.taie.analysis.pta.plugin.NumberLiteralHandler

numberOfSets() - Method in class pascal.taie.util.collection.UnionFindSet

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