Error Limit reached while trying to run polyspace-bug-finder from command line Ubuntu
10 views (last 30 days)
Show older comments
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
Moreover, trying to run on a desktop application with the same project, it makes the analysist without any problem.
Can someone point me on the error that I make when I am running on command line?
0 Comments
Answers (1)
See Also
Categories
Find more on Run Settings 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!