hacktricks/macos-hardening/macos-security-and-privilege-escalation/macos-gcd-grand-central-dispatch.md

11 KiB

macOS GCD - Grand Central Dispatch

☁️ HackTricks Cloud ☁️ -🐦 Twitter 🐦 - 🎙️ Twitch 🎙️ - 🎥 Youtube 🎥

Informations de base

Grand Central Dispatch (GCD), également connu sous le nom de libdispatch, est disponible à la fois sur macOS et iOS. Il s'agit d'une technologie développée par Apple pour optimiser le support des applications pour l'exécution concurrente (multithread) sur du matériel multicœur.

GCD fournit et gère des files d'attente FIFO auxquelles votre application peut soumettre des tâches sous la forme d'objets blocs. Les blocs soumis aux files d'attente de répartition sont exécutés sur un pool de threads entièrement géré par le système. GCD crée automatiquement des threads pour exécuter les tâches dans les files d'attente de répartition et planifie l'exécution de ces tâches sur les cœurs disponibles.

{% hint style="success" %} En résumé, pour exécuter du code en parallèle, les processus peuvent envoyer des blocs de code à GCD, qui se chargera de leur exécution. Par conséquent, les processus ne créent pas de nouveaux threads ; GCD exécute le code donné avec son propre pool de threads. {% endhint %}

Cela est très utile pour gérer avec succès l'exécution parallèle, réduisant considérablement le nombre de threads que les processus créent et optimisant l'exécution parallèle. C'est idéal pour les tâches qui nécessitent une grande parallélisme (brute-forcing ?) ou pour les tâches qui ne doivent pas bloquer le thread principal : par exemple, le thread principal sur iOS gère les interactions de l'interface utilisateur, donc toute autre fonctionnalité qui pourrait faire planter l'application (recherche, accès à un site web, lecture d'un fichier...) est gérée de cette manière.

Objective-C

En Objective-C, il existe différentes fonctions pour envoyer un bloc à exécuter en parallèle :

  • dispatch_async : Soumet un bloc pour une exécution asynchrone sur une file d'attente de répartition et retourne immédiatement.
  • dispatch_sync : Soumet un objet bloc pour exécution et retourne une fois que ce bloc a fini d'être exécuté.
  • dispatch_once : Exécute un objet bloc une seule fois pendant la durée de vie d'une application.
  • dispatch_async_and_wait : Soumet un élément de travail pour exécution et ne retourne qu'une fois qu'il a fini d'être exécuté. Contrairement à dispatch_sync, cette fonction respecte tous les attributs de la file d'attente lorsqu'elle exécute le bloc.

Ces fonctions attendent ces paramètres : dispatch_queue_t queue, dispatch_block_t block

Voici la structure d'un bloc :

struct Block {
void *isa; // NSConcreteStackBlock,...
int flags;
int reserved;
void *invoke;
struct BlockDescriptor *descriptor;
// captured variables go here
};

Et voici un exemple d'utilisation de la parallélisme avec dispatch_async:

dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);

dispatch_async(queue, ^{
    // Code exécuté de manière asynchrone en parallèle
});

Dans cet exemple, la fonction dispatch_async est utilisée pour exécuter du code de manière asynchrone en parallèle. Le paramètre queue spécifie la file d'attente sur laquelle le code sera exécuté. En utilisant la file d'attente globale avec la priorité par défaut, le code sera exécuté en parallèle avec d'autres tâches sur le système.

#import <Foundation/Foundation.h>

// Define a block
void (^backgroundTask)(void) = ^{
// Code to be executed in the background
for (int i = 0; i < 10; i++) {
NSLog(@"Background task %d", i);
sleep(1);  // Simulate a long-running task
}
};

int main(int argc, const char * argv[]) {
@autoreleasepool {
// Create a dispatch queue
dispatch_queue_t backgroundQueue = dispatch_queue_create("com.example.backgroundQueue", NULL);

// Submit the block to the queue for asynchronous execution
dispatch_async(backgroundQueue, backgroundTask);

// Continue with other work on the main queue or thread
for (int i = 0; i < 10; i++) {
NSLog(@"Main task %d", i);
sleep(1);  // Simulate a long-running task
}
}
return 0;
}

Swift

La bibliothèque libswiftDispatch fournit des liaisons Swift vers le framework Grand Central Dispatch (GCD) qui est initialement écrit en C.
La bibliothèque libswiftDispatch enveloppe les API C GCD dans une interface plus conviviale pour Swift, ce qui facilite et rend plus intuitive la collaboration des développeurs Swift avec GCD.

  • DispatchQueue.global().sync{ ... }
  • DispatchQueue.global().async{ ... }
  • let onceToken = DispatchOnce(); onceToken.perform { ... }
  • async await
  • var (data, response) = await URLSession.shared.data(from: URL(string: "https://api.example.com/getData"))

Exemple de code:

import Foundation

// Define a closure (the Swift equivalent of a block)
let backgroundTask: () -> Void = {
for i in 0..<10 {
print("Background task \(i)")
sleep(1)  // Simulate a long-running task
}
}

// Entry point
autoreleasepool {
// Create a dispatch queue
let backgroundQueue = DispatchQueue(label: "com.example.backgroundQueue")

// Submit the closure to the queue for asynchronous execution
backgroundQueue.async(execute: backgroundTask)

// Continue with other work on the main queue
for i in 0..<10 {
print("Main task \(i)")
sleep(1)  // Simulate a long-running task
}
}

Frida

Le script Frida suivant peut être utilisé pour s'interfacer avec plusieurs fonctions dispatch et extraire le nom de la file d'attente, la trace de la pile et le bloc : https://github.com/seemoo-lab/frida-scripts/blob/main/scripts/libdispatch.js

frida -U <prog_name> -l libdispatch.js

dispatch_sync
Calling queue: com.apple.UIKit._UIReusePool.reuseSetAccess
Callback function: 0x19e3a6488 UIKitCore!__26-[_UIReusePool addObject:]_block_invoke
Backtrace:
0x19e3a6460 UIKitCore!-[_UIReusePool addObject:]
0x19e3a5db8 UIKitCore!-[UIGraphicsRenderer _enqueueContextForReuse:]
0x19e3a57fc UIKitCore!+[UIGraphicsRenderer _destroyCGContext:withRenderer:]
[...]

Ghidra

Actuellement, Ghidra ne comprend ni la structure dispatch_block_t ObjectiveC, ni la structure swift_dispatch_block.

Si vous souhaitez qu'il les comprenne, vous pouvez simplement les déclarer :

Ensuite, trouvez un endroit dans le code où ils sont utilisés :

{% hint style="success" %} Notez toutes les références faites à "block" pour comprendre comment vous pourriez déterminer que la structure est utilisée. {% endhint %}

Cliquez avec le bouton droit sur la variable -> Retype Variable et sélectionnez dans ce cas swift_dispatch_block :

Ghidra réécrira automatiquement tout :

☁️ HackTricks Cloud ☁️ -🐦 Twitter 🐦 - 🎙️ Twitch 🎙️ - 🎥 Youtube 🎥