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 years 前 | 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 years 前 | 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 ...
11 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 1 个回答 | 0
