<--- Back to Details
First PageDocument Content
Software engineering / Computing / Computer programming / C / Data types / Undefined behavior / Integer overflow / Printf format string / Objective-C / C99 / Floating point / Arithmetic overflow
Date: 2012-03-30 12:02:04
Software engineering
Computing
Computer programming
C
Data types
Undefined behavior
Integer overflow
Printf format string
Objective-C
C99
Floating point
Arithmetic overflow

Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram

Add to Reading List

Source URL: www.cs.utah.edu

Download Document from Source Website

File Size: 238,04 KB

Share Document on Facebook

Similar Documents

Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram

Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram

DocID: 1ukEd - View Document

Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram

Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram

DocID: 1u8Gm - View Document

Phasing out UNIX beforeUNIX and C are obsolete Andreas Bogk and Hannes Mehnert What The Hack,

Phasing out UNIX beforeUNIX and C are obsolete Andreas Bogk and Hannes Mehnert What The Hack,

DocID: 1qYcg - View Document

Annotation Generation  Frama-C’s annotation generator plug-in for Frama-C Aluminium

Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Aluminium

DocID: 1qvDf - View Document

FallUNIVERSITY OF CALIFORNIA Department of Electrical Engineering and Computer Sciences

FallUNIVERSITY OF CALIFORNIA Department of Electrical Engineering and Computer Sciences

DocID: 1phHB - View Document