Brian Fitzgerald Deputy Division Director, Division of Electrical and Software Engineering, FDA CDRH, Office of Science & Engineering Laboratories, provided a list of software analysis tools FDA’s laboratory uses in evaluating medical device code. This was in response to a question posed at a recent AAMI Webinar that John Murray of FDA and Alan Kusinitz of SoftwareCPR presented.

FDA OSEL is using the following static analysis tools to a greater or lesser extent depending on the specific situation;
Polyspace C and C++
Ensure++
Coverity
Codesonar
Codesurfer
OSEL is also using a dynamic analysis tool which has some static analysis capabilities called LDRA.