Displaying 2 results from an estimated 2 matches for "ossfuzz".
2018 Dec 12
2
Testing compiler reliability using Csmith
...testing, validation, and verification):
https://github.com/MattPD/cpplinks/blob/master/compilers.correctness.md
Best regards,
Matt P. Dziubinski
On 12/7/2018 20:19, Philip Reames via llvm-dev wrote:
> There's also a couple other active fuzzing efforts running concurrently:
>
> * OSSFuzz is continuously running a set of codegen and individual
> pass fuzzers. A bit more information can be found here:
> http://llvm.org/docs/FuzzingLLVM.html#continuously-running-and-finding-bugs
> * We (Azul Systems) have a continuously running Java fuzzer which
> exercises...
2018 Dec 07
2
Testing compiler reliability using Csmith
Thanks, Vedant. Yes, we have done a lot of testing of Clang/LLVM (and GCC)
in the past several years (more details at
https://people.inf.ethz.ch/suz/emi/index.html):
[GCC/LLVM bugs: *1,602* (total) / *1,007* (fixed)]
[Reports: GCC (link1 <http://tinyurl.com/ojzdt78>, link2
<http://tinyurl.com/oxlkmjc>, link3 <http://tinyurl.com/jd3jnl3>, link4