Uses of Interface
pascal.taie.analysis.pta.plugin.util.IRModel
Packages that use IRModel
-
Uses of IRModel in pascal.taie.analysis.pta.plugin.natives
Classes in pascal.taie.analysis.pta.plugin.natives that implement IRModel -
Uses of IRModel in pascal.taie.analysis.pta.plugin.util
Classes in pascal.taie.analysis.pta.plugin.util that implement IRModelModifier and TypeClassDescriptionclass
Provides common functionalities for implementing IR-based API models.