通过实例解析GDB的使用基础 丨【拜托了,物联网!】

举报
嵌入式大杂烩 发表于 2021/10/15 23:21:01 2021/10/15
【摘要】 通过实例解析GDB的使用基础

GDB简介

GDB(GNU Debugger)是一个强大的命令行调试工具。一般的,在Windows下进行开发,很少操控命令行调试,调试器大多与编译器都集成在IDE里了。当然在Windows下也可以直接使用gcc、gdb来做编译调试我们的C程序,如MinGW( 一个可自由使用和自由发布的Windows特定头文件和使用GNU工具集导入库的集合 )中就同时包含有gcc与gdb工具:

======001

使用gdb -v命令可查看gdb的版本:

======002

但是,在Linux下进行开发,gdb工具是必知必会的工具之一。小编最近也转战Linux了,自然也要掌握一些必知必会的基础工具及知识。小编也是用到哪学到哪,本篇笔记我们先来分享gdb的使用:

实例演示GDB的使用

老读者们都知道,本公众号文章的特点之一就是实例比较多、可操作性比较强,跟着文章一步一步做应该可以学到一些东西。同样的,本篇笔记我们也以实例来做分析。

示例代码gdb_test.c:

// 公众号:嵌入式大杂烩
// 作者:ZhengN
#include <stdio.h>

// 测试函数1
void test0(void)
{
	int i = -1;

	if (i = 0)
		printf("i = %d\n", i);
	else if (i = 1)
		printf("i = %d\n", i);
	else
		printf("i = %d\n", i);
}

// 测试函数2
void test1(void)
{
	int a[10] = {0,1,2,3,4,5,6,7,8,9};
	int *p = &a[1];
	int *p1 = (int*)(&a + 1);

	printf("p[6] = %d\n", p[6]);  
	printf("*(p1 - 1) = %d\n", *(p1 - 1));		
}

// 主函数
int main(int argc, char *argv[])
{
    test0();
    test1();
    
    return 0;
}

这个示例代码中有两个测试函数,其实也是两道经典易错的面试笔试题。大家可以先思考一下结果是什么。下面我们使用gdb来一步一步调试及分析,在Windows下做实验,Linux下的操作类似。

一般的,我们使用如下命令来编译:

gcc gdb_test.c -o gdb_test.exe

这样编译出来的gdb_test.exe是不带调试信息的。我们必须编译出带有调试信息(如行号等信息)的可执行文件才能使用gdb进行调试。在以上基础上加个-g参数即可生成调试信息。

除此之外,我们编译时应不使用优化选项,若使用优化,则编译器会对程序进行一些优化,有可能会更改语句的顺序及优化一些变量,从而可能会导致程序执行流程与源码流程不匹配的情况。进一步,可以使用-Wall参数打开所有警告,所以我们的编译命令变为:

gcc -g -Wall gdb_test.c -o gdb_test.exe

1、GDB常用命令

下面粗略地列出一些常用的命令:

======003

======004

2、demo调试分析

使用上面的编译命令编译得到带调试信息的可执行程序gdb_test.exe,有两种方法启动调试。

一种方法是先输入gdb命令进入gdb环境,再输入file+可执行程序装入调试文件,即:

======005

另一种方法是直接输入gdb+可执行程序对该程序进行调试,即:

======006

(1)调试测试函数1

上面的测试函数1大家思考得出结果了吗?我们单步调试看看结果是怎么样的:

① 在test1函数入口打个断点:

======007

② 运行到断点处:

======008

③ 单步往下执行:

======009

显然,单步运行到了这一句我们就得出了测试函数1的结果,即输出 i = 1。大家分析得对了吗?这要是不注意还真的容易出错,这里的if判断条件里用的是=号,而不是==号,这个小陷阱可能会迷惑一些初学C语言的朋友。

if语句的通用形式为:

if (expression)
	statement

可以明确的是:如果对expression为真(非0),则执行statement。本题中,如if (i = 0)其实就等价于

i = 0;
if (i)

显然这里的if语句的expression为假,不会执行statement。

类似的if (i = 1)等价于

i = 1;
if (i)

显然这里的if语句的expression为真,执行statement。

平时在发现自己写的代码执行的流程异常时,不妨debug调试一下,一步一步地走,看程序是否按照自己设计的流程走,看是不是我们的执行逻辑设计错了。

(2)调试测试函数2

测试函数2也是一道极其经典的面试题目。不能一眼看出结果?没关系,我们一起调试分析一下。接着上面的流程,我们输出quit命令推出gdb环境,再重新进入调试test2。

① 在test2函数入口打个断点:

======010

② 运行到断点处:

======011

此时,我们不妨看一下a[1]元素的地址a数组里面的内容是什么:

======012

可见,在数组初始化之前,整个数组空间里的值是一些随机值。这里反映一个问题,局部变量在初始化之前的值是无规律的,所以不妨在定义局部变量的时候初始化一个确定的值,防止出错。

③ 单步往下执行:

此时,我们来看一下,指针变量p的值、a数组里的值:

======013

因为此时第23行这条语句还未执行,所以p指向的地址还不是a[1]元素的地址。

再单步往下执行,然后我们看一下,指针变量p的值,及以指针变量p的值为首地址、往后偏移10个内存单元为结束地址,这一段空间内的值是什么:

======014

至此,我们通过调试清晰地得到了p[6]的值。

继续单步往下执行,我们看一下,&a[0]的值、&a的值、(&a+1)的值、p1的值:

======015

从gdb输出的信息我们知道&a的类型是(int (*) [10] ),即是一个指向含有10个元素的整形数组的指针,所以(&a+1)的意义是往后偏移10 * sizeof(int)。进一步,再利用一下其它输出的信息:

&a的值为0x61fee0
&a+1的值为0x61ff08

======016

两个值相减得到40,正好是整个数组所占的字节数。

而p1是一个整形指针,所以p1-1指向的就是往前偏移sizeof(int)个字节的地址,即a[9]的地址(0x61ff04),所以*(p1 - 1)的值也就是a[9]的值。最后我们再看一下&a往后的40个地址里的值都是些什么:

======017

以上就是本次的实例演示,只是用到了一小部分gdb的命令,还有更多命令大家可以自己练习使用,基本的会了,不懂的地方遇到的时候再查也来得及。

可能写得有些乱,但也希望能对大家有帮助。总之,对于一些不确定的知识点或者程序的执行与预期不相符时,不妨调试一下,一步一步看数据有没有异常。

【拜托了,物联网!】有奖征文火热进行中:https://bbs.huaweicloud.com/blogs/299476

【版权声明】本文为华为云社区用户原创内容,转载时必须标注文章的来源(华为云社区)、文章链接、文章作者等基本信息, 否则作者和本社区有权追究责任。如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@huaweicloud.com
  • 点赞
  • 收藏
  • 关注作者

评论(0

0/1000
抱歉,系统识别当前为高风险访问,暂不支持该操作

全部回复

上滑加载中

设置昵称

在此一键设置昵称,即可参与社区互动!

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。