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

Interface Model

All Known Implementing Classes:
AbstractModel, DummyModel, LookupModel, MethodTypeModel, OthersModel, ReflectiveActionModel, SolarModel, StringBasedModel
public interface Model
Model for special APIs.

  • Method Details

    • handleNewInvoke

      void handleNewInvoke(Invoke invoke)

    • isRelevantVar

      boolean isRelevantVar(Var var)

    • handleNewPointsToSet

      void handleNewPointsToSet(CSVar csVar, PointsToSet pts)