已回答
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...

10 years 前 | 0

已回答
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...

10 years 前 | 0

已回答
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...

10 years 前 | 0

已回答
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 ...

10 years 前 | 0

| 已接受

已回答
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...

10 years 前 | 0

已回答
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...

10 years 前 | 0

已回答
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...

10 years 前 | 0

| 已接受

已回答
polyspace MATLAB commands not working
Hello ! How do you launch the "polyspaceJobsManager" command exactly ? polyspaceJobsManager is indeed a MATLAB command and n...

10 years 前 | 0

| 已接受

已回答
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...

10 years 前 | 0

已回答
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...

10 years 前 | 0

| 已接受

已回答
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...

10 years 前 | 0

| 已接受

已回答
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-...

10 years 前 | 0

| 已接受

已回答
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...

10 years 前 | 0

已回答
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...

10 years 前 | 0

| 已接受

已回答
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). ...

10 years 前 | 0

已回答
Runtime checks exited with an exception
Hi Sridhar! For this kind of problems, I suggest you to contact the technical support, and provide the verification log. B...

10 years 前 | 0

已回答
Polyspace R2012b & Qt projects
Hi Dimitry, It is possible to verify your Qt project, but you need to tell Polyspace to activate the same compilation flags (...

10 years 前 | 0

已回答
Convertion from U16 in U8 results overflow. Why?
Hi, I will also add that Polyspace is raising an overflow here because in your Polyspace project, you have specified an option ...

10 years 前 | 0

| 已接受

已回答
What problem arrise when we have union + volatile?
Hi Cristina, It is indeed an imprecision when a volatile union is used. It has been reported and should be fixed in a future ...

10 years 前 | 0

已回答
Polyspace can view the initialized registers?
Hi Cristina, I guess that the resigsters are declared as volatile, can you confirm ? Moreover, can you tell me how the regis...

10 years 前 | 0

已回答
Polyspace DO Qualification Kit 2014b for MISRA-C 2012
Hi ! The support of MISRA-C 2012 is scheduled for the next version, R2015a (so available in a few weeks). Best regards, ...

10 years 前 | 0

已回答
Unreachable functions don't appear in the report
Hi Dimo! There is indeed a problem in the Report Generator with this version (I guess it's R2012a or R2012b). This problem do...

10 years 前 | 1

| 已接受

已回答
Polyspace Code Prover R2014b - ps_cxx_fe.exe has stopped working
Hi Daniel! This is a problem with an internal executable. I suggest you to contact the MathWorks support, and provide them th...

10 years 前 | 0

| 已接受

已回答
Import/Export Checks/Comments Using PolySpace R2009b
Hi Andreas! You can try this command: C:\PolySpace\PolySpaceForAda_<release>\Verifier\wbin\gui-api.exe -diff-rte <orig_rt...

10 years 前 | 0

已回答
How to set DRS correctly via textfile (PS2014b)?
Hi Thomas, Is the function function1 defined or undefined in your application ? If it is undefined (so stubbed), I don't see...

10 years 前 | 0

已回答
Prepare Multitasking Code - R2014b
Hi Daniel! The word "execution" should not be interpreted as a real (and dynamic) execution. The wikipedia page about <http:...

11 years 前 | 0

| 已接受

已回答
Why do I get Polyspace compilation error when I have specified all source and header files
Hi Sanjay! Your project options look good (dialect, include folders...). For a more precise diagnosis you should contact the ...

11 years 前 | 0

已回答
Polyspace Bug Finder problem in MDK-ARM
Hi! What "OS target" are you using? Did you activate the Keil dialect? Regards, Alex

11 years 前 | 0

已回答
Prepare Multitasking Code - R2014b
Hello Daniel, 1) Talking about probability doesn't make sense in the case of formal tools like Polyspace, since there is no e...

11 years 前 | 0

已回答
I/O internal error
Hi Marvin! This kind of errors are really "low level" errors, so there is no easy workaround. Do you see in the log a mess...

11 years 前 | 0