Forcer l'initialisation des variables contenant des adresses de l'espace utilisateur
Exige que le noyau soit compilé avec CONFIG_GCC_PLUGIN_STRUCTLEAK=y, un plugin GCC qui force l'initialisation à zéro des structures locales susceptibles de transporter des données de l'espace utilisateur.
Vérifié sur l’état résolu en cours d’exécution (ex. sshd -T, sysctl, systemctl show), attrape les drop-ins et Include qu’une lecture de fichier raterait. Réserve : runtime ≠ persistance ; une valeur correcte maintenant peut ne pas survivre à un redémarrage.
Pavois vérifie la configuration effective, l’état résolu et réellement appliqué, pas un fichier. Les scanners basés fichier (OVAL/SCAP, Lynis) ratent les Include, drop-ins et défauts runtime ; ce check voit ce qui est réellement en vigueur.
Un mapping est une référence croisée vers l’endroit où chaque norme situe cette exigence, ancrée et recoupée, pas une affirmation d’équivalence. Un check réussi est une preuve vers ces références, comment le lire.
Pourquoi cette règle
Initialiser les structures provenant de l'espace utilisateur peut prévenir certaines classes d'exposition d'informations.
Ce que vérifie Pavois
Pavois lit le drapeau de compilation effectif du noyau en cours d'exécution via /boot/config-$(uname -r) ou /proc/config.gz, indexé sur $(uname -r) : il reflète l'image démarrée plutôt qu'un .config égaré qu'un scan à chemin fixe pourrait capter.
describe command("grep -hE '^(CONFIG_GCC_PLUGIN_STRUCTLEAK|CONFIG_INIT_STACK_ALL_ZERO)=y' /boot/config-$(uname -r) 2>/dev/null; zcat /proc/config.gz 2>/dev/null | grep -E '^(CONFIG_GCC_PLUGIN_STRUCTLEAK|CONFIG_INIT_STACK_ALL_ZERO)=y'") do
its('stdout') { should match(/=y$/) }
endComment vérifier qu’elle est appliquée
Exécutez grep '^CONFIG_GCC_PLUGIN_STRUCTLEAK=' /boot/config-$(uname -r) (ou zcat /proc/config.gz | grep '^CONFIG_GCC_PLUGIN_STRUCTLEAK='). Sortie attendue : CONFIG_GCC_PLUGIN_STRUCTLEAK=y. Absente ou # ... is not set est un échec.
Inspecter et investiguer
Ce plugin est une transformation à la compilation sans journal d'exécution dédié ; son effet est l'absence de fuites d'information. Confirmez le drapeau avec zcat /proc/config.gz | grep STRUCTLEAK.
Remédiation
Aucune remédiation automatisée n'est fournie : une option de compilation du noyau ne se règle pas en éditant un fichier. Appliquez-la manuellement en installant et démarrant un noyau compilé avec CONFIG_GCC_PLUGIN_STRUCTLEAK=y.
Pavois applique ceci avec son propre moteur harden, le plan ci-dessous, pas un script shell :
| resource | kernel_build |
|---|
pavois harden plan localoù la cible est local, un alias SSH user@hôte, ou un conteneur , Docs
Impact & précautions
Lorsque le noyau recopie une structure vers l'espace utilisateur, tout champ ou octet de remplissage laissé non initialisé transporte ce qui se trouvait précédemment sur la pile, pointeurs noyau ou secrets résiduels, produisant une fuite d'information qui aide à défaire le KASLR et à préparer d'autres attaques. Le plugin structleak force l'initialisation à zéro des structures locales pouvant atteindre l'espace utilisateur, de sorte qu'aucun contenu de pile périmé ne s'échappe. Le mode de base vise les structures contenant des données destinées à l'espace utilisateur ; la variante plus stricte BYREF_ALL en couvre davantage. Sans lui, une classe de fuites d'information par structure non initialisée reste exploitable. C'est une option à la compilation nécessitant le support des plugins GCC, posée uniquement en démarrant un noyau compilé avec. Précautions : il y a un coût modéré à l'exécution dû à l'initialisation supplémentaire ; passer à un noyau durci change l'ABI des modules, donc vérifiez le chargement des pilotes hors production avant déploiement. Aucun risque de redémarrage au-delà d'un échange de noyau classique.
Mapping des normes
| Norme | Référence | Type | Version | Confiance |
|---|---|---|---|---|
| ANSSI BP-028 | R21 | direct | 2.0 | haute |
Chaque référence est une référence croisée ancrée dans le benchmark amont et recoupée avec le SCAP Security Guide et ansible-lockdown, pas une affirmation d’équivalence. Direct = une exigence prescriptive au niveau de la ligne ; support = une famille de contrôle abstraite (NIST) vers laquelle le check apporte une preuve. Comment lire un mapping.