07 July 2023 – Written by Valentin Huber – in Ghidra, cybersecurity, rev, and symbex

For my bachelor’s thesis, Silvan Flum and I developed Ghidrion, a plugin for Ghidra that allows the use of Morion, a suite of tools to use symbolic execution.

The full thesis is here. Ghidrion is open source and can be found on GitHub.