Uses of Interface
pascal.taie.ir.stmt.Stmt

Packages that use Stmt
Package
Description
 
 
 
 
 
 
 
 
 
This package provides functionality to analyze exceptions.
Provides the classes necessary to build and represent a call graph.
 
Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).
Provide functionality related to context sensitivity.
Provide data structures and algorithms of context-sensitive pointer analysis solver.
Provide plugin interface of pointer analysis and some instances (implementations).
 
 
 
 
 
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.