soot.dava.toolkits.base.finders
Class ExceptionFinder
java.lang.Object
soot.dava.toolkits.base.finders.ExceptionFinder
- All Implemented Interfaces:
- FactFinder
public class ExceptionFinder
- extends Object
- implements FactFinder
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ExceptionFinder
public ExceptionFinder(Singletons.Global g)
v
public static ExceptionFinder v()
find
public void find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET)
throws RetriggerAnalysisException
- Specified by:
find
in interface FactFinder
- Throws:
RetriggerAnalysisException
preprocess
public void preprocess(DavaBody body,
AugmentedStmtGraph asg)
get_CatchBody
public IterableSet get_CatchBody(AugmentedStmt handlerAugmentedStmt)