C安全编码之表达式part1

1.Do not modify constant values
C99标准中说：
若通过非const型左值修改const类型的对象，该行为是未定义。

char const **cpp;
char *cp;
char const c = 'A';
cpp = &cp; /* constraint violation */
*cpp = &c; /* valid */
*cp = 'B'; /* valid */

2.不要通过非volatile引用来访问一个volatile对象.
C99标准中说：

如果通过非volatile限定类型的左值引用volatile限定类型定义的对象，该行为是未定义的。

static volatile int **ipp;
static int *ip;
static volatile int i = 0;
printf("i = %d.\n", i);
ipp = &ip; /* constraint violation */
*ipp = &i; /* valid */

3.不要引用未初始化的值
自动变量被初始化前，其值是未意料的。C99规定“如果一个具有自动存储期的对象未显式初始化，它的值是不确定的”。
错误代码：

void log_error(char *msg) {
    char *log;
    char buffer[24];
    sprintf(buffer, "Error: %s", log);
    printf("%s\n", buffer);
}

正确代码：

void log_error(char *msg) {
    char *log = msg;
    char buffer[24];
    sprintf(buffer, "Error: %s", log);
    printf("%s\n", buffer);
}

4.在解引用指针前，保证指针是有效地。解引用一个非法指针，其行为是未定义，典型行为是中断程序执行。

size_t size = strlen(input_str);
if (size == SIZE_MAX) { /* test for limit of size_t */
/* Handle Error */
}
str = malloc(size+1);
strcpy(str, input_str);
/* ... */
free(str)

若malloc失败，没有对str进行有效判断。
正确代码：

size_t size = strlen(input_str);
if (size == SIZE_MAX) { /* test for limit of size_t */
/* Handle Error */
}
str = malloc(size+1);
if (str == NULL) {
/* Handle Allocation Error */
}
strcpy(str, input_str);
/* ... */
free(str)