Posts

SporeCrawler : Binary Taint Analysis with Angr

[Symbolic Execution 0x1] Modeling registers and setting constraints