Uses of Package
pascal.taie.ir

Packages that use pascal.taie.ir

Package	Description
pascal.taie
pascal.taie.analysis
pascal.taie.analysis.bugfinder
pascal.taie.analysis.bugfinder.nullpointer
pascal.taie.analysis.dataflow.analysis
pascal.taie.analysis.dataflow.analysis.constprop
pascal.taie.analysis.deadcode
pascal.taie.analysis.defuse
pascal.taie.analysis.exception	This package provides functionality to analyze exceptions.
pascal.taie.analysis.graph.cfg
pascal.taie.frontend.cache
pascal.taie.ir	Provide classes related to intermediate representation of method bodies.
pascal.taie.language.classes	Provides functionality related to management of classes (class loading, class members, class hierarchy, etc.) in the program being analyzed.
pascal.taie.language.natives	Provide model for native methods.

Classes in pascal.taie.ir used by pascal.taie

Class	Description
IRBuilder	Interface for builder of IR.

Classes in pascal.taie.ir used by pascal.taie.analysis

Class	Description
IR	Intermediate representation for method body of non-abstract methods.

Classes in pascal.taie.ir used by pascal.taie.analysis.bugfinder

Class	Description
IR	Intermediate representation for method body of non-abstract methods.

Classes in pascal.taie.ir used by pascal.taie.analysis.bugfinder.nullpointer

Class	Description
IR	Intermediate representation for method body of non-abstract methods.

Classes in pascal.taie.ir used by pascal.taie.analysis.dataflow.analysis

Class	Description
IR	Intermediate representation for method body of non-abstract methods.

Classes in pascal.taie.ir used by pascal.taie.analysis.dataflow.analysis.constprop

Class	Description
IR	Intermediate representation for method body of non-abstract methods.

Classes in pascal.taie.ir used by pascal.taie.analysis.deadcode

Class	Description
IR	Intermediate representation for method body of non-abstract methods.

Classes in pascal.taie.ir used by pascal.taie.analysis.defuse

Class	Description
IR	Intermediate representation for method body of non-abstract methods.

Classes in pascal.taie.ir used by pascal.taie.analysis.exception

Class	Description
IR	Intermediate representation for method body of non-abstract methods.

Classes in pascal.taie.ir used by pascal.taie.analysis.graph.cfg

Class	Description
IR	Intermediate representation for method body of non-abstract methods.

Classes in pascal.taie.ir used by pascal.taie.frontend.cache

Class	Description
IR	Intermediate representation for method body of non-abstract methods.
IRBuilder	Interface for builder of IR.

Classes in pascal.taie.ir used by pascal.taie.ir

Class	Description
IR	Intermediate representation for method body of non-abstract methods.

Classes in pascal.taie.ir used by pascal.taie.language.classes

Class	Description
IR	Intermediate representation for method body of non-abstract methods.

Classes in pascal.taie.ir used by pascal.taie.language.natives

Class	Description
IR	Intermediate representation for method body of non-abstract methods.