Hi,
Am just trying out this small piece of code whether the splint can
check the for loop logic expression boundary check.
If you see, the following for loop leads into infinite loop condition.
When i tried +inf-loops Or +loop-exec Or +for-loop-exec,
i was't given any warnings...
Could the splint checks the following kind of areas?
I used splint - 3.1.1 version
-------snippet---------------------
/[EMAIL PROTECTED]@*/
int f(void)
{
int i;
int j;
for (i=0;i<2;)
j = 2;
return 0;
}
-------snippet--------------------
Best regards,
srinivas.
_______________________________________________
splint-discuss mailing list
[email protected]
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
