A screenshot from Ghidra

Ghidra is a software reverse engineering tool, and it employs an intermediate language called PCode. I’ve written a PCode emulation tool which enables mixed static/dynamic software analysis. It still needs a lot of work, but the talk I gave about it at Saintcon 2019 and the tool are over here at GitHub.