Displaying 3 results from an estimated 3 matches for "oxlkmjc".
2018 Dec 07
2
Testing compiler reliability using Csmith
...s, 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
<http://tinyurl.com/zs2826l>, link5 <https://tinyurl.com/yb7okzqd>), LLVM (
link1 <http://tinyurl.com/qj8x5ry>, link2 <http://tinyurl.com/nc9celr>,
link3 <http://tinyurl.com/qy58smb>, link4 <http://tinyurl.com/z7y...
2018 Dec 12
2
Testing compiler reliability using Csmith
...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 <http://tinyurl.com/zs2826l>, link5
>> <https://tinyurl.com/yb7okzqd>), LLVM (link1
>> <http://tinyurl.com/qj8x5ry>, link2 <http://tinyurl.com/nc9celr>,
>> link3 <http://tinyurl.com/qy58sm...
2018 Dec 07
2
Testing compiler reliability using Csmith
Hello everyone!
We are working on writing a paper about testing the reliability of C compilers by using Csmith (a random C99 program generator).
A previous testing effort, using Csmith, found 202 LLVM bugs, which represented 2% of all reported bugs at that time (PDF: https://www.flux.utah.edu/download?uid=114 <https://www.flux.utah.edu/download?uid=114>): . However, after this paper was