zeratool (pypi): Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
Keywords: aeg|angr|buffer-overflow|ctf|shellcode|solver