A javac plugin that turns the native-memory rules of a TeaVM C-backend project (pointers do not outlive their scope, no Address.ofData, scoped allocation, raw access only where marked) into compile errors. Compile time only: it adds nothing to the program it checks. No dependencies beyond the JDK's own jdk.compiler API.