Cursus Software Reverse Engineering

Les 1 • Het RE-lab opzetten

Begeleidt studenten bij het bouwen van een geïsoleerde analyseomgeving met virtuele machines en essentiële tools. Zorgt voor een veilige, reproduceerbare werkruimte voor alle oefeningen.

Les 2 • Juridische en ethische grenzen

Behandelt autorisatievereisten, richtlijnen voor verantwoorde openbaarmaking en ethisch gedrag. Grondvest studenten in professionele normen voordat hands-on werk begint.

Les 3 • Wat is reverse engineering

Definieert reverse engineering, de doelen ervan en de rol in beveiligingsonderzoek en softwareanalyse. Stelt de woordenschat vast die gedurende de cursus wordt gebruikt.

Les 4 • Essentiële computerarchitectuur

Bespreekt CPU-registers, geheugenindeling en de ophaal-decodeer-uitvoercyclus. Biedt het hardware-mentale model dat nodig is om gedemonteerde code te interpreteren.

Les 1 • x86-64-verschillen en -uitbreidingen

Belicht registeruitbreiding, RIP-relatieve adressering en SIMD-basisbeginselen in 64-bits modus. Bereidt studenten voor op moderne 64-bits binaries die in de praktijk worden aangetroffen.

Les 2 • Grondslagen van de x86-instructieset

Bespreekt dataverplaatsings-, rekenkundige en logische instructies met geannoteerde voorbeelden. Vormt de leeswoordenschat die nodig is voor al het komende demontagewerk.

Les 3 • De stack en aanroepconventies

Geeft details over hoe functies argumenten doorgeven, registers bewaren en waarden retourneren bij belangrijke aanroepconventies. Cruciaal voor het nauwkeurig begrijpen van gedecompileerde uitvoer.

Les 4 • Besturingsstroominstructies

Legt voorwaardelijke en onvoorwaardelijke sprongen, lussen en CALL/RET-mechanica uit. Studenten leren programmalogica te reconstrueren uit ruwe instructiereeksen.

Les 1 • Symbolen annoteren en hernoemen

Bespreekt systematisch hernoemen van functies, variabelen en datastructuren om een leesbaar model te bouwen. Verbetert direct de analysesnelheid en vermindert de cognitieve belasting.

Les 2 • Navigeren door codegrafen

Leert het gebruik van controlestroomgrafen, callgrafen en kruisverwijzingen om de analyse te sturen. Maakt efficiënte navigatie door grote, onbekende codebases mogelijk.

Les 3 • String- en importanalyse

Extraheert betekenisvolle strings, geïmporteerde API's en bibliotheeksignaturen om programmagedrag af te leiden. Biedt snelle triage voordat diepgaande code-analyse begint.

Les 4 • Statische analysetaken scripten

Introduceert automatisering van repetitieve statische taken met behulp van disassembler-scripting-API's. Studenten schrijven scripts die op schaal hernoemen, annoteren en gegevens extraheren.

Les 1 • Anti-debug-detectie en -omzeiling

Identificeert veelvoorkomende anti-debug-trucs en demonstreert betrouwbare omzeilingsmethoden. Bereidt studenten voor op geharde doelwitten die in de praktijk worden aangetroffen.

Les 2 • Uitvoering traceren en loggen

Gebruikt instructie-level tracing en API-logging om volledige uitvoeringsgeschiedenissen vast te leggen. Vult breekpuntanalyse aan voor niet-deterministische of multi-threaded doelwitten.

Les 3 • Debugger architectuur en concepten

Legt uit hoe debuggers zich aan processen hechten, uitzonderingen afhandelen en de uitvoering beheersen. Biedt het conceptuele model dat nodig is om elke debugger effectief te gebruiken.

Les 4 • Programmastatus inspecteren

Leert het lezen van registers, geheugen en de call-stack tijdens runtime om statische bevindingen te verifiëren. Studenten correleren live-status met demontage om codegedrag te bevestigen.

Les 1 • Omgaan met compileroptimalisaties

Identificeert inlining, loop-unrolling en strength reduction-artefacten in gedecompileerde uitvoer. Studenten leren optimalisaties mentaal ongedaan te maken om de oorspronkelijke logica te herstellen.

Les 2 • Datastructuren herstellen

Reconstrueert structs, unions en klasse-indelingen op basis van toegangspatronen in gedecompileerde code. Nauwkeurig structuurherstel is essentieel voor het begrijpen van objectgeoriënteerde doelwitten.

Les 3 • Objectgeoriënteerde code decompileren

Behandelt C++ name mangling, virtuele dispatch en RTTI om klassehierarchieën te herstellen. Breidt decompilatievaardigheden uit naar de meerderheid van moderne gecompileerde software.

Les 4 • Hoe decompilers werken

Legt het liften naar tussenrepresentatie, typeherstel en pseudocodegeneratie uit. Stelt realistische verwachtingen voor de kwaliteit en beperkingen van decompileruitvoer.

Les 1 • Virtualisatiegebaseerde obfuscatie

Introduceert aangepaste VM-beschermers, bytecode-dispatch-loops en handler-identificatie. Studenten ontwikkelen een methodologie voor het gedeeltelijk omkeren van VM-beveiligde code.

Les 2 • String- en data-obfuscatie

Bespreekt XOR-codering, stackgebaseerde stringconstructie en aangepaste ontsleutelingsroutines. Studenten extraheren automatisch en handmatig leesbare strings uit geobfusceerde samples.

Les 3 • Geautomatiseerde deobfuscatiesbenaderingen

Past symbolische uitvoering en taint-analyse toe om deobfuscatie op schaal te automatiseren. Overbrugt handmatige technieken met tool-ondersteunde workflows voor complexe doelwitten.

Les 4 • Taxonomie van code-obfuscatie

Catalogueert junk-insertie, ondoorzichtige predikaten, controlestroomafvlakking en substitutie. Geeft studenten een classificatiekader voor het herkennen van obfuscatie op zicht.

Les 1 • Fuzzing-integratie met RE-bevindingen

Gebruikt RE-afgeleide kennis om gerichte fuzzing-harnassen en seed-corpora te bouwen. Combineert statisch inzicht met dynamisch fuzzen om de ontdekking van kwetsbaarheden te maximaliseren.

Les 2 • Identificatie van cryptografische zwakheden

Herkent zwakke algoritmen, onjuist sleutelbeheer en aangepaste crypto via statische analyse. Studenten beoordelen cryptografische beveiliging zonder toegang tot de broncode.

Les 3 • Logica- en authenticatiefouten

Lokaliseert authenticatie-omzeilingen, onjuiste toestandsovergangen en race conditions via codebeoordeling. Toont aan dat logische fouten net zo gevaarlijk zijn als geheugenbugs.

Les 4 • Kwetsbaarheden documenteren en rapporteren

Structureert kwetsbaarheidsrapporten met reproductiestappen, root-cause-analyse en impactbeoordelingen. Produceert professionele deliverables die geschikt zijn voor verantwoorde openbaarmaking.

Les 1 • Een gestructureerde RE-methodologie ontwerpen

Stelt een herhaalbare triage-tot-diepgaande-workflow voor onbekende binaries vast. Vermindert verspilde inspanning en zorgt voor consistente dekking bij grote doelwitten.

Les 2 • Symbolische en concolische uitvoering

Past constraint solving toe om uitvoeringspaden te verkennen en automatisch gerichte invoer te genereren. Breidt handmatige analyse uit naar paddekkingsproblemen die te groot zijn voor handmatige beoordeling.

Les 3 • Binair diffen en patch-analyse

Vergelijkt binaire versies om gepatchte functies te isoleren en gefixeerde kwetsbaarheden af te leiden. Essentieel voor patch-gap-analyse en regressiebeveiligingstesten.

Les 4 • Dynamische instrumentatieframeworks

Gebruikt dynamische binaire instrumentatie om analyselogica bij runtime in te voegen zonder broncode. Maakt dekkingsmeting, taint-tracking en aangepaste tracing op schaal mogelijk.