photo

Victor Garcia Santos


Lear Co. Spain

Last seen: 3 years 前 |  自 2020 起处于活动状态

Followers: 0   Following: 0

消息

统计学

  • Thankful Level 2
  • Thankful Level 1

查看徽章

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

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

4 years 前 | 1 个回答 | 0

1

个回答