Package pascal.taie.analysis
package pascal.taie.analysis
-
ClassDescriptionAbstract base class for all analyses.Creates and executes analyses based on given analysis plan.Abstract base class for all class analyses, or say, intra-class analyses.Abstract base class for all method analyses, or say, intra-procedural analyses.Abstract base class for all whole-program analyses.StmtResult<R>An interface for querying analysis results of Stmt.