Victor Garcia Santos
Lear Co. Spain
Followers: 0 Following: 0
Statistics
2 Questions
0 Answers
RANK
280 787
of 292 708
REPUTATION
0
CONTRIBUTIONS
2 Questions
0 Answers
ANSWER ACCEPTANCE
100.0%
VOTES RECEIVED
0
RANK
of 19 934
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 147 871
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF 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...
mer än 3 år ago | 1 answer | 0
1
answerQuestion
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...
ungefär 4 år ago | 1 answer | 0