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