> > As it is said, I am new to splint and managed to stumble upon three > questions. > > Could please anybody give me a hint? > > Thanks, Thomas. > > Could you list the warnings you get and what flags you're using.
If you want splint to detect bounds errors then you need to use the +bounds flags or +bounds-read or +bounds-write. > /* Q 1: How can I really get rid of warnings concerning stdio.h? ignore-end > don't do it */ > > /*@ignore@*/ > #include <stdio.h> > /*@end@*/ > > int main > ( > /*@unused@*/ int argc, > /*@unused@*/ char *argv[] > ) > { > char s6[6]; > char s7[7]; > char s8[8]; > struct > { > int i; > long j; > } s; > > (void)strcpy(s6,"8 bytes"); /* Reported correctly */ > (void)strcpy(s7,"8 bytes"); /* Q 2: Why is there _no_ report? */ > (void)strcpy(s8,"8 bytes"); /* No report, correct */ > (void)strcpy(s7,s8); /* Reported correctly */ > (void)memset(s7,'\0',sizeof(s7)); /* No report, correct */ > (void)memset(&s,0,sizeof(s)); /* Q 3: Why _is_ there a report? */ > > return 0; > > } >