/usr/share/splint/lib/file.mts is in splint-data 3.1.2.dfsg1-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | attribute openness
context reference FILE *
oneof closed, open, anyopen
annotations
open ==> open
closed ==> closed
anyopen ==> anyopen
merge
open + closed ==> error
transfers
open as closed ==> error
closed as open ==> error
losereference
open ==> error "open file not closed"
defaults
reference ==> open
parameter ==> open
result ==> open
end
|