1 2 3 4 5 6 7 8 9 10 11 12 13
/* * Rule: ERR33-C * Source: wiki * Status: FAIL - Should trigger ERR33-C violation */ #include <stdio.h> size_t read_at(FILE *file, long offset, void *buf, size_t nbytes) { fseek(file, offset, SEEK_SET); return fread(buf, 1, nbytes, file); }