Respondida
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...

alrededor de 2 años hace | 1

Respondida
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 ...

alrededor de 2 años hace | 0

Respondida
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,...

alrededor de 2 años hace | 0

Respondida
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...

alrededor de 2 años hace | 0

Respondida
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...

alrededor de 2 años hace | 0

Respondida
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 ...

alrededor de 2 años hace | 0

Respondida
#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...

alrededor de 2 años hace | 0

Respondida
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...

alrededor de 2 años hace | 0

Respondida
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...

alrededor de 2 años hace | 0

Respondida
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 ...

alrededor de 2 años hace | 0

Respondida
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...

alrededor de 2 años hace | 0

Respondida
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...

alrededor de 2 años hace | 1

| aceptada

Respondida
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)...

alrededor de 2 años hace | 0

Respondida
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, ...

alrededor de 2 años hace | 0

| aceptada

Respondida
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...

alrededor de 2 años hace | 0

| aceptada

Respondida
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...

alrededor de 2 años hace | 0

| aceptada

Respondida
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...

más de 2 años hace | 0

| aceptada

Respondida
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 ...

más de 2 años hace | 0

| aceptada

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

más de 2 años hace | 0

| aceptada

Respondida
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 ...

más de 2 años hace | 1

| aceptada

Respondida
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...

más de 2 años hace | 0

| aceptada

Respondida
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...

más de 2 años hace | 0

Respondida
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...

más de 2 años hace | 0

| aceptada

Respondida
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...

más de 2 años hace | 1

| aceptada

Respondida
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...

más de 2 años hace | 0

| aceptada

Respondida
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...

más de 2 años hace | 0

| aceptada

Respondida
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....

más de 2 años hace | 0

| aceptada

Respondida
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...

más de 2 años hace | 0

| aceptada

Respondida
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...

más de 2 años hace | 0

| aceptada

Respondida
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...

casi 3 años hace | 0