Safety Property: CheckExec



property CheckExec {
    check RSystem.exec (command: String) {
        SecurityManager security = getSecurityManager ();
    
        if (security != null) {
            security.checkExec (command);
        }
    }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science