Solid Sands, fournisseur de technologies de test et de qualification pour les compilateurs et les bibliothèques logicielles, met à disposition des développeurs un sous-ensemble C++ étendu pour son logiciel de qualification SuperGuard. Ce sous-ensemble est constitué d’une suite de tests fondée sur les exigences liées à la qualification de bibliothèques de code C++.

- Sous-ensemble conforme à diverses normes de sécurité fonctionnelle, telles que l’ISO 26262

- Qualification des bibliothèques C++ standard

- Combinaison d'analyses internes et d'outils de pointe pour atteindre des pourcentages de couverture élevés

- Couverture de code pour les implantations de bibliothèques C++ tierces basées sur les compilateurs LLVM et GNU

- Gestion de couverture des instructions et des conditions/décisions modifiées (MC/DC) adaptée à la nature complexe des en-têtes de base de la bibliothèque C++ standard qui reposent sur des modèles exécutés par le compilateur