已回答
Why do I get an unrecognized token error when I use the _argt$ command in PolySpace Client for C/C++ 7.2 (R2010a)?
The compiler in IAR Embedded Workbench is directly supported in Polyspace since R2018a. You will not have these errors from that...

2 years 前 | 1

已回答
Issue with Polyspace Code Prover Autosar software component Analysis, How can I resolve it?
Please contact MathWorks Technical Support for a solution. The generated Rte_Type.h file should not be empty. If your generated ...

2 years 前 | 0

已回答
Problems trying to integrate Polyspace v2021b with Matlab v2021b
The error indicates that you have not opened MATLAB with administrator privileges. To open MATLAB with administrator privileges,...

2 years 前 | 0

已回答
Execution time of polyspace-configure when using a compilation database file
Your compiler is actually invoked even when you use the JSON compilation database. But it is invoked to compile simple source fi...

2 years 前 | 0

已回答
How to add a list of file .txt into polyspace-configure?
You can enter -include-sources several times to include multiple files, or use pattern matching if the file names follow a speci...

2 years 前 | 0

已回答
gcc (GCC) 4.4.7 20120313 (Red Hat 4.4.7-4)
Try -compiler gnu4.6 and provide paths to the GCC headers with the option -I (or add them to your project in the Polyspace user ...

2 years 前 | 0

已回答
#error directive: "Header is not supported in the C89 language mode"
When a compiler encounters a #error directive, it stops and prints the associated message. Polyspace behaves exactly like a comp...

2 years 前 | 0

已回答
How to generate option file using ST Visual Developer IDE for bug finder analysis
Please contact MathWorks Technical Support for help with setting up your project. I can give you a general idea of the workflow...

3 years 前 | 0

已回答
User defined rules check with Coding Standard Violations?
Can you give an example of the kind of rules you are thinking of? There is a set of custom rules for naming conventions, but eve...

3 years 前 | 0

已回答
How to annotating Code Block?
MISRA Rule 1.1 flags the number of macros in a translation unit if this number exceeds the limit specified in the Standard. The ...

3 years 前 | 0

已回答
Install Polyspace as You Code Extension in Visual Studio Code - No plugin/visual_studio_code folder!
You need a Polyspace as You Code installation to find the visual_studio_code subfolder in the plugin folder. If your polyspacero...

3 years 前 | 0

已回答
Question on MISRA C:2012- Rule 10.3 in polyspace code prover 2019a
The first violation is a genuine violation while the second violation is a Polyspace bug that has been fixed in R2019b. Since R2...

3 years 前 | 1

| 已接受

已回答
while opening help documents in R2021a its give me crash report error & suddenly close the Matlab application. Can help me how to remove this error?
You seem to be opening MATLAB from a Polyspace installation (for instance, something like C:\Program Files\Polyspace\R2021a\bin)...

3 years 前 | 0

已回答
Control generated C/C++ code using Mathworks tooling
The Polyspace static analysis tools are meant exactly for the kind of issues you are talking about, but even in Embedded Coder, ...

3 years 前 | 0

| 已接受

已回答
Polyspace codeprover doesnt give a warning for MISRA violation(MISRA C:2012, 19.2 - The union keyword should not be used)
There could be many reasons related to the coding rules checking setup, but one possible reason is that your headers are in a co...

3 years 前 | 0

| 已接受

已回答
Analyzing C source code with multiple "main" functions not named "main()"
Just to understand better, you seem to be getting a violation of MISRA C:2012 rule 8.6 : An identifier with external linkage sha...

3 years 前 | 0

| 已接受

已回答
Why Polyspace Code prover do not permit to check some MISRA rule ?
Polyspace Bug Finder is the recommended tool for checking MISRA C:2012. All MISRA C:2012 rules can be checked by Polyspace Bug F...

3 years 前 | 0

| 已接受

已回答
How to filter multiple lines from Polyspace result ?
Use the is in custom filter: Select the custom filter on the Line column. Select is in for Condition. In Value(s), select the ...

3 years 前 | 0

| 已接受

已回答
[polyspace] How do i generate report?
Please contact MathWorks Technical Support: https://www.mathworks.com/support/contact_us.html .

3 years 前 | 0

| 已接受

已回答
Polyspace Bug Finder ignores #if when checking macro values.
There could one of two things going on: MC680X0 and I80X86 are not defined in the code provided to Polyspace. You are probably ...

3 years 前 | 1

| 已接受

已回答
Integrating Polyspace R2021b with Matlab R2021b
Did you try to do the installation by explicitly giving the path to the R2021b Polyspace installation when running polyspacesetu...

3 years 前 | 0

| 已接受

已回答
How to integrate Polyspace with Visual studio code?
You can install a Polyspace as You Code extension in the Visual Studio Code IDE and run Polyspace as you save in the IDE (or exp...

3 years 前 | 0

已回答
Polyspace in Jenkins. How to reduce the size of the generated options file?
You can add the option -merge-common-options to the polyspace-configure line. This will take all the -options-for-sources argume...

3 years 前 | 0

| 已接受

已回答
Is it possible to use Polyspace to run Static Analysis using the Keil C51 Compiler?
The keyword xdata is not required for the Polyspace analysis and can be removed during preprocessing. Simply enter xdata= for th...

3 years 前 | 1

| 已接受

已回答
Facing issue with Polyspace Bug Finder report generation
The report generated might be very large and you might have encountered the issue documented in Fix Insufficient Memory Errors D...

3 years 前 | 0

| 已接受

已回答
Polyspace Code Prover doesn't create a report after a remote execution via command line
Thanks for the question! If you use the remote analysis options in the Polyspace user interface, the results are automatically...

3 years 前 | 0

| 已接受

已回答
Error when login to Polyspace Access via web server
Please contact MathWorks Technical Support for further assistance with this issue: https://www.mathworks.com/support/contact_us....

3 years 前 | 0

| 已接受

已回答
There are missing Coding Rules 8.14, 9.4, 9.5 like this many, so how to enable all the Rules?
To enable all rules, use the value all for the option -misra3. In the Polyspace user interface, you have to select this value fr...

3 years 前 | 0

| 已接受

已回答
why the orange warning for next line is not happened when array use just one index?
Hi, Following an orange check, the analysis eliminates execution paths that lead to an error. This is intended to save you from...

3 years 前 | 0

| 已接受

已回答
Code Power judge color warning that is not consistent
Hi, Are you sure u2t_index_x has the exact same range of values on line 453 in one version and line 929 in the other version? I...

3 years 前 | 0