Package pascal.taie

package pascal.taie

Related Packages

Package	Description
pascal.taie.analysis
pascal.taie.config	This package provides functionality for processing options and configurations.
pascal.taie.ir	Provide classes related to intermediate representation of method bodies.
pascal.taie.util

Class	Description
AbstractWorldBuilder	Common functionality for WorldBuilder implementations.
Main
World	Manages the whole-program information of the program being analyzed.
WorldBuilder	Interface for World builder.