Uses of Interface
pascal.taie.analysis.pta.plugin.util.IRModel

Packages that use IRModel

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

Uses of IRModel in pascal.taie.analysis.pta.plugin.natives

Classes in pascal.taie.analysis.pta.plugin.natives that implement IRModel

Modifier and Type	Class	Description
class	ArrayModel
class	DoPriviledgedModel
class	UnsafeModel

Uses of IRModel in pascal.taie.analysis.pta.plugin.util

Classes in pascal.taie.analysis.pta.plugin.util that implement IRModel

Modifier and Type	Class	Description
class	AbstractIRModel	Provides common functionalities for implementing IR-based API models.