photo

Cristina Golie


2014 年からアクティブ

Followers: 0   Following: 0

メッセージ

統計

  • Thankful Level 1

バッジを表示

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...

9年以上 前 | 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 ...

9年以上 前 | 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...

10年弱 前 | 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 & ...

10年弱 前 | 1 件の回答 | 0

1

回答

回答済み
Polyspace can view the initialized registers?
here it is the attached file

10年弱 前 | 0

回答済み
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

10年弱 前 | 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...

10年弱 前 | 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...

10年以上 前 | 1 件の回答 | 0

1

回答