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=VIEW_EVENT
http://www.sosp2007.org/papers/sosp054-tan.pdf