Static analysis of medical device software using CodeSonar
Raoul Praful Jetley, Paul L. Jones, Paul Anderson · 2008
Post-market investigators at the United States Food and Drug Administration may need to review medical device software to assess its integrity. They have to do this with little or no prior knowledge of the software. Historically, the only way to perform such a review has been to manually search the code for potential sources of error --- a process that is both tedious and error-prone.