NoExec


property NoExec {

  check RSystem.exec (command: String) {

    violation ("Attempt to execute system command: " + command);

  }

}