Uses of Package
pascal.taie

Packages that use pascal.taie

Package	Description
pascal.taie
pascal.taie.config	This package provides functionality for processing options and configurations.
pascal.taie.frontend.cache
pascal.taie.frontend.soot

Classes in pascal.taie used by pascal.taie

Class	Description
World	Manages the whole-program information of the program being analyzed.
WorldBuilder	Interface for World builder.

Classes in pascal.taie used by pascal.taie.config

Class	Description
WorldBuilder	Interface for World builder.

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

Class	Description
WorldBuilder	Interface for World builder.

Classes in pascal.taie used by pascal.taie.frontend.soot

Class	Description
AbstractWorldBuilder	Common functionality for WorldBuilder implementations.
WorldBuilder	Interface for World builder.