CBMC: /home/runner/work/cbmc/cbmc/src/util/signal_catcher.cpp Source File

27 void register_child(pid_t pid)

28{

29 PRECONDITION(child_pid == 0);

30 child_pid = pid;

31}

33 void unregister_child()

34{

35 PRECONDITION(child_pid != 0);

36 child_pid = 0;

37}

40 void install_signal_catcher()

41{

42#if defined(_WIN32)

43#else

44 // declare act to deal with action on signal set

45 // NOLINTNEXTLINE(readability/identifiers)

46 static struct sigaction act;

47

48 act.sa_handler = signal_catcher;

49 act.sa_flags = 0;

50 sigfillset(&(act.sa_mask));

51

52 // install signal handler

53 sigaction(SIGTERM, &act, nullptr);

54#endif

55}

57 void remove_signal_catcher()

58{

59#if defined(_WIN32)

60#else

61 // declare act to deal with action on signal set

62 // NOLINTNEXTLINE(readability/identifiers)

63 static struct sigaction act;

64

65 act.sa_handler = SIG_DFL;

66 act.sa_flags = 0;

67 sigfillset(&(act.sa_mask));

68

69 sigaction(SIGTERM, &act, nullptr);

70#endif

71}

73 void signal_catcher(int sig)

74{

75#if defined(_WIN32)

76 (void)sig; // unused parameter

77#else

78

79#if 0

80 // kill any children by killing group

81 killpg(0, sig);

82#else

83 // pass on to our child, if any

84 if(child_pid != 0)

85 kill(child_pid, sig);

86#endif

87

88 exit(sig); // should contemplate something from sysexits.h

89#endif

90}

ait

ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

Definition ai.h:566

ait::ait

ait()

Definition ai.h:569

kill

int kill(pid_t pid, int sig)

Definition signal.c:15

remove_signal_catcher

void remove_signal_catcher()

Definition signal_catcher.cpp:57

install_signal_catcher

void install_signal_catcher()

Definition signal_catcher.cpp:40

register_child

void register_child(pid_t pid)

Definition signal_catcher.cpp:27

signal_catcher

void signal_catcher(int sig)

Definition signal_catcher.cpp:73

unregister_child

void unregister_child()

Definition signal_catcher.cpp:33

child_pid

pid_t child_pid

Definition signal_catcher.cpp:25

signal_catcher.h

PRECONDITION

#define PRECONDITION(CONDITION)

Definition invariant.h:463

exit

void exit(int status)

Definition stdlib.c:102

invariant.h