Utiliser une pile à mappage virtuel
Exige que le noyau soit compilé avec CONFIG_VMAP_STACK=y afin que les piles noyau disposent de pages de garde détectant immédiatement les débordements.
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
CONFIG_VMAP_STACK=y alloue les piles des threads noyau dans l'espace vmalloc, chacune protégée par une page de garde non mappée. Un débordement de pile provoque alors une faute immédiate au lieu de corrompre silencieusement la mémoire noyau adjacente. Sans cette option, les débordements de pile noyau produisent une corruption mémoire difficile à diagnostiquer, exploitable pour une élévation de privilèges et masquant la cause racine des plantages.
Ce que vérifie Pavois
Pavois lit la configuration de compilation du noyau en cours d'exécution (/boot/config-$(uname -r) ou /proc/config.gz) et exige CONFIG_VMAP_STACK=y. Interroger le noyau vivant, et non un fichier de config statique pouvant appartenir à un autre paquet noyau, garantit que l'assertion décrit le noyau réellement exécuté.
describe command("C=/boot/config-$(uname -r); if [ -r \"$C\" ]; then cat \"$C\"; elif zcat /proc/config.gz 2>/dev/null | head -1 | grep -q .; then zcat /proc/config.gz; else echo PAVOIS_NO_KERNEL_CONFIG; fi | grep -E '^(CONFIG_VMAP_STACK=|PAVOIS_NO_KERNEL_CONFIG)'") do
its('stdout') { should_not match(/PAVOIS_NO_KERNEL_CONFIG/) }
its('stdout') { should match(/^CONFIG_VMAP_STACK=y$/) }
endComment vérifier qu’elle est appliquée
Exécutez grep '^CONFIG_VMAP_STACK=' /boot/config-$(uname -r) (ou zcat /proc/config.gz | grep CONFIG_VMAP_STACK). Sortie attendue : CONFIG_VMAP_STACK=y.
Inspecter et investiguer
Les options de compilation ne laissent aucune trace d'audit. En cas de débordement de pile protégé, le noyau le journalise : consultez dmesg / journalctl -k pour les traces kernel stack overflow.
Remédiation
Aucune remédiation automatique : remediation est vide car CONFIG_VMAP_STACK est figé à la compilation du noyau. Les noyaux des distributions actuelles (Debian, Ubuntu, RHEL/Alma sur x86-64 et arm64) l'activent déjà ; si le contrôle échoue, installez/démarrez manuellement un noyau fournisseur conforme puis relancez le scan.
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
Un échec signifie que les débordements de pile noyau peuvent corrompre silencieusement la mémoire au lieu de provoquer une faute propre, affaiblissant la résistance aux exploits et la capacité de diagnostic des plantages. Précautions : changer de noyau est le seul remède, gardez le noyau précédent amorçable pour revenir en arrière et vérifiez que les modules hors arbre se chargent toujours. Le mécanisme de page de garde a lui-même un coût d'exécution négligeable.
Mapping des normes
| Norme | Référence | Type | Version | Confiance |
|---|---|---|---|---|
| ANSSI BP-028 | R15 | 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.