(/home/sate/Testcases/c/cve/dovecot-1.2.0/src/master/mail-process.c) |
| |
| 512 | | | static void nfs_warn_if_found(const char *mail, const char *full_home_dir) |
| 513 | | | { |
| 514 | | | struct mountpoint point; |
| 515 | | | const char *path; |
| 516 | | | |
| 517 | | | if (mail == NULL || *mail == '\0') |
Event 1:
Taking false branch. - mail == (void *)0 evaluates to false.
- *mail == 0 evaluates to false.
hide
|
|
| 518 | | | path = full_home_dir; |
| 519 | | | else { |
| 520 | | | path = strstr(mail, ":INDEX="); |
| 521 | | | if (path != NULL) { |
Event 2:
Taking true branch. path != (void *)0 evaluates to true.
hide
|
|
| 522 | | | |
| 523 | | | path += 7; |
| 524 | | | if (strncmp(path, "MEMORY", 6) == 0) |
Event 3:
Skipping " if". strncmp(...) == 0 evaluates to false.
hide
|
|
| 525 | | | return; |
| 526 | | | } else { |
| 527 | | | path = strchr(mail, ':'); |
| 528 | | | if (path == NULL) { |
| 529 | | | |
| 530 | | | path = mail; |
| 531 | | | } else { |
| 532 | | | |
| 533 | | | path++; |
| 534 | | | } |
| 535 | | | } |
| 536 | [+] | | path = home_expand_tilde(t_strcut(path, ':'), full_home_dir); |
 |
| 537 | | | } |
| 538 | | | |
| 539 | [+] | | if (mountpoint_get(path, pool_datastack_create(), &point) <= 0) |
Event 14:
path, which evaluates to NULL, is passed to mountpoint_get() as the first argument. See related event 13.
hide
|
|
 |
| |