IndirectionData (wala 1.6.13-SNAPSHOT API)

public interface IndirectionData

Method Summary

Modifier and Type

Method

Description

int[]

indirectlyReadLocals(int instructionIndex)

int[]

indirectlyWrittenLocals(int instructionIndex)

Method Details
- indirectlyReadLocals
  
  int[] indirectlyReadLocals(int instructionIndex)
- indirectlyWrittenLocals
  
  int[] indirectlyWrittenLocals(int instructionIndex)