Un référentiel ne vaut que si on peut prouver qu'on le respecte. Cette page recense les 57 outils (open source en priorité), répartis en 20 catégories, qui servent de moteurs de preuve pour les exigences SOCLE. Principe : les outils consomment la norme, jamais l'inverse.
Aucun outil ne « rend conforme ». Chacun apporte une preuve sur un périmètre précis. SOCLE explicite donc, pour chaque outil, ce qu'il prouve et ce qu'il ne prouve pas : c'est ce qui évite le faux sentiment de sécurité.
Par catégorie
Chaque catégorie d'outillage couvre un ou plusieurs domaines du référentiel. Les outils marqués maison sont développés ou maintenus en interne.
Catalogue des moteurs de preuve
Les 57 outils cités, avec leur apport réel. À lire en gardant en tête : « prouve » = ce que l'outil démontre ; « ne prouve pas » = le périmètre qu'il laisse à découvert.