Comptes-rendus de CTF

Salut, je suis Sean et j'aime résoudre des problèmes de CTF pendant mon temps libre. Mon poste actuel m'amène à faire beaucoup d'exploitation binaire et de rétro-ingénierie logicielle, donc j'ai tendance à me concentrer sur ces catégories. La plupart des comptes-rendus que je vois en ligne sont mauvais et j'espère que ceux-ci feront un meilleur travail pour expliquer certains des concepts fondamentaux.

Dans toutes mes solutions, j'essaie au maximum d'inclure une solution reproductible écrite avec pwntools. Ce ne sont pas les flags qui comptent, mais le chemin qui nous a menés au flag.

J'espère que cela ne vieillira pas comme du lait, mais j'ai aussi essayé de faire quelques vidéos de démonstration de certains de ces problèmes de CTF. Vous pouvez les visionner sur YouTube.

Voici une liste de sujets courants sur l'accès Unix et les défis CTF qui s'y rapportent.

Connaissances sur l'accès Unix

Classes de vulnérabilités

Démontrer la capacité à exploiter des classes de vulnérabilités

• Écrire du shellcode fonctionnel à partir de zéro et montrer toutes les étapes pour écrire le shellcode :
  • level-0, level-1
• Débordement de tampon de pile avec et sans les atténuations suivantes : randomisation de l'espace d'adressage (ASLR), mémoire non exécutable (NX) et canaris de pile :
  • clutter-overflow
  • heres-a-libc
  • stack-cache
  • hidden-flag-function
  • hidden-flag-function-parameters
• Débordement de tampon tas en utilisant le grooming de tas et des objets avec des pointeurs de fonction :
  • are-you-root
• Débordement de tampon tas en corrompant les structures de données du tas :
  • unsubscriptions-are-free
• Use-Après-Libération (UAF) avec des objets contenant des pointeurs de fonction :
  • are-you-root
• UAF avec des objets permettant une primitive de lecture/écriture arbitraire :
  • cache-me-outside
• Vulnérabilités de confusion de type de données
• Vulnérabilités de chaîne de format pour une primitive de lecture/écriture arbitraire :
  • stonks
  • got_hax
  • flag-leak
• Comment les variables non initialisées peuvent être utilisées pour l'exploitation :
  • are-you-root
  • stack-cache

Démontrer la capacité à implémenter des primitives d'exploitation

• Primitive d'écriture arbitraire :
  • got_hax
• Primitive d'écriture relative :
  • cache-me-outside
• Primitive de lecture arbitraire :
  • got_hax
• Comment les primitives peuvent être chaînées pour construire une exploitation
• Comment une primitive d'écriture peut être utilisée pour élever les privilèges/exécuter du code arbitraire :
  • got_hax

Décrire le but et la structure des structures de liaison ELF suivantes et comment elles peuvent être abusées dans l'exploitation binaire

• Table de liaison procédurale (PLT) :
  • got_hax
• Table des décalages globaux (GOT) :
  • got_hax

Décrire les modes de relocalisation dynamique suivants en termes d'interaction avec les structures de données PLT/GOT, et comment les primitives d'exploitation diffèrent entre eux

• RELRO partiel :
  • got_hax
• RELRO complet :
  • got_hax

Démontrer la capacité à implémenter ROP/JOP pour

• Trouver des gadgets ROP/JOP :
  • guessing-game-1
• Appeler des fonctions libc et des appels système :
  • heres-a-libc
  • guessing-game-1
• Chaîner des gadgets pour exécuter du code :
  • guessing-game-1
• Exécuter du shellcode arbitraire

Décrire le but et l'implémentation des atténuations d'exploitation

• ASLR
• Data Execution Prevention (DEP)/NX :
  • heres-a-libc
  • guessing-game-1
• Exécutables indépendants de la position (PIE)
• Comment les PIE affectent l'exploitation
• Canaris de pile :
  • guessing-game-1
• Déliement sécurisé de liste

Ingénierie inverse logicielle

Comparer et contraster les techniques et cas d'utilisation de

• Ingénierie inverse statique :
  • baby-c
  • wizardlike
• Ingénierie inverse dynamique :
  • heres-a-libc
  • wizardlike

Démontrer une familiarité dans l'utilisation des types d'outils suivants pour effectuer de l'ingénierie inverse statique et dynamique

• Désassembleurs statiques
  • baby-c
  • wizardlike
• Débogueurs
  • wizardlike
• Techniques d'automatisation utilisant les outils ci-dessus

Techniques de fuzzing

• Techniques de fuzzing aveugle
• Fuzzing basé sur la couverture de code
• Exécution symbolique
  • sum-o-primes

Articles de blog CTF que je trouve utiles

• Executable Stacks