main function

[g***@public.gmane.org]

hi, all

I want to make the arguments of 'main' function symbolic.

For example,
int main(int argr, char* argv[])
{.....}
how to set the argv to a symbolic value?



***@sei.xjtu.edu.cn

[Daniel Liew]

Post by g***@public.gmane.org
how to set the argv to a symbolic value?

Please read "Step 4: Introducing symbolic data to an application" in
http://klee.github.io/klee/TestingCoreutils.html. This shows how to
introduce symbolic command line arguments.