State Of the Art of War: Offensive Techniques in Binary Analysis [pdf]
cs.ucsb.edu
cs.ucsb.edu
> 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...