• Suggestion d’offres
  • 0 résultat. Vouliez-vous dire ?
  • Suggestion de catégories
  • 0 résultat. Vouliez-vous dire ?
  • Suggestion d'entreprises
  • 0 résultat. Vouliez-vous dire ?
Devenir exposant
Aide
Mon compte

CodeSonar - Outil de détection d'erreurs RUNTIME ISIT

CodeSonar - Outil de détection d'erreurs RUNTIME

Logiciel de suivi

Voter

“ Détection automatisée d'erreurs d'exécution ou "RUNTIME", de problèmes critiques, de jardinages mémoire et d'accès concurrents, dans un but de fiabilisation du code source. ”
Contacter le fournisseur Recevoir de la documentation Demander un devis

L'outil GrammaTech CodeSonar permet de détecter sur du code source C, C++ ou Java, dès la phase de compilation et sans exécution du code, des erreurs logicielles critiques, comme des plantages, jardinages mémoire, et des erreurs d'exécution ou "RUNTIME", dans un but d'amélioration de la fiabilité du code source.

 

CodeSonar se connecte à votre compilateur afin d'analyser automatiquement et en arrière-plan le code source compilé.

L'outil crée un modèle de votre code source, et l'utilise pour détecter automatiquement des erreurs pouvant mener à un plantage de votre logiciel.

 

Les analyses de l'outil CodeSonar sont interprocédurales (interprétation des effets et conséquences des appels et retours de fonctions), sensibles au flux dordonnancement des instructions dans le code, aux flux de données et de contrôle, aux chemins d’exécution possibles, au contexte (appels de fonctions en tenant compte des valeurs de paramètres, pointeurs, des antécédents) et enfin aux allocations de mémoires dynamiques et à leurs effets.

 

Enfin, l'affichage web des résultats permet de visualiser le chemin parcouru et les valeurs de données utilisées pour détecter l'erreur, et l'API interne donne la possibilité de rajouter ses propres détections.

 

Parmi les plus de 200 erreurs détectées :

  • Problèmes mémoire et critiques : Dépassement de tableau/buffers, déréférencement de pointeur nul, variable non initialisée, division par zéro, décalage par une valeur négative, code inatteignable, ...
  • Erreurs d’allocations ou de désallocations de mémoire : Fuites mémoires, Utilisation après libération, ...
  • Accès concurrents : Data Race, Deadlock, Famine, ...
  • Règles de codage : MISRA C:2012, Power of 10, JPL, CWE...

CodeSonar effectue ces détections sur l'ensemble des chemins possibles de votre code source !

Pour en savoir plus, cliquez ici.

C C++ JAVA IEC 61508 IEC 62304 ISO 26262 EN 50128 DO-178 B/C Analyse statique Détection RUNTIME

Toute industrie Aéronautique Automobile Médical Ferroviaire

Déposez un avis sur CodeSonar - Outil de détection d'erreurs RUNTIME

Votre réponse à l'avis de -

AUTRES PRODUITS LOGICIEL DE SUIVI DE ISIT

LES INTERNAUTES ONT AUSSI CONSULTÉ SUR LA CATÉGORIE LOGICIEL DE SUIVI

Tous les produits de la catégorie logiciel de suivi

Consultez également

Solutions SaaS Logiciel Achat supply chain en mode SaaS Logiciel Finance-comptabilité en... Logiciel Informatique en mode SaaS Logiciel Marketing vente en mode SaaS Logiciel Ressources Humaines en mode...
Trouvez vos prestataires Faites votre demande, puis laissez nos équipes trouver pour vous les meilleures offres disponibles.
Trouvez vos futurs clients Référencez vos produits et services pour améliorer votre présence sur le web et obtenez des demandes qualifiées.