Beantwortet
how to filter specific files in the bug finder report, to have the report only for specific files
The answer depends on your workflow. If you are generating reports from the Polyspace desktop user interface: Open the Polyspa...

fast 4 Jahre vor | 1

| akzeptiert

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

fast 4 Jahre vor | 1

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

fast 4 Jahre vor | 0

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

fast 4 Jahre vor | 0

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

fast 4 Jahre vor | 0

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

fast 4 Jahre vor | 0

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

fast 4 Jahre vor | 0

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

fast 4 Jahre vor | 0

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

etwa 4 Jahre vor | 0

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

etwa 4 Jahre vor | 0

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

etwa 4 Jahre vor | 0

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

etwa 4 Jahre vor | 0

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

etwa 4 Jahre vor | 1

| akzeptiert

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

etwa 4 Jahre vor | 0

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

etwa 4 Jahre vor | 0

| akzeptiert

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

etwa 4 Jahre vor | 0

| akzeptiert

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

etwa 4 Jahre vor | 0

| akzeptiert

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

etwa 4 Jahre vor | 0

| akzeptiert

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

etwa 4 Jahre vor | 0

| akzeptiert

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

etwa 4 Jahre vor | 0

| akzeptiert

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

etwa 4 Jahre vor | 1

| akzeptiert

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

etwa 4 Jahre vor | 0

| akzeptiert

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

mehr als 4 Jahre vor | 0

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

mehr als 4 Jahre vor | 0

| akzeptiert

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

mehr als 4 Jahre vor | 1

| akzeptiert

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

mehr als 4 Jahre vor | 0

| akzeptiert

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

mehr als 4 Jahre vor | 0

| akzeptiert

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

mehr als 4 Jahre vor | 0

| akzeptiert

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

mehr als 4 Jahre vor | 0

| akzeptiert

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

mehr als 4 Jahre vor | 0

| akzeptiert

Mehr laden