apache/CVE-2004-0940/get_tag/iter1_prefixLong_arr_bad.c:12: Warning: entering loop for the first time
No code for function nondet_char, default assigns generated
apache/CVE-2004-0940/get_tag/iter1_prefixLong_arr_bad.c:30: Warning: entering loop for the first time
apache/CVE-2004-0940/get_tag/iter1_prefixLong_arr_bad.c:19: Warning: entering loop for the first time
apache/CVE-2004-0940/apache.c:19: Warning: assigning non deterministic value for the first time
apache/CVE-2004-0940/apache.c:30: Warning: entering loop for the first time
apache/CVE-2004-0940/get_tag/iter1_prefixLong_arr_bad.c:47: Warning: entering loop for the first time
apache/CVE-2004-0940/get_tag/iter1_prefixLong_arr_bad.c:54: Warning: entering loop for the first time
apache/CVE-2004-0940/get_tag/iter1_prefixLong_arr_bad.c:62: Warning: entering loop for the first time
apache/CVE-2004-0940/get_tag/iter1_prefixLong_arr_bad.c:71: Warning: out of bounds write. assert \valid(tag + t);
                     
apache/CVE-2004-0940/get_tag/iter1_prefixLong_arr_bad.c:80: Warning: out of bounds write. assert \valid(tag + t);
                     
apache/CVE-2004-0940/get_tag/iter1_prefixLong_arr_bad.c:85: Warning: out of bounds write. assert \valid(tag + t);
                     
[from] computing for function nondet_char
[from] done for function nondet_char
[from] computing for function ap_isspace
[postdominators] computing for function ap_isspace
[postdominators] done for function ap_isspace
[from] done for function ap_isspace
[from] computing for function ap_cpystrn
[postdominators] computing for function ap_cpystrn
[postdominators] done for function ap_cpystrn
[from] done for function ap_cpystrn
[from] computing for function ap_tolower
[from] done for function ap_tolower
[dominators] computing for function get_tag
[dominators] done for function get_tag
[dominators] computing for function r_memcpy
[dominators] done for function r_memcpy
