photo

Victor Garcia Santos


Lear Co. Spain

Last seen: 3년 초과 전 |  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년 초과 전 | 답변 수: 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년 전 | 답변 수: 1 | 0

1

답변