We gratefully acknowledge support from
the Simons Foundation
and member institutions
Full-text links:


Current browse context:


Change to browse by:


References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Liveness-Driven Random Program Generation

Authors: Gergö Barany
Abstract: Randomly generated programs are popular for testing compilers and program analysis tools, with hundreds of bugs in real-world C compilers found by random testing. However, existing random program generators may generate large amounts of dead code (computations whose result is never used). This leaves relatively little code to exercise a target compiler's more complex optimizations.
To address this shortcoming, we introduce liveness-driven random program generation. In this approach the random program is constructed bottom-up, guided by a simultaneous structural data-flow analysis to ensure that the generator never generates dead code.
The algorithm is implemented as a plugin for the Frama-C framework. We evaluate it in comparison to Csmith, the standard random C program generator. Our tool generates programs that compile to more machine code with a more complex instruction mix.
Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
Subjects: Programming Languages (cs.PL)
Report number: LOPSTR/2017/6
Cite as: arXiv:1709.04421 [cs.PL]
  (or arXiv:1709.04421v1 [cs.PL] for this version)

Submission history

From: Gergö Barany [view email]
[v1] Wed, 13 Sep 2017 17:06:10 GMT (18kb)