Hi BNM,
If I understand correctly, here there are two categories of test suites
discussed: one contains the test suite generatedby KLEE, and another contains
test suites that come with the program itself. If you want to measure the
coveragespecifically achieved by KLEE, then you should only run
Folks,
Is there symbolic support for SSE regs? The amd64 ABI specifies that SSE
must be present on those architectures, and i have not been successful in
convincing libc to NOT use SSE enabled versions of it's functions.
Looking for information on either KLEE support for this, or how to force an
With respect to a SSE disabled version of QEMU
The gcc compiler has options of the form -no-sse*
My uninformed guess (i.e. I have not tried it) is the use of those options
would be the key.
You probably will have to build your own versions of libc and QEMU using those
options
Dave Lightstone
Yeah I spent a few hours last night trying to compile libc with that flag.
It doesn't seem possible since functions like atof necessarily have to use
SSE for the return value.
On Aug 7, 2017 12:15, "David Lightstone"
wrote:
> With respect to a SSE disabled version