Hi, I don't know any KLEE-specific or symbolic-execution-specific list, but you may be interested in these benchmarks: https://github.com/sosy-lab/sv-benchmarks/ >From my own experience a lot of them can be analyzed by KLEE.
Best Regards, Marek On Sun, Dec 4, 2016 at 11:56 PM, Sean Heelan <seanhee...@gmail.com> wrote: > Hi all, > > I'm investigating the impact of some modifications to KLEE and would like > to tell whether or not those modifications negatively impact KLEEs bug > finding ability on real world code. Is there a list somewhere of bugs that > have either been found by KLEE, or that could have been found by KLEE? I > can of course use the issues in coreutils and busybox from the OSDI 2008 > paper, but more targets would also be great. > > Failing a list, and KLEE-specific results, if anyone on the list has bugs > they've managed to find (or refind) with KLEE or any sym. exec. tool that > would also be very useful! > > Cheers, > Sean > > _______________________________________________ > klee-dev mailing list > klee-dev@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > >
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev