程序包 proguard.analysis.cpa.interfaces

接口 ProgramLocationDependent

所有已知实现类:
BamLocationDependentJvmMemoryLocation, JvmAbstractState, JvmMemoryLocationAbstractState, JvmValueAbstractState
public interface ProgramLocationDependent
If an AbstractState is program location-specific (i.e., is associated to a specific node from the Cfa), it should implement ProgramLocationDependent.

  • 方法详细资料

    • getProgramLocation

      JvmCfaNode getProgramLocation()
      Returns the program location.

    • setProgramLocation

      void setProgramLocation(JvmCfaNode programLocation)
      Sets the program location.