Analyse Statique de code

Analyse Statique de code

L’analyse statique, technique de test répandue et indispensable à toute stratégie d’Assurance Qualité Logiciel, permet l’étude d’un code source ou binaire sans l’exécuter. Le but est d’analyser rapidement et automatiquement son contenu par rapport à des règles ou des propriétés précises.

Dans la BU d’Assurance Qualité Logiciel, nous distinguons deux types d’outils d’analyse statique de code :

• L’outil d’analyses statiques syntaxiques comme LDRA TBvision Statique / LDRArules , permettant la vérification de règles de codage et de métriques qualité

• Les outils d’analyses statiques avancés comme CodeSonar de GrammaTech , assurant la détection de bugs, d’erreurs « Runtime » et de vulnérabilités logicielles.

Affiner ma recherche

LDRA_static

Analyse statique syntaxique de code LDRA TBvision Static / LDRArules

L'analyse statique de LDRA TBvision Static (intégré à la LDRA tool suite®) et de LDRArules (outil stand-alone) permet de s'assurer qu'un ensemble de règles de codage et de normes de programmation uniformes est appliqué, que le code source C/C++/Java/Ada est correctement structuré, et enfin que  la qualité du logiciel est suffisante, au travers de mesures de la clarté, maintenabilité, testabilité, complexité du code source… LDRA TBvision Static  / LDRArules permettent donc de garantir un meilleur niveau de qualité du code sans impacter le temps de développement.

> En savoir plus
CodeSonar

CodeSonar Source GrammaTech

CodeSonar est un outil d’analyse statique avancée pour codes sources C, C++ et Java, et binaires x86, x64 et ARM, fonctionnant dans les environnements Windows, Linux, Mac OS X, FreeBSD et Solaris.

> En savoir plus
CodeSonar

CodeSonar Binary GrammaTech

CodeSonar pour binaires x86/x64/ARM, outil unique d’analyse statique de code binaire, permet l’étude de librairies tierces précompilées, y compris si vous n’en avez pas le code source !

> En savoir plus