This file is indexed.

/usr/share/splint/lib/filerw.xh is in splint-data 1:3.1.2+dfsg-1build1.

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
extern /*@rweither@*/ FILE *fopen (const char *filename, const char *mode) ;

extern int fgetc (/*@read@*/ FILE *f) ;
extern int fputc (int, /*@write@*/ FILE *f) ;

/* fseek resets the rw state of a stream */
int fseek (/*@rweither@*/ FILE *stream, long int offset, int whence) 
  /*@ensures rweither stream@*/ ;