I am trying to running 'scan-build' in Juliet suite testcase v1.2 (NIST
indication) to catch some bugs of 'Division by zero' (CWE 369) and I
can't do it, the scan-build can't show me the existing bugs. Did someone
try to do it yet?
I have a doubt that scan-build can identify a bug of division by zero in
this case (when parameter denominator is zero):
int divide (int denominator) {
return 10/denominator;
}
Can someone help me? Is this a deficiency of scan-build? Can scan-build
identify the bugs in Juliet suite?
Thanks in advance!
--
Lucas Kanashiro Duarte
Engenharia de Software - FGA/UnB
kanashiro.dua...@gmail.com
_______________________________________________
cfe-users mailing list
cfe-users@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-users
