Hi, all I am analysing a program with a simple network operation (connect and read). I am getting the errror:
KLEE: ERROR: /home/user/klee-uclibc/libc/inet/socketcalls.c:362: inline assembly is unsupported KLEE: NOTE: now ignoring this error at this location I wonder also if there are options to make network read data symbolic as with files or args? Cheers.
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev