A Few Billion Lines of Code: Static Analysis to Find Bugs in the Real Worldcacm.acm.org9 pointsnzmsv15 years ago