精华内容
下载资源
问答
  • 2、空指针解引用的危害 空指针解引用是 C/C++ 程序中较为普遍的内存缺陷类型,当指针指向无效的内存地址并且对其引用时,有可能产生不可预见的错误,导致软件系统崩溃。空指针引用缺陷可能导致系统崩溃、拒绝服务等...

    159330代码审计是使用静态分析发现源代码中安全缺陷的方法,能够辅助开发或测试人员在软件上线前较为全面地了解其安全问题,防患于未然,因此一直以来都是学术界和产业界研究的热点,并且已经成为安全开发生命周期 SDL 和 DevSecOps 等保障体系的重要技术手段。360代码卫士团队基于自主研发的国内首款源代码安全检测商用工具,以及十余年漏洞技术研究的积累,推出“缺陷周话”系列栏目。每周针对 CWE、OWASP 等标准中的一类缺陷,结合实例和工具使用进行详细介绍,旨在为广大开发和安全人员提供代码审计的基础性标准化教程。

    1、空指针解引用

    C语言空指针的值为NULL。一般NULL指针指向进程的最小地址,通常这个值为0。试图通过空指针对数据进行访问,会导致运行时错误。当程序试图解引用一个期望非空但是实际为空的指针时,会发生空指针解引用错误。对空指针的解引用会导致未定义的行为。在很多平台上,解引用空指针可能会导致程序异常终止或拒绝服务。如:在 Linux 系统中访问空指针会产生 Segmentation fault 的错误。详细请参见CWEID 476: NULL Pointer Dereference (http://cwe.mitre.org/data/definitions/476.html)。

    2、空指针解引用的危害

    空指针解引用是 C/C++ 程序中较为普遍的内存缺陷类型,当指针指向无效的内存地址并且对其引用时,有可能产生不可预见的错误,导致软件系统崩溃。空指针引用缺陷可能导致系统崩溃、拒绝服务等诸多严重后果。自2018年1月至9月,CVE 中共有100多条漏洞信息与其相关。其中包括18个Linux kernel 漏洞,部分漏洞如下:

    CVE-2018-16517

    Netwide Assembler 的 asm/labels.c 文件中存在空指针解引用,导致允许攻击者进行拒绝服务攻击。

    CVE-2018-16428

    GNOME Glib 2.56.1,gmarkup. 中的 g_markup_parse_context_end_parse() 函数存在一个空指针解引用。

    CVE-2018-16329

    ImageMagick 7.0.8-8 之前版本,MagickCore/property.c 文件中的 GetMagickProperty() 函数存在空指针解引用。

    CVE-2018-16328

    ImageMagick 7.0.8-8 之前版本,MagickCore/log.c 文件中的 CheckEventLogging () 函数存在空指针解引用。

    3、示例代码3.1 缺陷代码

    159330

    上述示例代码虽然在第16行对指针 p 进行了非空验证,但由于验证逻辑不完整,在第20行传入函数 foo 中的指针 p 仍可能为空指针。从而导致空指针解引用的发生。

    使用360代码卫士对上述示例代码进行检测,可以检出“空指针解引用”缺陷,显示等级为高。如图1所示:

    159330

    图1 空指针解引用检测示例

    3.2 修复代码

    159330

    在上述修复代码中,在第19行对指针 p 为空的情况进行了处理,当指针 p 为空时,函数 npd_check_call_might() 返回,避免了第23行传入函数 foo 中的指针 p 为空指针。

    使用 360 代码卫士对修复后的代码进行检测,可以看到已不存在“空指针解引用”缺陷。如图2:

    159330

    图2:修复后检测结果

    4、开源代码检测计划某项目空指针解引用示例开源代码检测计划是一项免费的公益计划。通过使用360代码卫士对开源项目进行源代码检测和审计,找到源代码中存在的安全缺陷并及时与项目开发人员进行沟通和确认,使得开源项目的安全性得到提高。

    以下是开源项目检测计划中检测出的一个“空指针解引用”示例,如图3所示。

    159330

    图3 开源项目检出“空指针解引用”

    4.1 缺陷代码

    在缺陷代码中, 指针 P 在第133行通过 ibwgetnode(iface) 函数返回值进行赋值,并在第136行 p->limit=speed; 中进行使用,通过 ibwgetnode(iface) 函数的实现分析,可以看到在162行中返回 NULL 值,因此当 p->limit=speed; 操作时,由于在之前并没有对 P 是否为空进行判断,导致空指针解引用。

    159330

    159330

    4.2 修复代码

    针对该空指针解引用问题的提出,开发人员在近期对相关代码进行了修复。在139行对 p 进行解引用前,进行了非空判断,从而避免了解引用空指针。

    159330

    5、如何避免空指针解引用

    为了避免空指针解引用的发生,需要在代码编写过程中养成良好的编程习惯,如:

    (1)指针在使用前需要进行健壮性检查,从而避免对空指针进行解引用操作;

    (2)当调用函数的返回值可能为空时,需要对函数返回值进行非空验证,从而避免空指针解引用;

    (3)在释放指针指向的空间后,需要将指针的值赋为空。

    (4)确保异常被正确处理。

    展开全文
  • C++ 大坑 指针解引用之后的赋值造成拷贝 最近又发现了一个C++ 大坑,是向量 (vector) 指针解引用。 解引用之后的赋值操作会造成内存拷贝!!!赋值之后两个变量对应不同的地址! 对于向量指针,如果解引用之后赋值给...

    C++ 大坑 指针解引用之后的赋值造成和原来的地址不一致

    最近又发现了一个C++ 大坑,是指针解引用的赋值。
    解引用之后的赋值操作会造成内存拷贝!!!赋值之后两个变量对应不同的地址

    c++ 的赋值操作("="号的操作)总是默认执行拷贝副本!

    除非新变量加了引用符号’&’

    这一点与Python很不一样,C++ 和 Python的赋值操作("=")有一个重要区别:C++ 的赋值总是默认执行拷贝副本;而Python 为可变类型执行赋值时,默认以引用的方式操作,不会拷贝一份新的副本,
    关于两者区别,可以看我另外写的一篇笔记

    C++的一个容易出错的地方是,指针解引用之后赋值给一个新的变量,
    容易以为新老变量之间共享相同地址,结果发现并不是!
    新变量只是一个副本,对新变量的操作不会改变老变量。
    比如,
    p是指向vector<double> v1的指针,
    以下两者写法效果完全不同:

     auto vec = *p;  // 指针 p 解引用之后,拷贝给vec作为副本
    
    auto& vec = *p;  // vec的引用版本,与p所指变量共享地址 
    
    • 上面第一种写法,赋值写法,默认拷贝,所以vec 的地址 ≠ p 指向的地址!实际上是相当于把指针p解引用之后的vector拷贝赋值给等号左侧的新变量vec, 所以它们俩的地址不同!
    • 第二种写法,引用写法(加了‘&’),不存在拷贝,vec和p所指变量共享内存地址

    比如以下代码,本来想在函数中把原vector的所有元素加一,结果没有成功,因为解引用之后赋值导致在新拷贝空间中操作了。

    #include <vector>
    #include <iostream>
    using namespace std;
    
    
    void vecPlus1(vector<double>* p) {  // 错误版本
        // 对 vector 的所有元素加1
        auto vec = *p;  // 指针 p 的解引用, 赋值给vec造成拷贝
        for (int64_t i = 0; i != vec.size(); ++i) {
            vec[i] += 1;
        }
    }
    
    int main() {
        void print_(const vector<double> &vec);
    
        vector<double> v1 = {1., 2., 3.};
        vecPlus1(&v1);  // v1 的所有元素加1
    
        cout << "v1 = ";
        print_(v1);  // 输出v1, 结果发现 v1 并没有被改变
        cout << endl;
        
        return 0;
    }
    
    
    void print_(const vector<double> &vec) {
        // print vector's elements
        for (int64_t i = 0; i != vec.size(); ++i) {
            cout << vec[i] << ", ";
        }
    }
    

    正确版本应该长这样:(直接拿(*p)进行操作,而不是(*p)赋值之后再操作))

    正确版本1
    void vecPlus1(vector<double>* p) {  // 正确版本!!!
        // 对 vector 的所有元素加1
        for (int64_t i = 0; i != (*p).size(); ++i) {
            (*p)[i] += 1;
        }
    }
    ----------------------------------------------------
    正确版本2
    void vecPlus1(vector<double>* p) {  // 正确版本!!!
        auto& vec = *p;  // 引用写法,与p所指变量共享地址
        // 对 vector 的所有元素加1
        for (int64_t i = 0; i != vec.size(); ++i) {
            vec[i] += 1;
        }
    }
    ----------------------------------------------------
    错误版本
    void vecPlus1(vector<double>* p) {  // 错误版本!!!
        // 对 vector 的所有元素加1
        auto vec = *p;  // 赋值写法,造成*p的拷贝,得到副本vec
        for (int64_t i = 0; i != vec.size(); ++i) {
            vec[i] += 1;  // 对副本的操作,副本不返回,因此没有意义
        }
    }
    

    对于上面的错误版本(解引用之后的赋值),我们把地址输出出来,也会发现两者的地址并不一致!
    比如,

    void showAdress(vector<double>* p) {
        // 显示地址
        auto vec = *p;  // 指针 p 的解引用
        cout << "p = " << p << endl;
        cout << "&vec = " << &vec << endl;
    }
    

    输出结果是:
    在这里插入图片描述
    说明指针解引用之后的赋值得到的变量,其地址与原来指针所指地址并不相同,即造成了变量的拷贝

    结论

    • 指针p解引用看起来没有拷贝,但是加上赋值"="就会造成拷贝
    • 为避免拷贝副本,可以用引用的方式
    auto& vec = *p;
    
    • 又或者直接对指针p的解引用(*p)进行操作
    展开全文
  • NULL空指针解引用

    2021-02-22 17:16:36
    NULL指针解引用 首先问大家一个问题就是,大家最开始使用函数(包含指针的函数),例如 size_t fwrite(const void *ptr, size_t size, size_t nmemb, FILE *stream),是否有做过一些处理判断?如果有就别往下看了,...

    NULL指针解引用

    首先问大家一个问题就是,大家最开始使用函数(包含指针的函数),例如
    size_t fwrite(const void *ptr, size_t size, size_t nmemb, FILE *stream),是否有做过一些处理判断?如果有就别往下看了,没有呢可以往下看看_
    我个人是没有的。
    但是我最近在上班的时候处理一些事情的时候发现,使用这类函数是需要对指针进行null检查的,叫检查null指针解引用
    为什么?

    什么是空指针解引用

    C语言空指针的值为null,一般null指针指向进程的最小的地址,通常这个值为0.如果试图通过空指针对数据进行访问,会导致运行时的错误。当程序试图解引用一个期望非空但是实际为空的指针时,会发生空指针解引用错误。对于空指针解引用可能会导致程序异常终止或拒绝服务。如:再Linux系统中访问空指针会残生segmentation fault的错误。

    危害

    空指针解引用是C/C++程序中较为普遍的内存缺陷类型。当指针指向无效的地址并且对其引用时。可能产生不可预见的错误,导师软件系统崩溃。空指针引用缺陷可能导致系统崩溃、拒绝服务诸多严重后果 。

    举例

    void test(int *p)
    {
    	*p++;
    	printf("%d\n",*p);
    }
    int main()
    {
    	int *p=getvalue();
    	if(p==null)  //就是这一步,验证是否为空
    	{
    		printf("error:p is null\n");
    	}
    	test(p);//空指针解引用
    }
    

    注意

    的是:验证是否为空的时候一定要起到效果,不要太早也不要太晚,一般在函数调用前使用。

    本文是个人的见解,如果有误感谢大佬指点,欢迎讨论学习。

    展开全文
  • [漏洞] 空指针解引用

    2021-06-23 15:01:37
    当程序试图解引用一个期望非空但实际为空的指针时,会发生空指针解引用错误,大部分情况下会导致程序崩溃。 实例 int* p = NULL; *p = 1; // 出错,程序崩溃 应用 Windows内核漏洞学习-空指针解引用 ...

    原理

    c语言空指针的值为 NULL,一般 NULL指针指向进程的最小地址 0 。视图通过空指针对数据进行访问,会导致运行时错误。 当程序试图解引用一个期望非空但实际为空的指针时,会发生空指针解引用错误,大部分情况下会导致程序崩溃。

    实例

    int* p = NULL;
    
    *p = 1;			// 出错,程序崩溃
    

    应用

    Windows内核漏洞学习-空指针解引用

    展开全文
  • 代码审查工具抱怨saveSafeScan中可能的空指针取消引用safeScanWarnings(…)在if行(safeScanWarnings!= Null& safeScanWarnings.size()> 0)我想知道这怎么可能?这是因为我们通过引用返回集合吗?protected ...
  • (一)引入:简单介绍一下整型变量,指针,引用符和解引用符 定义一个整型变量a: int a; 如果使用引用符号&...虽然很多时候,我们可以把整型指针解引用当做整型变量来使用,但是,整型变量与整型指针..
  • 指针解引用运算符 * 与 ++关系 1、*p++ int arry[5] = {10,20,30,40,50}; int *p = &arry[0]; printf("*p:%d\n",*p++); printf("*p:%d\n",*p); 结果: *p:10 *p:20 2、*++p int arry[5] = {10,20,30,40,50...
  • 指针解引用

    2021-10-31 13:24:27
    指针的类型决定了对指针解引用的权限(能操作几个字节) int* 4个字节 char* 1个字节 double* 8个字节 float* 4个字节 short* 2个字节 指针解引用在内存的作用 int 型 改变前的内存分配 改变后的内存分配 ...
  • int i=5; int &r=i; //r是一个引用 int *p; //p是一个指针 p=&i ; //&是一个取地址符 *p=i ; // * 是一个解引用符 int &r2= *p // 都是对象i ,i的值发生变化,r、r2、*p 一起变。
  • // 数组指针做参数,*p接收的是arr数组首元素的地址 void print(int (*p)[5], int x, int y) { int i = 0; for (i = 0; i < x; i++) { int j = 0; for (j = 0; j < y; j++) { //*(p+i)将arr数组中...
  • 二维数组在说二维数组前先来说下一维数组中的指针数组和和数组的指针一、一维数组中指针数组和数组指针的区别指针数组:1 int *p[5];[]的优先级比*高,首先它是一个数组,它的大小是5,它里面存放的数据类型是int *,...
  • 创建变量a、b时会在内存中申请两个空间,则x,y存放的内容分别是a,b的内存地址,如图: 解引用操作x就是根据地址访问到变量a,此处x和a等价,int t=*x就将a的值赋给了t,*x按x存放的a的地址找到了a存放的值然后就赋...
  • 审查基本术语通常足够好 – 除非你是编程组装 – 设想一个指针包含一个数字内存地址,1指的是进程的内存中的第二个字节,第二个字节,第三个,第三个,第四个等等。> 0和第一个字节发生了什么?好吧,我们会得到...
  • 2、数组名2.1、数组名地址 数组地址三、二级指针1、什么是二级指针2、二级指针的运算 两层解引用四、指针数组1、指针数组指针还是数组-数组2、地址解引用结构体一、结构体的声明1、结构的基础知识2、结构的声明3、...
  • 字符指针数组需要解引用吗? #include <stdio.h> int main(){ char *a[5]={"tan","li","cheng","fang","zheng"}; //a[0]存放的是字符't'的地址,a[1]存放的是字符‘l’的地址 printf("%d\n",a[3]); /*写到...
  • #include int main() { int array[3][4] = {{0,1,2,3}, {4,5,6,7}... 二维数组要取其中的元素的值,需要两次解应用,即((p+i)+j),第一次解引用(p+i)的结果是一个地址,可看成是数组指针,值是数组第一个元素的地址*
  • Rust: 引用指针类型

    2021-02-20 21:36:54
    指针类型 Reference shared reference: &T immutable reference: &mut T Raw Pointer * const T: 对应于&T * mut T: 对应于&mut T Smart Pointer Box<T> Rc<T>...
  • 数组和数组名问题一、指针1.1 指针变量和普通变量的区别1.2 为什么需要指针1.3 指针使用三部曲二、整形、浮点型数组前言2.1 数组名其实是特殊的指针2.2 理解复杂的数组的声明2.3 数组名a、数组名取地址&...
  • 1. 为什么会用到指针(或引用)? 在一个函数的执行中,局部变量发生的变换不会作用在函数外(且值传递浪费内存)。因此便用到了指针(或引用)来通过地址传递从而使函数的执行结果对全局都有影响。 2. 为什么会用到...
  • 关注公众号“中科天齐软件安全中心”(id:woocoom),一起涨知识! 该栏目为中科天齐全新规划的悟空云课堂,...指针操作不当会产生动态内存错误,比如内存泄漏(Memory Leakage)、内存的重复释放、空指针解引用(Nu.
  • } } } } 但问题是Klocwork的分析说 NPE.COND:的 'MD' 空指针引用了空来源于条件:Java的:PatientAlarm.java:严重(1):分析:本地 ,下面一行 md.start(); 我不知道这是否意味着发生英寸在开始md之前,我检查它...
  • 指针的初识和解引用

    2021-01-08 21:46:52
    让我们来 看一下以下的代码 int a=10; int b=20; int *p= &...开始之前我们先了解一下指针和解引用指针(Pointer)是编程语言中的一个对象,利用地址,它的值直接指向(pointsto)存在电脑存储器
  • 二维数组在说二维数组前先来说下一维数组中的指针数组和和数组的指针一、一维数组中指针数组和数组指针的区别指针数组:1 int *p[5];[]的优先级比*高,首先它是一个数组,它的大小是5,它里面存放的数据类型是int *,...
  • 本节将使用字符串的更灵活方便的方法——通过指针引用字符串 引用字符串,可以用以下两种方式: 用字符数组存放一个字符串,通过数组名和下标引用字符,也可也通过数组名和格式声明“%s”输出该字符串。 #...
  • 如果我们在用户空间和内核空间中取消引用指针,将会发生什么?据我了解,行为是基于编译器,体系结构等的.但通常对于分配了虚拟内存的每个用户空间程序,使用分页表使用分页将虚拟地址转换为物理地址.因此,如果我们在...
  • 我尝试修复go app,但找不到解决方案来修复此错误:runtime error: invalid memory address or nil pointer dereference/usr/local/Cellar/go/1.10.1/libexec/src/runtime/panic.go:502 (0x102ac68)gopanic: ...
  • 本文主要介绍C语言二维数组中的行指针及列指针,目的是为了搞清二维数组或更高维数组在作为函数参数进行传递时,考虑到代码的可复用性及软件最小权限原则,如何声明该形式参数。学习笔记,仅供参考,如有错误,敬请...
  • 在日常的开发中,我们常常会在heap堆区...幸运的是,其实编译器会给你一个警告warning提示:“取消对NULL指针XXX的引用”的警告提示 比如: 正确的做法是: SingleListNode<T>* newNode = new SingleLis..
  • 2.指针解引用3.指针数组和数组指针4.数组名和&数组名5.例题求指针和数组大小例1.求下面代码输出的结果例2.求下面代码输出的结果例3.求下面代码输出的结果例4.求下面代码输出的结果6.关于指针和数组开空间的...
  • python引用与C语言指针的关系一、1、变量与对象2、对象的回收3、共享引用 python学习手册(第四版)学习笔记(二)第六章 动态类型简介 注:动态是python中多态特性的重要基础 一、 1、变量与对象 python不同与C、...

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 63,923
精华内容 25,569
关键字:

指针解引用

友情链接: QExpress.zip