Class UnsafeModel
java.lang.Object
pascal.taie.analysis.pta.plugin.util.SolverHolder
pascal.taie.analysis.pta.plugin.util.IRModelPlugin
pascal.taie.analysis.pta.plugin.natives.UnsafeModel
- All Implemented Interfaces:
Plugin
-
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
-
Method Summary
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, onNewCallEdge, onNewMethod, onNewPointsToSet, onPhaseFinish, onUnresolvedCall, setSolver
-
Method Details
-
compareAndSwapObject
@InvokeHandler(signature="<sun.misc.Unsafe: boolean compareAndSwapObject(java.lang.Object,long,java.lang.Object,java.lang.Object)>") public List<Stmt> compareAndSwapObject(Invoke invoke) -
registerHandlers
protected void registerHandlers()
-