re: Bugs in Wine research

[Dan Kegel]

tomecek wrote:
> we are students from Department of computer science at Aalborg
> university. During this semester we were working on project on static
> analysis using the Coccinelle tool
> (http://www.emn.fr/x-info/coccinelle/) and Flawfinder
> (http://en.wikipedia.org/wiki/Flawfinder). We decided to search for
> bugs in Wine source code.

Great, thanks!  We didn't have a wiki page about static analysis and Wine yet,
so I created one,
  http://wiki.winehq.org/StaticAnalysis

At least a couple of the memory leaks you found seem like they might
be worth fixing.

If you could put your full results up somewhere, and link to them from
that wiki page, we'll take a look.

Bugs in Wine research

[James McKenzie]

Dan Kegel wrote:
> tomecek wrote:
> > we are students from Department of computer science at Aalborg
> > university. During this semester we were working on project on static
> > analysis using the Coccinelle tool
> > (http://www.emn.fr/x-info/coccinelle/) and Flawfinder
> > (http://en.wikipedia.org/wiki/Flawfinder). We decided to search for
> > bugs in Wine source code.
>
> Great, thanks!  We didn't have a wiki page about static analysis and Wine yet,
> so I created one,
>   http://wiki.winehq.org/StaticAnalysis
>
> At least a couple of the memory leaks you found seem like they might
> be worth fixing.
>
> If you could put your full results up somewhere, and link to them from
> that wiki page, we'll take a look.

Dan:

I was wondering if results from Wine 0.9.57 would continue to be 
valid?   Maybe the effort could shift to RC1?

James McKenzie

Bugs in Wine research

[Dan Kegel]

James McKenzie  wrote:
> > > we are students from Department of computer science at Aalborg
> > > university. During this semester we were working on project on static
> > > analysis using the Coccinelle tool
> >
> > http://wiki.winehq.org/StaticAnalysis
>
> I was wondering if results from Wine 0.9.57 would continue to be valid?
> Maybe the effort could shift to RC1?

Sure, lots of the unused vars bugs in particular are probably
already fixed.   But the other issues have a pretty good
chance of still being valid.

Bugs in Wine research

[Scott Ritchie]

Dan Kegel wrote:
> James McKenzie  wrote:
> > > > we are students from Department of computer science at Aalborg
> > > > university. During this semester we were working on project on static
> > > > analysis using the Coccinelle tool
> > >
> > > http://wiki.winehq.org/StaticAnalysis
> >
> > I was wondering if results from Wine 0.9.57 would continue to be valid?
> > Maybe the effort could shift to RC1?
>
> Sure, lots of the unused vars bugs in particular are probably
> already fixed.   But the other issues have a pretty good
> chance of still being valid.

Are there any volunteers to do this?

My experience with Wine C code is fairly minimal, but it shouldn't be
too hard to look at one of their changes and see if it applies to
current git, and if it does just forward-port it.

Thanks,
Scott Ritchie

Bugs in Wine research

[Dan Kegel]

On Sat, May 10, 2008 at 5:12 AM, Dan Kegel  wrote:
> tomecek wrote:
> > we are students from Department of computer science at Aalborg
> > university. During this semester we were working on project on static
> > analysis using the Coccinelle tool
>
> http://wiki.winehq.org/StaticAnalysis

Detlef wrote:
> The requested URL /~dechouxb/results/complete/ was not found

I've updated the wiki page to have the new URL (they just changed
results to cocchi_results, I think).