回答済み
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...

約7年前 | 0

| 採用済み

回答済み
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...

約7年前 | 0

回答済み
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...

約7年前 | 0

回答済み
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...

約7年前 | 0

| 採用済み

回答済み
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 ...

約7年前 | 0

| 採用済み

回答済み
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 ...

7年以上前 | 0

回答済み
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年以上前 | 0

回答済み
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年以上前 | 3

回答済み
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年以上前 | 0

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

7年以上前 | 0

回答済み
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年以上前 | 2

| 採用済み

回答済み
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年以上前 | 1

回答済み
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年以上前 | 0

| 採用済み

回答済み
[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年以上前 | 0

| 採用済み

回答済み
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年以上前 | 0

回答済み
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年以上前 | 0

回答済み
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年以上前 | 0

回答済み
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年以上前 | 0

回答済み
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年以上前 | 0

回答済み
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年以上前 | 0

| 採用済み

回答済み
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...

8年弱前 | 1

| 採用済み

回答済み
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...

8年弱前 | 0

チャネル

Pollution in Grenoble

8年弱前

回答済み
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...

8年弱前 | 0

回答済み
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...

8年弱前 | 0

| 採用済み

回答済み
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...

8年弱前 | 0

回答済み
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...

8年弱前 | 1

| 採用済み

回答済み
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...

8年弱前 | 0

回答済み
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...

8年弱前 | 0

回答済み
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/...

約8年前 | 0