Uses of Interface
pascal.taie.analysis.StmtResult

Packages that use StmtResult
Package
Description
 
 
Provides the classes necessary to build and represent a call graph.
Provide functionality related to context sensitivity.
This package implements modification side-effect analysis (MOD) which computes the objects that may be modified by each method and statement.