[Top][All Lists]

[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.


> 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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]