[klee-dev] Bugs found by KLEE (or symbolic execution in general)

[Marek Chalupa]

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 <seanheelan at 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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
-------------- next part --------------
HTML attachment scrubbed and removed