> Just ensure the invariant function is called at every method
You make this sound way easier than I would expect it to be in the general case.
You make this sound way easier than I would expect it to be in the general case.
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!
DCHECK(myInvariants());