Hi,
When I try a simple program like the below, Klee gives me the error
"memory: invalid pointer make_symbolic".
The snippet is part of a larger testcase where I don't know the amount
of memory that I will
allocate to 'c'. trying to test values of "c". Why is Klee unhappy?
How to fix without using arrays or malloc in such a situation?
int main() {
char *c;
klee_make_symbolic(c, sizeof(c), "c");
return string_compare(c, "hello");
}
--
Anitha
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
