[klee-dev] how can I extract the name and index of the array

[Sumit Kumar]

Hi,

Consider the following three lines from LLVM IR:

  %6 = load i32* %x, align 4
  %7 = getelementptr inbounds [10 x i32]* %n, i64 0, i64 2
  store i32 %6, i32* %7, align 4

In above code, 'n' is an integer array. Can anyone please tell me that when
the store instruction is processed in "executeInstruction" method then how
can I extract the name and index of the array from '%7' that is passed as
an argument. I have tried using 'getName()' method on the 'llvm::Value'
object obtained using 'getOperand()' method on StoreInst to get the name of
the array but it returns empty string.

--
Thanks and Regards
Sumit
-------------- next part --------------
HTML attachment scrubbed and removed