Orange OBAI check in Polyspace Code Prover R2015a
조회 수: 3 (최근 30일)
이전 댓글 표시
The code snippet below is verified with CodeProver R2015a. The tool detects an orange OBAI at line 11033 (iter [-2^31...2^31+1]). The variable iter is type unsigned int.
typedef uint8_least Dcm_TimerIdType;
typedef unsigned int uint8_least; /* At least 8 bit */
Nevertheless at line 11033 the tool says array index value: [ -2^31...2^31+1]???
댓글 수: 0
답변 (1개)
Alexandre De Barros
2017년 12월 12일
Hi,
There is a similar question here:
You can also refer to the C standard, paragraph 6.5.2.1 "Array subscripting" (item 2) mentioning the type "integer".
Best regards,
Alex
댓글 수: 2
Alexandre De Barros
2017년 12월 19일
Hello,
I have discussed with the development and this cast is indeed not "realistic". I have then created a request to discard this cast.
Regards,
Alex
참고 항목
카테고리
Help Center 및 File Exchange에서 Options at Command Line Only에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!