Adattamento di CVE-2023-6241 per Google Pixel 7 da Google Pixel 8, tratto da securitylab/SecurityExploits/Android/Mali/CVE_2023_6241
Questo repository illustra come adattare l'exploit pubblicato da securitylab nel suo repository GitHub, funzionante per Google Pixel 8, a un Google Pixel 7.
Prima di iniziare la modifica dell'exploit, è stata fatta l'assunzione che l'exploit originale funzionasse anche per i dispositivi Google Pixel 7 (dopo le patch necessarie), basandosi sull'articolo associato a CVE-2023-6241. Ciò è stato necessario poiché i due dispositivi sembrano diversi (dal punto di vista hardware) (confronto).
Qui sono elencati gli strumenti usati per eseguire l'analisi ed estrarre informazioni o file.
Di seguito viene mostrato come l'obiettivo è stato raggiunto partendo dall'inizio.
Abilitare le opzioni sviluppatore sul dispositivo.
Flashare il dispositivo con la patch di sicurezza corretta (in questo caso una tra UP1A.231105.003, Nov 2023 e UQ1A.240205.002, Feb 2024 entrambe incluse), possibilmente usando Google Chrome e Android flash tool facendo clic su "Flash" nella voce desiderata nella pagina Factory Images for Nexus and Pixel Devices.
Nota 1: usare Android flash tool per flashare i dispositivi può aiutare a risolvere problemi relativi alla versione del bootloader. Questi problemi possono comparire durante un'operazione di flash usando lo script fornito con il file compresso scaricato facendo clic su "Link" nella pagina Factory Images for Nexus and Pixel Devices.
Nota 2: prima di flashare il dispositivo, in Android flash tool spuntare "Force Flash all partition" per ottenere lo stesso risultato dello script.
Scaricare l'immagine Android desiderata facendo clic su "Link" ed estrarre il file boot.img dal file compresso "image-panther.zip" all'interno del file compresso principale "panther-<release>-factory-<primi 8 caratteri dello SHA-256>.zip"
Eseguire ./imjtool.ELF64 boot.img extract. Verrà creata una nuova cartella "extracted" con due file all'interno. 
Eseguire vmlinux-to-elf ./extracted/kernel.decompressed <filename>.elf (per riferimento futuro <filename>.elf sarà Pixel7-kernel.elf). Verrà creato un nuovo file con il nome fornito.
Maggiori informazioni possono essere recuperate dall'articolo GitHub e dal repository GitHub menzionati all'inizio.
Aprire "Pixel7-kernel.elf" con Ghidra. Non è necessario eseguire l'analisi automatica poiché richiede molto tempo e le informazioni possono essere comunque estratte
Aprire la finestra "Symbol table" e cercare i campi di interesse (in questo caso avc_den|sel_read_enforce$|init_cred|^commit_creds$). Il risultato dovrebbe essere simile a questo: 
Andare all'indirizzo della posizione e ottenere lo "Imagebase Offset" per tutti i campi cercati.
Impostare tutti gli offset nell'exploit in base a quanto trovato.
Calcolare il valore di ADD_COMMIT_2311 e ADD_INIT_2311 trovando il valore HEX delle seguenti operazioni rispettivamente add x8, x8, #0xXXX e add x0, x0, #0xYYY usando Online Assembler and Disassembler. Per trovare i valori di XXX e YYY è sufficiente copiare i 12 bit meno significativi rispettivamente da COMMIT_CREDS_2311 e ADD_INIT_2311 (ad es. se ADD_COMMIT_2311 è 0x17f0c8, allora il codice HEX di add x8, x8, #0x0c8 è 0x91032108).
Nota che i valori sono espressi in big-endian, quindi i byte risultanti devono essere invertiti.
Copiare il file GLES_mali.so da /vendor/lib64/egl/libGLES_mali.so (cioè adb pull /vendor/lib64/egl/libGLES_mali.so) e compilare tutto con /home/gobbo/Android/Sdk/ndk/26.1.10909125/toolchains/llvm/prebuilt/linux-x86_64/bin/aarch64-linux-android34-clang -g -DSHELL -DCL_TARGET_OPENCL_VERSION=300 -I. -L. mali_jit_csf.c mem_read_write.c mempool_utils.c -lGLES_mali -o mali_jit_csf.
Nota: solo per coerenza temporale, la versione della libreria OpenCL usata nell'exploit era la più recente disponibile prima della patch di sicurezza che ha corretto la vulnerabilità (cioè versione 2023.04.17)
Caricare ed eseguire l'exploit
adb push ./mali_jit_csf /data/local/tmp
export LD_LIBRARY_PATH=/vendor/lib64/egl
./data/local/tmp/mali_jit_csf