Démarrer avec Polyspace Bug Finder

Polyspace^® Bug Finder™ identifie les erreurs run-time, les problèmes de concurrence, les vulnérabilités de sécurité et bien d'autres défauts dans les logiciels embarqués C et C++. Grâce à l'analyse statique, y compris l'analyse sémantique, Polyspace Bug Finder analyse les éléments de contrôle du logiciel, les flux de données et le comportement interprocédural. En mettant en évidence les défauts dès leur détection, il vous permet de trier et de corriger les bugs dès le début du processus de développement.

Polyspace Bug Finder vérifie la conformité aux normes de règles de codage telles que MISRA C™, MISRA C++, JSF++, CERT^® C, CERT C++, ainsi qu’aux conventions de nommage personnalisées. Il génère des rapports répertoriant les bugs détectés, les infractions aux règles de codage et les métriques de qualité du code, comme la complexité cyclomatique. Polyspace Bug Finder peut être utilisé avec l’IDE Eclipse™ pour analyser du code sur votre desktop.

Pour le code généré automatiquement, les résultats Polyspace peuvent être tracés jusqu’aux modèles Simulink^® et aux blocs dSPACE^® TargetLink^®.

Le support des normes industrielles est assuré via l'IEC Certification Kit (ISO 26262 and IEC 61508) et le DO Qualification Kit (DO-178).

Tutoriels

Desktop

• Exécuter Polyspace Bug Finder sur un desktop
  Vérifier le code C/C++ afin de détecter les défauts, les infractions aux règles de codage et les vulnérabilités de sécurité.
• Examiner les résultats Polyspace Bug Finder dans l’interface utilisateur Polyspace
  Interpréter les résultats Polyspace Bug Finder, corriger du code ou justifier des résultats, gérer des résultats.

Interface utilisateur de la plateforme Polyspace

• Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing
  Polyspace Platform is an integrated environment for static analysis and testing of C/C++ code with Polyspace products.
• Benefits and Limitations of Switching to Polyspace Platform User Interface
  Import projects created in older user interface, run tests or static analysis on imported projects.
• Exécuter Polyspace Bug Finder dans l’interface utilisateur de la plateforme Polyspace
  Vérifier le code C/C++ afin de détecter les défauts, les infractions aux règles de codage et les vulnérabilités de sécurité.
• Examiner les résultats Polyspace Bug Finder dans l’interface utilisateur de la plateforme Polyspace
  Interpréter les résultats Polyspace Bug Finder, corriger du code ou justifier des résultats, gérer des résultats.

Serveur et interface web

• Guide de démarrage rapide pour les produits Polyspace Server et Access
  Découvrir comment configurer les exécutions de Polyspace pour un projet, une équipe ou une organisation.
• Exécuter PolyspaceBug Finder sur un serveur et charger les résultats dans l’interface web
  Vérifier l'absence de défauts et d’infractions aux normes de codage dans le code après soumission et charger les résultats en vue de leur revue dans l'interface web.
• Triage and Assign Results in Polyspace Access Web Interface (Polyspace Access)
  Navigate the dashboard, filter results, and assign issues to team members.
• Envoyer par e-mail des notifications contenant les résultats Polyspace Bug Finder Server
  Envoyer aux développeurs des e-mails avec en pièces jointes des liens vers les résultats Polyspace.
• View Assigned Results in Polyspace Access Web Interface (Polyspace Access)
  See the results that are assigned to you.

Du desktop vers le serveur

• Envoyer l'analyse Bug Finder du desktop vers un serveur hébergé localement
  Décharger une analyse Polyspace sur un serveur hébergé localement et examiner les résultats téléchargés sur un desktop.

IDE

• Check Code Quality in IDE Before Submitting (Polyspace Access)
  Run a single file analysis and review results in Visual Studio^®, Visual Studio Code, or Eclipse using Polyspace as You Code extensions.

Déploiement

• Produits Polyspace et workflows de développement logiciel
  

  En savoir plus sur les produits Polyspace qui peuvent être utilisés au cours du cycle de vie du développement d'un logiciel.

• Différences entre Polyspace Bug Finder et Polyspace Code Prover
  

  Découvrir comment Bug Finder et Code Prover se complètent et déterminer quand déployer chaque produit dans votre workflow de développement.

• Workflow avec à la fois Polyspace Bug Finder et Polyspace Code Prover
  

  Intégrer à la fois des analyses Bug Finder et Code Prover à votre workflow de développement de logiciels.