Debug调试原理(一)

于 2024-08-07 11:58:28 发布
阅读量316 收藏 3
点赞数 22
分类专栏： 调试 文章标签： 开发语言 c++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/mx_cuijz/article/details/140987822
版权

 一. 调试符号：

调试符号可将进程的指令与对应的源代码行数或表达式进行关联，或者从源程序声明的结构化数据对象的角度对一块内存进行描述。通过这些映射，调试器可在源代码层面上执行用户命令来查询和操作进程。

g++ -g cui.cpp cui.o 即可生成带调试符号的.o文件

简单理解为： 调试符号是源程序和程序运行实例的原始内存内容之间的桥梁.

调试符号分类：

  1. 全局函数和变量：跨越编译单元的可见的全局符号和类型、位置信息。全局变量的地址相对于其所属模块的基地址是固定的。因其可见性、位置固定和声明周期长，因此在程序未显示和隐式卸载API时，都可观察数据、修改和设置断点。

  2. 源文件和行信息：函数通常是占据进程连续内存空间的最小可执行代码单元，因此源文件和行号的调试符号会记录每个函数开始和结束的地址，在release版本中，代码往往不是按照文件中声明的顺序来排列的。

  3. 类型信息：  类型调试符号描述了数据类型的组合关系和属性，包括基本类型的数据，或其他数据的聚合。对于复合类型，调试符号包含每个子字段的名字、大小和相对于整个结构体开头的偏移量。  可以尝试在cpp文件中声明一个类，使用命令： -fdump-lang-class 来打印出在编译器视角中的类的信息

  4. 静态函数和局部变量：  静态函数和局部变量只在特定的作用域可见，多数在栈上分配，在未执行到该程序时，位置都是不确定的。

  5. 架构和编译器依赖信息：  某些调试功能与特定的架构和编译器有关。

  DWARF格式：

            生成汇编：一般常用的是树形结构的组织调试符号，为了更好的学习 需要在编译时生成汇编文件。

  编译命令-S ：g++ -g -S cui.cpp        

源代码：
int Gloint = 1;

int Glofun(int i)
{
    return i+Gloint;
}

int main()
{return 0;}

生成的汇编代码：

	.file	"foo.cpp"     #文件名
	.text			 #代码段
.Ltext0:			 #标签后续跳转代码用
	.globl	Gloint		 #全局符号
	.data			 #数据段，存放已初始化的全局和静态变量
	.align 4		 #对齐要求为4字节
	.type	Gloint, @object #Gloint是一个对象
	.size	Gloint, 4     #Gloint的大小为4字节
Gloint:
	.long	1		 #定义Gloint并为其分配一个4字节的值1
	.text			 #回到代码段
	.globl	_Z6Glofuni     #全局函数。
	.type	_Z6Glofuni, @function
_Z6Glofuni:			 #函数_Z6Glofuni的起始点
.LFB0:
	.file 1 "foo.cpp"
	.loc 1 4 1		 
	.cfi_startproc
	pushq	%rbp		#栈针后边说
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movl	%edi, -4(%rbp)  #将传入参数edi中 移动到栈上 -4%rbp位置
	.loc 1 5 13
	movl	Gloint(%rip), %edx #Gloint地址 加载到edx中
	.loc 1 5 14
	movl	-4(%rbp), %eax    #加载传入参数eax
	addl	%edx, %eax	 	#  与edx相加
	.loc 1 6 1
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:					#结束
	.size	_Z6Glofuni, .-_Z6Glofuni
	.globl	main
	.type	main, @function
main:
.LFB1:
	.loc 1 9 1
	.cfi_startproc
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	.loc 1 9 9
	movl	$0, %eax
	.loc 1 9 11
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	main, .-main
.Letext0:
	.section	.debug_info,"",@progbits
.Ldebug_info0:
	.long	0x95
	.value	0x4
	.long	.Ldebug_abbrev0
	.byte	0x8
	.uleb128 0x1
	.long	.LASF0
	.byte	0x4
	.long	.LASF1
	.long	.LASF2
	.quad	.Ltext0
	.quad	.Letext0-.Ltext0
	.long	.Ldebug_line0
	.uleb128 0x2
	.long	.LASF3
	.byte	0x1
	.byte	0x1
	.byte	0x5
	.long	0x43
	.uleb128 0x9
	.byte	0x3
	.quad	Gloint
	.uleb128 0x3
	.byte	0x4
	.byte	0x5
	.string	"int"
	.uleb128 0x4
	.long	.LASF4
	.byte	0x1
	.byte	0x8
	.byte	0x5
	.long	0x43
	.quad	.LFB1
	.quad	.LFE1-.LFB1
	.uleb128 0x1
	.byte	0x9c
	.uleb128 0x5
	.long	.LASF5
	.byte	0x1
	.byte	0x3
	.byte	0x5
	.long	.LASF6
	.long	0x43
	.quad	.LFB0
	.quad	.LFE0-.LFB0
	.uleb128 0x1
	.byte	0x9c
	.uleb128 0x6
	.string	"i"
	.byte	0x1
	.byte	0x3
	.byte	0x10
	.long	0x43
	.uleb128 0x2
	.byte	0x91
	.sleb128 -20
	.byte	0
	.byte	0
	.section	.debug_abbrev,"",@progbits
.Ldebug_abbrev0:
	.uleb128 0x1
	.uleb128 0x11
	.byte	0x1
	.uleb128 0x25
	.uleb128 0xe
	.uleb128 0x13
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x1b
	.uleb128 0xe
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x7
	.uleb128 0x10
	.uleb128 0x17
	.byte	0
	.byte	0
	.uleb128 0x2
	.uleb128 0x34
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x39
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x3f
	.uleb128 0x19
	.uleb128 0x2
	.uleb128 0x18
	.byte	0
	.byte	0
	.uleb128 0x3
	.uleb128 0x24
	.byte	0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3e
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0x8
	.byte	0
	.byte	0
	.uleb128 0x4
	.uleb128 0x2e
	.byte	0
	.uleb128 0x3f
	.uleb128 0x19
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x39
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x7
	.uleb128 0x40
	.uleb128 0x18
	.uleb128 0x2117
	.uleb128 0x19
	.byte	0
	.byte	0
	.uleb128 0x5
	.uleb128 0x2e
	.byte	0x1
	.uleb128 0x3f
	.uleb128 0x19
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x39
	.uleb128 0xb
	.uleb128 0x6e
	.uleb128 0xe
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x7
	.uleb128 0x40
	.uleb128 0x18
	.uleb128 0x2117
	.uleb128 0x19
	.byte	0
	.byte	0
	.uleb128 0x6
	.uleb128 0x5
	.byte	0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x39
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0x18
	.byte	0
	.byte	0
	.byte	0
	.section	.debug_aranges,"",@progbits
	.long	0x2c
	.value	0x2
	.long	.Ldebug_info0
	.byte	0x8
	.byte	0
	.value	0
	.value	0
	.quad	.Ltext0
	.quad	.Letext0-.Ltext0
	.quad	0
	.quad	0
	.section	.debug_line,"",@progbits
.Ldebug_line0:
	.section	.debug_str,"MS",@progbits,1
.LASF1:
	.string	"foo.cpp"
.LASF2:
	.string	"/home/Linux/Desktop/TEST"
.LASF6:
	.string	"_Z6Glofuni"
.LASF3:
	.string	"Gloint"
.LASF5:
	.string	"Glofun"
.LASF4:
	.string	"main"
.LASF0:
	.string	"GNU C++14 8.3.0 -mtune=generic -march=x86-64 -g"
	.ident	"GCC: (Uos 8.3.0.3-3+rebuild) 8.3.0"
	.section	.note.GNU-stack,"",@progbits

然后导出调试符号：

       g++ -g foo.cpp -o foo.o

       readelf --debug-dump foo.o

   该命令会输出目标文件foo.o中所以调试符号

  重点看下 .debug_info节就行 上图片：

  参数名称 i ,在第一个文件中 第五行 参数类型 0x43 在内存中偏移量是2

  接下来看下-debug_info中的原始数据 反一下：

          objdump -s --section=.debug_info foo.o

 接下来结合 foo,s文件中找到传入参数i的调试符号

这样就找到了接口位置

然后来说说-debug_line ：原理有点复杂没看懂：大概意思是：基于设置初始值的操作码，如初始指令地址，每当行号发生变化时操作码将操作地址移动一个变化量。调试器执行操作码，并在每次状态变化时向状态表中加一行。

总之最终就是调试器基于这些东西构建一个表，表的关键在于将指令映射到源代码行号中。每个状态都包括一个指令地址（以函数开头偏移量表示）及相应的源代码行号和文件名。 表示该接口从和地址开始 到和地址结束，及从哪行到哪行

.debug_frame ：栈针和寄存器的分配方式：函数 回滚的重要依据

这部分看看栈帧相关和函数调用即可 不想过多描述

.debug_loc: 包含宏的表达式
.debug_pubnames: 全局变量和函数的查找表
.debug_aranges : 包含一系列地址长度对，用于说明编译单元地址范围

mx_cui
关注
  • 22
    点赞
  • 踩
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
skynet debug 部署 vscode环境下的debug 断点调试
03-11
为了进行调试，我们需要在VSCode中创建一个`.vscode`目录（如果尚未存在），并在其中创建一个名为`launch.json`的文件，这是VSCode的调试配置文件。 在`launch.json`文件中，我们需要定义调试会话的配置。对于...
Debug调试器的工作原理
01-12
介绍Debug调试器的工作原理，重点介绍了Windows Debug API，不可多得的材料。-Debug debugging on the working principle, focus on the Windows Debug API, a rare material.
java debug调试原理_debug 调试原理理解
weixin_34040461的博客
02-13 1036
引言：昨天，看了一篇文章，很受启发，记得之前听别的人远程调试过代码，觉得很神奇，在自己程序里打断点，连接远程服务器，开启调试后可以调用远程方法来看数据的输入和输出，不需要查找问题，重新部署，测试问题，直接远程调试，看运行结果，感觉很方便。分析：那么，它是怎么实现的呢？首先，我想的问题是，它怎么知道我本机的断点在哪？我本机又是怎么输入输出数据？之后，我在想本地调试为什么可以？怎么加入的断点？我的观点...
java debug调试原理_jvm debug调试原理
weixin_34329350的博客
02-13 382
jvmdebug调试原理(2017-11-16 18:09:19)《Java虚拟机规范》阅读(三):Class文件格式https://www.cnblogs.com/zhuYears/archive/2012/02/07/2340347.htmljava Debug实现原理:http://www.xue163.com/29990/2111188/71eBa6M.htmljavac参数-g详解：h...
Debug调试原理 -- 用户态调试模型
诗水人间
02-27 1283
bug总是存在的，不可能做到没有bug。 很多人和我一样，不知道debug的调试原理，只知道点击IDE的debug调试按钮进行调试程序。 我很好奇，java、C、python、js 这些编程语言是如何做到debug的？ 于是乎就有了今天这篇文章 感谢 张银奎 老师录了《Windows 驱动开发 之 WinDbg调试》这套视频，在此之前我也不知道debug是怎么实现的，以前也没有想过这些问题。最近因为工作等一些原因，有幸看到了这套视频，很值得学习。 为此，我准备写一些博客记录一下这套视频中一些关键的内容。
Eclipse的Debug调试技巧大全
热门推荐
fendo
02-12 26万+
一、Debug视图 调试中最常用的窗口是: 窗口 说明 Debug窗口 主要显示当前线程方法调用栈， 以及代码行数(有调试信息的代码) 断点Breakpoints窗口 => 断点列表窗口，可以方便增加断点，设置断点条件，删除断点等 变量Variables窗口 => 显示当前方法的本
IDEA远程debug实现原理
m0_38017860的博客
05-27 1512
使用IDEA进行远程debug,这个操作大家没用过也听过它的实现原理为：本机和远程主机的两个 VM 之间使用 Debug 协议通过 Socket 通信，传递调试指令和调试信息。其中，调试的程序常常被称为debugger, 而被调试的程序称为 debuggee。在 Debug 领域，JDK 有一套规范与体系来支持，即 Java Platform Debugger Architecture，JPDA 体系。在 JPDA 体系中定义了 三个角色，每个角色又对应着不同的技术模块支撑，分别为 JVMTI/JDWP/J
断点调试原理
I want to know a little more.
06-30 1300
断点调试原理 对于程序员来说，debug的时间往往比写程序的时间还要长。尤其对我这种专写bug为主的程序员来说，一个好的调试器意味着早点下班和休息。现在方便的调试器很多，有著名的Visual Studio(VS)等IDE，也有免费的Windbg和GDB等等。加个断点也很简单，就是按一下键而已。但你有没有想过，调试器Debugger并不能控制程序的执行顺序，为什么它可以让CPU在需要的地方停住呢？ 今天我们就来揭开调试断点的神秘面纱，并通过一个实例来看看调试器实际都做了些什么。调试器能够随心所欲的停止程序
深入 java debug 原理及远程remote调试详解
大龙的博客
08-06 1万+
原理 Java远程调试的原理是两个VM之间通过debug协议进行通信，然后以达到远程调试的目的，两者之间可以通过socket进行通信 调试体系JPDA JPDA（Java Platform Debugger Architecture）是 sun 公司开发的 java平台调试体系，它主要有三个层次组成，即 Java 虚拟机工具接口（JVMTI），Java 调试线协议（JDWP）以及 Java ...
debug 调试原理理解
weixin_34161032的博客
12-21 1326
引言：　　 　　昨天，看了一篇文章，很受启发，记得之前听别的人远程调试过代码，觉得很神奇，在自己程序里打断点，连接远程服务器，开启调试后可以调用远程方法来看数据的输入和输出，不需要查找问题，重新部署，测试问题，直接远程调试，看运行结果，感觉很方便。 分析： 　　那么，它是怎么实现的呢？ 　　首先，我想的问题是，它怎么知道我本机的断点在哪？我本机又是怎么输入输出数据？ 　　之后，我在...
使用IDEA远程debug调试
刘皇叔说Java的博客
06-11 1267
开发过程中，我们经常会遇到部署的代码运行出问题、看日志由不是很直观、我们希望可以像调试本地代码一样去调试远程代码;IDEA提供了Remote工具,基于JVM的跨平台能力，我们可以远程调试部署的代码。
实验一_调试程序DEBUG
quaer的博客
03-14 2177
1.熟练掌握DEBUG调试程序的常用命令;2.学习手工汇编;3.学习常用命令用法,掌握算术,逻辑运算指令功能及其对标志位的影响.
masm编译器和debug调试
09-15
总结来说，这个压缩包包含了学习和实践汇编语言所需的工具：MASM编译器（ML.EXE和MASM.EXE）、链接器（LINK.EXE）、调试器（DEBUG.EXE）以及DOSBox模拟器，提供了一个完整的环境来编写、编译、链接和调试汇编程序。...
Pycharm debug调试时带参数过程解析
09-18
### PyCharm Debug调试时带参数过程解析 #### 背景与意义 在软件开发过程中，使用集成开发环境（IDE）进行程序调试是必不可少的一个环节。PyCharm作为一款功能强大的Python IDE，提供了丰富的调试工具，使得开发者...
Hystrix组件学习笔记及debug调试截图
08-11
本文将重点讲解Hystrix中的资源隔离策略以及Spring Cloud中Hystrix实现的跨线程数据传递原理。 **资源隔离**是Hystrix的核心特性之一，主要是通过线程池和信号量两种方式来实现。线程池隔离是一种常见的实现方式，...
Flink开发语言使用Java还是Scala合适？
最新发布
08-06 812
在大数据处理和实时流处理的领域，Apache Flink已经成为了一款备受瞩目的工具。Flink提供了强大的分布式计算能力，能够处理海量数据并支持复杂的流处理操作。然而，对于开发者来说，选择合适的编程语言是使用Flink进行开发的重要决策。目前，Java和Scala是Flink最常用的两种开发语言。本文将深入探讨在Flink开发中使用Java和Scala的各自优势和劣势，并通过实例代码展示两者在实际开发中的应用，以帮助读者做出更明智的选择。
C++ STL copy_backward, move_backward 用法
08-04 221
此处需要解释一下：从后向前并不是逆序，它的意思是: 源容器和目标容器都从尾部开始，然后向前迭代，执行拷贝/移动操作。反向（从后向前的顺序）拷贝/移动操作，将一个容器元素拷贝/移动到另一容器中。
C++ - 函数重载
jiaowenjie的专栏
08-06 156
/打印的是第二个函数的地址。//打印的是第一个函数的地址。-> 重载函数在本质上是相互独立的不同函数。-> 函数返回值不能作为函数重载的依据。-> 重载函数的函数类型不同。**3.函数默认参数和函数重载****函数重载的注意事项：****4.函数重载的本质**
C++初学者指南-5.标准库(第二部分)--数值运算算法
silencestarsky的博客
08-06 605
本文介绍了C++标准库中数值运算的相关算法，重点包括iota、reduce和各种扫描操作（scans），阐述了这些算法的用途、用法及其实现示例，并对并行执行的支持进行了说明。此外，文章还提到了一些遗留操作及其使用场景，为初学者理解C++标准库提供了实用的参考。
java debug调试原理_Java程序的调试原理及调试体系JDPA
06-02
Java程序的调试原理是利用调试器(debugger)对程序进行调试，调试器可以在程序运行过程中暂停程序、查看程序状态、变量值等信息，帮助开发人员定位程序的错误。Java程序的调试体系主要是由Java虚拟机(JVM)提供的Java Debugging Wire Protocol(JDWP)和Java Debug Interface(JDI)两个部分组成。 JDWP是Java虚拟机提供的一种调试协议，它定义了调试器和被调试程序之间的通信方式，包括如何建立连接、如何控制被调试程序的执行、如何获取程序状态、变量值等信息。调试器通过JDWP与被调试程序建立连接，并发送指令给被调试程序，控制程序的执行。 JDI是Java虚拟机提供的一种调试接口，它定义了调试器与被调试程序之间的接口，包括如何获取程序状态、如何设置断点、如何查看变量值等。调试器通过JDI与被调试程序交互，获取程序状态、设置断点等信息。 在Java程序的调试过程中，调试器会通过JDWP与被调试程序建立连接，获取程序状态、变量值等信息，并通过JDI控制程序的执行、设置断点等。通过调试器的帮助，开发人员可以方便地定位程序的错误，并进行调试和修复。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值