k3170makan/sporecrawler
SporeCrawler is a front-end for Angr (for Python) that forwards useful symbolic execution base functionality for debugger. It includes a gdb plugin set that allows you to use it in a live debugging session with gdb.
GitLab repository with 8 stars and 1 forks.
Language: Python