Package sootup.spark

Class MethodPAGStmtVisitor

java.lang.Object

sootup.core.jimple.visitor.AbstractStmtVisitor

sootup.spark.MethodPAGStmtVisitor

All Implemented Interfaces:

StmtVisitor, Visitor

public class MethodPAGStmtVisitor
extends AbstractStmtVisitor

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	MethodPAGStmtVisitor.OtfContext	Bag of OTF-only collaborators; null in CHA mode.
static final record	MethodPAGStmtVisitor.PendingVirtualCall	Captured invoke site whose targets are decided by the OTF builder via points-to.

Constructor Summary

Constructors

Constructor	Description
MethodPAGStmtVisitor()

Method Summary

Modifier and Type	Method	Description
void	caseAssignStmt(JAssignStmt stmt)
void	caseInvokeStmt(JInvokeStmt stmt)	At each call site, assignment edges are added from the nodes representing the actual arguments to the nodes representing the corresponding parameters of all methods that may be targets of the call site, and an assignment edge is added from the return node of each of these methods to the node for the variable that receives the return value (if any) at the call site.
void	installCallEdges(AbstractInvokeExpr expr, Optional<Value> lhs, MethodSignature targetMethodSig)	Installs the receiver/parameter/return PAG edges connecting one call site to one resolved target method.

Methods inherited from class sootup.core.jimple.visitor.AbstractStmtVisitor

caseBreakpointStmt, caseEnterMonitorStmt, caseExitMonitorStmt, caseGotoStmt, caseIdentityStmt, caseIfStmt, caseNopStmt, caseRetStmt, caseReturnStmt, caseReturnVoidStmt, caseSwitchStmt, caseThrowStmt, defaultCaseStmt

Methods inherited from class java.lang.Object

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

Constructor Details

MethodPAGStmtVisitor

public MethodPAGStmtVisitor()

Method Details

caseAssignStmt

public void caseAssignStmt(JAssignStmt stmt)

Specified by:

caseAssignStmt in interface StmtVisitor

Overrides:

caseAssignStmt in class AbstractStmtVisitor

caseInvokeStmt

public void caseInvokeStmt(JInvokeStmt stmt)

At each call site, assignment edges are added from the nodes representing the actual arguments to the nodes representing the corresponding parameters of all methods that may be targets of the call site, and an assignment edge is added from the return node of each of these methods to the node for the variable that receives the return value (if any) at the call site.

Specified by:

caseInvokeStmt in interface StmtVisitor

Overrides:

caseInvokeStmt in class AbstractStmtVisitor

installCallEdges

public void installCallEdges(AbstractInvokeExpr expr,
 Optional<Value> lhs,
 MethodSignature targetMethodSig)

Installs the receiver/parameter/return PAG edges connecting one call site to one resolved target method. Public so the OTF driver can invoke it after virtual dispatch resolves a new target on a previously-deferred call site.