已回答
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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 0

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

7 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 0

已回答
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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 0

已回答
pointer to incomplete class type error in polyspace.
Hello, I haven't been able to reproduce this error with the last version of Polyspace (R2016b). Here is the complete code ...

8 years 前 | 0

| 已接受

已回答
Mismatch between polyspace error message and the code line
Hello, the line number is indeed strange but I also can see that the line 52835 displayed in Polyspace does not correspond to...

8 years 前 | 0

已回答
[polyspace code prover] How to fix the link errors ?
Hello, Link errors with Code Prover will stop the verification process because they represent an inconsistency in the source ...

8 years 前 | 0

| 已接受

已回答
Polyspace Gray result UNP error type, what is UNP?
Hi, UNP means UNreachable Procedure. In the recent version, this check is now called Function Not Called, or FNC. More in...

8 years 前 | 0

加载更多