>
> 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;
>
> }
>
