Safety Property: PropertyAccess



property PropertyAccess {
    check RSystem.observeAllProperties () {
        java.lang.SecurityManager security = getSecurityManager ();
        if (security != null) { 
            security.checkPropertiesAccess ();
        }    
    }

    check RSystem.observeProperty (key: String) {
        SecurityManager security = getSecurityManager ();

        // NCheck.debugMessage ("Observe property: " + key);

        if (security != null) { 
            security.checkPropertyAccess (key);
        } else {
            // NCheck.debugMessage ("SECURITY NULL!");
        }
    }

    check RSystem.setAllProperties () {
        SecurityManager security = getSecurityManager ();
        if (security != null) { 
            security.checkPropertiesAccess ();
        }    
    }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science