[klee-dev] Regarding getting variable names from KLEE

[Nazir, Tareq Mohammed]

Hi,


I would like to know if I can get variable names of the source code in KLEE engine. Would also like to know if KLEE engine is storing the variable name information while executing the llvm bitcode symbolically.


For example : From the below C code I want to get the buffer variable name is it possible or not.


int main(int argc, char *argv[])
{
       char *buffer = malloc(5);
       buffer[6] = 'a';
       return 0;
}



Thanks and Regards,

Tareq Mohammed Nazir
-------------- next part --------------
HTML attachment scrubbed and removed