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

WG14	
  N1475	
   INCITS	
  PL22.11/09-­‐0002	
   Reply	
  to	
  the	
  Attention	
  of:	
  Barry	
  Hedquist	
   Email:	
  	
    	
  

WG14  N1475   INCITS  PL22.11/09-­‐0002   Reply  to  the  Attention  of:  Barry  Hedquist   Email:      

DocID: 1rgqx - View Document

Hardest-to-Round Cases – Part 2 Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon,

Hardest-to-Round Cases – Part 2 Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon,

DocID: 1rccC - 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

MINUTES FOR APRIL 2007 MEETING OF ISO/JTC1/SC22/WG14 AND INCITS J11 WG14/N1267 Meeting Location: Monday, Wednesday, Thursday April 23, 25, & 26:

MINUTES FOR APRIL 2007 MEETING OF ISO/JTC1/SC22/WG14 AND INCITS J11 WG14/N1267 Meeting Location: Monday, Wednesday, Thursday April 23, 25, & 26:

DocID: 1q4Ol - View Document

Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon SIESTE,

Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon SIESTE,

DocID: 1pCuG - View Document