Case Study: Boston Scientific streamlines analysis of medical device software with GrammaTech CodeSonar

Boston Scientific and GrammaTech Streamline Analysis of Medical Device Software

Boston Scientific, one of the world’s largest medical device companies, needed to automate lengthy manual analyses on safety-critical firmware. The company used static analysis in its product development lifecycle, but commercially available tools did not provide the complex checks it needed for product design constraints and software quality.

GrammaTech developed custom, domain-specific extensions to CodeSonar, including specialized analyses and additional reporting capabilities. The solution automated Shared Data Analysis, stack usage analysis, and recursion identification, cutting analysis time from person-weeks to mere hours and enabling Boston Scientific to review its entire code base more often.

Boston Scientific