Program Analysis Advanced

!!!COMING SOON!!!

Build the complete pipeline from raw AArch64 machine code to optimized LLVM IR and real program analysis.

Wyvern Advanced includes everything in Wyvern Basic and extends the project into a complete, scriptable binary-analysis framework.

You will first build the full disassembly and semantic lifting pipeline:

Machine Code → Disassembly → Functions → Basic Blocks → CFG → WVIL

Then you will take it further:

WVIL → LLVM IR → Optimization → Backward Slicing → Jump-Table Recovery → C API → Python API

You will implement your own LLVM backend, run LLVM’s optimizer and verifier over lifted code, build backward-slicing analysis, recover switch and jump-table structures, expose the engine through a stable C ABI, and control it from Python using cffi.

The course concludes by examining how the design changes for ARM32/Thumb and instruction-set switching.

This is where IR becomes your program-analysis superpower: instead of reasoning only about individual instructions, you learn to reason about values, expressions, control flow, and program semantics.

All labs run directly in the browser and are ready to use.