Clear Filters
Clear Filters

Download triaging data from metrics

2 views (last 30 days)
We run the polyspace (bugfinder and codeprover) jobs in CI. CI generates a html report, which can be viewed by engineers. When a tag is applied, CI also uploads to the metrics server. Engineers then use the web interface and the javascript to perform triaging (severity, status, comment) on the found issues.
The html report that is exported from CI, does not contain the triaging data which happened on the server. So we would like to amend the results of local analysis with the most recent triaging data on the server.
I found the polyspace-results-repository command, but couldn't figure a way to download the triaging data and amend it to the recent local analysis. We need this both for bugfinder and codeprover.

Accepted Answer

David Ding
David Ding on 30 Sep 2017
Edited: David Ding on 30 Sep 2017
Hi Stein,
Perhaps using the diff command ("polyspace-import-command") between previous analysis and current analysis would help. It provides a textual information about what have been reviewed, annotated and new.
To do so, you need to use the following workflow (using a pseudo-scripted way):
Get last result version polyspace-results-repository \
-server $ps_metrics_server \
-prog $my_project_name \
-product "Bug Finder" \
Then grep to get the last version downloaded from repository ($last_build_number).
Download last results in $last_results_folder
polyspace-results-repository -f \
-server $ps_metrics_server \
-prog $my_project \
-product "Bug Finder" \
-verif-version $last_build_number \
-download $last_results_folder
Diff results diffFile=$last_results_folder /diff.txt
polyspace-comments-import \
-print-new-results \
-diff-rte $last_results_dir $results_dir \
> $diffFile
  1 Comment
Stein Heselmans
Stein Heselmans on 2 Oct 2017
David, Thanks for the correct hint. Works like expected..

Sign in to comment.

More Answers (0)


Find more on Downloads in Help Center and File Exchange

Community Treasure Hunt

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

Start Hunting!