Tor actiuCA
Autotest — RedderOSMinimitza (torna a l'escriptori)Tanca (torna a l'escriptori)
// docs

Autotest

redder-selftest comprova, dins del sistema arrencat, que les proteccions estan realment actives. S'executa amb l'entrada Autotest i apaga de GRUB (redderos.selftest=1), imprimeix cada comprovació amb ✔ o ✘ i acaba amb:

text
===== RESULTADO: PASS =====

o FAIL si alguna falla. Després apaga l'ordinador. Els resultats publicats són a Transparència.

Què comprova

BlocComprovació
Estat generalTot el de redder-status: Tor, tallafoc, lockdown, AppArmor, IPv6, arrel a la RAM, swap i MAC.
sysctlCada clau del fitxer d'enfortiment té el valor esperat.
Mòdulsdccp, sctp, tipc, bluetooth, firewire-core, thunderbolt i cramfs no es poden carregar.
AmnèsiaBolcats de memòria a 0 i journal només a la RAM.
Privilegisanon no té sudo.
Disc de l'ordinadorNo hi ha cap partició del disc de l'ordinador muntada.
TorEscolta als ports 9040, 9050 i 5353.
FuitesCom a anon: una connexió TCP directa i una consulta DNS acaben a Tor (pugen els comptadors del tallafoc); ping no surt; un paquet UDP directe es descarta i queda registrat.

Perfils en dues arrencades

Amb redderos.selftest.profiles=create o =check i un disc de proves a /dev/vdb, l'autotest també prova els perfils:

Primera arrencada (create)

  • Inicialitza la cambra cuirassada i crea un perfil a la ranura 5.
  • L'usuari del perfil escriu un fitxer al seu /home i n'és el propietari.
  • En tancar el perfil, l'usuari desapareix del sistema.
  • Coneixement zero: blkid no reconeix res al disc ni a cap de les 8 ranures (ni LUKS ni ext4); ni el nom, ni l'etiqueta, ni el contingut del fitxer no apareixen en clar; no queda rastre a /etc/passwd, /etc/shadow ni /etc/group.

Segona arrencada (check)

  • El sistema no sap que el perfil existeix abans d'obrir-lo.
  • Una frase incorrecta i un perfil inexistent donen exactament el mateix error, i amb la frase incorrecta no es munta res.
  • Amb la frase correcta s'obre i el fitxer de la primera arrencada encara hi és.
  • El /home es munta amb nosuid i nodev.

Proves a QEMU

A la carpeta tests/ del codi del SO. Necessiten qemu-system-x86; per a UEFI, ovmf; per a la prova gràfica, socat i ImageMagick.

Primer, una ISO que arrenqui l'autotest per defecte:

sh
sudo BASE=ubuntu GRUB_DEFAULT=3 ISO_NAME=redderos-selftest ./build.sh
ScriptQuè fa
tests/run-qemu.shArrenca la ISO en BIOS i en UEFI amb un disc «de l'ordinador» que té una partició swap, i comprova que el resultat és PASS (i que aquesta swap no s'utilitza).
tests/run-profiles.shLes dues arrencades de perfils sobre la mateixa cambra cuirassada de 320 MB.
tests/run-gui.shArrenca l'entrada normal de GRUB amb una targeta gràfica VGA estàndard, espera la pantalla d'entrada, prova una frase incorrecta i la correcta, i desa captures.
sh
tests/run-qemu.sh out/redderos-selftest.iso
tests/run-profiles.sh out/redderos-selftest.iso work/iso/casper
tests/run-gui.sh out/redderos-ubuntu-amd64.iso tests/logs/vault.img

Els registres i les captures queden a tests/logs/.

El que l'autotest no cobreix

S'executa a QEMU, amb xarxa simulada. No prova l'arrencada de Tor en una xarxa real, ni maquinari físic (wifi, targetes gràfiques, Secure Boot). La llista de pendents és a Transparència.