[pjmlp]

There are plenty of tools, but they are C and C++ specific.

Starts with Visual C++ analysers, SAL annotations, hardned runtime.

Then commercial tooling like PVS Studio, Parasoft for example.