Answered
Polyspace 'Verification'/'source code compliance' phase - why not parallel?
Hello Martin, Since R2014b, the compliance checking of the source files is parallelized. See the release notes on this pag...

6 years ago | 0

| accepted

Answered
How to specify Generic Target Processors with 64 bit pointer in Polyspace
Hi Konrad, What is the name of this target? There is one target with 64-bit pointer: x86_64. Is it very different from your...

6 years ago | 0

Answered
Why I am getting orange warnings if I try to de-reference a 16 bit pointer variable?
Hello Binod, are REG_1 and REG_2 really pointers? Because here you are casting these pointers to integers. Can you tell me t...

6 years ago | 0

Answered
Weak symbols in codeprover
Hello, when you write "The codeprover doesn't seem to understand this attribute", do you mean that you have a compilation err...

6 years ago | 0

| accepted

Answered
Code prover wants userdef function for critical section
Hello, can you check if fenter_critical() and fexit_critical() are always declared in every file where they are used? I can ...

6 years ago | 0

| accepted

Answered
polyspace have a problem about "__interrupt", "@", etc
Hello, the keyword __interrupt is an extension of the CodeWarrior compiler. It is not Ansi. But to ignore it, you just need ...

6 years ago | 0

Answered
How can I define a custom exception type for Polyspace Bug Finder?
Hello Trenton, Without further information, it is difficult to find out why Polyspace is not able to know that "a certain mac...

7 years ago | 0

Answered
Report generation along with successful Polyspace analysis results using command line option
Hello, in the first command you launch a verification in batch mode, i.e. the verification will run on a server, not locally....

7 years ago | 3

Answered
please, how to solve "ERROR : inject proxy for 32 bit couldn't be launched"
Hi, this problem seems close to another one posted some days ago: <https://www.mathworks.com/matlabcentral/answers/341586-...

7 years ago | 0

Answered
ps_windows_inject
Hello, This error is usually coming from missing DLLs of the Microsoft Visual redistributable package (and used by polyspace-...

7 years ago | 0

Answered
Upload Metrics through command line
Hi, yes, this is possible via the command 'polyspace-results-repository'. To upload a results folder to your Metrics serve...

7 years ago | 2

| accepted

Answered
Class name, methods to call within the specified class options are not showing in polyspace
Hi, these options are available if: * the project is a C++ or C-C++ project * the main generator is activated, i.e. you h...

7 years ago | 1

Answered
PS-CP: is it possible, to add a sourcefile which contains all necessary stubs for a PS project when all sourcefiles will be verified independently?
Hello, in the scenario, the solution is to use the option -unit-by-unit-common-source. See the documentation of this option ...

7 years ago | 0

| accepted

Answered
[Polyspace]why dose the polyspace report generator continue the processing Configuration?
HI! it could be interesting to launch the report generation in command line, to see if there are any errors. To do that us...

7 years ago | 0

| accepted

Answered
Reconciling Polyspace Unused Parameter and MISRA 2.2 No Dead Code Warning
Hi, what about using a code annotation to automatically justify the defect? In this case, the annotation is: /* polyspac...

7 years ago | 0

Answered
Polyspace Code Prover (R2014b) - Float32 Overflow due to static local variables
Hello Thomas, I've tried your code snippet with the version R2016b and everything is green (and X_Sa2_LPF_UnitDelay is not fu...

7 years ago | 0

Answered
How can I generate a Microsoft(R) Excel(TM) report of a verification under 2016b
Hi, the generation of the excel file is no longer possible. For your automation, you can use the export in tsv format: <...

7 years ago | 0

Answered
In Polyspace version 2016B.How to generate Intermediate files(.CI)
Hello, You can use the command-line option named "-keep-relaunch-files" for that. When this option is set, Polyspace will...

7 years ago | 0

Answered
The code metrics for each and every metric after a Polyspace Bugfinder run have the same value. In the image attached, all the function metrics gave the same value, 653. Is this normal and if so what should be done to obtain the correct value?
Hello Sudarshan, No, this is not normal. I suggest you to contact the technical support, with the verification/analysis log a...

7 years ago | 0

Answered
Open Polyspace R2016a results in R2015a
Hi, the error message is a consequence of loading results generated with a more recent version than the current product (in ...

7 years ago | 0

| accepted

Answered
Why do I get a NoEnt message whenever I try to download results from Polyspace Metrics?
Hello, could you try this: On your client machine, launch the command: C:\Polyspace\PolyspaceForCandCPP_R2013a\polyspa...

7 years ago | 1

| accepted

Answered
Comparing 2 Polyspace code prover Results
Hello, I see two ways to do that: 1. export the results in a tsv format and compare the two text files See how to expor...

7 years ago | 0

Channel


Pollution in Grenoble

7 years ago

Answered
The source compliance phase results were not sent to the server.This error i am facing on 2016b code prover. Please suggest me solution.
Hello, For this kind of error ( Exception raised in binary_driver exception Path(Path) raised), you should contact the techni...

7 years ago | 0

Answered
Enums in Bitfields [Greenhills PowerPC Compiler for C]
Hello, Polyspace is not confused but the actual type of an enum (and its signedness) is implementation-dependent. See thi...

7 years ago | 0

| accepted

Answered
What Compiler does Polyspace uses for Compiling the code...?
Hello, Polyspace does not use a specific compiler but instead uses a general-purpose preprocessor that can "emulate" a compil...

7 years ago | 0

Answered
How do I make Polyspace understand a dereferenced pointer function parameter?
Hello, In C, this syntax extern void func( Custom_Type &func_param ); is not valid. I guess that you should use the...

7 years ago | 1

| accepted

Answered
How to enable automatic stubbing option in 2016b polyspace code prover?
Hello, the stubbing is automatic in R2016b, and in the previous versions as well. More precisely, if Polyspace (Code Prove...

7 years ago | 0

Answered
Can you kindly let me know about Polyspace Main Generator ?
Hello, With Polyspace, you don't need to provide all the source code of your application. You can use the tools (Code Prov...

7 years ago | 0

Answered
Unable to access Polyspace Metrics http address
Hello Dylan, For the tomcat folder, I guess that you are referring to this page: <https://www.mathworks.com/help/codeprover/...

7 years ago | 0

Load more