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."

21 of 326 comments (clear)

  1. the mothers and the widows by Anonymous Coward · · Score: -1, Offtopic

    "There's only one person who hugs the mothers and the widows, the wives and the kids upon the death of their loved one. Others hug but having committed the troops, I've got an additional responsibility to hug and that's me and I know what it's like." George W. Bush, Washington, D.C., Dec. 11, 2002.

  2. First Post by Amsterdam+Vallon · · Score: -1, Offtopic

    How's that for redundant?

    --

    Reply or e-mail; don't vaguely moderate. Ex-O'Reilly/MIT employee, now a full-time Google employee.
  3. Finally by Anonymous Coward · · Score: -1, Offtopic

    It's been more than 3 hours since the last post. I was beginning to feel like a crack addict in need of shot.

    Ahhhhhh. Thank you editors.

  4. But around here... by Anonymous Coward · · Score: -1, Offtopic

    The editors redundantly post stories, which is the error.
    I'm taking bets we see this one again within the next 72 hours.

  5. Wait a minute... by goatasaur · · Score: -1, Offtopic

    Is this how CmdrTaco finds errors in news articles?

    --
    ~D:
  6. peace in the world by Anonymous Coward · · Score: -1, Offtopic

    "The goals for this country are peace in the world. And the goals for this country are a compassionate American for every single citizen. That compassion is found in the hearts and souls of the American citizens." George W. Bush, Washington, D.C., Dec. 19, 2002

    1. Re:peace in the world by zcat_NZ · · Score: 1, Offtopic

      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
  7. Jesus... by goatasaur · · Score: 0, Offtopic

    Modded down within 10 seconds of posting.

    Slashdot is a harsh mistress. :(

    --
    ~D:
    1. Re:Jesus... by c0wh · · Score: 0, Offtopic

      I think if the post constains the string "cmdrtaco," it's automatically downmodded.

      Let's see!

  8. Re:More details / PostScript version by The+Bungi · · Score: 0, Offtopic

    Don't you get tired of this obsessive karma whoring?

  9. Re:More details / PostScript version by Interrupting+Cow · · Score: 0, Offtopic

    Reminding people about karma whoring is karma whoring ;-)

    --
    in terminus illic est tantum opes
  10. Read it again for the first time.... by Anonymous Coward · · Score: -1, Offtopic

    "Two Stanford researchers have written a paper showing that seemingly-harmless reposted Slashdot stories are frequently a sign of not so harmless editing errors. Examples of redundant stories: AP articles posted on both CNN and Salon, every incremental increase in a W3C standard, and seemingly every damn story about Legos. More on this story tomorrow when Hemos posts it."

  11. Jesus Saves! by Anonymous Coward · · Score: -1, Offtopic

    Ask Jesus into your heart today!

  12. Re:A good editor... by yourmom16 · · Score: -1, Offtopic

    he used redundancies to help him find errors in the article

    --
    "We have got to make Stan understand the importance of voting, because he'll definitely vote for our guy." - South Park
  13. Re:More details / PostScript version by The+Bungi · · Score: 0, Offtopic

    Actually, according to the Omnipotent Moderation Gods On Duty Tonight - it's offtopic *grin*

  14. Re:IN SOVIET RUSSIA... by Anonymous Coward · · Score: -1, Offtopic

    oh god, i actually found that funny.

    someone shoot me, please.

  15. Re:IN SOVIET RUSSIA... by Anonymous Coward · · Score: -1, Offtopic

    Bang!

    In Soviet Russia, dead horse beats YOU!

  16. it's both! by simpl3x · · Score: 0, Offtopic

    a floor cleaner... and a desert topping!

    1. Re:it's both! by Kymermosst · · Score: 0, Offtopic

      a floor cleaner... and a desert topping!

      You put Pine Sol on top of your Mojaves and Saharas?

      Freak.

      --
      "Alcohol, Tobacco, Firearms, and Explosives" should be a convenience store, not a government agency.
  17. Re:lint is horrible by Anonymous Coward · · Score: -1, Offtopic

    Wow, strcpy.
    lint has all rights to complain when you use that function. Most of the time, you don't know the size of what you're copying over. It's the basis of most buffer overflows.

  18. Re:IN SOVIET RUSSIA... by Anonymous Coward · · Score: -1, Offtopic

    Mwahaha! I laughed so hard when I read this.

    Yakov Smirnoff would probably laugh too. I just checked out

    http://www.yakov.com

    so I guess he's still alive and well.