Package com.ibm.wala.shrike.shrikeBT

Interface IndirectionData

public interface IndirectionData

  • Method Details

    • indirectlyReadLocals

      int[] indirectlyReadLocals(int instructionIndex)

    • indirectlyWrittenLocals

      int[] indirectlyWrittenLocals(int instructionIndex)