@PawelK This tool is largely going to be for analysis. The results can be fed into Ghidra as a new processor if it is complete enough. The tool will have to run an indefinite number of times to get enough information. It should be sufficient as long as it doesn't have to face off against Multiclet/FPGA or custom RISC-V/FPGA.
@PawelK I would just like to make a new tool.
@AmpBenzScientist
Sounds like very noble set of goals for a project.