郭德贵-程序安全检测技术 第八讲 危险库函数检测.pptVIP

2017-4-11 1 第八讲 危险库函数检测 8.1 常用危险库函数 8.2 危险库函数检测方法 8.3 常用危险库函数安全规则 2017-4-11 2 8.1 常用危险库函数 在软件的源代码中，不仅是用户自己编写的函数存在有安全缺陷，系统提供的api中也存在大量的问题函数，这些问题函数往往没有对传入的参数进行安全检查，所以使用这些函数时就会在整个程序中埋下了安全隐患。 经常使用的存在安全缺陷的函数如下表： 2017-4-11 3 类别 函数名称 函数功能 输入函数 char *gets(char * buffer) 读取输入存放在buffer中。 char * getenv(char * envvar) 读取 环境变量的内容。 int scanf(const char*format[，argument, ...]) 读取输入的数据。 char *fgets(char *str,int n,file *stream) 读取n个字符保存在str内。 int sprint(char *str, char *fomat[’ arg’...]) 格式化数据输入到str中。 内存拷贝函数 char *strcpy(char * str 1,char *str2) str2的字符中拷贝到str1。 strncpy(char *destin,char , *source,size_t maxlen) 拷贝n个字符。 char *strcat(char *destin, char *source) 字符串连接。 其他函数 void* memset(void*s,char ch, unsigned n) 把s中的前n个字付设置为ch。 void* memcpy(void *dest,const void *src, size_t n); 把dest的前n个字符设置为src的前n个字符。 危险库函数的检测流程 2017-4-11 4 8.2 危险库函数检测方法 8.3 常用危险库函数安全规则 部分常用函数的具体安全规则如下： 1)char *fgets(char *str,int n,file *stream) 安全规则：在调用该函数时，检查str指向的缓冲区的字符长度，保证其字符大于等于n。 2)char *strcpy(char * str1,char *str2) 安全规则：计算str1指向的缓冲区的长度strl.len和str2字符串长度str2.1en。保证 strl.len=str2.1en。 3)int sprint(char *str,char *fomat[,argument,...]) 安全规则：计算str指向的缓冲区的长度str.len和format格式化串展开的长度format.len。保证 str.len=format.len。 4)void* inemcpy(void *dest, const void *src, size_t n) 安全规则：计算dest指向的缓冲区长度dest.len和src指向的缓冲区长度src.len。保证 dest.len=n 且 src.len=n。 2017-4-11 5 实验内容 编写程序实现危险库函数静态检测。 2017-4-11 6