News for hackers. Stuff that matters.
Re:Adding “invariant” clauses to C++ via GCC plugin to enabl... by gavinray on Sunday January 01, 2023 @07:07PM (#34212636)
They're suggesting you write the output of the codegen shown in the image here:

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!

There are no comments on this comment yet.