Qualité, robustesse et montée en charge
Un programme C pour être soumis à certaines contraintes de qualité.
Le CERT publie des recommendations.
Frama C permet de prouver le code.
Les linteurs aident, notamment gratuits comme clang-lint.
Un programme C pour être soumis à certaines contraintes de qualité.
Le CERT publie des recommendations.
Frama C permet de prouver le code.
Les linteurs aident, notamment gratuits comme clang-lint.