Displaying 3 results from an estimated 3 matches for "qj8x5ry".
2018 Dec 07
2
Testing compiler reliability using Csmith
...*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 Science, ETH Zurich
Office: CAB E 64.1, Tel: +41 44...
2018 Dec 12
2
Testing compiler reliability using Csmith
...ports: 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
>> Prof...
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