Package com.ibm.wala.ipa.cfg.exceptionpruning
package com.ibm.wala.ipa.cfg.exceptionpruning
If we want to filter edges of a control flow graph we already have
EdgeFilter, but if we want to remove exceptions in particular we may want
to combine different analysis. Therefore we need a possibility to collect a set of removed
exceptions, so that an exceptional edge may be removed as soon as all exceptions, which can occur
along these edge are filtered.
This package contains classes for this job and also adapter for some analysis.
- Author:
- Stephan Gocht
<stephan@gobro.de>
-
ClassDescriptionExceptionFilter<Instruction>To filter exceptions you can implement this interface and use it in combination with
ExceptionFilter2EdgeFilter.ExceptionFilter2EdgeFilter<Block extends ISSABasicBlock>This class converts an exception filter to an edge filter.Helper class to check if an exception is part of a set of filtered exceptions.FilteredException represents either a single exception or an exception and all its subclasses.