mario.haustein@hrz.tu-chemnitz.de Mario Haustein sam@gentoo.org Sam James You can use ropper to display information about binary files in different file formats and you can search for gadgets to build rop chains for different architectures. Enable Z3 contraint solver support sashs/Ropper ropper