http://bugs.winehq.org/show_bug.cgi?id=17112
Summary: Wine has bugs which can be found using Coverity's static analysis tool Product: Wine Version: 1.1.13 Platform: Other URL: http://scan.coverity.com OS/Version: other Status: NEW Severity: normal Priority: P2 Component: -unknown AssignedTo: wine-bugs@winehq.org ReportedBy: dank@kegel.com
At the moment, Coverity reports 108 uninspected warnings and 86 confirmed bugs on the Wine source tree.
Nobody knows how important they are; most probably don't matter much, but a few could be serious. We should probably at least triage all the uninspected warnings, and it would be really good to fix all the confirmed bugs.
Because it's kind of hard to get access to the Coverity reporting tool (you have to get an account, which you do by asking our Coverity liason; see http://wiki.winehq.org/StaticAnalysis ), we should probably try to make those warnings more easily available somehow, e.g. by filing bugs in bugzilla for a handful of the warnings and see if that helps induce people to fix them.
If we want to get really serious, we could write a script that did a daily coverity run and produced a nice web report of the day's new warnings a la patchwatcher.
Coverity has a carrot to induce us to resolve all the warnings: if we do that, they will start using their latest tools for Wine, which would presumably find more interesting errors.
http://bugs.winehq.org/show_bug.cgi?id=17112
Austin English austinenglish@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |austinenglish@gmail.com
http://bugs.winehq.org/show_bug.cgi?id=17112
Mike Ellery mellery@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |mellery@gmail.com
http://bugs.winehq.org/show_bug.cgi?id=17112
--- Comment #1 from Austin English austinenglish@gmail.com 2010-03-11 16:38:08 --- We're oh so close!
In the last coverity run (843, 2010-Mar-11 13:20:13), there's one bug: FORWARD_NULL BUG marcus IDirectMusicStyle8Impl_IPersistStream_ParsePatternList base/src/wine/dlls/dmstyle/style.c
two pending: FORWARD_NULL PENDING kblin IWineD3DBaseSurfaceImpl_Blt base/src/wine/dlls/wined3d/surface_base.c Run_843: Wine DEADCODE PENDING marcus countDiffRLE4 base/src/wine/dlls/msrle32/msrle32.c Run_843: Wine
and one uninspected: FORWARD_NULL UNINSPECTED admin gdb_init_context base/src/wine/programs/winedbg/gdbproxy.c
a ton of thanks to especially Paul and Marcus (and others!) for fixing a ton of Coverity bugs over the past few months.
http://bugs.winehq.org/show_bug.cgi?id=17112
Jerome Leclanche adys.wh@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |adys.wh@gmail.com
--- Comment #2 from Jerome Leclanche adys.wh@gmail.com 2012-04-23 00:33:40 CDT --- Whats the status on this?
http://bugs.winehq.org/show_bug.cgi?id=17112
--- Comment #3 from Austin English austinenglish@gmail.com 2012-04-23 18:29:48 CDT --- (In reply to comment #2)
Whats the status on this?
Product Domain # Runs Last Run ID Date New Defects Outstanding Defects PARSE_ERROR # Files # Components LOC V Wine C/C++ 1161 1163 2012-04-13 20:24 13 1187 0 4466 2 3293532
https://bugs.winehq.org/show_bug.cgi?id=17112
--- Comment #4 from Bruno Jesus 00cpxxx@gmail.com --- As far as I understand this bug will be open forever as the code evolves and always new detections are made each new version.
https://bugs.winehq.org/show_bug.cgi?id=17112
--- Comment #5 from Nikolay Sivov bunglehead@gmail.com --- Yes, I's a metabug that should be closed I suppose.
https://bugs.winehq.org/show_bug.cgi?id=17112
Dan Kegel dank@kegel.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |INVALID
--- Comment #6 from Dan Kegel dank@kegel.com --- metabugs are now passe.
https://bugs.winehq.org/show_bug.cgi?id=17112
Béla Gyebrószki gyebro69@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |CLOSED
--- Comment #7 from Béla Gyebrószki gyebro69@gmail.com --- Closing all abandoned/duplicated/invalid bugs.