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