Helix QAC

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.

Helix QAC Overview

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 Coverage

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.