trollson Report post Posted September 13, 2005 (edited) I hope this might be of use... Coverity analysis of elc Updated 2005-10-07 The evaluation license I was using for this product has now expired, so there will be no further checks until/if we take the full product. History 2005-09-13 : 48 bugs 2005-09-16 : 13 bugs 2005-09-23 : 5 bugs 2005-09-30 : 4 bugs (no new bugs) 2005-10-07 : Evaluation license expired! Edited October 7, 2005 by trollson Share this post Link to post Share on other sites
Wytter Report post Posted September 13, 2005 Thank you Share this post Link to post Share on other sites
trollson Report post Posted September 13, 2005 ...just too late as always Share this post Link to post Share on other sites
Entropy Report post Posted September 13, 2005 Can you please post the results in a plain html file, so we won't have to download and uncompress? thanks! Share this post Link to post Share on other sites
Grum Report post Posted September 13, 2005 (edited) Nice toy. working on the results. It did manage to catch some possibly dangerous situations. EDIT: I fixed nearly all of the bugs found by coverity. It's pretty decent, as far as i could see there was only one instance where it reported a bug where there was none. Edited September 13, 2005 by Grum Share this post Link to post Share on other sites
trollson Report post Posted September 13, 2005 (edited) There are some 50 html files, interlinked, so it has to be posted as a bundle. It will get false positives, but I have evaluated a lot of code analysers and it seems about the best so far (essentially static code). For example, I have run it on a our codebase which is several million lines. This was an evaluation version, so was limited to ~10000 (?) paths through any function. It reached this on a couple of functions in this code! Duh! I could have copied the uncompressed directory to my webspace and provided a link to that, for casual viewing, as well as the bundle, which may have satisfied Entropy's request. Edited September 14, 2005 by trollson Share this post Link to post Share on other sites
Grum Report post Posted September 14, 2005 I'm happy to be able to say that this toy has also found the cause of the draegoni/blue cape bug. Once I've cleaned up actor_scripts.c and committed it, that should be fixed too. Share this post Link to post Share on other sites
ttlanhil Report post Posted September 14, 2005 I'm happy to be able to say that this toy has also found the cause of the draegoni/blue cape bug. Once I've cleaned up actor_scripts.c and committed it, that should be fixed too. 196533[/snapback] sweet! (and I'm guessing the capes on the short people as well?) Share this post Link to post Share on other sites
Grum Report post Posted September 14, 2005 sweet! (and I'm guessing the capes on the short people as well?) 196546[/snapback] Yes (at least dwarves look okay) Share this post Link to post Share on other sites
trollson Report post Posted September 16, 2005 Updated from CVS today Coverity analysis of elc Updated 2005-09-16 The potential bugs break down into the following categories: 1 CHECKED_RETURN 1 DEADCODE 2 FORWARD_NULL 1 NEGATIVE_RETURNS 4 OVERRUN_STATIC 1 PASS_BY_VALUE 2 UNINIT 1 UNUSED_VALUE The results 196243[/snapback] Share this post Link to post Share on other sites
Grum Report post Posted September 16, 2005 Thank you, I have again addressed most of these. Share this post Link to post Share on other sites
trollson Report post Posted September 23, 2005 Updated 2005-09-23 The potential bugs break down into the following categories: 1 CHECKED_RETURN 1 DEADCODE 2 OVERRUN_STATIC 1 UNUSED_VALUE The results Only five "bugs" found, which may be false positives left from previous runs. Share this post Link to post Share on other sites
Grum Report post Posted September 23, 2005 one new issue, thanks. Share this post Link to post Share on other sites
trollson Report post Posted September 30, 2005 Updated 2005-09-30 The potential bugs break down into the following categories: 1 CHECKED_RETURN 2 OVERRUN_STATIC 1 UNUSED_VALUE The results No new bugs detected I assume that the four remaining bugs are false positives (even the buffer overflows?). Share this post Link to post Share on other sites
trollson Report post Posted October 7, 2005 Updated 2005-10-07 The evaluation license I was using for this product has now expired, so there will be no further checks until/if we take the full product. Share this post Link to post Share on other sites