They're suggesting you write the output of the codegen shown in the image here: https://gavinray97.github.io/static/images/ghidra-check-invariants.png https://

They're suggesting you write the output of the codegen shown in the image here: https://gavinray97.github.io/static/images/ghidra-check-invariants.png https://gavinray97.github.io/static/images/ghidra-check-inva... Yeah you totally could, and before writing this plugin it's what I was doing, haha. As there is a human involved, it is very error prone though, and boy is it tedious!