On 10/29/07, Juan Lang <[EMAIL PROTECTED]> 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...