Defining the Undefinedness of C

Search IDEALS This Collection

Files in this item

File	Description	Format
ellison-rosu-2012-tr.pdf (257KB)	Main article	PDF

Title:	Defining the Undefinedness of C
Author(s):	Ellison, Chucky; 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
Type:	Text
Language:	English
URI:	http://hdl.handle.net/2142/30780
Publication Status:	unpublished
Peer Reviewed:	not peer reviewed
Date Available in IDEALS:	2012-04-27