|
Server : Apache/2.2.17 (Unix) mod_ssl/2.2.17 OpenSSL/0.9.8e-fips-rhel5 DAV/2 PHP/5.2.17 System : Linux localhost 2.6.18-419.el5 #1 SMP Fri Feb 24 22:47:42 UTC 2017 x86_64 User : nobody ( 99) PHP Version : 5.2.17 Disable Function : NONE Directory : /proc/21571/root/usr/share/splint/lib/ |
Upload File : |
attribute filerw
context reference FILE *
oneof rw_none, rw_read, rw_write, rw_either
annotations
read ==> rw_read
write ==> rw_write
rweither ==> rw_either
rwnone ==> rw_none
merge
rw_read + rw_write ==> rw_none
rw_none + * ==> rw_none
rw_either + rw_read ==> rw_read
rw_either + rw_write ==> rw_write
rw_either + rw_none ==> rw_none
transfers
rw_read as rw_write ==> error "Must reset file between read and write."
rw_write as rw_read ==> error "Must reset file between write and read."
rw_none as rw_read ==> error "File in unreadable state."
rw_none as rw_write ==> error "File in unwritable state."
rw_either as rw_write ==> rw_write
rw_either as rw_read ==> rw_read
end