Symbolic execution plugin for binary ninja - View it on GitHub