(/home/sate/Testcases/c/cve/dovecot-1.2.0/src/lib-storage/mailbox-list.c) |
| |
| 140 | | | int mailbox_list_settings_parse(const char *data, |
| 141 | | | struct mailbox_list_settings *set, |
| 142 | | | struct mail_namespace *ns, |
| 143 | | | const char **layout, const char **alt_dir_r, |
| 144 | | | const char **error_r) |
| 145 | | | { |
| 146 | | | const char *const *tmp, *key, *value, **dest, *str; |
| 147 | | | |
| 148 | | | i_assert(*data != '\0');
x /home/sate/Testcases/c/cve/dovecot-1.2.0/src/lib/macros.h |
| |
189 | #define i_assert(expr) STMT_START{ \ |
190 | if (unlikely(!(expr))) \ |
191 | i_panic("file %s: line %d (%s): assertion failed: (%s)", \ |
192 | __FILE__, \ |
193 | __LINE__, \ |
194 | __PRETTY_FUNCTION__, \ |
195 | #expr); }STMT_END |
| |
|
Event 1:
Skipping " if". *data != 0 evaluates to true.
hide
Event 2:
Skipping " if". !(*data != 0) evaluates to false.
hide
Event 3:
Skipping " if". !!(*data != 0) evaluates to true.
hide
Event 4:
Skipping " if". !!!(*data != 0) evaluates to false.
hide
Event 5:
Skipping " if". __builtin_expect(...) evaluates to false.
hide
|
|
| 149 | | | |
| 150 | | | *error_r = NULL; |
| 151 | | | if (alt_dir_r != NULL) |
Event 6:
Skipping " if". alt_dir_r != (void *)0 evaluates to false.
hide
|
|
| 152 | | | *alt_dir_r = NULL; |
| 153 | | | |
| 154 | | | |
| 155 | | | tmp = t_strsplit(data, ":"); |
| 156 | [+] | | str = split_next_arg(&tmp); |
 |
| 157 | [+] | | if (fix_path(ns, str, &set->root_dir) < 0) { |
Event 17:
str, which evaluates to NULL, is passed to fix_path() as the second argument. See related event 16.
hide
|
|
 |
| |