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 CNN.com (“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.
