[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: make signal handlers more reliable
|
From: |
Bruno Haible |
|
Subject: |
Re: make signal handlers more reliable |
|
Date: |
Tue, 19 Mar 2019 04:17:23 +0100 |
|
User-agent: |
KMail/5.1.3 (Linux/4.4.0-141-generic; KDE/5.18.0; x86_64; ; ) |
Hi Paul,
> Thanks, I like the idea of marking signal handlers, presumably for use
> by static checkers later. And it's nice that you found the bug in c-stack.
Thanks.
> Did you use static checking to find the bug?
No. The signal handlers are so small in size that I could afford to review
their function calls and memory accesses line-by-line.
> Is there some reasonable way to cajole GCC into doing this checking?
A web search for "static analysis" and "signal handler" reveals a couple
of research papers, but I did not immediately find anything based on GCC
or clang.
Bruno