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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
