ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
signal_catcher.h
Go to the documentation of this file.
1#include <cstddef>
2
4void signal_catcher(int sig);
5
8void signal_safe_write(int fd, const char *msg, size_t len);
9
15 int sig,
16 void (*handler)(int),
17 bool keep_existing);
18
24void install_fatal_signal_reporter(const char *extra_advice);
void install_signal_catcher()
Definition signal_catcher.cpp:12
void signal_safe_write(int fd, const char *msg, size_t len)
Write len bytes without allocating or touching stdio, so it is safe from a signal handler.
Definition signal_catcher.cpp:46
void install_fatal_signal_reporter(const char *extra_advice)
Report a fatal memory-fault signal on stderr before dying from it.
Definition signal_catcher.cpp:169
bool install_altstack_handler(int sig, void(*handler)(int), bool keep_existing)
Install handler for sig to run on an alternate signal stack, which is what lets a stack-exhaustion fa...
Definition signal_catcher.cpp:149
void signal_catcher(int sig)
Definition signal_catcher.cpp:31