./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i


--------------------------------------------------------------------------------


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2670-746:3297 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3360-746:3574 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3631-746:3712 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:4976-746:5072 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2691-747:3346 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3419-747:3659 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3721-747:3807 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5106-747:5204 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:749:5-751:5 with factor 6
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] Setting "ana.int.interval" to true
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5111-747:5191)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5111-747:5191)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5252-747:5318)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5324-747:5362)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5368-747:5456)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5460-747:5485)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5605-747:5643)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5647-747:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5647-747:5676)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5647-747:5676)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5647-747:5676)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5647-747:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5647-747:5676)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5647-747:5676)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5647-747:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5647-747:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5647-747:5676)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:4981-746:5059)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:4981-746:5059)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5120-746:5184)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5190-746:5226)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5232-746:5318)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5322-746:5347)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5467-746:5505)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5509-746:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5509-746:5538)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5509-746:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5509-746:5538)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5509-746:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5509-746:5538)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5509-746:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5509-746:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5509-746:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5509-746:5538)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,2147483647],not {} ([0,15]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1663-746:1702)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1663-746:1702)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,2147483647],not {} ([0,15]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1712-746:1751)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1712-746:1751)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,2147483647],not {} ([0,15]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1761-746:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1761-746:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1809-746:1828)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1837-746:1851)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1853-746:1871)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1903-746:1921)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1923-746:1937)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1939-746:1962)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1964-746:1982)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1984-746:2002)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2004-746:2032)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2034-746:2048)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2050-746:2068)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2070-746:2098)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2100-746:2118)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2120-746:2134)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2136-746:2160)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2162-746:2180)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2182-746:2200)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2202-746:2229)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2231-746:2245)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2247-746:2265)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2267-746:2294)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2296-746:2314)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2316-746:2330)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2332-746:2356)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2358-746:2376)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2378-746:2396)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2398-746:2426)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3327-746:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3327-746:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3327-746:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3327-746:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3327-746:3358)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3327-746:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3327-746:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3327-746:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3327-746:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3327-746:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3397-746:3484)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3397-746:3484)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3487-746:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3487-746:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3487-746:3522)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3487-746:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3487-746:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3487-746:3522)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3487-746:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3487-746:3522)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3487-746:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3487-746:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3487-746:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3525-746:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3525-746:3561)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3525-746:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3525-746:3561)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3525-746:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3525-746:3561)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3525-746:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3525-746:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3525-746:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3525-746:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2676-746:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2676-746:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2676-746:2737)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2676-746:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2676-746:2737)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2676-746:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2676-746:2737)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2676-746:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2676-746:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2676-746:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2833-746:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2833-746:2868)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2833-746:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2833-746:2868)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2833-746:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2833-746:2868)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2833-746:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2833-746:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2833-746:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2833-746:2868)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2945-746:3002)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3005-746:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3005-746:3090)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3005-746:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3005-746:3090)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3005-746:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3005-746:3090)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3005-746:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3005-746:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3005-746:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3005-746:3090)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3206-746:3278)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3602-746:3629)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3636-746:3699)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3784-746:3801)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3804-746:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3804-746:3845)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3804-746:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3804-746:3845)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3804-746:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3804-746:3845)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3804-746:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3804-746:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3804-746:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3804-746:3845)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3925-746:3967)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:4011-746:4100)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:4011-746:4100)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:4238-746:4352)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:4501-746:4724)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:4501-746:4724)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:4501-746:4724)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:4501-746:4724)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5605-746:5642)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5646-746:5684)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5688-746:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5688-746:5733)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5688-746:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5688-746:5733)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5688-746:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5688-746:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5688-746:5733)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5688-746:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5688-746:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5688-746:5733)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5737-746:5900)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5737-746:5900)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1667-747:1706)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1667-747:1706)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1716-747:1755)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1716-747:1755)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1765-747:1803)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1765-747:1803)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1813-747:1832)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1841-747:1855)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1857-747:1875)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1907-747:1925)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1927-747:1941)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1943-747:1966)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1968-747:1986)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1988-747:2006)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2008-747:2036)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2038-747:2052)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2054-747:2072)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2074-747:2102)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2104-747:2122)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2124-747:2138)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2140-747:2164)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2166-747:2184)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2186-747:2204)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2206-747:2233)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2235-747:2249)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2251-747:2269)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2271-747:2298)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2300-747:2318)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2320-747:2334)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2336-747:2360)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2362-747:2380)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2382-747:2400)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2402-747:2430)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3379-747:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3379-747:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3379-747:3417)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3379-747:3417)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3379-747:3417)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3379-747:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3379-747:3417)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3379-747:3417)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3379-747:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3379-747:3417)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3458-747:3557)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3458-747:3557)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3560-747:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3560-747:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3560-747:3600)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3560-747:3600)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3560-747:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3560-747:3600)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3560-747:3600)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3560-747:3600)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3560-747:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3560-747:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3560-747:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3603-747:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3603-747:3646)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3603-747:3646)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3603-747:3646)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3603-747:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3603-747:3646)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3603-747:3646)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3603-747:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3603-747:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3603-747:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2697-747:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2697-747:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2697-747:2760)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2697-747:2760)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2697-747:2760)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2697-747:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2697-747:2760)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2697-747:2760)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2697-747:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2697-747:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2860-747:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2860-747:2899)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2860-747:2899)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2860-747:2899)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2860-747:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2860-747:2899)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2860-747:2899)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2860-747:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2860-747:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2860-747:2899)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2980-747:3041)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3044-747:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3044-747:3131)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3044-747:3131)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3044-747:3131)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3044-747:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3044-747:3131)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3044-747:3131)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3044-747:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3044-747:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3044-747:3131)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3253-747:3327)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3687-747:3719)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3726-747:3794)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3884-747:3901)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3904-747:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3904-747:3947)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3904-747:3947)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3904-747:3947)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3904-747:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3904-747:3947)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3904-747:3947)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3904-747:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3904-747:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3904-747:3947)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:4029-747:4073)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:4119-747:4210)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:4119-747:4210)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:4348-747:4464)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:4615-747:4848)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:4615-747:4848)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:4615-747:4848)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:4615-747:4848)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5745-747:5784)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5788-747:5828)
[Info][Unsound] Unknown address in {&(alloc@sid:1234)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5832-747:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:35).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5832-747:5879)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5832-747:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:35)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5832-747:5879)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).alth}
                                                       key -> {&(alloc@sid:35).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:911)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5832-747:5879)
[Info][Unsound] Unknown value in {&(alloc@sid:35).alth[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5832-747:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:35).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5832-747:5879)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:35).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:35).hh}
                                                       key -> {&(alloc@sid:35).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:35)}
                                                       prev -> {?, NULL, &(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:207)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5832-747:5879)
[Info][Unsound] Unknown value in {&(alloc@sid:35).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5832-747:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:530)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5832-747:5879)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5883-747:6054)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5883-747:6054)
[Warning][Deadcode] Function '__bswap_16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:291:1-295:1)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:296:1-300:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:301:15-305:1)
[Warning][Deadcode] Function '__uint16_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:306:1-310:1)
[Warning][Deadcode] Function '__uint32_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:311:1-315:1)
[Warning][Deadcode] Function '__uint64_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:316:1-320:1)
[Warning][Deadcode] Function 'main' has dead code:
  on line 742 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:742-742)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 721 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:721-721)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 21
  dead: 8 (6 in uncalled functions)
  total lines: 29
[Warning][Deadcode][CWE-571] condition 'user->id >= 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:750:9-750:62)
[Warning][Deadcode][CWE-570] condition '! user->hh.tbl' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2743-746:2758)
[Warning][Deadcode][CWE-570] condition '! _he_new_buckets___0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:4470-747:4486)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:6003-746:6005)
[Warning][Deadcode][CWE-571] condition 'user->id >= 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:750:9-750:62)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:6018-746:6020)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:6035-746:6037)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3295-746:3297)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:6050-746:6052)
[Warning][Deadcode][CWE-571] condition 'user->id >= 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:750:9-750:62)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:6063-746:6065)
[Warning][Deadcode][CWE-570] condition '_hj_k == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1319-746:1326)
[Warning][Deadcode][CWE-570] condition '_hj_k == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1374-746:1381)
[Warning][Deadcode][CWE-570] condition '_hj_k == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1428-746:1434)
[Warning][Deadcode][CWE-570] condition '_hj_k == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1480-746:1486)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:5202-747:5204)
[Warning][Deadcode][CWE-570] condition '_hj_k == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1529-746:1535)
[Warning][Deadcode][CWE-571] condition 'user->id >= 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:750:9-750:62)
[Warning][Deadcode][CWE-570] condition '_hj_k == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1578-746:1584)
[Warning][Deadcode][CWE-570] condition '_hj_k == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1626-746:1632)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2441-747:2443)
[Warning][Deadcode][CWE-571] condition '_hj_k == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:1655-746:1661)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3710-746:3712)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3657-747:3659)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2454-747:2456)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:238-747:250)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2467-747:2469)
[Warning][Deadcode][CWE-571] condition 'user->id >= 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:750:9-750:62)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:720:54-720:55)
[Warning][Deadcode][CWE-570] condition '! user->alth.tbl' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:2766-747:2783)
[Warning][Deadcode][CWE-570] condition '! _he_new_buckets' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:4358-746:4374)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:6161-747:6163)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:6176-747:6178)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:6193-747:6195)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3344-747:3346)
[Warning][Deadcode][CWE-570] condition '(unsigned long )user == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:741:13-741:32)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:6208-747:6210)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:6221-747:6223)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1323-747:1330)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1378-747:1385)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1432-747:1438)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1484-747:1490)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:5070-746:5072)
[Warning][Deadcode][CWE-571] condition 'user->id >= 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:750:9-750:62)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1533-747:1539)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1582-747:1588)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1630-747:1636)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2437-746:2439)
[Warning][Deadcode][CWE-571] condition '_hj_k___0 == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:1659-747:1665)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:747:3805-747:3807)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:3572-746:3574)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2450-746:2452)
[Warning][Deadcode][CWE-570] condition '_hj_k >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:234-746:246)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:746:2463-746:2465)
[Warning][Deadcode][CWE-571] condition 'user->id >= 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test4-1.i:750:9-750:62)
SV-COMP result: true
[Info][Witness] witness generation summary:
  total generation entries: 1
