January 9, 2009
CodeSonar® Identifies Bugs Like One that Crippled Zune
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 thirteen researchers with PhDs in programming
languages and program analysis. More information about GrammaTech can
be found at www.grammatech.com.
GrammaTech, Inc.
531 Esty Street
Ithaca, NY 14850 USA
phone: 607-273-7340
fax: 607-273-8752
e-mail: info@grammatech.com