我们正在尝试测试学生代码,为了使该过程自动化,我们希望检测学生的代码是否溢出堆栈。
我使用 libsigsegv 库及其相应的 stackoverflow_install_handler 取得了一些成功。它运行得非常出色,直到学生的代码两次破坏堆栈。
例如,以下是一些示例输出:
[# ~]$ ledit ./interpreter
-> (use solution)
-> (fun 1 2)
*** Stack overflow detected ***
-> (fun 1 2)
Signal -10
[# ~]
最初的 ”* 检测到堆栈溢出 *”是理想的输出。第二次清除堆栈后,我得到的只是一个无用的“信号-10”,程序停止执行。我想再次看到堆栈溢出检测到的消息,并让代码继续执行。
在我的堆栈溢出处理程序中,我只是将溢出检测消息打印到 stderr 并长跳回到解释器中的“等待输入状态”。
谢谢你的帮助!
EDIT
根据下面 caf 的建议,我们添加了对 sigsegv_leave_handler() 的调用,如下所示:
static void continuation(void *arg1, void *arg2, void *arg3) {
(void)(arg1);
(void)(arg2);
(void)(arg3);
siglongjmp(errorjmp, 1);
}
static void handler(int emergency, stackoverflow_context_t context) {
(void)emergency;
(void)context;
fprintf(stderr, "\n*** Stack overflow detected ***\n");
fflush(stderr);
sigsegv_leave_handler(continuation, NULL, NULL, NULL);
}
但是,输出仍然相同。