Safety Property: NoJavaClassLoader

property NoJavaClassLoader {
  check RJavaClass.createClassLoader () {
    violation ("Attempt to create class loader.");
  }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science