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

Class NativeModeller

java.lang.Object

pascal.taie.analysis.pta.plugin.CompositePlugin

pascal.taie.analysis.pta.plugin.natives.NativeModeller

All Implemented Interfaces:

Plugin

public class NativeModeller
extends CompositePlugin

This class models some native calls by "inlining" their side effects at the call sites to provide better precision for pointer analysis.

Field Summary

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

DUMMY

Constructor Summary

Constructors

Constructor	Description
NativeModeller()

Method Summary

Modifier and Type	Method	Description
void	setSolver(Solver solver)	Sets pointer analysis solver which will be used later by the plugin.

Methods inherited from class pascal.taie.analysis.pta.plugin.CompositePlugin

addPlugin, clearPlugins, onFinish, onNewCallEdge, onNewCSMethod, onNewMethod, onNewPointsToSet, onNewStmt, onPhaseFinish, onStart, onUnresolvedCall

Methods inherited from class java.lang.Object

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

Constructor Details

NativeModeller

public NativeModeller()

Method Details

setSolver

public void setSolver(Solver solver)

Description copied from interface: Plugin

Sets pointer analysis solver which will be used later by the plugin.

Specified by:

setSolver in interface Plugin

Overrides:

setSolver in class CompositePlugin