Static analysis tool from PolySpace, a subsidiary of MathWorks.
Currently, there are no issues on this topic. Create one.