如何捕捉栈溢出产生的信号

contestjia

1. #include <stdio.h>
   
2. #include <signal.h>
   
3. 
   
4. static int count=0;
   
5. 
   
6. void handler(int signo)
   
7. {
   
8.     printf("count=%d\n", count);
   
9. }
   
10. 
    
11. void test_stack(void)
    
12. {
    
13.     char data[1<<20];
    
14.     count++;
    
15.     test_stack();
    
16. }
    
17. 
    
18. int main()
    
19. {
    
20.     signal(SIGSEGV, &handler);
    
21.     test_stack();
    
22. }
    

复制代码

执行程序，捕捉不到这个信号~~~~

hanxin83

答案删了, 发现自己也没有弄清楚, 去研究一下再回来~~~~

Monox

先说一句题外话：The  only portable use of signal() is to set a signal's disposition to SIG_DFL or SIG_IGN.  The semantics when using signal() to establish a signal handler vary across systems (and POSIX.1 explicitly permits this variation); do not use it for this purpose.
这句题外话是从 signal 的 man page 中摘抄的，意思是除外你是把 signal 的 handler 设成 SIG_DFL 或者 SIG_IGN，否则最好不要用 signal，而应该用 sigaction。

言归正传，为什么你的程序捕捉不到 SIGSEV 呢？那是因为要捕捉这个信号你的信号处理函数也是要运行的，而你的 SIGSEV 是由于栈溢出产生的，而信号处理函数默认也是在默认栈上运行的，栈溢出了它也一样运行不了。所以解决方案是让信号处理函数不在默认栈上运行，这正好也说明了我们不该用 signal，而应该用 sigaction，因为只有 sigaction 才可以指定 flag，具体例子（在你的例子基础上修改的）如下：

1. #include <stdio.h>
   
2. #include <stdlib.h>
   
3. #include <signal.h>
   
4. 
   
5. static int count=0;
   
6. 
   
7. void handler(int signo)
   
8. {
   
9.     printf("count=%d\n", count);
   
10. }
    
11. 
    
12. void test_stack(void)
    
13. {
    
14.     char data[1<<20];
    
15.     count++;
    
16.     test_stack();
    
17. }
    
18. 
    
19. int main ( void )
    
20.   { stack_t ss = { . ss_size = SIGSTKSZ }
    
21.   ; if ( ( ss . ss_sp = malloc ( SIGSTKSZ ) ) == NULL )
    
22.       { perror ( "malloc" )
    
23.       ; exit   ( EXIT_FAILURE )
    
24.       ; }
    
25. 
    
26.     if ( sigaltstack ( &ss , NULL ) == -1 )
    
27.       { perror ( "sigaltstack" )
    
28.       ; exit   ( EXIT_FAILURE )
    
29.       ; }
    
30. 
    
31.     struct sigaction act = { . sa_handler = handler , . sa_flags = SA_ONSTACK } ;
    
32.     sigemptyset ( & ( act . sa_mask ) ) ;
    
33.     if ( sigaction ( SIGSEGV , & act , NULL ) == -1 )
    
34.         perror ( "sigaction" ) ;
    
35. 
    
36.     test_stack();
    
37. }
    

复制代码

MMMIX

回复 3# Monox


    把语句结束符 ; 放在下一语句之前，这代码风格实在诡异……

Monox

回复 4# MMMIX


    这是我这几天自创的代码风格，; 放在后面个人觉得比较难看。之前;和}还在不同行，而且即使只有一条语句的时候;也会另起一行的，后来觉得太浪费空间了后来就改到同一行了。

zylthinking

Monox 发表于 2015-08-06 12:27
先说一句题外话：The  only portable use of signal() is to set a signal's disposition to SIG_DFL or SI ...

这都是什么跟什么

zylthinking

回复 6# zylthinking
好吧 我看漏了


   

lxyscls

回复 3# Monox


    这个有点牛逼了

contestjia

回复 3# Monox
谢谢你，知道为什么这个信号捕捉不到了~~

   

contestjia

回复 3# Monox
sigalstack这个函数是不是把当前栈修改到了堆上(malloc分配)？那我用这个程序测试栈大小，是测试的修改后的堆大小，还是原本的栈大小？