Victor Garcia Santos
Lear Co. Spain
Followers: 0 Following: 0
Statistiques
2 Questions
0 Réponses
RANG
242 885
of 300 847
RÉPUTATION
0
CONTRIBUTIONS
2 Questions
0 Réponses
ACCEPTATION DE VOS RÉPONSES
100.0%
VOTES REÇUS
0
RANG
of 21 094
RÉPUTATION
N/A
CLASSEMENT MOYEN
0.00
CONTRIBUTIONS
0 Fichier
TÉLÉCHARGEMENTS
0
ALL TIME TÉLÉCHARGEMENTS
0
RANG
of 171 279
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
Stack check by Code Prover
Hi all, My first post here... We are working on an embedded project, bare metal. The customer asks for a analysis of the stack...
presque 5 ans il y a | 1 réponse | 0
1
réponseQuestion
Polyspace (either bug finder or code prover) is capable of detecting overflow on iteration variable?
I have a compiler reported bug stating that a loop may iterate more than expected. It is quite a corner case, but when dealing w...
plus de 5 ans il y a | 1 réponse | 0
