| |
|
| |
|
| |
|
| |
 |
| |
|
| |
DESCRIPTIF COMPLET :
Par une simple analyse statique du code source de vos applications C ou C++, Goanna est capable d’identifier avec précision plus d’une centaine de type d’erreurs d’exécution ou de failles de sécurité dont les conséquences peuvent être fatales à vos produits finis
Interfacé aux principaux IDE du marché ou bien utilisable en mode ligne de commande, Goanna s’intègre parfaitement à votre processus de développement logiciel
Bénéfices
Détection avancée des erreurs
Si votre application C ou C++ est compilable, et quelle que soit sa taille, alors Goanna peut l’analyser très rapidement, et vous fournir un rapport complet sur la présence d’erreurs d’exécution ou de failles de sécurité. Ce processus peut de plus être automatisé en mode ligne de commande
Ergonomie
L’intégration avec votre IDE favori (Visual Studio ou Eclipse) vous permet de travailler dans votre environnement habituel. L’outil de simulation (« Path Simulator ») vous permet de retracer pas à pas et de localiser la cause d’une erreur d’exécution, et vous permet ainsi de la corriger efficacement et rapidement
Le masquage d’une erreur validée et acquittée par l’utilisateur est très facile , par un simple click droit sur le message.
Technologie
Goanna met en œuvre un moteur d’analyse statique breveté, basé sur la vérification de modèles, et une analyse inter-procédurale exhaustive de l’ensemble de votre code, pour garantir ainsi précision (réduction des faux positifs), couverture maximale, et large spectre de problèmes détectés.
Les principales catégories de problèmes détectés par Goanna sont les suivantes :
Débordement de tableaux
Erreurs arithmétiques
Problèmes C++ (usage des classes, copy control, iterator misuse…)
Mauvaise gestion des pointeurs
Mauvaise utilisation de librairies
Mauvaise allocation mémoire
Code mort, code redondant
Violation sémantique (const, pure)
Comportements non définis : initialisations, précédences…
Failles de sécurité / vulnérabilité
Goanna traque la plupart des failles de sécurité connues, appelées Common Weakness Enumeration (CWE), via une trentaine de règles environ
Intégration
Goanna s’installe très rapidement sur tout système Windows ou Linux Il est disponible en deux versions complémentaires:
Goanna Studio Plug-in pour Microsoft Visual Studio ® ; Plug-in pour Eclipse CDT
Goanna Central Version batch en mode ligne de commande, pour une utilisation automatisée et centralisée.
Enfin, Goanna peut être très facilement combiné à PC-Lint ou FlexLint, pour compléter la mise en œuvre de cet outil de vérification de règles de codage (règles MISRA-C par exemple) par les capacités de détections d’erreurs de Goanna.
Extensions
Un langage de script est disponible pour enrichir la base de règles de vérification livrée en standard
Historique
Le progiciel Goanna de Red Lizards Software (http://redlizards.com/index.php) est issu de nombreuses années de recherche avancée en technologie de l’information, conduite par le Laboratoire de Recherche australien NICT. Depuis sa sortie en 2005, Goanna a été constamment enrichi et amélioré, pour le plus grand bénéfice de ses utilisateurs |
| |
|
| |
|
| |
|
| |
Lien vers site constructeur
|
| |
|
|
|
| |
|
| |
|
| |
|
| |
|
| |
Retour |
| |
|
|
|
|
 |
| |
 VOTRE DEMANDE |
|
|
| |
| |
Renseignements, Devis, Etude de cahier des charges, n'hésitez pas à nous contacter. |
|
| |
|
|
| |
 |
|
| |
|
|
|
| |
|
|
| |
NEWSLETTER |
|
| |
|
|
|
| |
|
|
| |
Recevez chaque mois toute l'actualité Antycip |
|
| |
|
|
| |
|
|
| |
|
|
|
| |
|
|
| |
ACTUALITES |
|
| |
|
|
|
| |
|
|
| |
|
|
| |
|
|
|
| |
|
|
| |
NOUVEAUTES |
|
| |
|
|
|
| |
|
|
| |
|
|
| |
|
|
|
 |
|
|
