Hi,
Im using Klee to generate test cases for libc, but in some cases (such
as getpass.c) Klee gives the following error and terminates before
executing the program:
KLEE: ERROR: unable to load symbol(_Stdout) while initializing globals.
I wrote a simple program:
#include<stdio.h>
int main(int argc, char ** argv)
{
fprintf(stdout, "Hello World \n");
return 0;
}
and Klee still gives the error. Note that the parameters used by
stdout are not symbolized. Im sensing that Klee has issues with
'stdout'.
When I replace 'stdout' with 'stderr', then Klee gives the following error:
KLEE: ERROR: unable to load symbol(_Stderr) while initializing globals.
I dont understand what's going wrong. Can someone explain the reason
of the error and how I can overcome it so I can generate test cases
for libc programs that use stdout and stderr.
Thanks
Samaneh
--
Samaneh Navabpour
Department of Electrical and Computer Engineering
University of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada, N2L 3G1
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
