이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
Check for bitwise operations on signed integers (부호 있는 정수에 대한 비트별 연산이 있는지 검사)
검사 ID: mathworks.misra.CompliantCGIRConstructions
부호 있는 정수에 대한 비트 연산을 포함하는 Simulink 블록을 식별합니다.
설명
이 검사의 권장 사항을 따르면 임베디드 애플리케이션을 위한 MISRA C:2012 호환 코드는 물론, CERT C 및 CWE 표준을 준수하는 코드를 생성할 가능성이 높아집니다.
Embedded Coder® 및 Simulink® Check™와 함께 사용 가능합니다.
참고
모델에 Stateflow 요소가 포함되어 있는 경우 Stateflow® 라이선스가 필요합니다.
결과 및 권장 조치
상태 | 권장 조치 |
---|---|
이 모델에는 부호 있는 정수에 대한 비트 연산을 포함하는 블록이 있습니다. | 비트 연산에는 부호 없는 정수를 사용하는 것을 고려하세요. |
기능 및 제한 사항
다음을 수행할 수 있습니다:
이 검사에서는 전체 모델에 대한 코드가 생성된다고 가정합니다. 서브시스템 빌드나 내보내기 함수로 코드가 생성되면 검사에서 잘못된 결과가 생성될 수 있습니다.
Simulink Check 라이선스가 있는 경우 이 검사에서 블록과 차트를 제외합니다.
참고 항목
MISRA C:2012, Rule 10.1
CERT C, INT13-C
CWE, CWE-682
hisl_0060: Configuration parameters that improve MISRA C:2012 compliance
MISRA C (Embedded Coder)