Hi, it's really great to hear that KLEE works on 64-bit now! The Coreutils doc is really useful as well -- btw, we actually used version 6.10 in our OSDI paper. But 6.11 should work fine as well.
--Cristian On Sun, 2009-08-02 at 23:14 -0700, Daniel Dunbar wrote: > Hi all, > > I thought I would mention a few bits of recent KLEE news... > > 1. KLEE now works on x86_64 on Linux. Many thanks to Vladimir > Kuznetsov from EPFL for contributing his work on this. > > The current status is that KLEE passes all of its regression tests. I > haven't tested it yet on real applications, but I hope to do some runs > of it on coreutils soon. > > 2. I added instructions for building uClibc and the POSIX runtime, here: > http://klee.llvm.org/GetStarted.html > > 3. I started writing a description of the steps necessary to test > coreutils, here: > http://klee.llvm.org/TestingCoreutils.html > > Cheers, > - Daniel > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
