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

[Chris Hobbs]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
HTML attachment scrubbed and removed