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

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

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

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

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

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

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

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

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

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

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

답변 있음
Polyspace Bug Finder problem in MDK-ARM
Hi! What "OS target" are you using? Did you activate the Keil dialect? Regards, Alex

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

답변 있음
Polyspace R2014b installation issue
Hello Cristina! A R2014b license is compatible with older versions, so if you upgrade your license to R2014b, you will still ...

거의 12년 전 | 0

| 수락됨

답변 있음
How can I use relative paths in a Polyspace project file?
Hi Martin! There is a possible workaround for your question: create a network drive under Windows or a link under Linux that ...

거의 12년 전 | 0

답변 있음
How can I generate a Microsoft(R) Excel(TM) file of the Variable Access table in the Result Manager of PolySpace Code Prover using PolySpace Code Prover (R2014a)?
Hi! The Variables Access view is automatically generated in the TSV (table separated values) format that you can easily impor...

거의 12년 전 | 0

답변 있음
How to fix this error "A segmentation fault occured in "edgcpfe.x86-mingw32.exe" "
Hi ! With this kind of problem, you should contact the support, and send them the log of the verification. Best regards, ...

거의 12년 전 | 0

답변 있음
Polyspace Bug Finder shut down in command line
Hello Daniel, Unfortunately, it is not possible in the current release: you have to exit Eclipse. Good news: in the next rel...

거의 12년 전 | 1

| 수락됨

답변 있음
Polyspace web server can not be found:
Hi Neil! To answer precisely to your question, it could be interesting to know first what you did in terms of Metrics Server...

거의 12년 전 | 0

답변 있음
Why would polyspace report "memset is dead code"
Hello! For performance and precision reasons, Polyspace is creating inner versions of memset (and also other memory related f...

거의 12년 전 | 1

| 수락됨

답변 있음
polyspace: color of underlined tokens in the source pane
Hi Tommy! Basically, dashed lines are used to indicate that tooltips are available. Tooltips on operators, assignments, etc.....

대략 12년 전 | 2

| 수락됨

답변 있음
polyspace: best practice for stubbing functions that exit?
Hi Tommy! If a function exits the program, then by definition the call to this function will never return, and the program wi...

대략 12년 전 | 0

| 수락됨

답변 있음
Getting MISRA 10.1 in Polyspace 2012a for Pointer to Structures.
Hi Karan! Polyspace refers here to the ISO C99 standard to define a pointer equivalent to an int, especially the paragraph 6....

대략 12년 전 | 1

답변 있음
Import Comments from PolySpace 2010b(V8.0) to PolySpace V8.5?
Hi Chocolat Warrior! Yes, it is possible to import previously commented checks. To do that, open the R2013a results with the...

대략 12년 전 | 1

| 수락됨

문제를 풀었습니다

Finding Perfect Squares
Given a vector of numbers, return true if one of the numbers is a square of one of the other numbers. Otherwise return false. E...

12년 초과 전

문제를 풀었습니다

Create times-tables
At one time or another, we all had to memorize boring times tables. 5 times 5 is 25. 5 times 6 is 30. 12 times 12 is way more th...

12년 초과 전

문제를 풀었습니다

Fibonacci sequence
Calculate the nth Fibonacci number. Given n, return f where f = fib(n) and f(1) = 1, f(2) = 1, f(3) = 2, ... Examples: Inpu...

12년 초과 전

문제를 풀었습니다

Determine whether a vector is monotonically increasing
Return true if the elements of the input vector increase monotonically (i.e. each element is larger than the previous). Return f...

12년 초과 전