Vai al contenuto

CODEXSPRAWL

sulle tracce della periferia cibernetica

  • Info e contatti
  • Bug Archeology
  • How-to?
  • Ethics & Code
  • Recensioni
  • Privacy & Cookie Policy
  • Citazioni Accademiche
  • Newsletter
  • Archivio di Codexsprawl

analisi formale

Ariane 5 — Il razzo che si schiantò per un numero troppo grande

31 Ottobre 202530 Ottobre 2025 di Anairesis

Nel 1996 il razzo Ariane 5 si autodistrusse dopo 37 secondi. Un overflow numerico trasformò il codice ereditato in un disastro da mezzo miliardo.

Categorie Bug Archelogy Tag affidabilità, analisi formale, codice ereditato, fallimenti critici, ingegneria del software, overflow, software aerospaziale Lascia un commento
NordVPN Offerta

Vai all'offerta →

© 2026 CODEXSPRAWL • Creato con GeneratePress