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

Class UnsafeModel

java.lang.Object

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

pascal.taie.analysis.pta.plugin.util.AbstractIRModel

pascal.taie.analysis.pta.plugin.natives.UnsafeModel

All Implemented Interfaces:

IRModel

public class UnsafeModel
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>	compareAndSwapObject(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

compareAndSwapObject

@InvokeHandler(signature="<sun.misc.Unsafe: boolean compareAndSwapObject(java.lang.Object,long,java.lang.Object,java.lang.Object)>")
public List<Stmt> compareAndSwapObject(Invoke invoke)