Feeds
질문
It is possible to add a Polyspace comment in a sigle line to comment a MISRA rule AND a RTE warning?
Hello all, I have a question about Polyspace Code Prover R2014b: - It is possible to add a Polyspace comment into a sigle li...
10년 초과 전 | 답변 수: 1 | 0
1
답변질문
Files are not generated with Polyspace Code Prover R2015a
The following files are not generated with Polyspace Code Prover R2015a: MISRA-C3-summary-report.xml MISRA-C3-report.xml ...
10년 초과 전 | 답변 수: 1 | 0
1
답변질문
Convertion from U16 in U8 results overflow. Why?
Hello all, I made the following example: typedef unsigned int U16; typedef unsigned char U8; // case ...
10년 초과 전 | 답변 수: 2 | 0
2
답변질문
What problem arrise when we have union + volatile?
Hello all, I have the following .c file: typedef unsigned char U8; typedef unsigned int U16; union twoBytesUni...
거의 11년 전 | 답변 수: 1 | 0
1
답변질문
MISRA C 2012: 13.2 rule warning on Polyspace Code Prover R2014b
I made the following example from "MISRA C 2012" pdf file: *extern volatile int PORT; void main() { PORT = PORT & ...
거의 11년 전 | 답변 수: 1 | 0
1
답변답변 있음
Polyspace can view the initialized registers?
Hello Alex, Yes, the registers are declared as volatile. You can see my attached file (register.txt). Thanks you
Polyspace can view the initialized registers?
Hello Alex, Yes, the registers are declared as volatile. You can see my attached file (register.txt). Thanks you
거의 11년 전 | 0
질문
Polyspace can view the initialized registers?
Hello all, I started a new Polyspace Code Prover (R2014b) analysis for a project. In configuration, I checked “Ignore defaul...
거의 11년 전 | 답변 수: 3 | 0
3
답변질문
Polyspace R2014b installation issue
Currently we have a concurrent Polyspace Bug Finder license. The installed license version on server licenses is R2014a. Can...
대략 11년 전 | 답변 수: 1 | 0
