https://www.mathworks.com/help/codeprover/gs/product-overview.html
Source Code Verification with Polyspace Code Prover - MATLAB & Simulink
See how static analysis by Polyspace Code Prover helps you verify C and C++ code.
source code verificationprovermatlabsimulink