Error Limit reached while trying to run polyspace-bug-finder from command line Ubuntu

Question

Horia 2023-8-2

2
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2003747-error-limit-reached-while-trying-to-run-polyspace-bug-finder-from-command-line-ubuntu

回答： Anirban 2023-9-1

在 MATLAB Online 中打开

I wanted to run pollyspace bug finder on linux machine.

I had run in command line in a ubuntu server the command:

./pollyspace-bug-finder options.txt

And after 20 findings it gaves me the error: Error Limit Reached. Nothing more.

Options file content:

#Polyspace analysis options
-I "path"
-verif-version 1.0
-sources-list-file sources_list.txt
-lang CPP
-target x86_64
-compiler generic
-dos
-do-not-generate-results-for all-headers
-misra3 mandatory-required
-entry-points proci, proc2, server1, server2,tregulate
-critical-section-begin Begin_CS:Cs10
-critical-section-end End_CS:Cs10
-temporal-exclusions-file /rootOfPolyspace/polyspace/examples/cxx/Code_Prover_Example/sources/temporal_exclusions.txt -float-rounding-mode to-nearest
-signed-integer-overflows forbid
-unsigned-integer-overflows allow -uncalled-function-checks none
-check-subnormal allow
-02
-to Software Safety Analysis level 2
-context-sensitivity-auto
-path-sensitivity-delta 0
-author gitlabrunner
-results-dir "path"
-report-output-name Name
-report-output-format HTML
-report-template /rootOfPolyspace/toolbox/polyspace/psrptgen/templates/Quality.rpt