Victor Garcia Santos
Lear Co. Spain
Followers: 0 Following: 0
Feeds
提问
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...
4 years 前 | 1 个回答 | 0
1
个回答提问
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...
5 years 前 | 1 个回答 | 0
