[klee-dev] execute function with symbolic argument

[Dingbao Xie]

Hi, everyone.
I want to test functions of a program one by one with klee.
It's easy to change the entry function of a program when using klee
to execute it.
But I don't know how to make the arguments of the function to be
symbolic and the type of an argument may be pointer, struct etc.

What's the easiest way to achieve that?
Thanks in advance.





-- 
Dingbao Xie
-------------- next part --------------
HTML attachment scrubbed and removed