Extracting rules from comments in wine source code...?

[Dan Kegel]

Hmm.  Anyone in Illinois feel like going?  Supposedly her tool
finds bugs in source trees by looking for rules in comments
and then checking the software against those rules.
Her paper says she found one bug in wine this way...

http://webtools.uiuc.edu/calendar/Calendar?calId=504&eventId=75432&ACTION=VI...
http://www.sosp2007.org/papers/sosp054-tan.pdf

[Juan Lang]

> Supposedly her tool finds bugs in source trees by looking
> for rules in comments and then checking the software
> against those rules.
> Her paper says she found one bug in wine this way...

I sure didn't any reference to the actual bug, did you?
--Juan

[Dan Kegel]

On 10/29/07, Juan Lang <juan.lang(a)gmail.com> wrote:
> > Supposedly her tool finds bugs in source trees by looking
> > for rules in comments and then checking the software
> > against those rules.
> > Her paper says she found one bug in wine this way...
>
> I sure didn't any reference to the actual bug, did you?

I didn't look too hard.  We could email her and ask...