And if you're working on medical devices, you are probably familiar with the FDA's forensic lab. They have a lot of static analysis tools that they use to analyze code in a device. The FDA cannot require that you use static analysis, but they can analyze your code if something goes wr...