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