property NoObserveFiles { // Don't allow any snooping around the file system
requires FileNames;
check RFileSystem.observeProperty (file: RFile),
RFileSystem.observeList (file: RFile) {
violation ("Attempt to snoop around file system: " + file.getName ());
}
}
Naccio Home Page
University of Virginia, Computer Science