Displaying 3 results from an estimated 3 matches for "yb7okzqd".
2018 Dec 07
2
Testing compiler reliability using Csmith
...e.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/z7y8rwo>,
link5 <https://tinyurl.com/y7wdf5b4>)]
Best,
Zhendong
--------
Zhendong Su
Professor, Department of Computer S...
2018 Dec 12
2
Testing compiler reliability using Csmith
...C/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/z7y8rwo>, link5 <https://tinyurl.com/y7wdf5b4>)]
>>
>> Best,
>> Zhendong
&g...
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