> -----Original Message----- > From: Alexander Mai [mailto:[EMAIL PROTECTED]] > Sent: Wednesday, March 13, 2002 12:46 PM > To: [EMAIL PROTECTED] > Subject: Checking Buffer Sizes > > > 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, ...? >
Yes, you need to use the +boundswrite flag. It seems that the necessary flags are listed in that section of the manual, but for some reason aren't listed in the appendix. David > > --- > Alexander Mai > [EMAIL PROTECTED] > > >