Lines Matching refs:strlen
79 #define strlen BUILTIN(strlen) macro
80 size_t strlen(const char *s);
83 clang_analyzer_eval(strlen("123") == 3); // expected-warning{{TRUE}} in strlen_constant0()
88 clang_analyzer_eval(strlen(a) == 3); // expected-warning{{TRUE}} in strlen_constant1()
93 clang_analyzer_eval(strlen(a) == 3); // expected-warning{{TRUE}} in strlen_constant2()
96 clang_analyzer_eval(strlen(a) == 3); // expected-warning{{UNKNOWN}} in strlen_constant2()
100 …return strlen(0); // expected-warning{{Null pointer passed as 1st argument to string length functi… in strlen_null()
104 …return strlen((char*)&strlen_fn); // expected-warning{{Argument to string length function is the a… in strlen_fn()
109 …return strlen((char*)&&label); // expected-warning{{Argument to string length function is the addr… in strlen_nonloc()
119 size_t a = strlen(z.a); in strlen_subregion()
121 size_t b = strlen(z.a); in strlen_subregion()
127 size_t c = strlen(z.a); in strlen_subregion()
134 size_t a = strlen(x); in strlen_argument()
135 size_t b = strlen(x); in strlen_argument()
141 size_t c = strlen(x); in strlen_argument()
148 size_t a = strlen(global_str); in strlen_global()
149 size_t b = strlen(global_str); in strlen_global()
153 clang_analyzer_eval(strlen(global_str) == 0); // expected-warning{{TRUE}} in strlen_global()
159 size_t c = strlen(global_str); in strlen_global()
165 size_t a = strlen(x); in strlen_indirect()
168 size_t b = strlen(x); in strlen_indirect()
175 size_t c = strlen(x); in strlen_indirect()
181 size_t a = strlen(x); in strlen_indirect2()
187 size_t c = strlen(x); in strlen_indirect2()
193 if (strlen(x) < 5) in strlen_liveness()
195 clang_analyzer_eval(strlen(x) < 5); // expected-warning{{FALSE}} in strlen_liveness()
200 return strlen(str); in strlenWrapper()
283 clang_analyzer_eval(strnlen(x, 10) == strlen(x)); // expected-warning{{UNKNOWN}} in strnlen_is_not_strlen()
347 clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{TRUE}} in strcpy_effects()
355 if (strlen(y) == 4) in strcpy_overflow()
362 if (strlen(y) == 3) in strcpy_no_overflow()
402 clang_analyzer_eval(stpcpy(x, y) == &x[strlen(y)]); // expected-warning{{TRUE}} in stpcpy_effect()
403 clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{TRUE}} in stpcpy_effect()
410 if (strlen(y) == 4) in stpcpy_overflow()
417 if (strlen(y) == 3) in stpcpy_no_overflow()
454 size_t orig_len = strlen(x); in strcat_effects()
457 if (strlen(y) != 4) in strcat_effects()
461 clang_analyzer_eval((int)strlen(x) == (orig_len + strlen(y))); // expected-warning{{TRUE}} in strcat_effects()
467 if (strlen(y) == 4) in strcat_overflow_0()
473 if (strlen(y) == 3) in strcat_overflow_1()
479 if (strlen(y) == 2) in strcat_overflow_2()
486 if (strlen(y) == 2) in strcat_no_overflow()
492 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strcat_symbolic_dst_length()
498 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strcat_symbolic_dst_length_taint()
504 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strcat_unknown_src_length()
512 if (strlen(dst) != (((size_t)0) - 2)) in strcat_too_big()
514 if (strlen(src) != 2) in strcat_too_big()
555 clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{UNKNOWN}} in strncpy_effects()
571 if (strlen(y) == 4) in strncpy_overflow()
581 if (strlen(y) == 3) in strncpy_no_overflow()
594 if (strlen(y) == 3) in strncpy_no_overflow2()
602 if (strlen(y) == 4) in strncpy_truncate()
608 if (strlen(y) == 3) in strncpy_no_truncate()
618 clang_analyzer_eval(strlen(x) > 4); // expected-warning{{UNKNOWN}} in strncpy_exactly_matching_buffer()
665 size_t orig_len = strlen(x); in strncat_effects()
668 if (strlen(y) != 4) in strncat_effects()
671 clang_analyzer_eval(strncat(x, y, strlen(y)) == x); // expected-warning{{TRUE}} in strncat_effects()
672 clang_analyzer_eval(strlen(x) == (orig_len + strlen(y))); // expected-warning{{TRUE}} in strncat_effects()
678 if (strlen(y) == 4) in strncat_overflow_0()
679 strncat(x, y, strlen(y)); in strncat_overflow_0()
685 if (strlen(y) == 3) in strncat_overflow_1()
686 strncat(x, y, strlen(y)); in strncat_overflow_1()
692 if (strlen(y) == 2) in strncat_overflow_2()
693 strncat(x, y, strlen(y)); in strncat_overflow_2()
699 if (strlen(y) == 4) in strncat_overflow_3()
707 if (strlen(y) == 2) in strncat_no_overflow_1()
708 strncat(x, y, strlen(y)); // no-warning in strncat_no_overflow_1()
713 if (strlen(y) == 4) in strncat_no_overflow_2()
719 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strncat_symbolic_dst_length()
726 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strncat_symbolic_src_length()
736 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strncat_unknown_src_length()
752 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strncat_symbolic_limit()
753 clang_analyzer_eval(strlen(dst) == 4); // expected-warning{{UNKNOWN}} in strncat_symbolic_limit()
761 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strncat_unknown_limit()
762 clang_analyzer_eval(strlen(dst) == 4); // expected-warning{{UNKNOWN}} in strncat_unknown_limit()
767 if (strlen(dst) != (((size_t)0) - 2)) in strncat_too_big()
769 if (strlen(src) != 2) in strncat_too_big()
1292 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}} in memset1_char_array_null()
1294 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{TRUE}} in memset1_char_array_null()
1299 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}} in memset2_char_array_null()
1300 memset(str, '\0', strlen(str) + 1); in memset2_char_array_null()
1301 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{TRUE}} in memset2_char_array_null()
1317 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{TRUE}} in memset4_char_malloc_null()
1332 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}} in memset6_char_array_nonnull()
1335 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{UNKNOWN}} in memset6_char_array_nonnull()
1341 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}} in memset8_char_array_nonnull()
1344 clang_analyzer_eval(strlen(str) >= 10); // expected-warning{{TRUE}} in memset8_char_array_nonnull()
1345 clang_analyzer_eval(strlen(str) < 10); // expected-warning{{FALSE}} in memset8_char_array_nonnull()
1404 clang_analyzer_eval(strlen((char *)array) == 0); // expected-warning{{TRUE}} in memset14_region_cast()
1405 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{TRUE}} in memset14_region_cast()
1414 clang_analyzer_eval(strlen((char *)array) == 0); // expected-warning{{TRUE}} in memset15_region_cast()
1415 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{TRUE}} in memset15_region_cast()
1468 clang_analyzer_eval(strlen(array) == 0); // expected-warning{{TRUE}} in memset25_symbol()
1477 clang_analyzer_eval(strlen(array) == 0); // expected-warning{{TRUE}} in memset26_upper_UCHAR_MAX()
1489 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}} in bzero2_char_array_null()
1491 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{TRUE}} in bzero2_char_array_null()
1496 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}} in bzero3_char_ptr_null()
1498 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{FALSE}} in bzero3_char_ptr_null()
1512 clang_analyzer_eval(strlen(passwd) == 0); // expected-warning{{TRUE}} in explicit_bzero2_clear_mypassword()
1543 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{UNKNOWN}} in strcat_symbolic_src_length()
1550 if (strlen(y) >= 4) in strncpy_exactly_matching_buffer2()
1557 clang_analyzer_eval(strlen(x) <= 3); // expected-warning{{UNKNOWN}} in strncpy_exactly_matching_buffer2()
1562 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}} in memset7_char_array_nonnull()
1566 clang_analyzer_eval(strlen(str) >= 5); // expected-warning{{TRUE}} in memset7_char_array_nonnull()
1575 clang_analyzer_eval(strlen((char *)array) >= 10 * sizeof(int)); // expected-warning{{TRUE}} in memset16_region_cast()
1576 clang_analyzer_eval(strlen(str) >= 10 * sizeof(int)); // expected-warning{{TRUE}} in memset16_region_cast()
1586 clang_analyzer_eval(strlen((char *)array) >= 12 * sizeof(int)); // expected-warning{{TRUE}} in memset17_region_cast()
1587 clang_analyzer_eval(strlen(str) >= 12 * sizeof(int)); // expected-warning{{TRUE}} in memset17_region_cast()
1593 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{UNKNOWN}} in memset18_memset_multiple_times()
1596 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{UNKNOWN}} in memset18_memset_multiple_times()
1600 clang_analyzer_eval(strlen(str) >= 10); // expected-warning{{TRUE}} in memset18_memset_multiple_times()
1609 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{UNKNOWN}} in memset19_memset_multiple_times()
1612 clang_analyzer_eval(strlen(str) >= 10); // expected-warning{{TRUE}} in memset19_memset_multiple_times()
1617 clang_analyzer_eval(strlen(str) >= 10); // expected-warning{{UNKNOWN}} in memset19_memset_multiple_times()
1632 clang_analyzer_eval(strlen(array) >= 10); // expected-warning{{TRUE}} in memset27_symbol()