Slashdot Mirror
Using Redundancies to Find Errors
gsbarnes writes "Two Stanford researchers (Dawson Engler and Yichen Xie) have written a paper (pdf) showing that seemingly harmless redundant code is frequently a sign of not so harmless errors. Examples of redundant code: assigning a variable to itself, or dead code (code that is never reached). Some of their examples are obvious errors, some of them subtle. All are taken from a version of the Linux kernel (presumably they have already reported the bugs they found). Two interesting lessons: Apparently harmless mistakes often indicate serious troubles, so run lint and pay attention to its output. Also, in addition to its obvious practical uses, Linux provides a huge open codebase useful for researchers investigating questions about software engineering."
Modded down within 10 seconds of posting.
:(
Slashdot is a harsh mistress.
~D:
Don't you get tired of this obsessive karma whoring?
Reminding people about karma whoring is karma whoring ;-)
in terminus illic est tantum opes
Actually, according to the Omnipotent Moderation Gods On Duty Tonight - it's offtopic *grin*
a floor cleaner... and a desert topping!
That's nice, but have you actually caught Osama yet? Dead -or- alive? How long's it been?
Perhaps you'd have better luck if more of the Americans in Afghanistan were actually looking for Osama and not building an oil pipeline.. or was that the real objective here all along?
455fe10422ca29c4933f95052b792ab2