Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code
An overview on the Static Code Analysis approach in Software Development