Activer l'empoisonnement de l'allocateur de pages
Exige le paramètre de démarrage noyau page_poison=1 afin que les pages mémoire libérées soient écrasées par un motif d'empoisonnement, détectant les use-after-free et effaçant les données résiduelles.
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
L'empoisonnement de pages écrit un motif connu dans les pages mémoire au moment de leur libération, si bien que toute lecture ou écriture sur une page après sa libération (ou avant sa réinitialisation) est détectée et empêchée. Cela neutralise de larges classes de vulnérabilités use-after-free à très faible coût de performance, et efface les données sensibles restées dans les pages libérées afin qu'elles ne fuient pas vers l'allocation suivante.
Ce que vérifie Pavois
Pavois lit la ligne de commande noyau active depuis /proc/cmdline et vérifie la présence de page_poison=1. Elle reflète ce que le noyau en cours a analysé, et non /etc/default/grub, une modification de fichier jamais transformée en config bootloader régénérée passerait à tort un scan basé fichier alors que la mitigation reste inactive.
describe command('cat /proc/cmdline') do
its('stdout') { should match(/(^| )page_poison=1( |$)/) }
end
describe command("grep -hwsF 'page_poison=1' /etc/default/grub /etc/kernel/cmdline /boot/grub/grub.cfg /boot/grub2/grub.cfg /boot/efi/EFI/*/grub.cfg 2>/dev/null") do
its('stdout') { should match(/\S/) }
endComment vérifier qu’elle est appliquée
Lancez cat /proc/cmdline et confirmez la présence de page_poison=1. Lorsqu'il est exposé, l'état d'exécution est lisible dans /sys/module/page_poison/parameters/... selon la version du noyau ; la ligne de boot reste la preuve canonique.
Inspecter et investiguer
Une violation d'empoisonnement apparaît dans le ring buffer noyau comme un rapport de bad page state / corruption, inspectez dmesg | grep -iE 'poison|bad page' ou journalctl -k | grep -iE 'poison|bad page'.
Remédiation
pavois harden apply utilise la ressource kernel_cmdline pour ajouter page_poison=1 à la configuration du bootloader et la régénérer, afin que l'option soit présente au prochain démarrage. Un redémarrage est requis pour qu'il prenne effet.
Pavois applique ceci avec son propre moteur harden, le plan ci-dessous, pas un script shell :
| param | page_poison=1 |
|---|---|
| reboot_required | true |
| resource | kernel_cmdline |
pavois harden plan localoù la cible est local, un alias SSH user@hôte, ou un conteneur , Docs
Impact & précautions
L'empoisonnement de pages a un faible coût CPU, généralement négligeable, pour l'écrasement à la libération. Précautions :
- Sur des charges à très fort renouvellement mémoire, mesurez pour confirmer que le surcoût est acceptable.
- Il peut faire planter des pilotes bogués latents lorsqu'ils touchent des pages libérées, révélant une corruption préexistante plutôt que la causant ; validez d'abord sur un nœud non critique.
- S'applique uniquement après redémarrage, planifiez une fenêtre de maintenance.
Mapping des normes
| Norme | Référence | Type | Version | Confiance |
|---|---|---|---|---|
| ANSSI BP-028 | R8 | direct | 2.0 | haute |
| NIST | CM-6(a) | support | 800-53 Rev 5 · 800-171 Rev 2 (pinned) | moyenne |
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.