Symbolic Execution Engine based on Ghidra's PCode - View it on GitHub