Hi,
I use Klee with LLVM3.4. I am doing an experiment with Coreutils6.10 and
the .bc files are generated by whole-program-llvm.
After I generated test data by Klee, I tried to get the coverage
information about these test cases only for source files ( not including
lib files). So I used orders
Hi,
I want to explore symbolic execution and KLEE seems like a good choice for
beginning. But I would like you guidance in getting to know the best way to
understand the code of KLEE.
One thing you certainly do is read the OSDI'08 paper on KLEE to get a
high level understanding of what it