property NoListingFiles {
requires FileNames;
check RFileSystem.observeList (file: RFile) {
violation ("Attempt to snoop around file system by listing directory " +
file.getName ());
}
}
Naccio Home Page
University of Virginia, Computer Science