[klee-dev] How to support networking, with Klee?

[el habib Boudjema]

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.
-------------- next part --------------
HTML attachment scrubbed and removed