property LimitObserveFiles (n: int) {
requires FileObservationCount, FileNames;
check RFileSystem.observeProperty (file: RFile) {
if (nobservations > n) {
violation ("File snooping limit (" + n +
") exceeded. Trying to observe: " + file.getName ());
}
}
}
Naccio Home Page
University of Virginia, Computer Science