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

Interface Model

All Known Implementing Classes:
AbstractModel
@Deprecated public interface Model
Deprecated.
Use AnalysisModelPlugin instead.
Model for special APIs.

  • Method Details

    • handleNewInvoke

      void handleNewInvoke(Invoke invoke)
      Deprecated.

    • isRelevantVar

      boolean isRelevantVar(Var var)
      Deprecated.

    • handleNewPointsToSet

      void handleNewPointsToSet(CSVar csVar, PointsToSet pts)
      Deprecated.