GrammaTech rejoint le consortium MISRA
Actuellement le consortium MISRA s’emploie à combiner les directives de codage AUTOSAR C++14 avec la norme de codage MISRA C++ 2008 en un seul document normalisé qui deviendra un guide complet pour l’industrie automobile. Avec plus de 30 ans d’expérience dans le domaine de l’analyse Statique avancée des logiciels, le Dr Anderson collaborait d’ores et déjà fréquemment avec les organismes de normalisation. « Les règles de codage constituent une première ligne de défense importante contre les défauts logiciels », explique le Dr Paul Anderson. « Je suis très heureux d’avoir l’occasion de contribuer à l’excellent travail du comité MISRA. Notre outil CodeSonar détecte les violations des règles MISRA très tôt dans le cycle de développement du logiciel. De plus, l’analyse des flux de données et l’exécution symbolique permet de détecter des failles supplémentaires dans le logiciel telles que les dépassements de mémoire ou encore la corruption des données ».
CodeSonar détecte nativement les violations des règle MISRA C et C++ mais permet surtout une analyse statique avancée des logiciels et ce qu’ils soient sous forme de codes source ou binaire. Il permet de détecter des défaillances complexes dans les logiciels pouvant amener à des failles majeures en termes de sécurité fonctionnelle ou de cybersécurité. CodeSonar permet aux équipes de développement de disposer d’un environnement unique pour détecter à la fois les violations des règles de codage et les failles des logiciels.
A propos de GrammaTech
Les outils d’analyse statique avancés de GrammaTech sont utilisés par les développeurs de logiciels du monde entier et couvrent une multitude d’industries du logiciel embarqué, notamment l’avionique, les applications gouvernementales, médicales, militaires, de contrôle industriel et autres applications où la fiabilité et la sécurité sont primordiales. Développé à l’origine au sein de l’Université Cornell, GrammaTech est désormais un centre de recherche de premier plan en matière de sécurité logicielle et un fournisseur d’outils de test des logiciels et de solutions de cybersécurité avancées. Avec des outils d’analyse statiques et dynamiques pour les codes source ainsi que les exécutables binaires, GrammaTech continue de faire progresser le domaine de l’analyse logicielle offrant aux développeurs une technologie leur permettant de concevoir des logiciels plus sûrs.