PC-lint Plus
PC-lint Plus est un outil d'analyse statique pour les langages C et C++ qui détecte les défauts, les vulnérabilités et les non-respects des normes de codage directement dans le code source. Il fonctionne sur les postes de travail des développeurs et dans les pipelines d'intégration continue (CI), sans nécessiter de connexion Internet et sans que le code ne quitte votre environnement.
Conçu pour le développement de logiciels embarqués et critiques pour la sûreté de fonctionnement, PC-lint Plus est certifié conforme aux normes ISO 26262, CEI 61508, CEI 62304 et EN 50716. Il soutient les normes MISRA C:2025, MISRA C:2023, MISRA C++:2023, AUTOSAR C++, CERT C et CWE, offrant ainsi aux équipes un outil unique pour répondre à de multiples exigences de conformité dans les domaines de l’automobile, du médical, de l’industrie, de l’aérospatial et du ferroviaire.
Avantages
Détectez les bugs avant qu'ils n'atteignent le matériel
L'analyse statique approfondie détecte les erreurs logiques, les constructions suspectes et les causes profondes, avec un rapport de localisation précis, ce qui permet aux développeurs de passer moins de temps à déboguer sur la cible.
Assurez la conformité à plusieurs normes
Un seul outil couvre les normes MISRA C:2025, MISRA C:2023, MISRA C++:2023, AUTOSAR C++, CERT C et CWE, ce qui réduit les frais liés à la qualification des outils et les efforts de collecte de preuves.
Une analyse rapide, quelle que soit l'échelle
L’exécution parallèle permet de réduire les temps d’exécution sur des bases de code volumineuses ; ainsi, l’analyse statique s’intègre au cycle de développement sans le ralentir, que ce soit sur un poste de travail ou dans un pipeline automatisé.
Contrôler chaque suppression
Diagnostic Accounting assure le suivi de tous les messages émis et supprimés, accompagnés de justifications étiquetées, vous offrant ainsi un historique complet et vérifiable pour la documentation relative au dossier de Sûreté de Fonctionnement.
Assurez la visibilité de la qualité du code au fil du temps
PC-lint Plus View offre une interface graphique permettant de surveiller les tendances des diagnostics, de suivre les régressions et de partager les résultats avec les équipes de révision, sans avoir recours à des scripts personnalisés.
Support et documentation par des experts
L’équipe de support technique dédiée de Vector se tient à votre disposition pour vous aider dans la configuration, l’intégration au compilateur et pour répondre à vos questions spécifiques aux normes.
Domaines d'utilisation de PC-lint Plus
PC-lint Plus est utilisé dans un large éventail de contextes de développement en C et C++, allant des systèmes critiques pour la Sûreté de Fonctionnement soumis à des exigences formelles de conformité jusqu'aux équipes de développement de logiciels commerciaux soucieuses de la qualité et de la maintenabilité du code. Parmi les domaines d’application typiques, on peut citer :
Automobile
Logiciel pour calculateurs automobiles développé conformément à la norme ISO 26262, avec application des règles MISRA C/C++ et qualification des outils selon le niveau ASIL D
Aérospatial et défense
Logiciels embarqués destinés aux secteurs aérospatiaux et de la défense, nécessitant la conformité à la norme CERT C et un dépistage des vulnérabilités selon le CWE
Médical
Micrologiciel de dispositif médical soumis à la norme CEI 62304, pour lequel la traçabilité des mesures de suppression soutient les dossiers d'historique de conception et les audits
Industriel
Systèmes de contrôle industriels conformes à la norme CEI 61508, y compris les applications de niveau SIL 3 et SIL 4
Chemins de fer
Logiciel embarqué ferroviaire développé conformément à la norme EN 50716, dans le cadre duquel l'analyse statique fournit le support nécessaire pour garantir le respect des exigences relatives au niveau d'intégrité du logiciel et à la conformité aux normes de codage.
Développement général en C et C++
Les équipes de développement C et C++ en général qui utilisent PC-lint Plus pour garantir le respect de normes de codage cohérentes, réduire le taux de bugs et assurer la maintenabilité des bases de code à long terme, indépendamment de toute exigence réglementaire
Caractéristiques principales
Détecter les bugs et les problèmes dès leur apparition
L'analyse PC-lint Plus s'effectue en quelques secondes sur un poste de travail de développeur. PC-lint Plus analyse les fichiers source C et C++ sans exécuter le code, ce qui permet de détecter les défauts dès la phase d'édition, bien avant qu'ils n'atteignent la phase d'intégration, le matériel cible ou une revue de Sûreté de Fonctionnement. Plus un problème est détecté tôt, moins sa correction est coûteuse.
- Détecte les erreurs logiques, les déréférencements de pointeurs nuls, les accès hors limites, les variables non initialisées et des centaines d’autres types de défauts dans les sources C et C++
- Chaque diagnostic comprend l’emplacement précis dans le code source, une description claire et une trace des valeurs montrant l’origine du problème, ce qui permet aux développeurs d’agir sur la base des résultats sans avoir à deviner
- L’exécution parallèle permet de maintenir un temps d’analyse raisonnable sur des bases de code volumineuses, que ce soit sur une station de travail ou dans un pipeline d’intégration continue
- Toutes les analyses s’effectuent localement, sans connexion Internet et sans que le code ne quitte votre environnement
Contrôles personnalisés : indicateurs et requêtes
PC-lint Plus intègre plus de 100 métriques de code et un moteur de requêtes qui permet aux équipes de définir leurs propres contrôles. Vous pouvez appliquer des règles de codage spécifiques à chaque projet et suivre des seuils de qualité allant au-delà de toute norme prédéfinie, sans avoir besoin de scripts externes ni d’outils de post-traitement.
- Plus de 100 métriques intégrées couvrant la complexité cyclomatique, le couplage, l’indice de maintenabilité et la qualité de conception, chacune avec des seuils de réussite/échec configurables
- Les requêtes personnalisées permettent aux équipes de définir des messages de diagnostic et des contrôles adaptés à leurs propres normes de codage, règles d’architecture ou exigences de Sûreté de Fonctionnement
- Les résultats issus des métriques et des requêtes personnalisées alimentent tous deux le « Diagnostic Accounting » ; ainsi, les conclusions tirées des règles intégrées comme des contrôles définis par les équipes sont suivies et vérifiables
Conformité et support en matière de normes
- MISRA C:2023 et MISRA C:2025 : couverture des diagnostics directement mise en correspondance avec les règles des directives — la correspondance complète des règles est documentée dans le manuel en ligne
- MISRA C++:2023 : couverture de plus de 90 % des directives dans la version 2025 SP1
- AUTOSAR C++ : support complet de l’application des règles
- CERT C et CWE : détection certifiée des schémas de vulnérabilité courants
- ISO 26262 (ASIL D), CEI 61508 (SIL 4), CEI 62304 : certificats de qualification de l’outil disponibles
Comptabilité de diagnostic et traçabilité des suppressions
- Chaque diagnostic émis et supprimé est enregistré avec son contexte complet
- Les suppressions associées relient les écarts aux justifications documentées issues des directives de codage
- Les règles de suppression inutilisées sont automatiquement signalées, ce qui permet de maintenir des configurations épurées
- Les résultats alimentent directement la documentation de conformité et les dossiers d’audit
PC-lint Plus : aperçu
- Interface graphique permettant d'explorer et de filtrer les résultats de diagnostic par niveau de gravité, règle, fichier ou type de message
- Le suivi des tendances par version met en évidence les régressions et les améliorations au fil du temps
- Les résultats comprennent les identifiants de règles, les références aux normes de codage et le contexte source complet
- Exportation au format SARIF pour une intégration avec les IDE et les systèmes d'intégration continue (CI) supportés
- Disponible sous forme de démo en ligne ou en auto-hébergement via Docker
Support des langages et des compilateurs
- Supporte les normes C11, C17, C23, C++03, C++11, C++14, C++17, C++20 et C++23
- Les compilateurs compatibles comprennent GCC, Clang, MSVC, IAR, Green Hills, TI et Microchip
- Fonctionne en mode natif sous Windows, Linux et macOS
Intégration de l'IDE et du pipeline
- Intégrations IDE pour Visual Studio, Eclipse, CLion, Sublime Text et Code Composer Studio
- L'exécution parallèle permet d'étendre l'analyse à de vastes bases de code
- L'exportation au format SARIF permet l'intégration avec les plateformes d'intégration continue (CI) et les IDE supportés
- La licence Team Enterprise couvre les postes de travail des développeurs, les serveurs de compilation, les systèmes multi-utilisateurs ainsi que les environnements virtualisés ou dans le cloud sous une seule licence
Exportation du graphe d'appels
- Générer des graphiques d'appels de fonctions au niveau du projet au format DOT Language, lisibles par Graphviz et les outils compatibles
- Utile pour les revues d'architecture, la planification de la couverture des tests et l'analyse d'impact
Certifications en matière de sûreté de fonctionnement et de sécurité
PC-lint Plus dispose de certificats de qualification d'outils indépendants pour les normes suivantes :
| Certification | Scope |
| ISO 26262:2018 (ASIL D) | Sûreté de Fonctionnement automobile, niveau d'intégrité maximal |
| IEC 61508:2010 (SIL 4) | Sûreté de Fonctionnement des systèmes E/E/PE liés à la sûreté |
| IEC 62304 | Processus du cycle de vie des logiciels destinés aux dispositifs médicaux |
| EN 50716 | Développement de logiciels ferroviaires pour les systèmes liés à la Sûreté de Fonctionnement |
| Compatible CWE | Certifié pour la détection des vulnérabilités répertoriées dans la liste CWE (Common Weakness Enumeration) |
Licences
PC-lint Plus est proposé sous forme de licence « Team Enterprise » dans le cadre d'un abonnement annuel. Une seule licence couvre les postes de travail des développeurs, les serveurs de compilation et les environnements virtualisés ou dans le cloud. Le tarif varie en fonction de la taille de votre équipe.
Essayez PC-lint Plus
Licence d'évaluation de 14 jours
Commencez votre période d'essai de 14 jours de PC-lint Plus avec toutes les fonctionnalités, incluant l'accès au support technique.
Téléchargements de PC-lint Plus
Les dernières versions et la documentation sont disponibles sur le Centre de téléchargement Vector.
Démonstration en ligne
Lancez PC-lint Plus dans votre navigateur avec un exemple de code en temps réel.
Manuel en ligne
Consignes d'installation, exemples d'utilisation et configuration avancée.
Support
Frequently Asked Questions
Pages associées
VectorCAST
Squore
