(/home/sate/Testcases/c/cve/dovecot-1.2.0/src/imap-login/client.c) |
| |
| 298 | | | static bool client_handle_input(struct imap_client *client) |
| 299 | | | { |
| 300 | | | const struct imap_arg *args; |
| 301 | | | const char *msg; |
| 302 | | | int ret; |
| 303 | | | bool fatal; |
| 304 | | | |
| 305 | | | i_assert(!client->common.authenticating);
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". !client->common.authenticating evaluates to true.
hide
Event 2:
Skipping " if". !!client->common.authenticating evaluates to false.
hide
Event 3:
Skipping " if". !!!client->common.authenticating evaluates to true.
hide
Event 4:
Skipping " if". !!!!client->common.authenticating evaluates to false.
hide
Event 5:
Skipping " if". __builtin_expect(...) evaluates to false.
hide
|
|
| 306 | | | |
| 307 | | | if (client->cmd_finished) { |
Event 6:
Taking true branch. client->cmd_finished evaluates to true.
hide
|
|
| 308 | | | |
| 309 | | | |
| 310 | | | |
| 311 | | | client->cmd_tag = NULL; |
| 312 | | | client->cmd_name = NULL; |
| 313 | [+] | | imap_parser_reset(client->parser); |
Event 7:
client->parser is passed to imap_parser_reset().
hide
|
|
 |
| 314 | | | |
| 315 | | | |
| 316 | | | if (client->skip_line) { |
Event 10:
Taking true branch. client->skip_line evaluates to true.
hide
|
|
| 317 | | | if (!client_skip_line(client)) |
Event 11:
Skipping " if". client_skip_line(client) evaluates to true.
hide
|
|
| 318 | | | return FALSE; |
| 319 | | | client->skip_line = FALSE; |
| 320 | | | } |
| 321 | | | |
| 322 | | | client->cmd_finished = FALSE; |
| 323 | | | } |
| 324 | | | |
| 325 | | | if (client->cmd_tag == NULL) { |
Event 12:
Taking true branch. client->cmd_tag == (void *)0 evaluates to true.
hide
|
|
| 326 | | | client->cmd_tag = imap_parser_read_word(client->parser); |
| 327 | | | if (client->cmd_tag == NULL) |
Event 13:
Skipping " if". client->cmd_tag == (void *)0 evaluates to false.
hide
|
|
| 328 | | | return FALSE; |
| 329 | | | } |
| 330 | | | |
| 331 | | | if (client->cmd_name == NULL) { |
Event 14:
Taking true branch. client->cmd_name == (void *)0 evaluates to true.
hide
|
|
| 332 | | | client->cmd_name = imap_parser_read_word(client->parser); |
| 333 | | | if (client->cmd_name == NULL) |
Event 15:
Skipping " if". client->cmd_name == (void *)0 evaluates to false.
hide
|
|
| 334 | | | return FALSE; |
| 335 | | | } |
| 336 | | | |
| 337 | [+] | | switch (imap_parser_read_args(client->parser, 0, 0, &args)) { |
Event 16:
client->parser is passed to imap_parser_read_args() as the first argument.
hide
|
|
 |
| |