document that the WeakFilePermissions access predicate should return at most one value

This commit is contained in:
Alex Ford
2021-05-13 13:06:45 +01:00
parent 89be8d8710
commit 0d1c4a1290

View File

@@ -40,6 +40,8 @@ bindingset[p]
string access(int p) {
p.bitAnd(2) != 0 and result = "writable"
or
// report only the "most permissive" permission, i.e. report the file as
// readable only if it is not also writable
p.bitAnd(2) = 0 and p.bitAnd(4) != 0 and result = "readable"
}