Statistiques
RANG
299 723
of 301 905
RÉPUTATION
0
CONTRIBUTIONS
7 Questions
2 Réponses
ACCEPTATION DE VOS RÉPONSES
42.86%
VOTES REÇUS
0
RANG
of 21 453
RÉPUTATION
N/A
CLASSEMENT MOYEN
0.00
CONTRIBUTIONS
0 Fichier
TÉLÉCHARGEMENTS
0
ALL TIME TÉLÉCHARGEMENTS
0
RANG
of 177 276
CONTRIBUTIONS
0 Problèmes
0 Solutions
SCORE
0
NOMBRE DE BADGES
0
CONTRIBUTIONS
0 Publications
CONTRIBUTIONS
0 Public Chaîne
CLASSEMENT MOYEN
CONTRIBUTIONS
0 Point fort
NOMBRE MOYEN DE LIKES
Feeds
Question
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...
presque 11 ans il y a | 1 réponse | 0
1
réponseQuestion
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 ...
environ 11 ans il y a | 1 réponse | 0
1
réponseQuestion
Convertion from U16 in U8 results overflow. Why?
Hello all, I made the following example: typedef unsigned int U16; typedef unsigned char U8; // case ...
environ 11 ans il y a | 2 réponses | 0
2
réponsesQuestion
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...
plus de 11 ans il y a | 1 réponse | 0
1
réponseQuestion
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 & ...
plus de 11 ans il y a | 1 réponse | 0
1
réponsePolyspace can view the initialized registers?
here it is the attached file
plus de 11 ans il y a | 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
plus de 11 ans il y a | 0
Question
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...
plus de 11 ans il y a | 3 réponses | 0
3
réponsesQuestion
Polyspace R2014b installation issue
Currently we have a concurrent Polyspace Bug Finder license. The installed license version on server licenses is R2014a. Can...
plus de 11 ans il y a | 1 réponse | 0
