Publications

BibTex format

@inproceedings{Even:2020:10.1145/3324884.3418933,
author = {Even, Mendoza K and Cadar, C and Donaldson, A},
doi = {10.1145/3324884.3418933},
pages = {1219--1223},
publisher = {IEEE / ACM},
title = {Closer to the edge: testing compilers more thoroughly by being less conservative about undefined behaviour},
url = {http://dx.doi.org/10.1145/3324884.3418933},
year = {2020}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - Randomised compiler testing techniques require a means of generating programs that are free from undefined behaviour (UB) in order to reliably reveal miscompilation bugs. Existing program generators such asCsmithheavily restrict the form of generated programs inorder to achieve UB-freedom. We hypothesise that the idiomatic nature of such programs limits the test coverage they can offer. Our idea is to generate less restricted programs that are still UB-free—programs that get closer to the edge of UB, but that do not quite cross the edge. We present preliminary support for our idea via a prototype tool, CsmithEdge, which uses simple dynamic analysis to determine whereCsmithhas been too conservative in its use of safe math rappers that guarantee UB-freedom for arithmetic operations. By eliminating redundant wrappers,CsmithEdge was able to discover two new miscompilation bugs in GCC that could not be found via intensive testing using regular Csmith, and to achieve substantial differences in code coverage on GCC compared with regular Csmith.
AU  - Even,Mendoza K
AU  - Cadar,C
AU  - Donaldson,A
DO  - 10.1145/3324884.3418933
EP  - 1223
PB  - IEEE / ACM
PY  - 2020///
SP  - 1219
TI  - Closer to the edge: testing compilers more thoroughly by being less conservative about undefined behaviour
UR  - http://dx.doi.org/10.1145/3324884.3418933
UR  - http://hdl.handle.net/10044/1/83376
ER  -

Download

ProfessorAlastairDonaldson

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)