본문 바로가기

CERT C7

CERT C - CON 규칙 목록 CON Concurrency (CON) - 동시성 프로그램에서 발생하는 동시성(concurrency)과 관련된 내용을 다루는 카테고리입니다. 여러 스레드에서 비트 필드에 접근할 때 데이터 경합을 방지할 것과 같은 프로그램의 동시성과 안전성을 높이기 위해 지켜져야 하는 규칙이 포함되어 있습니다. RuleNumber Rule Definition 설명 CON33-C라이브러리 함수를 사용할 때 경쟁 상태(race condition)을 피해라다중 스레드 환경에서 표준 C 라이브러리 함수를 사용할 때 발생할 수 있는 경쟁 상태(race condition)를 피하는 것을 목표로 합니다. 다중 스레드 환경에서 사용할 때 주의해야 하는 몇 가지 표준 C 라이브러리 함수들은 다음과 같습니다: strtok() 및 asc.. 2024. 11. 18.
CERT C - FLT 규칙 목록 FLP  Floating Point (FLP) - 부동 소수점부동 소수점에 관한 내용을 다루는 카테고리입니다.  부동 소수점 변수를 루프 카운터로 사용하지 말 것과 같은 소수점 연산의 정확성과 안전성을 높이기 위해 지켜져야 하는 규칙이 포함되어 있습니다.   RuleNumber Rule Definition 설명 FLP32-C수학(math) 함수의 도메인 및 범위 오류를 방지하거나 감지합니다.C 표준 7.12.1 [ISO/IEC 9899:2011]은 특히 의 수학 함수와 관련된 세 가지 유형의 오류를 정의합니다.- 입력 인수가 수학 함수가 정의된 도메인 외부에 있는 경우 도메인 오류가 발생합니다.- 유한 입력 인수가 극한에 접근할 때 수학 함수가 정확한 무한 결과를 갖는 경우 극점 오류(특이점 또는 무.. 2024. 11. 10.
CERT C - INT 규칙 목록 INT : Integers (INT) - 정수 정수형 데이터 형 변환에 관련된 내용을 다루는 카테고리입니다.  부호 있는 정수형과 부호 없는 정수형 간의 형 변환에 대한 안전한 방법에 대한 규칙이 포함되어 있습니다.  Rule Number Rule Definition 설명 INT01-C객체의 크기를 나타내는 모든 정수 값에는 rsize_t 또는 size_t를 사용하세요.size_t 유형은 sizeof 연산자 결과의 부호 없는 정수 유형입니다.size_t 유형의 변수는 객체의 크기를 나타내는 데 충분한 정밀도가 보장됩니다. size_t의 한계는 SIZE_MAX 매크로에 의해 지정됩니다.INT02-C정수 변환 규칙을 이해합니다.변환은 캐스트(cast)의 결과로 명시적으로 발생하거나 작업에서 요구하는 대로.. 2024. 11. 9.
CERT C - EXP 규칙 목록 EXP : Expressions (EXP) - 표현식 표현식에 관한 내용을 다루는 카테고리입니다. 표현식은 변수, 상수, 연산자 등을 조합하여 값을 계산하는 방법을 나타냅니다.  프로그램에서 표현식을 올바르게 작성하고 계산하는 데 도움이 되는 규칙이 포함되어 있습니다. Rule Number Rule Definition 설명EXP05-Cconst qualification을 제거하지 마십시오.포인터 유형의 객체에 대한 const qualification을 제거하지 마십시오.const qualification을 제거하면 프로그램이 포인터가 가리키는 객체를 수정할 수 있게 되어 정의되지 않은 동작을 유발할 수 있습니다. C 표준의 부록 J의 정의되지 않은 동작 64를 참조하십시오.EXP09-Csizeof를 사용.. 2024. 11. 8.
728x90