Analyse Statique de code source et binaire

Analyse Statique de code source et binaire : GRAMMATECH

Fournisseur : GRAMMATECH

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. Nous distinguons deux types d’outils d’analyse statique : les analyseurs statiques syntaxiques comme LDRA TBvision Statique / LDRArules, permettant la vérification de règles de codage et de métriques qualité, et les analyseurs statiques avancés comme GrammaTech CodeSonar, assurant la détection de bugs, d’erreurs « Runtime » et de vulnérabilités logicielles.

Affiner ma recherche

CodeSonar

CodeSonar Source

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

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