Effectuer la validation complète des compteurs de références
Exige que le noyau soit compilé avec CONFIG_REFCOUNT_FULL=y afin que toutes les opérations refcount_t soient entièrement validées et saturent en cas de débordement.
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
Le comptage de références protège contre diverses conditions d'utilisation après libération (use-after-free) exploitables dans des failles de sécurité. Avec CONFIG_REFCOUNT_FULL, le noyau effectue une vérification complète des opérations refcount_t et sature au lieu de déborder : un compteur qui déborde (souvent forcé par un attaquant) ne peut pas atteindre zéro prématurément et provoquer une libération anticipée d'un objet encore référencé, voie classique vers une élévation de privilèges par use-after-free. Remarque : sur les noyaux récents (5.5+), cette protection est intégrée d'office à l'arithmétique et l'option dédiée a été supprimée ; le contrôle est donc surtout pertinent sur les noyaux plus anciens du périmètre.
Ce que vérifie Pavois
Pavois lit les options de compilation du noyau en cours d'exécution, grep '^CONFIG_REFCOUNT_FULL=' /boot/config-$(uname -r) ou zcat /proc/config.gz, et exige y. Lire la configuration du noyau réellement démarré (indexée sur uname -r) reflète exactement le noyau démarré, ce qu'un nom de paquet ou un fichier générique ne peut garantir.
only_if('option exists (removed in kernel >= 5.5)') { command('grep -q REFCOUNT_FULL /boot/config-$(uname -r)').exit_status == 0 }
describe command("grep -h '^CONFIG_REFCOUNT_FULL=' /boot/config-$(uname -r) 2>/dev/null; zcat /proc/config.gz 2>/dev/null | grep '^CONFIG_REFCOUNT_FULL='") do
its('stdout') { should match(/^CONFIG_REFCOUNT_FULL=y$/) }
endComment vérifier qu’elle est appliquée
Exécutez grep '^CONFIG_REFCOUNT_FULL=' /boot/config-$(uname -r) (ou zcat /proc/config.gz | grep CONFIG_REFCOUNT_FULL). Sortie attendue :
CONFIG_REFCOUNT_FULL=y
Sur les noyaux 5.5 et ultérieurs, le symbole n'existe plus car la vérification complète des compteurs est inconditionnelle.
Inspecter et investiguer
Il n'y a pas d'entrée de journal courante. Une violation de compteur est signalée à l'exécution par un avertissement noyau dans dmesg / journalctl -k (recherchez des traces WARNING de débordement/sous-débordement refcount_t). Confirmez l'option de compilation avec grep CONFIG_REFCOUNT_FULL /boot/config-$(uname -r).
Remédiation
Il s'agit d'une option de compilation du noyau, Pavois ne fournit donc aucune étape de durcissement automatique. Elle est satisfaite en démarrant un noyau de distribution compilé avec CONFIG_REFCOUNT_FULL=y, ou en exécutant un noyau 5.5+ où la protection est toujours active ; un noyau personnalisé doit être recompilé.
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
En son absence (sur un noyau assez ancien pour exposer l'option), les débordements de refcount_t peuvent boucler silencieusement et permettre une exploitation use-after-free. Précautions : la vérification complète des compteurs ajoute un coût minime par opération mais est activée dans les noyaux standards et sûre à adopter. Sur les noyaux modernes (5.5+), rien à changer, le contrôle constate volontairement l'absence du symbole car le comportement est intégré. Aucun risque de redémarrage au-delà du changement de noyau habituel.
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.