Le langage C offre une grande liberté aux développeurs. Cependant, il comporte des constructions ambiguës ou risquées qui favorisent l’introduction d’erreurs lors du développement. Le standard du langage C ne spécifie pas l’ensemble des comportements souhaités, et donc certains restent indéfinis ou non spécifiés. Libre alors aux développeurs de compilateurs, de bibliothèques ou de systèmes d’exploitation de faire leurs propres choix. Il est ainsi nécessaire de définir des restrictions quant à l’utilisation du langage C afin d’identifier les différentes constructions risquées ou non portables et d’en limiter voire interdire l’utilisation.

Le présent guide de l’ANSSI définit un ensemble de règles, de recommandations et de bonnes pratiques dédiées aux développements sécurisés en langage C.

Ce guide a différents objectifs :

• augmenter la sécurité, la qualité et la fiabilité du code source produit, en identifiant les mauvaises pratiques ou les pratiques dangereuses de programmation ;
• faciliter l’analyse du code source lors d’une relecture par un pair ou par des outils d’analyse statique ;
• établir un niveau de confiance dans la sécurité, la fiabilité et la robustesse d’un développement ;
• favoriser la maintenabilité du logiciel mais également l’ajout de fonctionnalités

Ce guide ne s’inscrit pas dans un domaine d’application particulier et ne veut pas remplacer les contraintes de développement imposées par tout contexte normatif (domaine automobile, aéronautique, systèmes critiques, etc.). Son but est d’adresser justement les développements en C sécurisés non couverts par ces contraintes normatives.

Plus d’informations sur le site de l’ANSSI.

RÈGLES DE PROGRAMMATION POUR LE DÉVELOPPEMENT SÉCURISÉ DE LOGICIELS EN LANGAGE C
anssi-guide-regles_de_programmation_pour_le_developpement_securise_de_logiciels_en_langage_c-v1.2.pdf
Version: 1.2

RÈGLES DE PROGRAMMATION POUR LE DÉVELOPPEMENT SÉCURISÉ DE LOGICIELS EN LANGAGE C

Auteur:	ANSSI
Date:	lundi 10 août 2020

975 KiB
383 téléchargements
Détails...

The following two tabs change content below.

• Bio
• Derniers articles

Benoît RIVIERE

Après seize années passées en cabinet d’expertise-comptable et de commissariat aux comptes (où j’ai exercé comme expert-comptable et chef de mission audit), j’ai pris le poste de directeur comptable d’un groupe de distribution automobile en novembre 2014. Au cours de ma carrière, j’ai acquis une expérience significative en audit et en exploitation des systèmes d’information (analyse de données, automatisation des tâches, programmation informatique) au service de la production des comptes annuels et consolidés. C’est cette expérience personnelle et ma passion pour l’informatique que je partage sur ce blog. Mon CV / Réalisations personnelles et projets informatiques / Ma collection / Me contacter

Derniers articles parBenoît RIVIERE (voir tous)

• Généralisation de la facturation électronique reportée en 2026 - vendredi 29 septembre 2023
• Automatiser la création d’une arborescence de dossiers à l’aide d’un batch DOS - lundi 25 septembre 2023
• Vers des intelligences artificielles dignes de confiance - lundi 18 septembre 2023
• EXCEL : Vérifier la validité d’un numéro SIREN - lundi 11 septembre 2023
• Tester la conformité d’un FEC avec TEST COMPTA DEMAT - lundi 4 septembre 2023