Uses of Package
pascal.taie.language.classes
Packages that use pascal.taie.language.classes
Package
Description
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 various context selectors, which correspond to various
context sensitivity variants.
Provide model for heap objects.
Provide data structures and algorithms of context-sensitive
pointer analysis solver.
Provide plugin interface of pointer analysis and
some instances (implementations).
This package contains implementation of Scaler, which selects
suitable context variants for the methods in the program.
This package contains implementation of Zipper and Zipper-e, which selects
precision-critical methods in the program.
This package implements modification side-effect analysis (MOD) which
computes the objects that may be modified by each method and statement.
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.classes used by pascal.taieClassDescriptionManages the classes and class-related resolution of the program being analyzed.Represents methods in the program.
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.bugfinder
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.graph.callgraph
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.graph.cfg
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.graph.flowgraph
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.graph.icfg
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.misc
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.core.cs.element
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.core.cs.selector
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.core.heap
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.core.solverClassDescriptionManages the classes and class-related resolution of the program being analyzed.Represents classes in the program.Represents fields in the program.Represents methods in the program.
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.plugin
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.plugin.exception
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.plugin.invokedynamic
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.plugin.reflection
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.plugin.taintClassDescriptionManages the classes and class-related resolution of the program being analyzed.Represents fields in the program.Represents methods in the program.Provides functionality to match signatures by given patterns.
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.plugin.utilClassDescriptionManages the classes and class-related resolution of the program being analyzed.Represents classes in the program.Represents fields in the program.Represents methods in the program.
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.toolkitClassDescriptionManages the classes and class-related resolution of the program being analyzed.Represents methods in the program.
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.toolkit.scaler
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.toolkit.util
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.pta.toolkit.zipper
-
Classes in pascal.taie.language.classes used by pascal.taie.analysis.sideeffect
-
Classes in pascal.taie.language.classes used by pascal.taie.frontend.cacheClassDescriptionManages the classes and class-related resolution of the program being analyzed.Represents methods in the program.
-
Classes in pascal.taie.language.classes used by pascal.taie.frontend.sootClassDescriptionManages the classes and class-related resolution of the program being analyzed.
-
Classes in pascal.taie.language.classes used by pascal.taie.irClassDescriptionManages the classes and class-related resolution of the program being analyzed.Represents methods in the program.
-
Classes in pascal.taie.language.classes used by pascal.taie.ir.exp
-
Classes in pascal.taie.language.classes used by pascal.taie.ir.proginfoClassDescriptionRepresents classes in the program.Represents fields in the program.Represents methods in the program.Method name and descriptor.
-
Classes in pascal.taie.language.classes used by pascal.taie.ir.stmt
-
Classes in pascal.taie.language.classes used by pascal.taie.language.classesClassDescriptionManages the classes and class-related resolution of the program being analyzed.Represents classes in the program.Each JClassBuilder builds one JClass.Represents fields in the program.Represents methods in the program.Method name and descriptor.
-
Classes in pascal.taie.language.classes used by pascal.taie.language.nativesClassDescriptionManages the classes and class-related resolution of the program being analyzed.Represents methods in the program.
-
Classes in pascal.taie.language.classes used by pascal.taie.language.typeClassDescriptionManages the classes and class-related resolution of the program being analyzed.Represents classes in the program.