We found a division by zero bug in FFmpeg with a vibecoded fuzzer

Re:We found a division by zero bug in FFmpeg with a vibecode... by astrange on Thursday August 27, 2026 @04:47PM (#49471034)

Anything with ranged numeric types. Like everyone's favorite functional programming language, Ada.

[ Parent | on HN ]

Re:We found a division by zero bug in FFmpeg with a vibecode... by ghaslt on Thursday August 27, 2026 @04:58PM (#49471161)

This issue raises SIGFPE. Ada would raise Constraint_error, which is easier to catch than a signal, but still occurs at runtime.

You need range proofs to be 100% safe, and then you can as well use the regular type because invalid values will not occur.

[ Parent | on HN ]

Re:We found a division by zero bug in FFmpeg with a vibecode... by black_knight on Thursday August 27, 2026 @04:54PM (#49471119)

Or Liquid Haskell.

[ Parent | on HN ]