Class ExceptionAnalysis

java.lang.Object
com.ibm.wala.analysis.exceptionanalysis.ExceptionAnalysis

public class ExceptionAnalysis extends Object
This class analyzes the exceptional control flow. Use ExceptionAnalysis2EdgeFilter to remove infeasible edges.

In a first step an intraprocedural analysis is performed, to collect the thrown exceptions and collect the exceptions caught, per invoke instruction. The results of the intraprocedural analysis are used for a GenKill data flow analysis on the call graph. (Each node generates intraprocedural thrown exceptions and along invoke edges, caught exceptions are removed.)

Notice: Only exceptions, which are part of the analysis scope are considered.

Author:
Stephan Gocht <stephan@gobro.de>