Uses of Package
pascal.taie.language.type
Packages that use pascal.taie.language.type
Package
Description
This package provides functionality to analyze exceptions.
Provides the classes necessary to build and represent a call graph.
Provides the classes necessary to represent an inter-procedural
control-flow graph (ICFG).
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.
Provide data structures and algorithms of context-sensitive
pointer analysis solver.
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.
Provide model for native methods.
Provides model of Java type system.
-
Classes in pascal.taie.language.type used by pascal.taie
-
Classes in pascal.taie.language.type used by pascal.taie.analysis.exception
-
Classes in pascal.taie.language.type used by pascal.taie.analysis.graph.callgraph
-
Classes in pascal.taie.language.type used by pascal.taie.analysis.graph.cfg
-
Classes in pascal.taie.language.type used by pascal.taie.analysis.graph.icfg
-
Classes in pascal.taie.language.type used by pascal.taie.analysis.pta.core.cs.element
-
Classes in pascal.taie.language.type used by pascal.taie.analysis.pta.core.heap
-
Classes in pascal.taie.language.type used by pascal.taie.analysis.pta.core.solverClassDescriptionThis class provides APIs for retrieving types in the analyzed program.
-
Classes in pascal.taie.language.type used by pascal.taie.analysis.pta.plugin.utilClassDescriptionThis class provides APIs for retrieving types in the analyzed program.
-
Classes in pascal.taie.language.type used by pascal.taie.analysis.pta.toolkit
-
Classes in pascal.taie.language.type used by pascal.taie.ir
-
Classes in pascal.taie.language.type used by pascal.taie.ir.expClassDescription
-
Classes in pascal.taie.language.type used by pascal.taie.ir.proginfo
-
Classes in pascal.taie.language.type used by pascal.taie.language.classes
-
Classes in pascal.taie.language.type used by pascal.taie.language.natives
-
Classes in pascal.taie.language.type used by pascal.taie.language.typeClassDescriptionThis type means that the expression, e.g., a variable, is untyped (i.e., has no type).This class provides APIs for retrieving types in the analyzed program.