CERT C, SWE 및 ISO/IEC TS 17961 코딩 표준에 대한 Model Advisor 검사

이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

이러한 검사는 Embedded Coder^®에 의해 생성된 코드가 CERT C, CWE, and ISO/IEC TS 17961 (Embedded Coder) 보안 코딩 표준을 준수하는지 확인하는 데 사용됩니다. 이러한 Model Advisor 검사는 CERT C, CWE, and ISO/IEC TS 17961 (Embedded Coder) 보안 코딩 표준을 준수하는 코드를 생성할 가능성을 높여줍니다.

코드가 CERT C, CWE, and ISO/IEC TS 17961 (Embedded Coder) 보안 코딩 표준인 open the Model Advisor을 준수하는지 확인하고 작업별 > Modeling Guidelines for Secure Coding (CERT C, CWE, ISO/IEC TS 17961)에서 검사를 실행하세요.

이러한 검사를 실행하려면 Embedded Coder 또는 Simulink^® Check™가 필요합니다. 일부 검사에는 Simulink Design Verifier™이 필요합니다.

보안 코딩 표준			모델 어드바이저 확인	ID 확인
CERT C	CWE	ISO/IEC TS 17961	모델 어드바이저 확인	ID 확인
✔	✔	✔	보안 코딩 표준에 대한 구성 매개변수를 확인하세요.	`mathworks.security.CodeGenSettings`
✔	✔	✔	C/C++ 프로덕션 코드 배포에 권장되지 않는 블록을 확인하세요.	`mathworks.codegen.PCGSupport`
✔	✔	✔	보안 코딩 표준에 권장되지 않는 블록을 확인하세요.	`mathworks.security.BlockSupport`
✔	✔	✔	할당 블록 사용량 확인	`mathworks.misra.AssignmentBlocks`
✔	✔	✔	기본 케이스가 없는 스위치 케이스 표현식을 확인하세요.	`mathworks.misra.SwitchDefault`
✔	✔	✔	부호 있는 정수에 대한 비트 연산을 확인하세요.	`mathworks.misra.CompliantCGIRConstructions`
✔	✔	✔	부동 소수점 값에 대한 동등 및 부등 연산 확인	`mathworks.misra.CompareFloatEquality`
✔	✔	✔	정수 단어 길이 확인	`mathworks.misra.IntegerWordLengths`
✔	✔	✔	데드 로직 감지	`mathworks.sldv.deadlogic`
✔	✔	✔	정수 오버플로 감지	`mathworks.sldv.integeroverflow`
✔	✔	✔	0으로 나누기 감지	`mathworks.sldv.divbyzero`
✔	✔	✔	범위를 벗어난 어레이 액세스 감지	`mathworks.sldv.arraybounds`
✔	✔	✔	지정된 최소값 및 최대값 위반 감지	`mathworks.sldv.minmax`
✔	해당 없음	해당 없음	MISRA C:2012의 구성 매개변수를 확인하세요.	`mathworks.misra.CodeGenSettings`
✔	해당 없음	해당 없음	Abs 블록의 사용량 확인	`mathworks.hism.hisl_0001`
✔	해당 없음	해당 없음	나머지 및 역연산의 사용법을 확인하세요.	`mathworks.sldv.hism.hisl_0002`
✔	해당 없음	해당 없음	제곱근 연산 사용법 확인	`mathworks.hism.hisl_0003`
✔	해당 없음	해당 없음	While Iterator 블록의 사용법을 확인하세요.	`mathworks.hism.hisl_0006`
✔	해당 없음	해당 없음	인덱스 신호가 있는 블록의 데이터 유형 확인	`mathworks.hism.hisl_0022`
✔	해당 없음	해당 없음	Reciprocal Sqrt 블록의 사용량 확인	`mathworks.hism.hisl_0028`
✔	해당 없음	해당 없음	그래픽 함수에서 전역 변수 확인	`mathworks.hism.hisl_0062`
✔	해당 없음	해당 없음	비트 시프트 연산 사용법 확인	`mathworks.hism.hisl_0073`
✔	해당 없음	해당 없음	데이터 유형 변환에 대한 안전 관련 최적화 설정 확인	`mathworks.hism.hisl_0053`
✔	해당 없음	해당 없음	나눗셈 연산 예외에 대한 안전 관련 최적화 설정 확인	`mathworks.hism.hisl_0054`
✔	해당 없음	해당 없음	모델 파일명 확인	`mathworks.hism.hisl_0031`
✔	해당 없음	해당 없음	모델 객체 이름 확인	`mathworks.hism.hisl_0032`