Our fork of pyQode.core, used as part of angr management - View it on GitHub