Conversation

Notices

1. Embed this notice
   John Regehr (regehr@mastodon.social)'s status on Monday, 23-Dec-2024 15:13:04 JST John Regehr

   Fondly recalling this gem, which is one of the things that set me on the path to integer overflow detection, some time ago

   https://research.google/blog/extra-extra-read-all-about-it-nearly-all-binary-searches-and-mergesorts-are-broken/

   • Jeff "never puts away anything, especially oven mitts" Cliff, Bringer of Nightmares 🏴‍☠️🦝🐙 🇱🇧🧯 🇨🇦🐧 likes this.
   • Embed this notice
     mx alex tax1a - 2020 (5) (atax1a@infosec.exchange)'s status on Monday, 23-Dec-2024 15:13:03 JST mx alex tax1a - 2020 (5)

     in reply to

     • AlgoCompSynth by znmeb 🇺🇦

     @AlgoCompSynth @regehr

     Haelwenn /элвэн/ :triskell: and snacks like this.
   • Embed this notice
     AlgoCompSynth by znmeb 🇺🇦 (algocompsynth@mastodon.social)'s status on Monday, 23-Dec-2024 15:13:04 JST AlgoCompSynth by znmeb 🇺🇦

     in reply to

     @regehr One of the disgraces of programming language implementations is that integer overflow is permitted. Every architecture I know of detects it, and many allow a trap on it so you don't have to check every operation at run-time.