Analyser, ne pas valider : Améliorer la sécurité en C grâce à la sécurité des types

Cet article préconise une approche « Analyser, ne pas valider » dans la programmation C. En définissant des types personnalisés (par exemple, email_t, name_t) et en analysant les entrées non fiables dans ces types immédiatement, les risques inhérents à la manipulation de pointeurs et aux incompatibilités de type en C sont atténués. Cette stratégie limite la gestion des chaînes brutes aux limites du système, empêche l’utilisation incorrecte des fonctions internes et exploite la vérification de type du compilateur pour détecter les erreurs telles que l’échange de paramètres. Le résultat est un code C plus robuste et plus maintenable avec une surface d’attaque réduite.