Files in this item

FilesDescriptionFormat

application/pdf

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

Description

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)

Item Statistics

  • Total Downloads: 2095
  • Downloads this Month: 68
  • Downloads Today: 0