Source code analysis has had a mostly deserved bad reputation in software development because analyses often took too much time or produced excessive noise and a large percentage of bogus results (false positives). With low signal-to-noise ratios, most source code analysis technologies and products quickly became shelfware after a few uses. The promise of new static analysis solutions is tantalizing for developers because it offers the ability to find bugs before software is run, improving code quality and dramatically accelerating the availability of new applications. Though static analysis has historically struggled to deliver on this promise, a groundbreaking technique applied in the static analysis field may help fulfill its potential.