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