Package pascal.taie.analysis.pta.plugin.natives

Class DoPriviledgedModel

java.lang.Object

pascal.taie.analysis.pta.plugin.util.SolverHolder

pascal.taie.analysis.pta.plugin.util.IRModelPlugin

pascal.taie.analysis.pta.plugin.natives.DoPriviledgedModel

All Implemented Interfaces:

Plugin

public class DoPriviledgedModel
extends IRModelPlugin

Field Summary

Fields inherited from class pascal.taie.analysis.pta.plugin.util.IRModelPlugin

handlers, method2GenStmts

Fields inherited from class pascal.taie.analysis.pta.plugin.util.SolverHolder

csManager, emptyContext, heapModel, hierarchy, selector, solver, typeSystem

Fields inherited from interface pascal.taie.analysis.pta.plugin.Plugin

DUMMY

Method Summary

Modifier and Type	Method	Description
List<Stmt>	doPrivilegedPA(Invoke invoke)
List<Stmt>	doPrivilegedPEA(Invoke invoke)
void	onNewCallEdge(Edge<CSCallSite,CSMethod> edge)	Connects doPrivileged(...) invocation to the corresponding run() method which is the callee of the corresponding run().
protected void	registerHandlers()

Methods inherited from class pascal.taie.analysis.pta.plugin.util.IRModelPlugin

onNewCSMethod, onNewStmt, onStart, registerHandler

Methods inherited from class java.lang.Object

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

Methods inherited from interface pascal.taie.analysis.pta.plugin.Plugin

onFinish, onNewMethod, onNewPointsToSet, onPhaseFinish, onUnresolvedCall, setSolver

Method Details

doPrivilegedPA

@InvokeHandler(signature={"<java.security.AccessController: java.lang.Object doPrivileged(java.security.PrivilegedAction)>","<java.security.AccessController: java.lang.Object doPrivileged(java.security.PrivilegedAction,java.security.AccessControlContext)>"})
public List<Stmt> doPrivilegedPA(Invoke invoke)

doPrivilegedPEA

@InvokeHandler(signature={"<java.security.AccessController: java.lang.Object doPrivileged(java.security.PrivilegedExceptionAction)>","<java.security.AccessController: java.lang.Object doPrivileged(java.security.PrivilegedExceptionAction,java.security.AccessControlContext)>"})
public List<Stmt> doPrivilegedPEA(Invoke invoke)

onNewCallEdge

public void onNewCallEdge(Edge<CSCallSite,CSMethod> edge)

Connects doPrivileged(...) invocation to the corresponding run() method which is the callee of the corresponding run().

Parameters:

edge - new call graph edge

registerHandlers

protected void registerHandlers()