> After reading in the manual (Version 3.0.1, 7 January 2002)
> I tried to check some code like given in the manual
>
> int buf[10];
> buf[10] = 3;
>
> and was prepared that Splint 3.0.1.6 would give me some
> warnings/errors. But nothing at all, not even at -strict
> level I saw a related warning.
>
> Do I miss a suitable flag, is the implementation behind
> the documentation, ...?
>
You need to use the flag +bounds to turn on bounds errors.
(You can also use +bounds-write or +bounds-read if you only care about out of
bounds reads or writes.)
>
> ---
> Alexander Mai
> [EMAIL PROTECTED]
>
>
>
