Please sit on the right half of the room
--->
Fundamentally: debuggers only explore a single path of execution. We might want to reason about program logic.
Disassemblers implement analyses that are helpful when reverse engineering compiled software
There are many disassemblers, most are either expensive, missing features, or unreliable
Disassembly
Decompiler
Sections
Functions
Data Types
Console
Toolbar
Input Program
Disassembly
CFG Generation
Data flow analysis
Lift to C
Lift to p-code
Expression simplification
Type Inference