execve执行失败时Valgrind报告Still Reachable内存块的问题求助

大家好，我正在做学校作业，写一个简化版的bash shell。正常执行有效命令的时候，程序运行没问题，Valgrind也没报内存泄漏。但当输入不存在的命令（比如lss、Pwdd），或者尝试执行没有权限的bash脚本时，Valgrind就会出现来自我自己代码的still reachable内存块报告——来自readline库的那些是已知情况，不需要修复，我这里主要说自己代码的问题。

Valgrind报告片段 #

（来自readline库的still reachable是预期的，无需处理）

==54202== 4 bytes in 1 blocks are still reachable in loss record 1 of 68
==54202== at 0x4848899: malloc (in /usr/libexec/valgrind/vgpreload_memcheck-amd64-linux.so)
==54202== by 0x48AEBAC: xmalloc (in /usr/lib/x86_64-linux-gnu/libreadline.so.8.1)
==54202== by 0x488C694: readline_internal_teardown (in /usr/lib/x86_64-linux-gnu/libreadline.so.8.1)
==54202== by 0x4896D2A: readline (in /usr/lib/x86_64-linux-gnu/libreadline.so.8.1)
==54202== by 0x109759: main (main.c:81)

（以下是来自我代码的still reachable，是需要解决的问题）

==54202== 4 bytes in 1 blocks are still reachable in loss record 2 of 68
==54202== at 0x4848899: malloc (in /usr/libexec/valgrind/vgpreload_memcheck-amd64-linux.so)
==54202== by 0x109F0E: add_token (tokenizer.c:168)
==54202== by 0x10A458: split_tokens (tokenizer.c:291)
==54202== by 0x10A5A0: lexing_input (tokenizer.c:321)
==54202== by 0x109809: main (main.c:101)
==54202==
==54202== 4 bytes in 1 blocks are still reachable in loss record 3 of 68
==54202== at 0x4848899: malloc (in /usr/libexec/valgrind/vgpreload_memcheck-amd64-linux.so)
==54202== by 0x10FACD: ft_strdup (in /home/rache/programing/42/Common Core/minishell/MINISHELL_DUO_REPO/minishell)
==54202== by 0x10C48E: copy_simple_cmd (collect_commands.c:47)
==54202== by 0x10C5E6: collect_commands (collect_commands.c:75)
==54202== by 0x10C79B: format_parsed_data (collect_commands.c:118)
==54202== by 0x109829: main (main.c:105)

泄漏摘要：

==54199== LEAK SUMMARY:
==54199== definitely lost: 0 bytes in 0 blocks
==54199== indirectly lost: 0 bytes in 0 blocks
==54199== possibly lost: 0 bytes in 0 blocks
==54199== still reachable: 208,214 bytes in 225 blocks
==54199== suppressed: 0 bytes in 0 blocks

复现步骤 #

1. 编译项目：make && make clean
2. 用Valgrind运行程序并生成报告：

   valgrind --leak-check=full --show-leak-kinds=all --track-origins=yes --log-file=01valgrind_report.txt ./minishell
   

3. 在shell中输入错误的命令（比如lss），然后输入exit退出
4. 查看生成的01valgrind_report.txt就能看到上述的still reachable记录

程序逻辑与我的猜测 #

我的shell的基本流程是：

• 用readline()读取用户输入
• 把输入传给词法分析器，分割成token，生成t_lexer *lexer结构体
• 解析token，填充执行所需的信息（比如输入输出文件描述符、命令名、参数、环境变量展开等），生成解析后的结构
• 把解析好的结构传给exec_parsed_cmds，用execve在子进程执行命令；如果是内置命令，直接在主进程执行，不需要fork

我怀疑问题出在当execve执行失败时，词法分析和解析阶段分配的内存没有被正确释放。因为正常执行有效命令时，主循环每次结束都会调用专门的函数释放lexer和解析后的数据，所以没有泄漏；但execve失败的情况下，这些内存没被释放，才导致了still reachable的报告。

过去5天我尝试了各种方法：修改相关函数、重写部分逻辑、甚至找ChatGPT帮忙，但都没能解决这个问题。另外说明一下，我用自己实现的ft_strdup而不是标准库的strdup，是因为学校作业限制了只能用指定的标准库函数，其他都要自己实现，我觉得这个函数没问题，逻辑很简单直接。

有没有大佬能帮我分析下问题可能出在哪？或者有没有什么调试技巧能定位到没被释放的内存块？任何问题我都可以补充说明，非常感谢！

内容来源于stack exchange