CodeSonar® Identifies Bugs Like One that Crippled Zune

Posted on


On December 31, 2008, thousands of Microsoft Zune MP3 players around the world stopped working due to a software bug. The fallout made headlines on sites like (“Leap-year glitch freezes Zune MP3 players”) and PC World (“Microsoft Says Leap Year Bug Caused Zune Failures”).

When applied to the code containing the bug, CodeSonar identifies the source of the problem: an infinite loop in the clock driver.

Unbounded loops are often difficult to find with traditional testing but can be pinpointed automatically with static analysis. Sign up for a free CodeSonar trial to start identifying and eliminating problems.

About GrammaTech:
GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies. The staff includes fourteen researchers with PhDs in programming languages and program analysis.

Related Posts

Check out all of GrammaTech’s resources and stay informed.

view all posts

Contact Us

Get a personally guided tour of our solution offerings. 

Contact US