macOS Launch/Environment Constraints & Trust Cache
Learn & practice AWS Hacking:HackTricks Training AWS Red Team Expert (ARTE)
Learn & practice GCP Hacking:
HackTricks Training GCP Red Team Expert (GRTE)
Informazioni di base
I vincoli di avvio in macOS sono stati introdotti per migliorare la sicurezza regolando come, chi e da dove un processo può essere avviato. Introdotti in macOS Ventura, forniscono un framework che categorizza ogni binario di sistema in distinte categorie di vincolo, definite all'interno della trust cache, un elenco contenente i binari di sistema e i loro rispettivi hash. Questi vincoli si estendono a ogni binario eseguibile all'interno del sistema, comportando un insieme di regole che delineano i requisiti per l'avvio di un particolare binario. Le regole comprendono vincoli autoimposti che un binario deve soddisfare, vincoli parentali che devono essere soddisfatti dal suo processo padre e vincoli di responsabilità a cui devono attenersi altre entità rilevanti.
Il meccanismo si estende alle app di terze parti attraverso i Vincoli di Ambiente, a partire da macOS Sonoma, consentendo agli sviluppatori di proteggere le loro app specificando un insieme di chiavi e valori per i vincoli di ambiente.
Definisci vincoli di ambiente e libreria di avvio in dizionari di vincoli che salvi in file di elenco di proprietà launchd
, o in file di elenco di proprietà separati che utilizzi nella firma del codice.
Ci sono 4 tipi di vincoli:
Vincoli Autoimposti: Vincoli applicati al binario in esecuzione.
Processo Padre: Vincoli applicati al genitore del processo (ad esempio
launchd
che esegue un servizio XP)Vincoli di Responsabilità: Vincoli applicati al processo che chiama il servizio in una comunicazione XPC
Vincoli di caricamento della libreria: Usa i vincoli di caricamento della libreria per descrivere selettivamente il codice che può essere caricato
Quindi, quando un processo cerca di avviare un altro processo — chiamando execve(_:_:_:)
o posix_spawn(_:_:_:_:_:_:)
— il sistema operativo verifica che il file eseguibile soddisfi il proprio vincolo autoimposto. Controlla anche che l'eseguibile del processo padre soddisfi il vincolo parentale dell'eseguibile e che l'eseguibile del processo responsabile soddisfi il vincolo di responsabilità dell'eseguibile. Se uno di questi vincoli di avvio non è soddisfatto, il sistema operativo non esegue il programma.
Se durante il caricamento di una libreria qualsiasi parte del vincolo della libreria non è vera, il tuo processo non carica la libreria.
Categorie LC
Un LC è composto da fatti e operazioni logiche (e, o..) che combinano fatti.
I fatti che un LC può utilizzare sono documentati. Ad esempio:
is-init-proc: Un valore booleano che indica se l'eseguibile deve essere il processo di inizializzazione del sistema operativo (
launchd
).is-sip-protected: Un valore booleano che indica se l'eseguibile deve essere un file protetto da System Integrity Protection (SIP).
on-authorized-authapfs-volume:
Un valore booleano che indica se il sistema operativo ha caricato l'eseguibile da un volume APFS autorizzato e autenticato.on-authorized-authapfs-volume
: Un valore booleano che indica se il sistema operativo ha caricato l'eseguibile da un volume APFS autorizzato e autenticato.Volume Cryptexes
on-system-volume:
Un valore booleano che indica se il sistema operativo ha caricato l'eseguibile dal volume di sistema attualmente avviato.Dentro /System...
...
Quando un binario Apple è firmato, viene assegnato a una categoria LC all'interno della trust cache.
Le categorie LC di iOS 16 sono state invertite e documentate qui.
Le attuali categorie LC (macOS 14 - Somona) sono state invertite e le loro descrizioni possono essere trovate qui.
Ad esempio, la Categoria 1 è:
(on-authorized-authapfs-volume || on-system-volume)
: Deve trovarsi nel volume di sistema o Cryptexes.launch-type == 1
: Deve essere un servizio di sistema (plist in LaunchDaemons).validation-category == 1
: Un eseguibile del sistema operativo.is-init-proc
: Launchd
Reversing LC Categories
Hai ulteriori informazioni a riguardo qui, ma fondamentalmente, sono definiti in AMFI (AppleMobileFileIntegrity), quindi devi scaricare il Kernel Development Kit per ottenere il KEXT. I simboli che iniziano con kConstraintCategory
sono quelli interessanti. Estraendoli otterrai uno stream codificato DER (ASN.1) che dovrai decodificare con ASN.1 Decoder o la libreria python-asn1 e il suo script dump.py
, andrivet/python-asn1 che ti darà una stringa più comprensibile.
Environment Constraints
Questi sono i Launch Constraints impostati configurati in applicazioni di terze parti. Lo sviluppatore può selezionare i fatti e operatori logici da utilizzare nella sua applicazione per limitare l'accesso a se stesso.
È possibile enumerare i Environment Constraints di un'applicazione con:
Trust Caches
In macOS ci sono alcuni cache di fiducia:
/System/Volumes/Preboot/*/boot/*/usr/standalone/firmware/FUD/BaseSystemTrustCache.img4
/System/Volumes/Preboot/*/boot/*/usr/standalone/firmware/FUD/StaticTrustCache.img4
/System/Library/Security/OSLaunchPolicyData
E in iOS sembra che si trovi in /usr/standalone/firmware/FUD/StaticTrustCache.img4
.
Su macOS in esecuzione su dispositivi Apple Silicon, se un binario firmato da Apple non è nel cache di fiducia, AMFI rifiuterà di caricarlo.
Enumerating Trust Caches
I precedenti file di cache di fiducia sono nel formato IMG4 e IM4P, essendo IM4P la sezione payload di un formato IMG4.
Puoi usare pyimg4 per estrarre il payload dei database:
(Un'altra opzione potrebbe essere utilizzare lo strumento img4tool, che funzionerà anche su M1 anche se il rilascio è vecchio e per x86_64 se lo installi nelle posizioni appropriate).
Ora puoi utilizzare lo strumento trustcache per ottenere le informazioni in un formato leggibile:
La cache di fiducia segue la seguente struttura, quindi la categoria LC è la quarta colonna
Then, you could use a script such as this one to extract data.
From that data you can check the Apps with a launch constraints value of 0
, which are the ones that aren't constrained (check here for what each value is).
Mitigazioni degli attacchi
Le Launch Constraints avrebbero mitigato diversi attacchi vecchi assicurandosi che il processo non venga eseguito in condizioni inaspettate: Ad esempio, da posizioni inaspettate o invocato da un processo padre inaspettato (se solo launchd dovrebbe lanciarlo).
Inoltre, le Launch Constraints mitigano anche gli attacchi di downgrade.
Tuttavia, non mitigano gli abusi comuni di XPC, iniezioni di codice Electron o iniezioni di dylib senza validazione della libreria (a meno che gli ID team che possono caricare librerie non siano noti).
Protezione del Demone XPC
Nella release di Sonoma, un punto notevole è la configurazione della responsabilità del servizio demone XPC. Il servizio XPC è responsabile di se stesso, a differenza del client connesso che è responsabile. Questo è documentato nel rapporto di feedback FB13206884. Questa configurazione potrebbe sembrare difettosa, poiché consente alcune interazioni con il servizio XPC:
Avvio del Servizio XPC: Se considerato un bug, questa configurazione non consente di avviare il servizio XPC tramite codice dell'attaccante.
Connessione a un Servizio Attivo: Se il servizio XPC è già in esecuzione (possibilmente attivato dalla sua applicazione originale), non ci sono barriere per connettersi ad esso.
Sebbene l'implementazione di vincoli sul servizio XPC possa essere vantaggiosa ristretta la finestra per potenziali attacchi, non affronta la preoccupazione principale. Garantire la sicurezza del servizio XPC richiede fondamentalmente di validare efficacemente il client connesso. Questo rimane l'unico metodo per rafforzare la sicurezza del servizio. Inoltre, vale la pena notare che la configurazione di responsabilità menzionata è attualmente operativa, il che potrebbe non allinearsi con il design previsto.
Protezione Electron
Anche se è richiesto che l'applicazione debba essere aperta da LaunchService (nei vincoli dei genitori). Questo può essere ottenuto utilizzando open
(che può impostare variabili di ambiente) o utilizzando l'API dei Servizi di Lancio (dove possono essere indicate le variabili di ambiente).
Riferimenti
Learn & practice AWS Hacking:HackTricks Training AWS Red Team Expert (ARTE)
Learn & practice GCP Hacking:
HackTricks Training GCP Red Team Expert (GRTE)
Last updated