IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

Defining the Undefinedness of C

Show full item record

Bookmark or cite this item: http://hdl.handle.net/2142/30780

Files in this item

File Description Format
PDF 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
 

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 1333
  • Downloads this Month: 29
  • Downloads Today: 1

Browse

My Account

Information

Access Key