> angr is a suite of python libraries that let you load a binary and do a lot of cool things to it:
Disassembly and intermediate-representation lifting;
Program instrumentation;
Symbolic execution;
Control-flow analysis;
Data-dependency analysis;
Value-set analysis (VSA)
At the current state of maturity, offensive program analysis tools (Angr, Manticore, S2E, Miasm, etc) do much better with CTF problems than large programs or more general tasks - so to my knowledge you won't find any tutorials that build from the ground up in the vain of an intro to a programming language or web framework.
Your best bet is likely to try writing scripts that solve CTF problems, maybe starting with one you've done manually, and refer to official example docs as your guide. Map similar scenarios when possible, read the API docs when not.
6 comments
[ 5.4 ms ] story [ 24.2 ms ] thread> angr is a suite of python libraries that let you load a binary and do a lot of cool things to it: Disassembly and intermediate-representation lifting; Program instrumentation; Symbolic execution; Control-flow analysis; Data-dependency analysis; Value-set analysis (VSA)
Your best bet is likely to try writing scripts that solve CTF problems, maybe starting with one you've done manually, and refer to official example docs as your guide. Map similar scenarios when possible, read the API docs when not.
Example docs: https://github.com/angr/angr-doc/blob/master/docs/examples.m...