Feeds
답변 있음
Polyspace errors cause from "@interrupt"
Setting the compiler option in Polyspace to Cosmic will get you past the error. For more information, see Cosmic Compiler. For...
Polyspace errors cause from "@interrupt"
Setting the compiler option in Polyspace to Cosmic will get you past the error. For more information, see Cosmic Compiler. For...
6일 전 | 0
답변 있음
Add Polyspace test source code
This issue was introduced in an update to R2023b (update 7) and fixed in the subsequent update (update 8). You can also update t...
Add Polyspace test source code
This issue was introduced in an update to R2023b (update 7) and fixed in the subsequent update (update 8). You can also update t...
대략 1년 전 | 0
| 수락됨
답변 있음
How do I get polyspace to recognise AUTOSAR exclusive areas?
Please contact MathWorks Technical Support for more help with the problem: https://www.mathworks.com/support/contact_us.html
How do I get polyspace to recognise AUTOSAR exclusive areas?
Please contact MathWorks Technical Support for more help with the problem: https://www.mathworks.com/support/contact_us.html
1년 초과 전 | 0
| 수락됨
답변 있음
Polyspace compilation fails when it should give only a warning. How to suppress it?
What compiler are you using for actual compilation? Just trying to see why you picked -compiler keil for the Polyspace analysis....
Polyspace compilation fails when it should give only a warning. How to suppress it?
What compiler are you using for actual compilation? Just trying to see why you picked -compiler keil for the Polyspace analysis....
1년 초과 전 | 0
| 수락됨
답변 있음
Polyspace Bugfinder warning assessment storing in Model
You can annotate blocks to justify Polyspace issues. See Address Polyspace Results by Annotating Simulink Blocks.
Polyspace Bugfinder warning assessment storing in Model
You can annotate blocks to justify Polyspace issues. See Address Polyspace Results by Annotating Simulink Blocks.
1년 초과 전 | 0
답변 있음
A problem when using polyspace: Error: Unable to create temp file, version 2019.b
Does any of the solutions here help: Fix Polyspace Errors Related to Temporary Files ?
A problem when using polyspace: Error: Unable to create temp file, version 2019.b
Does any of the solutions here help: Fix Polyspace Errors Related to Temporary Files ?
1년 초과 전 | 0
| 수락됨
답변 있음
Is polyspace 2020b compatible with win11？
Please contact MathWorks Technical Support for more help with the issue. See Contact Technical Support About Issues with Running...
Is polyspace 2020b compatible with win11？
Please contact MathWorks Technical Support for more help with the issue. See Contact Technical Support About Issues with Running...
1년 초과 전 | 0
답변 있음
how to add all source files and include folders having different directories in same project.
I am not sure I understand what you mean by 'doing polyspace parsing listoption.txt through self script dynamization'. What is l...
how to add all source files and include folders having different directories in same project.
I am not sure I understand what you mean by 'doing polyspace parsing listoption.txt through self script dynamization'. What is l...
1년 초과 전 | 0
답변 있음
How to avoid the error of dead code in the default branch of the switch statement
The situation you show here is dead code, so Bug Finder will flag the issue. If you turn off the checker for dead code, all de...
How to avoid the error of dead code in the default branch of the switch statement
The situation you show here is dead code, so Bug Finder will flag the issue. If you turn off the checker for dead code, all de...
1년 초과 전 | 0
답변 있음
Polyspace review scope shuts everything off
I tried your workflow with the demo example (Help > Examples > Bug_Finder_Example.psprj) and the review scope with only Float ov...
Polyspace review scope shuts everything off
I tried your workflow with the demo example (Help > Examples > Bug_Finder_Example.psprj) and the review scope with only Float ov...
1년 초과 전 | 0
답변 있음
Error Limit reached while trying to run polyspace-bug-finder from command line Ubuntu
You do not seem to be using the option -options-file . The command should be: ./polyspace-bug-finder -options-file options.txt ...
Error Limit reached while trying to run polyspace-bug-finder from command line Ubuntu
You do not seem to be using the option -options-file . The command should be: ./polyspace-bug-finder -options-file options.txt ...
1년 초과 전 | 0
답변 있음
I need to integrate Polyspace 2019b in MATLAB 2015b through automation.
Based on R2019b documentation, it looks like you can cd to the folder polyspaceroot\toolbox\polyspace\pscore\pscore\ and then ru...
I need to integrate Polyspace 2019b in MATLAB 2015b through automation.
Based on R2019b documentation, it looks like you can cd to the folder polyspaceroot\toolbox\polyspace\pscore\pscore\ and then ru...
1년 초과 전 | 0
답변 있음
How to generate bug finder report with code line info in Polyspace
This question is answered here: https://www.mathworks.com/matlabcentral/answers/491845-polyspace-bug-finder-report-no-line-numbe...
How to generate bug finder report with code line info in Polyspace
This question is answered here: https://www.mathworks.com/matlabcentral/answers/491845-polyspace-bug-finder-report-no-line-numbe...
1년 초과 전 | 0
답변 있음
how to do polyspace static analysis using CLI
You have to use the option -sources to specify your sources. Otherwise, polyspace-code-prover looks for sources in the current f...
how to do polyspace static analysis using CLI
You have to use the option -sources to specify your sources. Otherwise, polyspace-code-prover looks for sources in the current f...
1년 초과 전 | 0
답변 있음
How to deal with Polyspace BugFinder and software variants?
You can create multiple configurations in the same project, like this: In the Polyspace user interface, you can right-click a...
How to deal with Polyspace BugFinder and software variants?
You can create multiple configurations in the same project, like this: In the Polyspace user interface, you can right-click a...
1년 초과 전 | 0
답변 있음
Polyspace-bug-finder raises issue due to Rule A3-1-5 if inline function is declared in source file
Can you show a small reproduction example? Also, which release are you using? For instance, there is no violation of A3-1-5 in ...
Polyspace-bug-finder raises issue due to Rule A3-1-5 if inline function is declared in source file
Can you show a small reproduction example? Also, which release are you using? For instance, there is no violation of A3-1-5 in ...
거의 2년 전 | 0
| 수락됨
답변 있음
Polyspace bug finder creates wrong options file via cmd call but via GUI it is valid
The option -dialect is an old option that has been renamed to -compiler. Can you see if changing the option -dialect to -compile...
Polyspace bug finder creates wrong options file via cmd call but via GUI it is valid
The option -dialect is an old option that has been renamed to -compiler. Can you see if changing the option -dialect to -compile...
거의 2년 전 | 0
| 수락됨
답변 있음
Polyspace as you Code in VSCode stopped working - "command 'polyspace.activate' not found"
You might have run into the issue that is reported here: https://www.mathworks.com/support/bugreports/3004593 . A fix for this i...
Polyspace as you Code in VSCode stopped working - "command 'polyspace.activate' not found"
You might have run into the issue that is reported here: https://www.mathworks.com/support/bugreports/3004593 . A fix for this i...
거의 2년 전 | 0
답변 있음
Polyspace Metrics - SoftwareQualityObjectives report generation
I am assuming that you are following the instructions in Customize Software Quality Objectives. If so, your steps should in prin...
Polyspace Metrics - SoftwareQualityObjectives report generation
I am assuming that you are following the instructions in Customize Software Quality Objectives. If so, your steps should in prin...
거의 2년 전 | 0
| 수락됨
답변 있음
Polyspace Bug Finder detects SEI CERT C ARR30-C and MEM35-C violation in the same line but doesn't provide details in Polyspace Access
I tried running Polyspace Bug Finder R2022b on your example and I see some more details associated with the result (I am showing...
Polyspace Bug Finder detects SEI CERT C ARR30-C and MEM35-C violation in the same line but doesn't provide details in Polyspace Access
I tried running Polyspace Bug Finder R2022b on your example and I see some more details associated with the result (I am showing...
거의 2년 전 | 1
답변 있음
Compilation Error if using Polyspace Bug Finder with Visual Studio Clang++
clang-cl might not be supported with polyspace-configure but please contact MathWorks Technical Support for more help with the i...
Compilation Error if using Polyspace Bug Finder with Visual Studio Clang++
clang-cl might not be supported with polyspace-configure but please contact MathWorks Technical Support for more help with the i...
거의 2년 전 | 0
답변 있음
The source code lines involved in the MISRA violation do not appear in the txt export result file
Are you generating the HTML report and the text file from the user interface? Otherwise, if you are using the commands polyspace...
The source code lines involved in the MISRA violation do not appear in the txt export result file
Are you generating the HTML report and the text file from the user interface? Otherwise, if you are using the commands polyspace...
거의 2년 전 | 0
답변 있음
Failed compilation in Polyspace using R2022b
Errors such as this indicate that perhaps the project is not set up correctly. In particular, all the include folders have not b...
Failed compilation in Polyspace using R2022b
Errors such as this indicate that perhaps the project is not set up correctly. In particular, all the include folders have not b...
거의 2년 전 | 0
답변 있음
Polyspace Bug Finder report Project Summary wanted Unreviewed
Table 1.1 in Chapter 1. Bug Finder Summary actually shows the number of unreviewed results, not files. You can convert a result ...
Polyspace Bug Finder report Project Summary wanted Unreviewed
Table 1.1 in Chapter 1. Bug Finder Summary actually shows the number of unreviewed results, not files. You can convert a result ...
거의 2년 전 | 0
답변 있음
How to prevent Polyspace comments from disappearing or getting overwritten?
A result set in Polyspace Access can be opened by multiple people at the same time and review comments added. This would support...
How to prevent Polyspace comments from disappearing or getting overwritten?
A result set in Polyspace Access can be opened by multiple people at the same time and review comments added. This would support...
거의 2년 전 | 0
| 수락됨
답변 있음
How to install Polyspace on Linux
You can see some installation steps on Install Polyspace Server Products at Command Line. Similar steps apply to the desktop pro...
How to install Polyspace on Linux
You can see some installation steps on Install Polyspace Server Products at Command Line. Similar steps apply to the desktop pro...
거의 2년 전 | 0
답변 있음
Polyspace Bugfinder Percentage of code checked for run-time errors 0%
Which Polyspace report template are you using for generating the report? It looks like you are using the Developer template, whi...
Polyspace Bugfinder Percentage of code checked for run-time errors 0%
Which Polyspace report template are you using for generating the report? It looks like you are using the Developer template, whi...
거의 2년 전 | 0
답변 있음
Polyspace bugfinder for keil environment using command line
If you are able to use polyspace-configure, that might be the easiest. Your compiler and target characteristics will be set for ...
Polyspace bugfinder for keil environment using command line
If you are able to use polyspace-configure, that might be the easiest. Your compiler and target characteristics will be set for ...
거의 2년 전 | 0
답변 있음
Inquiry about conflict issue between security program and Polyspace
Those messages come from polyspace-configure, the tool used to configure Polyspace projects based on the user's build system. To...
Inquiry about conflict issue between security program and Polyspace
Those messages come from polyspace-configure, the tool used to configure Polyspace projects based on the user's build system. To...
대략 2년 전 | 0
답변 있음
How can I generate a polysapce list containing the following Inforamtion <Misra C-Notification> <Filename> <Line in file>?
Your question has the same answer as the following: https://www.mathworks.com/matlabcentral/answers/491845-polyspace-bug-finder-...
How can I generate a polysapce list containing the following Inforamtion <Misra C-Notification> <Filename> <Line in file>?
Your question has the same answer as the following: https://www.mathworks.com/matlabcentral/answers/491845-polyspace-bug-finder-...
대략 2년 전 | 0
