Package pascal.taie.analysis.exception

Class CatchAnalysis

java.lang.Object

pascal.taie.analysis.exception.CatchAnalysis

public class CatchAnalysis
extends Object

Intra-procedural catch analysis for computing the exceptions thrown by each Stmt will be caught by which Stmts, or not caught at all.

Constructor Summary

Constructors

Constructor	Description
CatchAnalysis()

Method Summary

Modifier and Type	Method	Description
static CatchResult	analyze(IR ir, ThrowResult throwResult)	Analyzes the exceptions thrown by each Stmt in given IR may be caught by which (catch) Stmts, and which exceptions are not caught in the IR.
static Map<Stmt,List<ExceptionEntry>>	getPotentialCatchers(IR ir)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CatchAnalysis

public CatchAnalysis()

Method Details

analyze

public static CatchResult analyze(IR ir,
 ThrowResult throwResult)

Analyzes the exceptions thrown by each Stmt in given IR may be caught by which (catch) Stmts, and which exceptions are not caught in the IR.

getPotentialCatchers

public static Map<Stmt,List<ExceptionEntry>> getPotentialCatchers(IR ir)

Returns:

a map from each Stmt to a list of exception entries which may catch the exceptions thrown by the Stmt.