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

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

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 확인
✔	✔	✔	Check configuration parameters for secure coding standards (보안 코딩 표준에 대한 구성 파라미터 검사)	`mathworks.security.CodeGenSettings`
✔	✔	✔	C/C++ 프로덕션 코드 배포에 권장되지 않는 블록을 확인하세요.	`mathworks.codegen.PCGSupport`
✔	✔	✔	Check for blocks not recommended for secure coding standards (보안 코딩 표준에 권장되지 않는 블록이 있는지 검사)	`mathworks.security.BlockSupport`
✔	✔	✔	Check usage of Assignment blocks (Assignment 블록 사용 검사)	`mathworks.misra.AssignmentBlocks`
✔	✔	✔	Check for switch case expressions without a default case (default case를 갖지 않는 switch case 표현식이 있는지 검사)	`mathworks.misra.SwitchDefault`
✔	✔	✔	Check for bitwise operations on signed integers (부호 있는 정수에 대한 비트별 연산이 있는지 검사)	`mathworks.misra.CompliantCGIRConstructions`
✔	✔	✔	Check for equality and inequality operations on floating-point values (부동소수점 값에 대한 등식 및 부등식 연산이 있는지 검사)	`mathworks.misra.CompareFloatEquality`
✔	✔	✔	Check integer word lengths (정수 워드 길이 검사)	`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`
✔	해당 없음	해당 없음	Check usage of Abs blocks (Abs 블록 사용 검사)	`mathworks.hism.hisl_0001`
✔	해당 없음	해당 없음	Check usage of remainder and reciprocal operations (나머지 및 역수 연산 사용 검사)	`mathworks.sldv.hism.hisl_0002`
✔	해당 없음	해당 없음	Check usage of square root operations (제곱근 연산 사용 검사)	`mathworks.hism.hisl_0003`
✔	해당 없음	해당 없음	Check usage of While Iterator blocks (While Iterator 블록 사용 검사)	`mathworks.hism.hisl_0006`
✔	해당 없음	해당 없음	Check data types for blocks with index signals (인덱스 신호를 갖는 블록에 대한 데이터형 검사)	`mathworks.hism.hisl_0022`
✔	해당 없음	해당 없음	Check usage of Reciprocal Sqrt blocks (Reciprocal Sqrt 블록 사용 검사)	`mathworks.hism.hisl_0028`
✔	해당 없음	해당 없음	Check global variables in graphical functions (그래픽 함수의 전역 변수 검사)	`mathworks.hism.hisl_0062`
✔	해당 없음	해당 없음	Check usage of bit-shift operations (비트 시프트 연산 사용 검사)	`mathworks.hism.hisl_0073`
✔	해당 없음	해당 없음	데이터 유형 변환에 대한 안전 관련 최적화 설정 확인	`mathworks.hism.hisl_0053`
✔	해당 없음	해당 없음	나눗셈 연산 예외에 대한 안전 관련 최적화 설정 확인	`mathworks.hism.hisl_0054`
✔	해당 없음	해당 없음	Check model file name (모델 파일 이름 검사)	`mathworks.hism.hisl_0031`
✔	해당 없음	해당 없음	Check model object names (모델 객체 이름 검사)	`mathworks.hism.hisl_0032`