답변 있음
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년 초과 전 | 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...

6년 초과 전 | 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...

6년 초과 전 | 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...

6년 초과 전 | 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 ...

6년 초과 전 | 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 ...

6년 초과 전 | 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...

대략 7년 전 | 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...

대략 7년 전 | 0

채널

Pollution in Grenoble

대략 7년 전

답변 있음
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년 전 | 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...

대략 7년 전 | 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...

대략 7년 전 | 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...

대략 7년 전 | 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...

7년 초과 전 | 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...

7년 초과 전 | 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/...

7년 초과 전 | 0