Jump to content


Secret MS tool


  • Please log in to reply
8 replies to this topic

#1 Neon

Neon

    Karl

  • Members
  • PipPipPipPipPipPip
  • 4,728 posts
  • Country:Space

Posted 13 November 2005 - 03:35 PM

It turns out that a good portion of all those Windows crashes over the years are not caused by the operating system itself, but by buggy device drivers -- low-level pieces of code that allow the operating system to communicate with external devices like the computer's keyboard, hard drive, screens and network cards.

Because device drivers run deep within the operating system, they are hard to write and hard to debug. And when they fail, they can take down the whole computer. "If they go bad, the whole OS can go bad," says Tom Ball, a scientist at Microsoft Research.

But in a little-noticed project percolating in Redmond, the world's biggest single producer of software bugs is pushing the envelope on an anti-bug technology that promises to make the Windows operating system a whole lot more reliable, and may eventually raise the bar for dependable software throughout the industry.

Microsoft has developed a tool called the Static Driver Verifier, or SDV, that uses "model checking" to analyze the source code for Windows device drivers and see if the code that the programmer wrote matches a mathematical model of what a Windows device driver should actually do. If the driver doesn't match the model, the SDV warns that the driver might contain a bug.

#2 Visentinel

Visentinel

    Established Member

  • Members
  • PipPipPipPipPip
  • 999 posts
  • Location:NSW Australia

Posted 14 November 2005 - 04:23 AM

A simple networking driver can make windows xp BSOD.

If this SDV is done right it can indeed raise the bar on reliability

#3 RedInferno

RedInferno

    Your mom

  • Members
  • PipPipPipPipPipPip
  • 2,584 posts
  • Location:What's it to ya, bub?
  • Country:North America

Posted 14 November 2005 - 09:53 PM

THat's nice that they are developing this...

#4 stevenaxe

stevenaxe

    Official Vista Tester

  • Members
  • PipPipPip
  • 169 posts
  • Country:usa

Posted 15 November 2005 - 12:11 AM

i hope they get this right :baaasmiley: though i don't have often problems, every now and then it happens and pisses me off :P

Edited by stevenaxe, 15 November 2005 - 12:11 AM.


#5 Neon

Neon

    Karl

  • Members
  • PipPipPipPipPipPip
  • 4,728 posts
  • Country:Space

Posted 15 November 2005 - 01:44 PM

Then we fix it by accident, and people think your a genius...i know i know, it happens to be all the time :P

#6 ShadowFox

ShadowFox

    High Priest

  • Members
  • PipPipPipPipPipPip
  • 4,969 posts
  • Location:Tempe, AZ
  • Interests:An abundance :P
  • Country:United States

Posted 15 November 2005 - 02:39 PM

Stop flattering yourself :rolleyes:

#7 gamer_pro_2000

gamer_pro_2000

    Advanced Member

  • Members
  • PipPipPip
  • 108 posts
  • Location:Michigan, USA
  • Country:United States

Posted 15 November 2005 - 08:17 PM

Someone should build a driver virus. That would be the most simple way to crash a machine. Windows machines would instanatly crash, all around the world.

#8 clarky3429

clarky3429

    No I will not fix your computer

  • Members
  • PipPipPipPipPip
  • 1,712 posts
  • Location:Melbourne, Australia
  • Country:Australia

Posted 16 November 2005 - 10:59 AM

View PostVisentinel, on Nov 14 2005, 03:23 PM, said:

A simple networking driver can make windows xp BSOD.

If this SDV is done right it can indeed raise the bar on reliability

ive had mouse drivers on windows update that cause my laptop to blue screen if i install them :S

#9 RedInferno

RedInferno

    Your mom

  • Members
  • PipPipPipPipPipPip
  • 2,584 posts
  • Location:What's it to ya, bub?
  • Country:North America

Posted 16 November 2005 - 05:41 PM

View Postgamer_pro_2000, on Nov 15 2005, 02:17 PM, said:

Someone should build a driver virus. That would be the most simple way to crash a machine. Windows machines would instanatly crash, all around the world.
Gamer.....that little driver package i sent you....well, it wasn't a driver :)




0 user(s) are reading this topic

0 members, 0 guests, 0 anonymous users