如何排查AGE CLI执行反斜杠命令时的段错误问题？

1. Segmentation Fault（段错误）是什么？ #

段错误是操作系统强制终止程序的一种机制，本质是程序试图非法访问内存，常见场景包括：

• 解引用空指针（访问NULL指向的内存）
• 访问已被释放的内存（use-after-free）
• 数组越界读写
• 写入只读内存区域

当操作系统检测到这类违规操作时，会发送SIGSEGV信号终止程序，避免错误扩散导致系统不稳定。

2. 错误信息中的数字代表什么？ #

• [1]：当前Shell的作业编号，用来标识当前会话中运行的进程实例。
• 15675：触发段错误的agesql进程的PID（进程ID），每个运行中的进程都有唯一的PID标识。

3. 排查段错误根源的具体方法 #

针对你的MacOS + PostgreSQL 15 + lex/yacc开发场景，可按以下步骤定位问题：

（1）编译时保留调试符号 #

修改编译流程，添加调试信息，让调试工具能定位到具体代码行：

git checkout AGE_CLI
export PATH={path to pgsql-15}/bin/:$PATH
export USE_PGXS=TRUE
flex -b -Cfe -p -p -o 'cypher.c' cypher.l
bison -d -g cypher.y  # -g参数生成调试信息
make CFLAGS="-g"

（2）用LLDB调试（MacOS默认调试工具） #

启动调试会话，触发错误后查看调用链：

lldb ./agesql
# 启动程序
(lldb) run
# 输入\并回车触发错误
\
# 查看完整调用栈，定位错误代码行
(lldb) bt

调用栈会清晰展示错误发生时的函数调用路径，直接指向cypher.c/cypher.y生成的代码或自定义逻辑中的问题点。

（3）检查lex/yacc的解析规则 #

段错误大概率出现在反斜杠命令的解析逻辑中：

• 查看cypher.l中处理反斜杠的词法规则，确认是否对单独输入\的场景做了合法处理，有没有访问未初始化的变量。
• 查看cypher.y中的语法规则，检查解析不完整的反斜杠命令时，是否存在空指针访问或内存越界。

（4）使用AddressSanitizer检测内存错误 #

编译时启用AddressSanitizer，它能精准定位内存问题类型（空指针、越界等）：

make CFLAGS="-g -fsanitize=address" LDFLAGS="-fsanitize=address"
# 运行程序触发错误，会输出详细的内存错误报告
./agesql
\

（5）参考PostgreSQL psql的实现逻辑 #

由于agesql对标psql，可以参考psql处理反斜杠命令的源码，检查是否遗漏了内存安全检查（比如输入不完整命令时的边界处理）。

内容的提问来源于stack exchange，提问作者Ken W.