Polyspace Bug Finder

MISE A JOUR IMPORTANTE

 

Polyspace Bug Finder

Identification des défauts logiciels via l’analyse statique

Analyse statique automatisée

Trouvez des centaines de classes de bugs, comme les erreurs d’exécution, les problèmes d’accès concurrents et autres défauts de codage dans le code C/C++.

Règles de codage

Appliquez les règles MISRA C, MISRA C++, JSF++, et des règles personnalisées.

Normes de sécurité

Vérifiez les vulnérabilités et les normes de sécurité : CWE, CERT-C, ISO/IEC 17961, etc.

Métriques de code

Collectez des métriques au niveau du projet, du fichier et de la fonction, y compris des métriques de complexité cyclomatique, d’utilisation de la stack et des métriques HIS.

Find Bugs Early in Development

Identify hundreds of classes of bugs as soon as code is written or modified.

Find the Root Cause of Complex Bugs

See your code in a debugger-like view with event traces, variable values, and call trees.

Create your own navigation path.

Trace Code Analysis to Simulink Models

Run analysis on generated code and trace your findings to the source model block.

Trace code analysis to the model.

Configure for Any Run-Time Environment

Integrate Polyspace Bug Finder with any compiler, target processor, and RTOS environment.

Set compiler and target options.

Make Your Code Safe and Secure

Track quality against industry standards.

Comply with Coding Rules and Certification Requirements

Enforce MISRA C, MISRA C++, AUTOSAR C++14, JSF++, and custom rules. Comply with ISO 26262, DO-178, IEC 61508, EN 50128, IEC 62304, and others.

Comply with functional safety standards.

Meet Security Requirements

Comply with CERT C/C++, ISO 17961, and MISRA C:2012 Amendment 1.

Configure coding rules checking.

Monitor the Software Quality of Your Project

Compare analysis results against quality thresholds, so your software team can collaborate more easily and monitor project milestones.

Filter results.

Automate Code Analysis with Polyspace Bug Finder Server

Enable continuous integration by performing analysis on code changes early and often.

Analyze Integrated Builds

Run the Polyspace Bug Finder Server™ static analysis engine on a server class machine with build automation tools such as Jenkins and Bamboo.

Integrate Polyspace products into your continuous integration environment.

Notify and Upload Results for Collaborative Review

Automatically assign defects to component owners, send email notifications, and upload results to Polyspace Bug Finder Access so you can triage and resolve issues.

Send email notifications with Polyspace Bug Finder results.

Collaborative Review with Polyspace Bug Finder Access

Share analysis results and quality metrics with the software development team.

Review Analysis Results, So You Can Triage and Resolve Issues

Polyspace Bug Finder Access™ provides a web browser interface to Polyspace static code analysis results and quality metrics stored in a central repository. Navigation tools for investigating static analysis results are displayed alongside the code.

Result details window.

Monitor Project Quality and Software Quality Metrics

Dashboards display information that you can use to monitor software quality, project status, the number of defects, and code metrics.

Project overview dashboard.

Integrate with the Bug Tracking Tools You Already Use

Use the web browser interface to create and assign tickets in bug tracking tools such as Jira.

Create tickets.

Latest Features

Fonctionnalités

Identifiez les bugs très tôt dans le développement

Identifiez les défauts dès l’écriture ou la modification du code.

Respectez les exigences en matière de certification

Respectez les normes ISO 26262, DO-178, IEC 61508, EN 50128, FDA, etc.

Trouvez la cause principale de bugs complexes

Visualisez votre code en mode debugger avec le suivi des événements, la valeur des variables et l’arborescences des appels.

Vérifiez le code multithreadé

Détectez des problèmes de type « data race », « deadlock », « double lock », « missing lock » et autres problèmes.

Traçabilité de l’analyse du code jusqu’au modèle Simulink

Assurez la traçabilité de l’analyse du bloc source à l’origine du code généré.

Respectez les exigences en matière de sécurité

Respectez les normes de sécurité CERT C, ISO 17961, l’amendement MISRA C:2012 et CWE.

Définissez et mesurez des objectifs de qualité logiciel

Définissez les seuils de qualité réussite/échec à des fins de collaboration dans les équipes logiciel et pour la planification des étapes du projet.

Configurez les environnements d’exécution

Intégrez-vous avec n’importe quel compilateur, processeur cible, environnement RTOS et système d’intégration continue.

See the release notes for details on any of these features and corresponding functions.

Version d’évaluation

Bénéficiez d'une version d'évaluation de 30 jours.

Télécharger

Prêt à acheter ?

Obtenez les tarifs et explorez les produits associés.

Vous êtes étudiant ?

Obtenez la version étudiante des logiciels MATLAB et Simulink.

En savoir plus