La technologie d’analyse statique de code de l’américain GrammaTech, intégrée dans son outil phare CodeSonar, bénéficie désormais d’une certification en tant qu’outil pour les normes liées à la sécurité fonctionnelle ...d’un code critique : l’IEC 61508 pour le médical, l’EN 50128 pour le ferroviaire et l’ISO 26262 pour le monde de l’automobile. Cette caractéristique vise à faciliter le travail de certification proprement dit d’un code, lorsqu'une équipe de développement met en œuvre CodeSonar.

Ce logiciel ayant été audité par la société de certification allemande SGS TÜV Saar, il a été jugé conforme aux exigences des normes susnommées pour ceux qui développent du code critique. Son utilisation évite ainsi aux équipes qui le mettent en œuvre dans leur processus de développement d’avoir à prouver sa validité vis-à-vis du code critique à certifier, en prouvant aux autorités de certification que l’on peut avoir confiance dans les résultats de l’outil.