Division sûre en C avec Maybe

Cet article détaille la mise en œuvre de conteneurs génériques sûrs pour les types et les limites en C. L'auteur introduit un type `Maybe`, inspiré de Haskell, pour gérer les fonctions pouvant renvoyer aucune valeur (par exemple, division par zéro). Une fonction de division sûre est créée à l'aide de macros pour définir `Maybe`, traitant la division par zéro et le cas limite de la division de l'entier représentable le plus petit par -1. Le code assembleur généré par GCC est analysé pour vérifier la sécurité de la fonction. L'auteur conclut en soulignant les limitations de cette approche pour prouver la sécurité complète des programmes C.