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).
pascal.taie.analysis.pta.plugin.exception
pascal.taie.analysis.pta.plugin.invokedynamic
pascal.taie.analysis.pta.plugin.reflection
pascal.taie.analysis.pta.plugin.taint
pascal.taie.analysis.pta.plugin.util

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