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
