(/home/sate/Testcases/c/cve/dovecot-1.2.0/src/lib-storage/index/maildir/maildir-keywords.c) |
| |
| 442 | | | unsigned int maildir_keywords_char_idx(struct maildir_keywords_sync_ctx *ctx, |
| 443 | | | char keyword) |
| 444 | | | { |
| 445 | | | const char *name; |
| 446 | | | unsigned int chridx, idx; |
| 447 | | | |
| 448 | | | i_assert(keyword >= MAILDIR_KEYWORD_FIRST &&
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 |
| |
|
| 449 | | | keyword <= MAILDIR_KEYWORD_LAST); |
Event 1:
Skipping " if". - keyword >= 97 evaluates to true.
- keyword <= 122 evaluates to true.
hide
Event 2:
Skipping " if". !(keyword >= 97 && keyword <= 122) evaluates to false.
hide
Event 3:
Skipping " if". !!(keyword >= 97 && keyword <= 122) evaluates to true.
hide
Event 4:
Skipping " if". !!!(keyword >= 97 && keyword <= 122) evaluates to false.
hide
Event 5:
Skipping " if". __builtin_expect(...) evaluates to false.
hide
|
|
| 450 | | | chridx = keyword - MAILDIR_KEYWORD_FIRST; |
| 451 | | | |
| 452 | | | if (ctx->chridx_to_idx[chridx] != 0) |
Event 6:
Skipping " if". ctx->chridx_to_idx[chridx] != 0 evaluates to false.
hide
|
|
| 453 | | | return ctx->chridx_to_idx[chridx]; |
| 454 | | | |
| 455 | | | |
| 456 | [+] | | name = maildir_keywords_idx(ctx->mk, chridx); |
 |
| 457 | | | if (name == NULL) { |
Event 9:
Taking true branch. name == (void *)0 evaluates to true.
hide
|
|
| 458 | | | |
| 459 | [+] | | name = t_strdup_printf("unknown-%u", chridx); |
 |
| 460 | [+] | | while (maildir_keywords_lookup(ctx->mk, name, &idx) > 0) { |
 |
| 461 | | | |
| 462 | | | |
| 463 | | | name = t_strconcat(name, "?", NULL); |
| 464 | | | } |
| 465 | [+] | | maildir_keywords_create(ctx->mk, name, chridx); |
Event 45:
name, which evaluates to the value assigned to ret at data-stack.c:335, is passed to maildir_keywords_create() as the second argument. See related event 41.
hide
|
|
 |
| |