clang -cc1 -cc1 -triple amd64-unknown-openbsd7.0 -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name ser-pipe.c -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 1 -pic-is-pie -mframe-pointer=all -relaxed-aliasing -fno-rounding-math -mconstructor-aliases -munwind-tables -target-cpu x86-64 -target-feature +retpoline-indirect-calls -target-feature +retpoline-indirect-branches -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/usr/src/gnu/usr.bin/binutils/obj/gdb -resource-dir /usr/local/lib/clang/13.0.0 -D PIE_DEFAULT=1 -I . -I /usr/src/gnu/usr.bin/binutils/gdb -I /usr/src/gnu/usr.bin/binutils/gdb/config -D LOCALEDIR="/usr/share/locale" -D HAVE_CONFIG_H -I /usr/src/gnu/usr.bin/binutils/gdb/../include/opcode -I ../bfd -I /usr/src/gnu/usr.bin/binutils/gdb/../bfd -I /usr/src/gnu/usr.bin/binutils/gdb/../include -I ../intl -I /usr/src/gnu/usr.bin/binutils/gdb/../intl -D MI_OUT=1 -D TUI=1 -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/gnu/usr.bin/binutils/obj/gdb -ferror-limit 19 -fwrapv -D_RET_PROTECTOR -ret-protector -fgnuc-version=4.2.1 -fcommon -vectorize-loops -vectorize-slp -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-valloc -fno-builtin-free -fno-builtin-strdup -fno-builtin-strndup -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /home/ben/Projects/vmm/scan-build/2022-01-12-194120-40624-1 -x c /usr/src/gnu/usr.bin/binutils/gdb/ser-pipe.c
1 | |
2 | |
3 | |
4 | |
5 | |
6 | |
7 | |
8 | |
9 | |
10 | |
11 | |
12 | |
13 | |
14 | |
15 | |
16 | |
17 | |
18 | |
19 | |
20 | |
21 | |
22 | |
23 | #include "defs.h" |
24 | #include "serial.h" |
25 | #include "ser-unix.h" |
26 | |
27 | #include "gdb_vfork.h" |
28 | |
29 | #include <sys/types.h> |
30 | #include <sys/socket.h> |
31 | #include <sys/time.h> |
32 | #include <fcntl.h> |
33 | #include "gdb_string.h" |
34 | |
35 | #include <signal.h> |
36 | |
37 | static int pipe_open (struct serial *scb, const char *name); |
38 | static void pipe_close (struct serial *scb); |
39 | |
40 | extern void _initialize_ser_pipe (void); |
41 | |
42 | struct pipe_state |
43 | { |
44 | int pid; |
45 | }; |
46 | |
47 | |
48 | |
49 | static int |
50 | pipe_open (struct serial *scb, const char *name) |
51 | { |
52 | #if !HAVE_SOCKETPAIR |
53 | return -1; |
54 | #else |
55 | struct pipe_state *state; |
56 | |
57 | |
58 | |
59 | |
60 | |
61 | |
62 | |
63 | int pdes[2]; |
64 | int pid; |
65 | if (socketpair (AF_UNIX, SOCK_STREAM, 0, pdes) < 0) |
| 1 | Assuming the condition is false | |
|
| |
66 | return -1; |
67 | |
68 | |
69 | |
70 | |
71 | |
72 | pid = vfork (); |
73 | |
74 | |
75 | if (pid == -1) |
| |
76 | { |
77 | close (pdes[0]); |
78 | close (pdes[1]); |
79 | return -1; |
80 | } |
81 | |
82 | |
83 | if (pid == 0) |
| |
84 | { |
85 | |
86 | close (pdes[0]); |
| 5 | | This function call is prohibited after a successful vfork |
|
87 | if (pdes[1] != STDOUT_FILENO) |
88 | { |
89 | dup2 (pdes[1], STDOUT_FILENO); |
90 | close (pdes[1]); |
91 | } |
92 | dup2 (STDOUT_FILENO, STDIN_FILENO); |
93 | #if 0 |
94 | |
95 | |
96 | |
97 | |
98 | for (old = pidlist; old; old = old->next) |
99 | close (fileno (old->fp)); |
100 | #endif |
101 | execl ("/bin/sh", "sh", "-c", name, (char *) 0); |
102 | _exit (127); |
103 | } |
104 | |
105 | |
106 | close (pdes[1]); |
107 | |
108 | state = XMALLOC (struct pipe_state); |
109 | state->pid = pid; |
110 | scb->fd = pdes[0]; |
111 | scb->state = state; |
112 | |
113 | |
114 | signal (SIGPIPE, SIG_IGN); |
115 | return 0; |
116 | #endif |
117 | } |
118 | |
119 | static void |
120 | pipe_close (struct serial *scb) |
121 | { |
122 | struct pipe_state *state = scb->state; |
123 | if (state != NULL) |
124 | { |
125 | int pid = state->pid; |
126 | close (scb->fd); |
127 | scb->fd = -1; |
128 | xfree (state); |
129 | scb->state = NULL; |
130 | kill (pid, SIGTERM); |
131 | |
132 | } |
133 | } |
134 | |
135 | static struct serial_ops pipe_ops; |
136 | |
137 | void |
138 | _initialize_ser_pipe (void) |
139 | { |
140 | struct serial_ops *ops = XMALLOC (struct serial_ops); |
141 | memset (ops, 0, sizeof (struct serial_ops)); |
142 | ops->name = "pipe"; |
143 | ops->next = 0; |
144 | ops->open = pipe_open; |
145 | ops->close = pipe_close; |
146 | ops->readchar = ser_unix_readchar; |
147 | ops->write = ser_unix_write; |
148 | ops->flush_output = ser_unix_nop_flush_output; |
149 | ops->flush_input = ser_unix_flush_input; |
150 | ops->send_break = ser_unix_nop_send_break; |
151 | ops->go_raw = ser_unix_nop_raw; |
152 | ops->get_tty_state = ser_unix_nop_get_tty_state; |
153 | ops->set_tty_state = ser_unix_nop_set_tty_state; |
154 | ops->print_tty_state = ser_unix_nop_print_tty_state; |
155 | ops->noflush_set_tty_state = ser_unix_nop_noflush_set_tty_state; |
156 | ops->setbaudrate = ser_unix_nop_setbaudrate; |
157 | ops->setstopbits = ser_unix_nop_setstopbits; |
158 | ops->drain_output = ser_unix_nop_drain_output; |
159 | ops->async = ser_unix_async; |
160 | serial_add_interface (ops); |
161 | } |