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

package pascal.taie.analysis.pta.plugin.natives

Related Packages

Package	Description
pascal.taie.analysis.pta.plugin	Provide plugin interface of pointer analysis and some instances (implementations).

Classes

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