Ảnh bìa

Liveness-Driven Random Program Generation

Đã lưu trong:
Xuất bản năm:arXiv.org (Sep 13, 2017), p. n/a
Tác giả chính: Barany, Gergö
Được phát hành:
Cornell University Library, arXiv.org
Những chủ đề:
Debugging
Algorithms
Program verification (computers)
Compilers
Truy cập trực tuyến:Citation/Abstract
Full text outside of ProQuest
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!

MARC

LEADER 00000nab a2200000uu 4500
001 2076909992
003 UK-CbPIL
022 |a 2331-8422 
035 |a 2076909992 
045 0 |b d20170913 
100 1 |a Barany, Gergö 
245 1 |a Liveness-Driven Random Program Generation 
260 |b Cornell University Library, arXiv.org  |c Sep 13, 2017 
513 |a Working Paper 
520 3 |a 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. 
653 |a Debugging 
653 |a Algorithms 
653 |a Program verification (computers) 
653 |a Compilers 
773 0 |t arXiv.org  |g (Sep 13, 2017), p. n/a 
786 0 |d ProQuest  |t Engineering Database 
856 4 1 |3 Citation/Abstract  |u https://www.proquest.com/docview/2076909992/abstract/embedded/ZKJTFFSVAI7CB62C?source=fedsrch 
856 4 0 |3 Full text outside of ProQuest  |u http://arxiv.org/abs/1709.04421