I used the cover (http://coverity.com/)in my organization. He does a static error checking analysis, and I found it very useful. It is highly customizable and provides a number of checks. I'm not quite sure if he works on a tanning bed or not, but I would recommend checking it out.
source
share