(/home/sate/Testcases/c/cve/dovecot-1.2.0/src/imap/client.c) |
| |
| 302 | | | bool client_read_args(struct client_command_context *cmd, unsigned int count, |
| 303 | | | unsigned int flags, const struct imap_arg **args_r) |
| 304 | | | { |
| 305 | | | string_t *str; |
| 306 | | | int ret; |
| 307 | | | |
| 308 | | | i_assert(count <= INT_MAX);
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". count <= 2147483647 evaluates to true.
hide
Event 2:
Skipping " if". !(count <= 2147483647) evaluates to false.
hide
Event 3:
Skipping " if". !!(count <= 2147483647) evaluates to true.
hide
Event 4:
Skipping " if". !!!(count <= 2147483647) evaluates to false.
hide
Event 5:
Skipping " if". __builtin_expect(...) evaluates to false.
hide
|
|
| 309 | | | |
| 310 | [+] | | ret = imap_parser_read_args(cmd->parser, count, flags, args_r); |
Event 6:
args_r is passed to imap_parser_read_args() as the fourth argument.
hide
|
|
 |
| 311 | | | if (ret >= (int)count) { |
Event 12:
Taking true branch. ret >= (int)count evaluates to true.
hide
|
|
| 312 | | | |
| 313 | | | i_assert(cmd->client->input_lock == NULL ||
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 |
| |
|
| 314 | | | cmd->client->input_lock == cmd); |
Event 13:
Skipping " if". cmd->client->input_lock == (void *)0 evaluates to true.
hide
Event 14:
Skipping " if". !(cmd->client->input_lock == (void *)0 || cmd->client->input_lock == cmd) evaluates to false.
hide
Event 15:
Skipping " if". !!(cmd->client->input_lock == (void *)0 || cmd->client->input_lock == cmd) evaluates to true.
hide
Event 16:
Skipping " if". !!!(cmd->client->input_lock == (void *)0 || cmd->client->input_lock == cmd) evaluates to false.
hide
Event 17:
Skipping " if". __builtin_expect(...) evaluates to false.
hide
|
|
| 315 | | | |
| 316 | | | str = t_str_new(256); |
| 317 | [+] | | imap_write_args(str, *args_r); |
Event 18:
*args_r, which evaluates to NULL, is passed to imap_write_args() as the second argument. See related event 11.
hide
|
|
 |
| |