SporeCrawler : Binary Taint Analysis with Angr Posted by Keith Makan November 12, 2020 Angr Binary Analysis Reverse Engineering Symbolic Execution Taint Analysis +
[Symbolic Execution 0x1] Modeling registers and setting constraints Posted by Keith Makan December 31, 2019 Angr Binary Analysis CTF ELF Format Linux RE Reverse Engineering Symbolic Execution +