Shall I integrate polyspace tool with python scripting

9 views (last 30 days)
is there any ready package available in python to integrate with polyspace.
I have to do static analysis of code and for that i wanted to use polyspace.
for that I am considering to use python scripting with polyspace.
Is there any effitient way to use polyspace?

Answers (1)

Anirban
Anirban on 29 Jul 2020
Hi Ashwini,
There is no package available to integrate Polyspace with Python. Having said that, you can run Polyspace using system commands that you can trigger from Python (using os.system or another way). All system commands are documented in Polyspace Analysis with Windows or Linux scripts. Specifically:
  • You run Polyspace using the polyspace-bug-finder or polyspace-code-prover command.
  • If you want to repackage the results using Python graphs and charts, you can export them to a tsv (tab-separated value) file using the polyspace-report-generator command with the -generate-results-list-file option. You can read the contents of the file using Python commands. (In a near release, the results will be exported in other formats, too.)
Since Polyspace is a MathWorks product, it does have a MATLAB API that makes scripting much easier. But the API uses the same system commands as above, so you can sort of emulate the API in Python, too.

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!