Package qilin.core.pag

Class MethodPAG

java.lang.Object

qilin.core.pag.MethodPAG

public class MethodPAG
extends Object

Part of a pointer assignment graph for a single method.

Author:

Ondrej Lhotak

Field Summary

Fields

Modifier and Type	Field	Description
Body	body
protected final PointerAnalysisConfig	config
final Map<PagNode,Map<Stmt,List<Trap>>>	node2wrapperedTraps
protected MethodNodeFactory	nodeFactory
protected final PTAScene	ptaScene
final Map<Stmt,List<Trap>>	stmt2wrapperedTraps

Constructor Summary

Constructors

Constructor	Description
MethodPAG(PAG pag, SootMethod m, Body body)

Method Summary

Modifier and Type	Method	Description
boolean	addCallStmt(InvokableStmt unit)
void	addExceptionEdge(PagNode from, PagNode to)
void	addInternalEdge(PagNode src, PagNode dst)
protected void	addMiscEdges()
void	addTriggeredClinit(SootMethod clinit)
protected void	build()
protected void	buildException()
protected void	buildNormal()
Map<PagNode,Set<PagNode>>	getExceptionEdges()
QueueReader<PagNode>	getInternalReader()
Collection<InvokableStmt>	getInvokeStmts()
SootMethod	getMethod()
MethodNodeFactory	nodeFactory()
Iterator<SootMethod>	triggeredClinits()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

body

public Body body

nodeFactory

protected MethodNodeFactory nodeFactory

ptaScene

protected final PTAScene ptaScene

config

protected final PointerAnalysisConfig config

stmt2wrapperedTraps

public final Map<Stmt,List<Trap>> stmt2wrapperedTraps

node2wrapperedTraps

public final Map<PagNode,Map<Stmt,List<Trap>>> node2wrapperedTraps

Constructor Details

MethodPAG

public MethodPAG(PAG pag,
 SootMethod m,
 Body body)

Method Details

getMethod

public SootMethod getMethod()

nodeFactory

public MethodNodeFactory nodeFactory()

getInvokeStmts

public Collection<InvokableStmt> getInvokeStmts()

addCallStmt

public boolean addCallStmt(InvokableStmt unit)

build

protected void build()

buildNormal

protected void buildNormal()

buildException

protected void buildException()

addMiscEdges

protected void addMiscEdges()

addInternalEdge

public void addInternalEdge(PagNode src,
 PagNode dst)

getInternalReader

public QueueReader<PagNode> getInternalReader()

addTriggeredClinit

public void addTriggeredClinit(SootMethod clinit)

triggeredClinits

public Iterator<SootMethod> triggeredClinits()

addExceptionEdge

public void addExceptionEdge(PagNode from,
 PagNode to)

getExceptionEdges

public Map<PagNode,Set<PagNode>> getExceptionEdges()