[HN Gopher] Finding and Understanding Bugs in C Compilers (2011)...
       ___________________________________________________________________
        
       Finding and Understanding Bugs in C Compilers (2011) [pdf]
        
       Author : djoldman
       Score  : 22 points
       Date   : 2025-09-27 10:59 UTC (3 days ago)
        
 (HTM) web link (users.cs.utah.edu)
 (TXT) w3m dump (users.cs.utah.edu)
        
       | pfdietz wrote:
       | The Csmith paper. The follow-on paper about Creduce is also worth
       | reading. Creduce takes valid programs and reduces them to smaller
       | valid programs, using some predicate (does this shell script
       | finish with an error code?). This allows hits by Csmith to be
       | greatly minimized automatically. Maintaining validity during
       | shrinking is the central problem.
        
       ___________________________________________________________________
       (page generated 2025-09-30 23:00 UTC)