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

Interface IRModel

All Known Implementing Classes:
AbstractIRModel, ArrayModel, DoPriviledgedModel, UnsafeModel
public interface IRModel
Models specific APIs by generating corresponding IR.

  • Method Details

    • getModeledAPIs

      Set<JMethod> getModeledAPIs()

    • handleNewMethod

      void handleNewMethod(JMethod method)

    • handleNewCSMethod

      void handleNewCSMethod(CSMethod csMethod)