规则:
不要访问已经释放的内存。使用引用被free( ) 或者 realloc( ) 函数调用释放的内存指针值是未确定的。
需要注意的一点是,realloc( ) 可能会释放原来的指针。
规则:
在不需要时释放动态分配的内存。
规则:
动态分配和复制包含灵活数组成员结构。为了避免未定义行为,包含灵活数组成员的结构应该始终动态分配,具有灵活数组成员的结构必须:
@使用动态存储期间(通过malloc 或者其它动态函数分配)
@使用memcpy() 或者类函数动态复制,不使用赋值语句
@用作函数实参时,通过指针传递而不是按值复制
struct flex_array_struct{ size_t num; int data[]; }; void fun(){ struct flex_array_struct flex_struct; size_t array_size = 4; flex_struct.num = array_size ; for(size_t i = 0,i < array_size;++i){ /*栈上的空间中data成员没有保留任何空间,访问是未定义行为*/ flex_struct.data[i] = 0; } } void fun(struct flex_array_struct * struct_a ,struct flex_array_struct * struct_b){ *struct_b = *struct_a; /*复制结构时并没有复制灵活成员*/ } void print_array(struct flex_array_struct struct_p){ printf("%d ",struct_p.data[i]); /*实参传递时没有复制灵活数组*/ }
规则: 只释放动态分配的内存。 规则: 为对象分配足够的内存。 规则: 不要通过realloc( ) 修改对象的对齐方式。relloc( ) 将分配适度对齐的新内存,可以赋值给具有对齐基本要求的任何类型对象指针。 规则: 从格式化字符串中排除用户输入。防止格式化字符串漏洞攻击。格式字符串攻击 解决方案:使用 fputs, fprintf. 规则: 不要打开已经打开的文件,这个问题看具体实现。 规则: 不要在只适合文件的设备上执行操作。 规则: 区分从文件读入的字符和EOF/WEOF 规则: 不要假定fgets( ) fgetsw( ) 在成功时返回非空字符串。 规则: 不要复制FILE对象。 规则: 不要在没有中间刷新或者定位调用的情况下在一个流中交替输入,输出。这是一个未定义行为。 规则: 在fgets( ) 或者 fgetws( ) 失败时重置字符串。这两个函数失败时,写入数组的内容是不确定的。 规则: 不要使用有负作用的流作为实参调用getc( ) ,putc( ) ,getwc() , putwc( ) 因为这几个函数可能是宏实现的。 规则: 在不再需要时关闭文件。 规则: 避免访问文件时产生TOCTOU竞争条件,这种攻击一般由另一个进程发起。 规则: 不要访问已关闭文件。 规则: 使用有效格式字符串。