Case Study: Successful Vulnerability Prevention with Code Scanning Software