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

Package Hierarchies:

• All Packages

Class Hierarchy

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