Newer
Older
directory file line function property kind status property
. provenance_via_io_percentp_global.c 9 main precondition of rewind Unknown valid_stream: \valid(stream)
. provenance_via_io_percentp_global.c 16 main mem_access Unknown \valid(r)
FRAMAC_SHARE/libc stdio.h 480 rewind precondition Unknown valid_stream: \valid(stream)