A Few Billion Lines of Code Later: Using Static Analysis to Find Bugscacm.acm.org2 points·michaelt··0 commentsOpen articleSaveView on HN