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
application in QEMU into using non-SSE libc functions.

Aside: Given how things are evolving, it would appear that SSE will simply
grow more prevalent and harder to avoid...


klee-dev mailing list

Reply via email to