[klee-dev] Is KLEE input only source code, or does it support arbitrary binaries too?

[Jim Lacy]

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