Klee reads and processes the llvm intermediate code. So it's not the
C/C++ source per se.
Chris Hobbs
QNX Software Systems
On 16-04-20 03:38 PM, Jim Lacy wrote:
I read a KLEE white paper and it appears the it's intended to work on
source code (C or C++).
Looking at some of the archive posts it looks like it might
support arbitrary x86 binaries as well.
Can I use KLEE to help me find bugs/problems in binaries?
Thanks in advance,
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
