How can I get the Polyspace version from Polyspace as you Code plugin ?

7 views (last 30 days)
With VisualStudioCode I can get a list of extension and there versions with the command "code --list-extensions --show-versions", for the Polyspace as you code plugin I got the info "MathWorks.polyspace@4.1.1".
How can i get the reference to the related Polyspace version R202xy ?

Accepted Answer

Anirban on 9 Aug 2022
Edited: Anirban on 10 Aug 2022
The Polyspace as You Code plugin is in principle decoupled from the Polyspace as You Code analysis engine. You have to use the underlying analysis engine command, that is, polyspace-bug-finder-access, to get the release number.
I am stating a couple of ways to do this:
  • In your extension settings, the setting Polyspace Installation Folder (polyspace.analysisEngine.polyspaceInstallationFolder) tells you the path to the Polyspace as You Code installation. The command resides in a subfolder polyspace/bin in the installation folder. You can cd to that subfolder and just run:
polyspace-bug-finder-access -version
  • You can add the above command into a Visual Studio Code task, so you can run the task from inside Visual Studio Code. A task that does the job would look like this:
// See
// for the documentation about the tasks.json format
"version": "2.0.0",
"tasks": [
"label": "Show Polyspace version",
"type": "shell",
"command": "polyspace/bin/polyspace-bug-finder-access",
"command": "polyspace\\bin\\polyspace-bug-finder-access"
"args": ["-version"],
"options": {
"cwd": "${config:polyspace.analysisEngine.polyspaceInstallationFolder}"

More Answers (1)

Horst Dreßel
Horst Dreßel on 10 Aug 2022
ok, thank you for your explanation




Community Treasure Hunt

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

Start Hunting!

Translated by