Durcir les fonctions str/mem courantes contre les débordements de tampon
Exige que le noyau soit compilé avec CONFIG_FORTIFY_SOURCE=y, ajoutant des contrôles de bornes à la compilation et à l'exécution sur les fonctions str*/mem* courantes.
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
Cette fonctionnalité réduit la probabilité de corruption mémoire des structures du noyau.
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("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_FORTIFY_SOURCE=|PAVOIS_NO_KERNEL_CONFIG)'") do
its('stdout') { should_not match(/PAVOIS_NO_KERNEL_CONFIG/) }
its('stdout') { should match(/^CONFIG_FORTIFY_SOURCE=y$/) }
endComment vérifier qu’elle est appliquée
Exécutez grep '^CONFIG_FORTIFY_SOURCE=' /boot/config-$(uname -r) (ou zcat /proc/config.gz | grep '^CONFIG_FORTIFY_SOURCE='). Sortie attendue : CONFIG_FORTIFY_SOURCE=y. Absente ou # CONFIG_FORTIFY_SOURCE is not set est un échec.
Inspecter et investiguer
Lorsqu'une fonction durcie détecte un débordement, le noyau journalise detected buffer overflow in <func> puis panique : voir dmesg ou journalctl -k | grep -i 'buffer overflow'. Le drapeau de compilation lui-même est silencieux ; confirmez-le avec zcat /proc/config.gz | grep FORTIFY_SOURCE.
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_FORTIFY_SOURCE=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
memcpy, strcpy, strcat et consorts sont la source classique des débordements de tampon : lorsque la taille de destination est connue à la compilation, une copie surdimensionnée écrase silencieusement la mémoire noyau adjacente, ce que les attaquants exploitent pour l'élévation de privilèges. CONFIG_FORTIFY_SOURCE insère des contrôles de taille de sorte qu'un débordement soit intercepté et transformé en panique noyau contrôlée au lieu d'un état corrompu exploitable. Sans cela, toute une classe de bogues de corruption mémoire du noyau reste exploitable silencieusement. C'est une option à la compilation, posée uniquement en démarrant un noyau compilé avec. Précautions : les noyaux de distribution l'activent de plus en plus par défaut ; passer à un noyau durci change l'ABI des modules, donc vérifiez le chargement des pilotes et surveillez dmesg pour des paniques detected buffer overflow (qui indiquent un vrai bogue intercepté, pas une fausse alerte) durant un test d'endurance hors production. 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 | 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.