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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • pascal.taie.analysis.pta.plugin.CompositePlugin (implements pascal.taie.analysis.pta.plugin.Plugin)
    • pascal.taie.analysis.pta.plugin.natives.NativeModeller
  • pascal.taie.analysis.pta.plugin.util.SolverHolder
    • pascal.taie.analysis.pta.plugin.util.IRModelPlugin
      • pascal.taie.analysis.pta.plugin.natives.ArrayModel
      • pascal.taie.analysis.pta.plugin.natives.DoPriviledgedModel
      • pascal.taie.analysis.pta.plugin.natives.UnsafeModel