public class ExceptionHandler extends Object
| Modifier and Type | Field and Description |
|---|---|
protected PAG |
pag |
protected PTA |
pta |
protected Map<Node,Collection<ExceptionThrowSite>> |
throwNodeToSites |
| Constructor and Description |
|---|
ExceptionHandler(PTA pta) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
addThrowSite(Node throwNode,
ExceptionThrowSite ets) |
void |
dispatch(AllocNode throwObj,
ExceptionThrowSite site) |
void |
exceptionDispatch(PointsToSetInternal p2set,
ExceptionThrowSite site) |
Collection<ExceptionThrowSite> |
throwSitesLookUp(VarNode throwNode) |
protected final Map<Node,Collection<ExceptionThrowSite>> throwNodeToSites
protected PTA pta
protected PAG pag
public ExceptionHandler(PTA pta)
public Collection<ExceptionThrowSite> throwSitesLookUp(VarNode throwNode)
public boolean addThrowSite(Node throwNode, ExceptionThrowSite ets)
public void exceptionDispatch(PointsToSetInternal p2set, ExceptionThrowSite site)
public void dispatch(AllocNode throwObj, ExceptionThrowSite site)
Copyright © 2024 Soot OSS. All rights reserved.