https://www.mathworks.com/help/bugfinder/ref/pslinkoptions.html
This MATLAB function returns an options object with the configuration options for code generated by codegen.
createoptionsobjectcustomizepolyspace
https://www.mathworks.com/help/codeprover/ug/reduce-orange-checks.html
Improve your coding design or adjust your verification options for more precise verification.
reduceorangecheckspolyspacecode
https://www.mathworks.com/help/bugfinder/bug-finder-analysis-in-polyspace-platform-user-interface.html
Check C/C++ code for defects in the Polyspace Platform user interface
user interfacebugfinderanalysispolyspace
https://www.mathworks.com/help/bugfinder/troubleshoot-running-polyspace-analysis.html?s_tid=CRUX_lftnav
Compilation errors, errors connecting to server, errors creating Polyspace project, and so on
troubleshootrunningpolyspaceanalysismatlab
https://www.mathworks.com/help/codeprover/interpret-code-prover-results-in-polyspace-platform-user-interface.html?s_tid=CRUX_topnav
Interpret Code Prover results, navigate source code, track data flow
user interfaceinterpretcodeproverresults