Frama-C
  • Features
  • Documentation
  • Publications
  • Blog
  • Jobs
  • Contact
  • Download
Blog home
← Overflow alarms vs informative messages about 2's complement Why do signed overflows so often do what programmers expect? →

More about integer overflows

Pascal Cuoq - 28th Mar 2012

It may be because I read an earlier draft that has had the time to sink in, but I find this article on the subject of integer overflows extremely clear and informative. It relates to the previous post. Key quote:

integer overflow issues in C and C++ [...] are common even in mature widely used programs and [...] are widely misunderstood by developers.

Pascal Cuoq
28th Mar 2012

← Overflow alarms vs informative messages about 2's complement Why do signed overflows so often do what programmers expect? →

Tags

link skein value ACSL Jessie derived-analysis unspecified-behavior CIL OCaml floating-point rant memcpy value-builtins conversions-and-promotions icpc2011 csmith position donut facetious-colleagues slicing CompCert big-round-numbers trail nitrogen benchmarks rte obviously-terminates cybersecurity linking type-checking developer visitor restrict undefined-behavior rers2012 cfg WP c11 c99 anonymous-arrays zlib metrics collaboration FLT_EVAL_METHOD function-pointers c-reduce Eva gui tutorial open-source-case-studies scripts usability windows-cygwin-wsl docker github ci test Ivette GUI event machdep parsing
Copyright © 2007-2025 Frama-C. All Rights Reserved.
  • Terms Of Use
  • Authors
  • Acknowledgements