Réponse apportée
How to ignore link errors during polyspace analysis of C Project.......??
Hi, There is indeed an option, available in the C++ product, to ignore _some_ link errors. This option is -no-extern-C. Th...

plus de 10 ans il y a | 1

| A accepté

Réponse apportée
Polyspace error when trying to obtain complexity metrics with auto generated code
Hi Bibek, This is something that can occur in R2015a. Could you try with the latest version, R2015b? Best regards, Alex...

plus de 10 ans il y a | 0

Réponse apportée
How to set Compiler option in Polyspace code prover?
Hello, Since this is an extra option, in the configuration pane, you have to go to 'Advanced Settings' and enter the option ...

plus de 10 ans il y a | 1

| A accepté

Réponse apportée
Repetitive unreal orange checks
Hello, When dealing with orange checks, a good rule of thumb is to find the source of these checks so you can "work on it". ...

plus de 10 ans il y a | 1

| A accepté

Réponse apportée
MISRA C 2012: 13.2 rule warning on Polyspace Code Prover R2014b
Hello Cristina, The MISRA C 2012 document is correct. The version R2015b of the Polyspace products will not give you this wa...

plus de 10 ans il y a | 0

Réponse apportée
Is it possible to customize targets with 24-bit datatypes in Polyspace?
Hello ! You can choose the target C18, it's a target where you can choose between a 24-bit or a 32-bit pointer. Best reg...

plus de 10 ans il y a | 0

A résolu

Make a full wave rectifier
Produce a full wave rectifier waveform for the given sine wave source. For a sine wave input, the output of the full wave rec...

plus de 10 ans il y a

A résolu

Make a half wave rectifier
Produce a signal that outputs the given sine wave source when it is greater than zero and outputs zero when it is less than zero...

plus de 10 ans il y a

A résolu

Add offset to a signal
Produce the following signal: <<http://blogs.mathworks.com/images/seth/cody/add-offset-eqn.png>> You should see a downward...

plus de 10 ans il y a

A résolu

Produce a sine wave
Produce a sine wave with amplitude 3: <<http://blogs.mathworks.com/images/seth/cody/sine-eqn.png>>

plus de 10 ans il y a

A résolu

Add a block to a model
Produce the following signal: <<http://blogs.mathworks.com/images/seth/cody/add-block-eqn.png>> In this case, the slope of...

plus de 10 ans il y a

A résolu

Produce a cosine wave
Produce the following signal: <<http://blogs.mathworks.com/images/seth/cody/cosine-eqn.png>>

plus de 10 ans il y a

A résolu

Connect blocks in a model
Connect the blocks in the model to produce the following signal: <<http://blogs.mathworks.com/images/seth/cody/connect-blocks...

plus de 10 ans il y a

Réponse apportée
Is there a workaround in the Polyspace tool to avoid justified checks from showing up again?
Hi, Since you have justified the checks, I suggest you to activate filters to hide them. If you have used the Classification ...

plus de 10 ans il y a | 2

| A accepté

Réponse apportée
What causes Polyspace (R2013b) to display the message: pst_file_glob2.c, line 1733: error: floating-point value does not fit in required floating-point type
Hello, the value that we see in the given line will fit in a float, so I'm surprised by this error. I've tried the followi...

plus de 10 ans il y a | 0

| A accepté

Réponse apportée
Generating a reportfile with my comments in commandline under Windows [ACCEPTED]
Hello ! In R2012a, the report is generated from text files located in the Polyspace-Doc subfolder. The comments that you mak...

plus de 10 ans il y a | 0

Réponse apportée
In Polyspace (R2014a) all functions are UNP
Hi, I suggest you to take a look at how the main generator is configured in your project especially the options related to t...

plus de 10 ans il y a | 0

Réponse apportée
Polypspace(R2014a) code prover report shows "NA"?
Hi Dinesh, The column Proven represents the selectivity rate, i.e. the percentage of 'proven checks' that is to say the check...

plus de 10 ans il y a | 0

Réponse apportée
What can cause cross-file errors ?
Hi Gustavo ! This message, given at the end of the log, says that Polyspace has detected cross-files errors. "Cross-files ...

plus de 10 ans il y a | 0

| A accepté

Réponse apportée
Verification time limit in Polyspace( R2014a)
Hello Dinesh ! I think that the documentation says it well : http://fr.mathworks.com/help/codeprover/ref/verification-time-l...

plus de 10 ans il y a | 0

Réponse apportée
Polyspace CodeProver – reanalyze only differences
Hi Daniel! There is no such thing yet because when you want to prove that everything is safe, it is not as easy as it may app...

plus de 10 ans il y a | 0

Réponse apportée
Overlapping RTE and MISRA violations
Hi Daniel! You cannot "eliminate" a check or a violation from the report but I suggest you to comment it (manually or by usin...

plus de 10 ans il y a | 0

| A accepté

Réponse apportée
polyspace MATLAB commands not working
Hello ! How do you launch the "polyspaceJobsManager" command exactly ? polyspaceJobsManager is indeed a MATLAB command and n...

plus de 10 ans il y a | 0

| A accepté

Réponse apportée
What is the difference between the findings category NIV and NIVL in PolySpace for Ada?
Hi Andreas ! The documentation of the current version (R2015a) explains the difference between the twos: * NIVL stands for...

plus de 10 ans il y a | 0

Réponse apportée
Report generation takes too much time.
Hi Daniel ! A typical recommandation is a good compromise between the speed and the memory : 4 cores, 16Gb of Ram, and a fas...

plus de 10 ans il y a | 0

| A accepté

Réponse apportée
Why my check box from Justified column is not checked?
Hello Daniel, You cannot directly set the 'Justified' checkbox. Actually a check (including a misra violation) is justified o...

plus de 10 ans il y a | 0

| A accepté

Réponse apportée
It is possible to add a Polyspace comment in a sigle line to comment a MISRA rule AND a RTE warning?
Hello ! You can't mix two types in the same review comment but you can use two consecutive comments: /* polyspace< MISRA-...

plus de 10 ans il y a | 0

| A accepté

Réponse apportée
Polyspace error in string.h file for IAR Compiler
Hello Mithun! I've been able to verify your code using the 'iar' dialect in my Polyspace project. Actually I created a proje...

plus de 10 ans il y a | 0

Réponse apportée
How do I get the Id of an Polyspace 2012a Analysis started by Command Line?
Hi ! In the results folder, you will find a text file named ID.txt. There is a little parsing to do however : the ID is the nu...

plus de 10 ans il y a | 0

| A accepté

Réponse apportée
How can I test IAR specific files in Polyspace R2014b?
Hi ! I've been able to verify your code with Code Prover 14b by using the dialect IAR (and the OS target -no-predefined-os). ...

presque 11 ans il y a | 0