Files in this item



application/pdfellison-rosu-2012-tr.pdf (257kB)
Main articlePDF


Title:Defining the Undefinedness of C
Author(s):Ellison, Chucky M.; Rosu, Grigore
Subject(s):c semantics undefinedness undefined
Abstract:This paper investigates undefined behavior in C and offers a few simple techniques for operationally specifying such behavior formally. A semantics-based undefinedness checker for C is developed using these techniques, as well as a test suite of undefined programs. The tool is evaluated against other popular analysis tools, using the new test suite in addition to a third-party test suite. The semantics-based tool performs at least as well or better than the other tools tested.
Issue Date:2012-04-27
Citation Info:@techreport{ellison-rosu-2012-tr, author={Chucky Ellison and Grigore Ro\c{s}u}, title={Defining the Undefinedness of {C}}, institution={University of Illinois}, year=2012, month={April}, }
Genre:Technical Report
Publication Status:unpublished
Peer Reviewed:not peer reviewed
Date Available in IDEALS:2012-04-27

This item appears in the following Collection(s)

Item Statistics