Uses of Package
pascal.taie.util
Packages that use pascal.taie.util
Package
Description
Provides the classes to represent and manage context-sensitive elements
used in pointer analysis, including context-sensitive pointers, objects,
call sites, and methods.
Provide model for heap objects.
Implementation of various points-to sets used in pointer analysis.
Provide classes related to intermediate representation of method bodies.
Provides functionality related to management of classes (class loading,
class members, class hierarchy, etc.) in the program being analyzed.
In this package, we offer a generics model for Java.
-
Classes in pascal.taie.util used by pascal.taie
-
Classes in pascal.taie.util used by pascal.taie.analysis.dataflow.analysis.constprop
-
Classes in pascal.taie.util used by pascal.taie.analysis.dataflow.fact
-
Classes in pascal.taie.util used by pascal.taie.analysis.graph.cfgClassDescriptionAn indexer assigns each object a unique index, so that the objects can be stored in efficient data structures.
-
Classes in pascal.taie.util used by pascal.taie.analysis.graph.flowgraphClassDescriptionThe instances of the classes that implement this interface can provide a unique non-negative index, so that they can be stored in efficient data structures (e.g., bit set).An indexer assigns each object a unique index, so that the objects can be stored in efficient data structures.
-
Classes in pascal.taie.util used by pascal.taie.analysis.ptaClassDescriptionMap-based implementation for
ResultHolder.An indexer assigns each object a unique index, so that the objects can be stored in efficient data structures.The holder object of analysis results. -
Classes in pascal.taie.util used by pascal.taie.analysis.pta.core.cs.elementClassDescriptionThe instances of the classes that implement this interface can provide a unique non-negative index, so that they can be stored in efficient data structures (e.g., bit set).An indexer assigns each object a unique index, so that the objects can be stored in efficient data structures.
-
Classes in pascal.taie.util used by pascal.taie.analysis.pta.core.heapClassDescriptionThe instances of the classes that implement this interface can provide a unique non-negative index, so that they can be stored in efficient data structures (e.g., bit set).An indexer assigns each object a unique index, so that the objects can be stored in efficient data structures.
-
Classes in pascal.taie.util used by pascal.taie.analysis.pta.plugin.utilClassDescriptionRepresents an operation that accepts three input arguments and returns no result.
-
Classes in pascal.taie.util used by pascal.taie.analysis.pta.pts
-
Classes in pascal.taie.util used by pascal.taie.irClassDescriptionMap-based implementation for
ResultHolder.An indexer assigns each object a unique index, so that the objects can be stored in efficient data structures.The holder object of analysis results. -
Classes in pascal.taie.util used by pascal.taie.ir.expClassDescriptionThe instances of the classes that implement this interface can provide a unique non-negative index, so that they can be stored in efficient data structures (e.g., bit set).
-
Classes in pascal.taie.util used by pascal.taie.ir.proginfo
-
Classes in pascal.taie.util used by pascal.taie.ir.stmtClassDescriptionThe instances of the classes that implement this interface can provide a unique non-negative index, so that they can be stored in efficient data structures (e.g., bit set).
-
Classes in pascal.taie.util used by pascal.taie.language.classesClassDescriptionMap-based implementation for
ResultHolder.Indicates that a feature is experimental.The instances of the classes that implement this interface can provide a unique non-negative index, so that they can be stored in efficient data structures (e.g., bit set).An indexer assigns each object a unique index, so that the objects can be stored in efficient data structures.Marker annotation.The holder object of analysis results. -
Classes in pascal.taie.util used by pascal.taie.language.generics
-
Classes in pascal.taie.util used by pascal.taie.utilClassDescriptionAn indexer assigns each object a unique index, so that the objects can be stored in efficient data structures.The holder object of analysis results.
-
Classes in pascal.taie.util used by pascal.taie.util.collectionClassDescriptionThe instances of the classes that implement this interface can provide a unique non-negative index, so that they can be stored in efficient data structures (e.g., bit set).An indexer assigns each object a unique index, so that the objects can be stored in efficient data structures.Represents an operation that accepts three input arguments and returns no result.Represents a function that accepts three arguments and produces a result.
-
Classes in pascal.taie.util used by pascal.taie.util.graphClassDescriptionAn indexer assigns each object a unique index, so that the objects can be stored in efficient data structures.