[HN Gopher] Finding and understanding bugs in C compilers [pdf] ...
       ___________________________________________________________________
        
       Finding and understanding bugs in C compilers [pdf] (2011)
        
       Author : todsacerdoti
       Score  : 13 points
       Date   : 2025-07-01 11:05 UTC (1 days ago)
        
 (HTM) web link (www.cse.unr.edu)
 (TXT) w3m dump (www.cse.unr.edu)
        
       | qualeed wrote:
       | (2011)
        
       | pfdietz wrote:
       | Ah, Csmith! A well known and much read paper which inspired a lot
       | of work.
       | 
       | Differential testing of compilers via random generation of
       | correct programs goes back a ways before this paper. For C, it's
       | made more difficult by the need to avoid undefined behaviors in
       | the generated code (which C is loaded with). So much of the work
       | here was how to generate sufficiently diverse programs that still
       | have defined behavior.
       | 
       | A follow on paper (from 2012) described creduce, the failing test
       | input reducer than can be used with csmith. It's also useful for
       | other purposes, and for languages other that C. Reducing the
       | inputs requires preserving the condition that they are valid C
       | without undefined behaviors.
       | 
       | https://users.cs.utah.edu/~regehr/papers/pldi12-preprint.pdf
        
       ___________________________________________________________________
       (page generated 2025-07-02 23:01 UTC)