当嵌入式软件发生内存泄漏时，有哪些检视方法？

工程师进阶笔记

我是老温，一名热爱学习的嵌入式工程师
关注我，一起变得更加优秀！1.内存泄漏问题原理 1.1堆内存在C代码中的存储方式内存泄漏问题只有在使用堆内存的时候才会出现，栈内存不存在内存泄漏问题，因为栈内存会自动分配和释放。C代码中堆内存的申请函数是malloc，常见的内存申请代码如下：
char *info = NULL;    /**转换后的字符串**/
# N6 ^9 d! I$ f; F/ P3 Uinfo = (char*)malloc(NB_MEM_SPD_INFO_MAX_SIZE);
if( NULL == info)
" ^" @/ M' L5 R5 _6 L- p  M9 M{
    (void)tdm_error("malloc error!
");
    return NB_SA_ERR_HPI_OUT_OF_MEMORY;
}
由于malloc函数返回的实际上是一个内存地址，所以保存堆内存的变量一定是一个指针（除非代码编写极其不规范）。再重复一遍，保存堆内存的变量一定是一个指针，这对本文主旨的理解很重要。当然，这个指针可以是单指针，也可以是多重指针。
; Q, c8 H% w9 L( Z- Emalloc函数有很多变种或封装，如g_malloc、g_malloc0、VOS_Malloc等，这些函数最终都会调用malloc函数。
1.2堆内存的获取方法看到本小节标题，可能有些同学有疑惑，上一小节中的malloc函数，不就是堆内存的获取方法吗？的确是，通过malloc函数申请是最直接的获取方法，如果只知道这种堆内存获取方法，就容易掉到坑里了。一般的来讲，堆内存有如下两种获取方法：
9 A. c  J" B) V, D* N2 x方法一：将函数返回值直接赋给指针，一般表现形式如下：
char *local_pointer_xx = NULL;
local_pointer_xx = (char*)function_xx(para_xx, …);
7 d5 w. x/ X. A7 y该类涉及到内存申请的函数，返回值一般都指针类型，例如：
: @8 I1 `! f0 Y8 q; f- W! [GSList* g_slist_append (GSList   *list, gpointer  data);
8 r9 D; \$ h! N" v6 S方法二：将指针地址作为函数返回参数，通过返回参数保存堆内存地址，一般表现形式如下：
int ret;
char *local_pointer_xx = NULL;    /**转换后的字符串**/
' L% R8 N+ t( `2 }. aret = (char*)function_xx(..., &local_pointer_xx, ...);
5 {( x3 x0 D! ^3 C6 @+ y8 ^该类涉及到内存申请的函数，一般都有一个入参是双重指针，例如：
__STDIO_INLINE _IO_ssize_t;
getline (char **__lineptr, size_t *__n, FILE *__stream);
前面说通过malloc申请内存，就属于方法一的一个具体表现形式。其实这两类方法的本质是一样的，都是函数内部间接申请了内存，只是传递内存的方法不一样，方法一通过返回值传递内存指针，方法二通过参数传递内存指针。
: [- X! j( @* D0 n5 h; _1 g. w1.3内存泄漏三要素最常见的内存泄漏问题，包含以下三个要素：
要素一：函数内有局部指针变量定义；
6 F1 _  I4 d6 c1 ]: M要素二：对该局部指针有通过上一小节中“两种堆内存获取方法”之一获取内存；
2 t; f1 [2 R8 K  u要素三：在函数返回前（含正常分支和异常分支）未释放该内存，也未保存到其它全局变量或返回给上一级函数。
) M& k+ @  P" V7 p% X. i" {1.4内存释放误区稍微使用过C语言编写代码的人，都应该知道堆内存申请之后是需要释放的。但为何还这么容易出现内存泄漏问题呢？一方面，是开发人员经验不足、意识不到位或一时疏忽导致；另一方面，是内存释放误区导致。很多开发人员，认为要释放的内存应该局限于以下两种：
9 N! U6 ?) ^" d$ C% T1） 直接使用内存申请函数申请出来的内存，如malloc、g_malloc等；
6 Q1 I) S, j2 X2）该开发人员熟悉的接口中，存在内存申请的情况，如iBMC的兄弟，都应该知道调用如下接口需要释放list指向的内存：
/ O; J0 t5 e! ?6 Gdfl_get_object_list(const char* class_name, GSList **list);
按照以上思维编写代码，一旦遇到不熟悉的接口中需要释放内存的问题，就完全没有释放内存的意识，内存泄漏问题就自然产生了。
2.内存泄漏问题检视方法检视内存泄漏问题，关键还是要养成良好的编码检视习惯。与内存泄漏三要素对应，需
要做到如下三点：
0 w# ~+ R7 w2 e/ K1） 在函数中看到有局部指针，就要警惕内存泄漏问题，养成进一步排查的习惯
, S9 g( K4 B& _- Q! m7 E& v2） 分析对局部指针的赋值操作，是否属于前面所说的“两种堆内存获取方法”之一，如果是，就要分析函数返回的指针到底指向啥？是全局数据、静态数据还是堆内存？对于不熟悉的接口，要找到对应的接口文档或源代码分析；又或者看看代码中其它地方对该接口的引用，是否进行了内存释放；
3） 如果确认对局部指针存在内存申请操作，就需要分析该内存的去向，是会被保存在全局变量吗？又或者会被作为函数返回值吗？如果都不是，就需要排查函数所有有”return“的地方，保证内存被正确释放。
: u$ l+ ]( X: o, V0 T) R0 o来源：https://my.oschina.net/u/4526289/blog/4539592-END-
往期推荐：点击图片即可跳转阅读

aq4a2i5h0xi640120512.jpg

非常不错的单片机科普总结，值得收藏！

4z1wffrgs13640120613.jpg

明显感觉到一种趋势，嵌入式端侧AI的学习成本，在不断下降！

s2wu3kbpcwg640120713.jpg

嵌入式设备采用经过认证的软件协议栈，开发过程可以事半功倍！
1 n) G9 N: f3 A6 q# l. T我是老温，一名热爱学习的嵌入式工程师
关注我，一起变得更加优秀！