Class ExceptionAnalysis2EdgeFilter

java.lang.Object
com.ibm.wala.analysis.exceptionanalysis.ExceptionAnalysis2EdgeFilter
All Implemented Interfaces:
EdgeFilter<ISSABasicBlock>

public class ExceptionAnalysis2EdgeFilter extends Object implements EdgeFilter<ISSABasicBlock>
Converter to use the results of the exception analysis with an edge filter.
Author:
Stephan Gocht <stephan@gobro.de>
  • Constructor Details

  • Method Details

    • hasNormalEdge

      public boolean hasNormalEdge(ISSABasicBlock src, ISSABasicBlock dst)
      Description copied from interface: EdgeFilter
      This method must return true if and only if a normal edge from src to dst exists in the original CFG and should be kept for the pruned version of that CFG. Note that this must _must_ return false for any normal edge that is not in the original CFG.
      Specified by:
      hasNormalEdge in interface EdgeFilter<ISSABasicBlock>
    • hasExceptionalEdge

      public boolean hasExceptionalEdge(ISSABasicBlock src, ISSABasicBlock dst)
      Description copied from interface: EdgeFilter
      This method must return true if and only if an exceptional edge from src to dst exists in the original CFG and should be kept for the pruned version of that CFG. Note that this must _must_ return false for any exceptional edge that is not in the original CFG.
      Specified by:
      hasExceptionalEdge in interface EdgeFilter<ISSABasicBlock>