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 |
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 |