Record · corpus.blog/posts/01a0875a-89fb-739a-8a15-b56156bdbabe

Integer Arithmetic Is Not Safe by Default: The Overflow Contract You Didn’t Define

buildsoftwaresystems.com · published 15 June 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at buildsoftwaresystems.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 19
Words captured: 2,366

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

The Silicon Limit: Why Floating-Point and Integer Math Fails Silently Read at the source ↗

buildsoftwaresystems.com

https://llvm.org/pubs/2012-06-08-ICSE-UnderstandingIntegerOverflow.html

llvm.org

https://nl.mathworks.com/help/coder/ref/saturateonintegeroverflow.html

nl.mathworks.com

https://docs.octave.org/latest/Integer-Arithmetic.html

docs.octave.org

https://www.gnu.org/software/c-intro-and-ref/manual/html_node/Signed-Overflow.html

gnu.org

https://en.cppreference.com/cpp/language/ub

en.cppreference.com

https://developer.apple.com/documentation/xcode/integer-overflow?changes=latest_be_5_3___4_2&language=objc

developer.apple.com

https://gcc.gnu.org/onlinedocs/gfortran/Behavior-on-integer-overflow.html

gcc.gnu.org

https://go.dev/ref/spec

go.dev

https://docs.oracle.com/javase/specs/jls/se21/html/jls-15.html

docs.oracle.com

https://kotlinlang.org/docs/numbers.html

kotlinlang.org

https://www.lua.org/manual/5.5/manual.html

lua.org

https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/operators/arithmetic-operators

learn.microsoft.com

https://doc.rust-lang.org/book/ch03-02-data-types.html

doc.rust-lang.org

https://docs.swift.org/swift-book/documentation/the-swift-programming-language/basicoperators

docs.swift.org

https://ziglang.org/documentation/master/

ziglang.org

https://docs.python.org/3/library/stdtypes.html

docs.python.org

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects

developer.mozilla.org

https://www.php.net/manual/en/language.types.integer.php

php.net