Extracting rules from comments in wine source code...?
Dan Kegel
dank at kegel.com
Mon Oct 29 12:29:49 CDT 2007
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=VIEW_EVENT
http://www.sosp2007.org/papers/sosp054-tan.pdf
More information about the wine-devel
mailing list