| 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 |
ellison-rosu-2012-tr.pdf (257Kb)