Intro to angr.

This dojo introduces both the angr-management GUI and angr's Python APIs. You will start by inspecting binaries visually, then move into control-flow graph analysis, decompilation, cross-references, and symbolic execution.

The course is organized into three modules:

• Intro to angr-management: Navigate angr-management, inspect functions and strings, use decompilation, and follow cross-references.
• Understanding CFGs and Decompilation with angr: Load binaries with angr.Project, build CFGs, inspect functions, analyze call graphs, recover references, and query decompiler output.
• Symbolic Execution: Use simulation managers, inspect program state, constrain symbolic input, call functions directly, and hook expensive or unsupported code with SimProcedures.

Each challenge asks you to complete a focused binary-analysis task. Some challenges accept a direct answer, while others ask you to write a small Python solve script using the provided template. Correct solutions yield flags.