Hi,
To use symbolic files, you should use KLEE's symbolic environment
support. See https://klee.github.io/docs/options/#symbolic-environment
and the tutorials for information on how KLEE supports symbolic files.
Best wishes,
Cristian
On 18/01/2022 03:46, rongze xv wrote:
Hi,
I am
Hi,
I am confused about How should the function parameter be symbolised if
the function parameter is a file type.
For example, I use KLEE to test a function ok_png ok_png_read(FILE *file,
ok_png_decode_flags decode_flags), the test code written is as follows:
int main(int argc, char **argv){