> 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