Certified Static Code Analysis

I am looking for an open source project for static code analysis. No Problem you might think - Use checkCPP. But here is the clue. It needs to be certified by one of the following norms, especially the norm for medical devices by the FDA. I know "open source" and "certified" are colliding principles, as no one wants to pay it. But maybe I am lucky and somebody knows someone who already certified a static code analysis tool and is willing to share the project name and website?

• IEC 61508
• ISO 26262
• EN 50128
• IEC 60880
• IEC 63204

In my opinion there will be a great demand in such software.