Case Study: Bally Technologies achieves defect-free, more robust gaming systems with Synopsys Coverity

Coverity delivers on demand for defect-free code for distributed game systems

Bally Technologies, a global maker and operator of casino gaming systems and back-office solutions, needed near‑perfect software quality to meet strict regulatory approval and avoid costly machine downtime and lengthy re‑approval cycles. With complex, interconnected systems and millions of lines of code across C/C++, Java and C#, the company sought an automated way to find hard‑to‑detect defects before release.

Following a successful trial, Bally rolled out the Coverity static analysis platform with customized training from Coverity Professional Services. Coverity revealed critical defects (NULL dereferences, uninitialized variables, buffer violations) with a low false‑positive rate, enabled nightly analysis and a no‑check‑in policy for new defects, helped clear a backlog across ~20M LOC, reduced field failures and shortened expensive regulatory fix cycles.

Bally Technologies

Rajesh Swarna

Senior Manager, Systems Engineering