Je vais revoir votre code C embarqué pour la qualité, la sécurité et la robustesse

Je réaliserai une revue statique indépendante de votre code source C embarqué pour identifier les problèmes de qualité, de sécurité et de robustesse avant qu'ils ne deviennent de véritables défauts.

Ce service est idéal pour les firmwares et modules de bas niveau qui fonctionnent déjà mais nécessitent un avis d'expert sur leur correction, sécurité et maintenabilité.

La revue se concentre sur :

• les comportements dangereux ou non définis
• les risques liés à la mémoire et aux ressources
• les problèmes de concurrence et de sécurité des interruptions
• les failles dans la gestion des erreurs et la programmation défensive
• les problèmes de maintenabilité et de modularité

Vous recevrez un rapport écrit clair comprenant :

• une liste structurée des constatations
• une explication des risques et de leur impact
• des suggestions d'amélioration pratiques avec références au code

La portée est limitée au nombre de lignes non vides dans les fichiers C fournis (code et commentaires inclus, lignes vides exclues).

Ceci est une analyse statique uniquement :

• aucun code ne sera modifié
• aucune compilation ou accès matériel n'est requis
• ce n'est pas un audit de certification ou de conformité formel

Pour des bases de code plus importantes ou des besoins spécifiques, veuillez me contacter d'abord pour une offre personnalisée. La signature d'un NDA est possible sur demande avant la revue de votre code.