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.

Book a Demo

We’re ready to help you integrate SAST and SCA security into your DevSecOps flow. Get a personally guided tour of our solution offerings to ensure you are receiving the right solution for your development team. 

book now