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
