Integrating Polyspace Bug Finder and Other Polyspace Products Inside MATLAB R2024b

Hi Everyone,

I’m using MATLAB R2024b along with Polyspace products (including Polyspace Bug Finder) and have successfully linked all the licenses. Currently, I can launch Polyspace Bug Finder and other Polyspace tools separately through shortcuts or the application directly, but I would like to integrate them inside the MATLAB environment itself.

Could anyone guide me on how to access and use Polyspace products, like Polyspace Bug Finder, directly within MATLAB? Specifically, I'm looking for instructions on how to find and launch these tools from the MATLAB interface, similar to how other MATLAB toolboxes are accessed.

Any help would be greatly appreciated!

Thank you!

Answer 1

[Sreeram]

Hi Santhosh,

You can access and use Polyspace products directly from the MATLAB environment by creating and configuring a Polyspace project within MATLAB. For detailed steps, refer to the official documentation:

https://www.mathworks.com/help/bugfinder/gs/run-polyspace-bug-finder-on-cc-code.html#mw_07ddbd4f-a27e-4189-a79d-7ce873172c60

Thanks!