clang -cc1 -cc1 -triple amd64-unknown-openbsd7.4 -analyze -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name w.c -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 -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -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/usr.bin/w/obj -resource-dir /usr/local/llvm16/lib/clang/16 -internal-isystem /usr/local/llvm16/lib/clang/16/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/usr.bin/w/obj -ferror-limit 19 -fwrapv -D_RET_PROTECTOR -ret-protector -fcf-protection=branch -fno-jump-tables -fgnuc-version=4.2.1 -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/scan/2024-01-11-140451-98009-1 -x c /usr/src/usr.bin/w/w.c
1 | |
2 | |
3 | |
4 | |
5 | |
6 | |
7 | |
8 | |
9 | |
10 | |
11 | |
12 | |
13 | |
14 | |
15 | |
16 | |
17 | |
18 | |
19 | |
20 | |
21 | |
22 | |
23 | |
24 | |
25 | |
26 | |
27 | |
28 | |
29 | |
30 | |
31 | |
32 | |
33 | |
34 | |
35 | |
36 | |
37 | |
38 | #include <sys/time.h> |
39 | #include <sys/stat.h> |
40 | #include <sys/sysctl.h> |
41 | #include <sys/signal.h> |
42 | #include <sys/proc.h> |
43 | #include <sys/ioctl.h> |
44 | #include <sys/socket.h> |
45 | #include <sys/tty.h> |
46 | |
47 | #include <netinet/in.h> |
48 | #include <arpa/inet.h> |
49 | |
50 | #include <ctype.h> |
51 | #include <err.h> |
52 | #include <errno.h> |
53 | #include <fcntl.h> |
54 | #include <kvm.h> |
55 | #include <netdb.h> |
56 | #include <nlist.h> |
57 | #include <paths.h> |
58 | #include <stdio.h> |
59 | #include <stdlib.h> |
60 | #include <string.h> |
61 | #include <unistd.h> |
62 | #include <limits.h> |
63 | #include <utmp.h> |
64 | #include <vis.h> |
65 | |
66 | #include "extern.h" |
67 | |
68 | struct utmp utmp; |
69 | struct winsize ws; |
70 | kvm_t *kd; |
71 | time_t now; |
72 | int ttywidth; |
73 | int argwidth; |
74 | int header = 1; |
75 | int nflag = 1; |
76 | int sortidle; |
77 | char *sel_user; |
78 | char domain[HOST_NAME_MAX+1]; |
79 | |
80 | #define NAME_WIDTH 8 |
81 | #define HOST_WIDTH 16 |
82 | |
83 | |
84 | |
85 | |
86 | struct entry { |
87 | struct entry *next; |
88 | struct utmp utmp; |
89 | dev_t tdev; |
90 | time_t idle; |
91 | struct kinfo_proc *kp; |
92 | } *ep, *ehead = NULL, **nextp = &ehead; |
93 | |
94 | static void fmt_putc(int, int *); |
95 | static void fmt_puts(const char *, int *); |
96 | static void pr_args(struct kinfo_proc *); |
97 | static void pr_header(time_t *, int); |
98 | static struct stat |
99 | *ttystat(char *); |
100 | static void usage(int); |
101 | |
102 | int |
103 | main(int argc, char *argv[]) |
104 | { |
105 | extern char *__progname; |
106 | struct kinfo_proc *kp; |
107 | struct hostent *hp; |
108 | struct stat *stp; |
109 | FILE *ut; |
110 | struct in_addr addr; |
111 | int ch, i, nentries, nusers, wcmd; |
112 | char *memf, *nlistf, *p, *x; |
113 | char buf[HOST_NAME_MAX+1], errbuf[_POSIX2_LINE_MAX]; |
114 | |
115 | |
116 | p = __progname; |
117 | if (*p == '-') |
| 1 | Assuming the condition is false | |
|
118 | p++; |
119 | if (p[0] == 'w' && p[1] == '\0') { |
| 2 | | Assuming the condition is true | |
|
| 3 | | Assuming the condition is true | |
|
| |
120 | wcmd = 1; |
121 | p = "hiflM:N:asuw"; |
122 | } else if (!strcmp(p, "uptime")) { |
123 | wcmd = 0; |
124 | p = ""; |
125 | } else |
126 | errx(1, |
127 | "this program should be invoked only as \"w\" or \"uptime\""); |
128 | |
129 | memf = nlistf = NULL; |
130 | while ((ch = getopt(argc, argv, p)) != -1) |
| 5 | | Assuming the condition is false | |
|
| 6 | | Loop condition is false. Execution continues on line 154 | |
|
131 | switch (ch) { |
132 | case 'h': |
133 | header = 0; |
134 | break; |
135 | case 'i': |
136 | sortidle = 1; |
137 | break; |
138 | case 'M': |
139 | header = 0; |
140 | memf = optarg; |
141 | break; |
142 | case 'N': |
143 | nlistf = optarg; |
144 | break; |
145 | case 'a': |
146 | nflag = 0; |
147 | break; |
148 | case 'f': case 'l': case 's': case 'u': case 'w': |
149 | warnx("[-flsuw] no longer supported"); |
150 | |
151 | default: |
152 | usage(wcmd); |
153 | } |
154 | argc -= optind; |
155 | argv += optind; |
156 | |
157 | if (nflag == 0) { |
| |
158 | if (pledge("stdio tty rpath dns ps vminfo", NULL) == -1) |
159 | err(1, "pledge"); |
160 | } else { |
161 | if (pledge("stdio tty rpath ps vminfo", NULL) == -1) |
| 8 | | Assuming the condition is false | |
|
162 | err(1, "pledge"); |
163 | } |
164 | |
165 | if (nlistf == NULL && memf == NULL) { |
| |
166 | if ((kd = kvm_openfiles(nlistf, memf, NULL, KVM_NO_FILES, |
| 10 | | Assuming the condition is false | |
|
| |
167 | errbuf)) == NULL) |
168 | errx(1, "%s", errbuf); |
169 | } else { |
170 | if ((kd = kvm_openfiles(nlistf, memf, NULL, O_RDONLY, errbuf)) == NULL) |
171 | errx(1, "%s", errbuf); |
172 | } |
173 | |
174 | (void)time(&now); |
175 | if ((ut = fopen(_PATH_UTMP, "r")) == NULL) |
| 12 | | Assuming the condition is false | |
|
| |
176 | err(1, "%s", _PATH_UTMP); |
177 | |
178 | if (*argv) |
| 14 | | Assuming the condition is false | |
|
| |
179 | sel_user = *argv; |
180 | |
181 | for (nusers = 0; fread(&utmp, sizeof(utmp), 1, ut);) { |
| 16 | | Loop condition is true. Entering loop body | |
|
| 28 | | Loop condition is false. Execution continues on line 214 | |
|
182 | if (utmp.ut_name[0] == '\0') |
| 17 | | Assuming the condition is false | |
|
| |
183 | continue; |
184 | ++nusers; |
185 | if (wcmd == 0 || (sel_user && |
| 19 | | Assuming 'sel_user' is null | |
|
186 | strncmp(utmp.ut_name, sel_user, UT_NAMESIZE) != 0)) |
187 | continue; |
188 | if ((ep = calloc(1, sizeof(*ep))) == NULL) |
| 20 | | Assuming the condition is false | |
|
| |
189 | err(1, NULL); |
190 | *nextp = ep; |
191 | nextp = &(ep->next); |
192 | memcpy(&(ep->utmp), &utmp, sizeof(utmp)); |
193 | if (!(stp = ttystat(ep->utmp.ut_line))) |
| 22 | | Assuming 'stp' is non-null | |
|
| |
194 | continue; |
195 | ep->tdev = stp->st_rdev; |
196 | |
197 | |
198 | |
199 | |
200 | |
201 | if (ep->tdev == 0) { |
| 24 | | Assuming field 'tdev' is not equal to 0 | |
|
| |
202 | int mib[2]; |
203 | size_t size; |
204 | |
205 | mib[0] = CTL_KERN; |
206 | mib[1] = KERN_CONSDEV; |
207 | size = sizeof(dev_t); |
208 | (void) sysctl(mib, 2, &ep->tdev, &size, NULL, 0); |
209 | } |
210 | |
211 | if ((ep->idle = now - stp->st_atime) < 0) |
| 26 | | Assuming the condition is false | |
|
| |
212 | ep->idle = 0; |
213 | } |
214 | (void)fclose(ut); |
215 | |
216 | if (header || wcmd == 0) { |
| |
| |
217 | pr_header(&now, nusers); |
218 | if (wcmd == 0) |
219 | exit (0); |
220 | } |
221 | |
222 | #define HEADER "USER TTY FROM LOGIN@ IDLE WHAT" |
223 | #define WUSED (sizeof(HEADER) - sizeof("WHAT")) |
224 | if (header) |
| |
225 | (void)puts(HEADER); |
226 | |
227 | kp = kvm_getprocs(kd, KERN_PROC_ALL, 0, sizeof(*kp), &nentries); |
228 | if (kp == NULL) |
| 32 | | Assuming 'kp' is not equal to NULL | |
|
229 | errx(1, "%s", kvm_geterr(kd)); |
230 | |
231 | if ((ioctl(STDOUT_FILENO, TIOCGWINSZ, &ws) == -1 && |
| 33 | | Assuming the condition is false | |
|
| |
232 | ioctl(STDERR_FILENO, TIOCGWINSZ, &ws) == -1 && |
233 | ioctl(STDIN_FILENO, TIOCGWINSZ, &ws) == -1) || ws.ws_col == 0) |
| 34 | | Assuming field 'ws_col' is not equal to 0 | |
|
234 | ttywidth = 79; |
235 | else |
236 | ttywidth = ws.ws_col - 1; |
237 | argwidth = ttywidth - WUSED; |
238 | if (argwidth < 4) |
| 36 | | Assuming 'argwidth' is >= 4 | |
|
| |
239 | argwidth = 8; |
240 | |
241 | for (i = 0; i < nentries; i++, kp++) { |
| 38 | | Assuming 'i' is >= 'nentries' | |
|
242 | if (kp->p_psflags & (PS_EMBRYO | PS_ZOMBIE)) |
243 | continue; |
244 | for (ep = ehead; ep != NULL; ep = ep->next) { |
245 | |
246 | if (strncmp(ep->utmp.ut_line, "ftp", 3) == 0) { |
247 | char pidstr[UT_LINESIZE-2]; |
248 | pid_t fp; |
249 | |
250 | (void)strncpy(pidstr, &ep->utmp.ut_line[3], |
251 | sizeof(pidstr) - 1); |
252 | pidstr[sizeof(pidstr) - 1] = '\0'; |
253 | fp = (pid_t)strtol(pidstr, NULL, 10); |
254 | if (kp->p_pid == fp) { |
255 | ep->kp = kp; |
256 | break; |
257 | } |
258 | } else if (ep->tdev == kp->p_tdev && |
259 | kp->p__pgid == kp->p_tpgid) { |
260 | |
261 | |
262 | |
263 | if (proc_compare(ep->kp, kp)) |
264 | ep->kp = kp; |
265 | break; |
266 | } |
267 | } |
268 | } |
269 | |
270 | if (sortidle && ehead != NULL) { |
| 39 | | Assuming 'sortidle' is 0 | |
|
271 | struct entry *from = ehead, *save; |
272 | |
273 | ehead = NULL; |
274 | while (from != NULL) { |
275 | for (nextp = &ehead; |
276 | (*nextp) && from->idle >= (*nextp)->idle; |
277 | nextp = &(*nextp)->next) |
278 | continue; |
279 | save = from; |
280 | from = from->next; |
281 | save->next = *nextp; |
282 | *nextp = save; |
283 | } |
284 | } |
285 | |
286 | if (!nflag) { |
| 40 | | Assuming 'nflag' is not equal to 0 | |
|
| |
287 | if (gethostname(domain, sizeof(domain)) == -1 || |
288 | (p = strchr(domain, '.')) == 0) |
289 | domain[0] = '\0'; |
290 | else { |
291 | domain[sizeof(domain) - 1] = '\0'; |
292 | memmove(domain, p, strlen(p) + 1); |
293 | } |
294 | } |
295 | |
296 | for (ep = ehead; ep != NULL; ep = ep->next) { |
| 42 | | Assuming 'ep' is not equal to NULL | |
|
297 | p = *ep->utmp.ut_host ? ep->utmp.ut_host : "-"; |
| 43 | | Loop condition is true. Entering loop body | |
|
| 44 | | Assuming the condition is false | |
|
| |
298 | for (x = NULL, i = 0; p[i] != '\0' && i < UT_HOSTSIZE; i++) |
| 46 | | Loop condition is true. Entering loop body | |
|
299 | if (p[i] == ':') { |
| |
300 | x = &p[i]; |
301 | *x++ = '\0'; |
302 | break; |
303 | } |
304 | if (!nflag && inet_aton(p, &addr) && |
305 | (hp = gethostbyaddr((char *)&addr, sizeof(addr), AF_INET))) { |
306 | if (domain[0] != '\0') { |
307 | p = hp->h_name; |
308 | p += strlen(hp->h_name); |
309 | p -= strlen(domain); |
310 | if (p > hp->h_name && |
311 | strcasecmp(p, domain) == 0) |
312 | *p = '\0'; |
313 | } |
314 | p = hp->h_name; |
315 | } |
316 | if (x) { |
| |
317 | (void)snprintf(buf, sizeof(buf), "%s:%.*s", p, |
318 | (int)(ep->utmp.ut_host + UT_HOSTSIZE - x), x); |
319 | p = buf; |
320 | } |
321 | (void)printf("%-*.*s %-2.2s %-*.*s ", |
322 | NAME_WIDTH, UT_NAMESIZE, ep->utmp.ut_name, |
323 | strncmp(ep->utmp.ut_line, "tty", 3) ? |
| 49 | | Assuming the condition is false | |
|
| |
324 | ep->utmp.ut_line : ep->utmp.ut_line + 3, |
325 | HOST_WIDTH, HOST_WIDTH, *p ? p : "-"); |
| |
326 | pr_attime(&ep->utmp.ut_time, &now); |
327 | pr_idle(ep->idle); |
328 | pr_args(ep->kp); |
| |
329 | printf("\n"); |
330 | } |
331 | exit(0); |
332 | } |
333 | |
334 | static void |
335 | fmt_putc(int c, int *leftp) |
336 | { |
337 | |
338 | if (*leftp == 0) |
339 | return; |
340 | if (*leftp != -1) |
341 | *leftp -= 1; |
342 | putchar(c); |
343 | } |
344 | |
345 | static void |
346 | fmt_puts(const char *s, int *leftp) |
347 | { |
348 | static char *v = NULL; |
| 63 | | 'v' initialized to a null pointer value | |
|
349 | static size_t maxlen = 0; |
350 | size_t len; |
351 | |
352 | if (*leftp == 0) |
| 64 | | Assuming the condition is false | |
|
| |
353 | return; |
354 | len = strlen(s) * 4 + 1; |
355 | if (len > maxlen) { |
| 66 | | Assuming 'len' is <= 'maxlen' | |
|
| |
356 | free(v); |
357 | maxlen = 0; |
358 | if (len < getpagesize()) |
359 | len = getpagesize(); |
360 | v = malloc(len); |
361 | if (v == NULL) |
362 | return; |
363 | maxlen = len; |
364 | } |
365 | strvis(v, s, VIS_TAB | VIS_NL | VIS_CSTYLE); |
366 | if (*leftp != -1) { |
| 68 | | Assuming the condition is true | |
|
| |
367 | len = strlen(v); |
| 70 | | Null pointer passed as 1st argument to string length function |
|
368 | if (len > *leftp) { |
369 | v[*leftp] = '\0'; |
370 | *leftp = 0; |
371 | } else |
372 | *leftp -= len; |
373 | } |
374 | printf("%s", v); |
375 | } |
376 | |
377 | |
378 | static void |
379 | pr_args(struct kinfo_proc *kp) |
380 | { |
381 | char **argv, *str; |
382 | int left; |
383 | |
384 | if (kp == NULL) |
| 53 | | Assuming 'kp' is not equal to NULL | |
|
| |
385 | goto nothing; |
386 | left = argwidth; |
387 | argv = kvm_getargv(kd, kp, argwidth+60); |
388 | if (argv == NULL) |
| 55 | | Assuming 'argv' is not equal to NULL | |
|
389 | goto nothing; |
390 | |
391 | if (*argv == NULL || **argv == '\0') { |
| 56 | | Assuming the condition is false | |
|
| 57 | | Assuming the condition is false | |
|
| |
392 | |
393 | fmt_putc('(', &left); |
394 | fmt_puts(kp->p_comm, &left); |
395 | fmt_putc(')', &left); |
396 | } |
397 | while (*argv) { |
| 59 | | Loop condition is true. Entering loop body | |
|
398 | |
399 | |
400 | |
401 | |
402 | if (strncmp(*argv, "ftpd:", 5) == 0) { |
| 60 | | Assuming the condition is false | |
|
| |
403 | if ((str = strchr(*argv + 5, ':')) != NULL) |
404 | str = strchr(str + 1, ':'); |
405 | if (str != NULL) { |
406 | if ((str[0] == ':') && |
407 | isspace((unsigned char)str[1])) |
408 | str += 2; |
409 | fmt_puts(str, &left); |
410 | } else |
411 | fmt_puts(*argv, &left); |
412 | } else |
413 | fmt_puts(*argv, &left); |
| |
414 | argv++; |
415 | fmt_putc(' ', &left); |
416 | } |
417 | return; |
418 | nothing: |
419 | putchar('-'); |
420 | } |
421 | |
422 | static void |
423 | pr_header(time_t *nowp, int nusers) |
424 | { |
425 | double avenrun[3]; |
426 | struct timespec boottime; |
427 | time_t uptime; |
428 | int days, hrs, i, mins; |
429 | char buf[256]; |
430 | |
431 | |
432 | |
433 | |
434 | (void)strftime(buf, sizeof(buf) - 1, "%l:%M%p", localtime(nowp)); |
435 | buf[sizeof(buf) - 1] = '\0'; |
436 | (void)printf("%s ", buf); |
437 | |
438 | |
439 | |
440 | |
441 | if (clock_gettime(CLOCK_BOOTTIME, &boottime) != -1) { |
442 | uptime = boottime.tv_sec; |
443 | if (uptime > 59) { |
444 | uptime += 30; |
445 | days = uptime / SECSPERDAY; |
446 | uptime %= SECSPERDAY; |
447 | hrs = uptime / SECSPERHOUR; |
448 | uptime %= SECSPERHOUR; |
449 | mins = uptime / 60; |
450 | (void)printf(" up"); |
451 | if (days > 0) |
452 | (void)printf(" %d day%s,", days, |
453 | days > 1 ? "s" : ""); |
454 | if (hrs > 0 && mins > 0) |
455 | (void)printf(" %2d:%02d,", hrs, mins); |
456 | else { |
457 | if (hrs > 0) |
458 | (void)printf(" %d hr%s,", |
459 | hrs, hrs > 1 ? "s" : ""); |
460 | if (mins > 0 || (days == 0 && hrs == 0)) |
461 | (void)printf(" %d min%s,", |
462 | mins, mins != 1 ? "s" : ""); |
463 | } |
464 | } else |
465 | printf(" %d secs,", (int)uptime); |
466 | } |
467 | |
468 | |
469 | (void)printf(" %d user%s", nusers, nusers != 1 ? "s" : ""); |
470 | |
471 | |
472 | |
473 | |
474 | if (getloadavg(avenrun, sizeof(avenrun) / sizeof(avenrun[0])) == -1) |
475 | (void)printf(", no load average information available\n"); |
476 | else { |
477 | (void)printf(", load averages:"); |
478 | for (i = 0; i < (sizeof(avenrun) / sizeof(avenrun[0])); i++) { |
479 | if (i > 0) |
480 | (void)printf(","); |
481 | (void)printf(" %.2f", avenrun[i]); |
482 | } |
483 | (void)printf("\n"); |
484 | } |
485 | } |
486 | |
487 | static struct stat * |
488 | ttystat(char *line) |
489 | { |
490 | static struct stat sb; |
491 | char ttybuf[sizeof(_PATH_DEV) + UT_LINESIZE]; |
492 | |
493 | |
494 | (void)strlcpy(ttybuf, _PATH_DEV, sizeof(ttybuf)); |
495 | (void)strncat(ttybuf, line, sizeof(ttybuf) - 1 - strlen(ttybuf)); |
496 | if (stat(ttybuf, &sb)) |
497 | return (NULL); |
498 | return (&sb); |
499 | } |
500 | |
501 | static void |
502 | usage(int wcmd) |
503 | { |
504 | if (wcmd) |
505 | (void)fprintf(stderr, |
506 | "usage: w [-ahi] [-M core] [-N system] [user]\n"); |
507 | else |
508 | (void)fprintf(stderr, |
509 | "usage: uptime\n"); |
510 | exit (1); |
511 | } |