C 언어 시큐어코딩 - Declare and Initialization 2
식별자를 사용하기 전에 선언한다.
C90 표준은 변수와 함수의 암시적 타이핑을 허용하였으나, C11 표준에는 형식 지정자가 필요하며 암시적 함수 선언을 금지하고 있다. 따라서 기존 레거시 코드 중 일부는 암시적 타이핑을 사용하고 있을 확률이 높다. 일부 컴파일러는 계속해서 지원하고 있지만 이는 호환성을 유지하지 위함이므로 새 코드에서는 사용해서는 안된다.
잘못된 코드 예제
C는 더 이상 선언문에 타입 지정자가 없다는 것을 허용하지 않는다. 이 예제는 형식 지정자를 생략한다.
extern foo;
올바른 코드 예제
이 예제는 형식 지정자가 명시적으로 포함되어 있다.
extern int foo;
잘못된 코드 예제 (암시적 함수 선언)
모든 함수는 호출되기 전에 명시적으로 선언되어야 한다. C90에서 명시적 프로토 타입 없이 함수를 호출하면 컴파일러에서 암시적 선언을 제공했다.
함수 호추이 이루어진 지점에서 표시되지 않으면 C90 호환 플랫폼은 extern int identifier();를 암시적으로 선언한다.
이 선언은 함수가 int를 반환할 수 있음을 의미한다. 그러나 현재 C 표준을 따르기 위해서는 프로그래머가 모든 함수를 호출하기전에 명시저긍로 프로토 타입을 작성해야 한다.
#include <stddef.h>
/* #include <stdlib.h> is missing */
int main(void) {
for (size_t i = 0; i < 100; ++i) {
/* int malloc() assumed */
char * ptr = (char *)malloc(0x10000000);
*ptr = 'a';
}
return 0;
}
올바른 코드 예제 (암시적 함수 선언)
이 예제는 적절한 헤더 파일을 포함하여 malloc()을 선언한다.
#include <stdlib.h>
int main(void) {
for (size_t i = 0; i < 100; ++i) {
char *ptr = (char *)malloc(0x10000000);
*ptr = 'a';
}
return 0;
}
잘못된 코드 예제 (암시적 반환 형식)
예제에서 사용한 것 처럼 암시적 반환 형식의 함수를 선언하지 않고 반드시 반환 형식을 지정한다.
#include <limits.h>
#include <stdio.h>
foo(void) {
return UINT_MAX;
}
int main(void) {
long long int c = foo();
print("", c);
return 0;
}
올바른 코드 예제 (암시적 반환 형식)
이 예제는 명시적으로 foo()의 반환 유형을 unsigned int로 정의하고 있다. 결과 적으로 이 함수는 UINT_MAX를 올바르게 반환한다.
#include <limits.h>
#include <stdio.h>
unsigned int foo(void) {
return UINT_MAX;
}
int main(void) {
long long int c = foo();
printf("%11d\n", c);
return 0;
}