Un analyseur statique de code C/C++ taillé pour la vérification de standards de programmation
Helix QAC identifie les défauts à corriger et fournit une aide permettant aux développeurs de résoudre les problèmes dans leur code et ceci sans exécution du code.
Les sociétés Perforce (www.perforce.com) et Emenda ont établi un partenariat en France concernant les solutions d’analyse statique Helix QAC.
Via notre expérience de 15 ans dans le domaine de l’analyse statique, ce partenariat permet aux sociétés françaises de bénéficier d’une expertise unique et d’une première ligne de support technique (en français) basée sur Bordeaux et Toulouse.
Avec deux moteurs d’analyse différents, QAC pour le C et QAC++ pour le C++, Helix QAC fourni des résultats précis sur le code C ou C++ permettant de détecter automatiquement
- Overflow / wraparound
- NULL Pointer
- Resource leaks
- Redundancy
Chaque moteur remonte des messages appelés “diagnostics” pour informer le développeur d’une non-conformité dans le code.
Approche forte sur les aspects conformité
L’approche d’Helix QAC, et ceci des son début en 1986, est d’offrir une approche forte sur les aspects standards et conformités. Dans ce cadre, deux représentants d’Helix QAC sont dans le groupe de travail MISRA, permettant ainsi au produit d’avoir une couverture unique sur les standards.
Helix QAC offre donc une solution optimum pour tous les projets ayant une approche très forte sur les standards
Helix QAC permet de générer différents rapports, notamment le « Rule Compliance Report » indiquant le degré de conformité au standard.
Helix QAC propose également Dashboard, un portail web permettant de partager les résultats d’une analyse QAC. Ce portail offre également la possibilité d’analyser la tendance d’un projet et surtout de permettre de répondre aux exigences de rapport lié aux standards.
Helix QAC – Certification
Helix QAC est certifié par l’organisme SGS-TÜV Saar pour différentes normes, notamment:
- Avionique (DO178B, DO 330)
- Industries (CEI 61508)
- Automobile (ISO 26262)
- Médical (EN 50128)
- Nucléaire (CEI 60880)
- Ferroviaire (EN 50128)
De plus Helix QAC est certifié ISO 9001 | TickIT plus Foundation Level.
Helix QAC – Fiche technique
Pour vous démontrer les possibilités de cet outil, nous vous proposons une analyse gratuite de votre application.
Pour obtenir cette analyse, veuillez nous contacter pour en définir les modalités