Liveness-Driven Random Program Generation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

Liveness-Driven Random Program Generation

Résumé

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-ow 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.
Fichier principal
Vignette du fichier
lopstr2017.pdf (294.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01658563 , version 1 (07-12-2017)

Identifiants

Citer

Gergö Barany. Liveness-Driven Random Program Generation. 2017. ⟨hal-01658563⟩

Collections

INRIA INRIA2
90 Consultations
421 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More