Safety Property: NoListingFiles

property NoListingFiles {
  requires FileNames;
  check RFileSystem.observeList (file: RFile) {
    violation ("Attempt to snoop around file system by listing directory " + 
               file.getName ());
  }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science