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.AbstractIRModel

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

All Implemented Interfaces:

IRModel

public class DoPriviledgedModel
extends AbstractIRModel

Field Summary

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

handlers, method2GenStmts

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

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

Method Summary

Modifier and Type	Method	Description
List<Stmt>	doPrivilegedPA(Invoke invoke)
List<Stmt>	doPrivilegedPEA(Invoke invoke)

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

getModeledAPIs, handleNewCSMethod, handleNewMethod, registerHandler, registerHandlers, registerHandlersByAnnotation

Methods inherited from class java.lang.Object

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

Method Details

doPrivilegedPA

@InvokeHandler(signature="<java.security.AccessController: java.lang.Object doPrivileged(java.security.PrivilegedAction)>") @InvokeHandler(signature="<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)>") @InvokeHandler(signature="<java.security.AccessController: java.lang.Object doPrivileged(java.security.PrivilegedExceptionAction,java.security.AccessControlContext)>")
public List<Stmt> doPrivilegedPEA(Invoke invoke)