./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-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/busybox-1.22.0/du-1.i:2740:3-2741:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2832:5-2848:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2899:3-2908:43 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2937:3-2948:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2970:3-2971:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2997:7-3003:22 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2987:3-3006:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3015:5-3021:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3028:5-3045:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3052:9-3055:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3047:5-3065:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3137:13-3140:13 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3225:25-3231:23 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3204:19-3233:19 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3073:3-3247:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3253:5-3272:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3282:5-3285:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3275:3-3309:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3311:3-3320:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3358:3-3364:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3385:3-3386:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3412:5-3417:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3453:5-3457:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3452:3-3457:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3465:3-3473:35 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3561:11-3575:11 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3641:5-3642:49 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3690:3-3691:53 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3692:3-3693:53 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3744:3-3745:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3751:3-3757:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3771:3-3772:34 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:5-3787:42 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3781:3-3788:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3790:3-3791:23 with factor 2
[Info] longjmp -> enabling longjmp analyses "activeLongjmp, activeSetjmp, taintPartialContexts, modifiedSinceSetjmp, poisonVariables, expsplit, vla"
[Info] Setting "ana.int.interval" to true
[Info] function du is recursive, disable interval and interval_set contexts
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region, pthreadMutexType"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3778:8-3778:45)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3778:8-3778:45)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3778:8-3778:45)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3779:8-3779:50)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3779:8-3779:50)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3779:8-3779:50)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3787:7-3787:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3787:7-3787:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3787:7-3787:42)
[Warning][Imprecise] Trying to update a field, but was not given a struct (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2869:4-2869:76)
[Info][Imprecise] Invalidating expressions: & return_value_getenv$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2871:3-2871:50)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2873:6-2873:77)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2874:4-2874:71)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2876:3-2876:95)
[Info][Unsound] Unknown value in {&bb_common_bufsiz1.max_print_depth} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2876:3-2876:95)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2970:6-2970:82)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2996:7-2996:68)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2996:7-2996:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2992:5-2992:47)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2996:7-2996:68)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2600:3-2600:49)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2668:3-2668:29)
[Info][Unsound] Unknown address in {&msg} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2668:3-2668:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2668:3-2668:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2673:3-2673:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2673:3-2673:74)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)msg in function realloc is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2688:3-2688:116)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2688:3-2688:116)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2688:3-2688:116)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2688:3-2688:116)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2704:5-2704:29)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2706:5-2706:54)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2707:5-2707:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2723:5-2723:29)
[Info][Imprecise] Invalidating expressions: (struct _IO_FILE *)((void *)0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2917:3-2917:63)
[Info][Imprecise] Invalidating expressions: & return_value_fflush$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2917:3-2917:63)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2728:5-2728:62)
[Info][Unsound] Unknown value in {&(alloc@sid:96)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2728:5-2728:62)
[Info][Unsound] Unknown value in {&(alloc@sid:96)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2939:5-2939:32)
[Info][Unsound] Unknown value in {&(alloc@sid:96)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3467:5-3467:28)
[Info][Unsound] Unknown value in {&(alloc@sid:96)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3467:5-3467:28)
[Info][Unsound] Unknown value in {&(alloc@sid:96)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3467:5-3467:28)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2937:6-2937:58)
[Info][Unsound] Unknown value in {&(alloc@sid:96)[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2939:5-2939:32)
[Info][Unsound] Unknown value in {&(alloc@sid:96)[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3467:5-3467:28)
[Info][Unsound] Unknown value in {&(alloc@sid:96)[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3467:5-3467:28)
[Info][Unsound] Unknown value in {&(alloc@sid:96)[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3467:5-3467:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2946:5-2946:23)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2937:6-2937:58)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2946:5-2946:23)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2937:6-2937:58)
[Info][Unsound] Unknown value in {&(alloc@sid:96)[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2939:5-2939:32)
[Info][Unsound] Unknown value in {&(alloc@sid:96)[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3467:5-3467:28)
[Info][Unsound] Unknown value in {&(alloc@sid:96)[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3467:5-3467:28)
[Info][Unsound] Unknown value in {&(alloc@sid:96)[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3467:5-3467:28)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___5) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3198:21-3198:84)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___5) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3198:21-3198:84)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___5) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3198:21-3198:84)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3255:10-3255:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3257:12-3257:41)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3263:11-3263:89)
[Info][Unsound] Unknown value in {&(alloc@sid:2465)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3267:11-3267:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3255:10-3255:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3257:12-3257:41)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3263:11-3263:89)
[Info][Unsound] Unknown value in {&(alloc@sid:2465)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3267:11-3267:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3255:10-3255:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3257:12-3257:41)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3263:11-3263:89)
[Info][Unsound] Unknown value in {&(alloc@sid:2465)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3267:11-3267:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3277:5-3277:84)
[Info][Unsound] Unknown value in {&(alloc@sid:2465)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3277:5-3277:84)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3728:10-3728:39)
[Info][Unsound] Unknown value in {&(alloc@sid:2465)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3728:10-3728:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3701:6-3701:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3709:7-3709:15)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3711:6-3711:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3716:7-3716:15)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3292:7-3292:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3292:7-3292:46)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3296:9-3296:76)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3385:6-3385:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3385:6-3385:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3385:6-3385:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3385:6-3385:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3385:6-3385:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3385:6-3385:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3389:3-3389:56)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3390:4-3390:36)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3301:11-3301:64)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3499:3-3499:92)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3505:3-3505:114)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3535:6-3535:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3538:5-3538:99)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3545:19-3545:73)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3545:19-3545:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3554:5-3554:35)
[Info][Unsound] Unknown address in {&e} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3554:5-3554:35)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3554:5-3554:35)
[Info][Imprecise] Invalidating expressions: (char ** __restrict  )end (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2648:3-2648:25)
[Info][Imprecise] Invalidating expressions: & v (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2648:3-2648:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3576:12-3576:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3587:11-3587:141)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3594:3-3594:54)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3302:11-3302:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3306:13-3306:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3277:5-3277:84)
[Info][Unsound] Unknown value in {&(alloc@sid:2465)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3277:5-3277:84)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3292:7-3292:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3292:7-3292:46)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3296:9-3296:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3301:11-3301:64)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3302:11-3302:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3306:13-3306:48)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3292:7-3292:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3292:7-3292:46)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3306:13-3306:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3301:11-3301:64)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3302:11-3302:91)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3296:9-3296:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3277:5-3277:84)
[Info][Unsound] Unknown value in {&(alloc@sid:2465)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3277:5-3277:84)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3329:5-3329:25)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2879:6-2879:75)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2881:6-2881:87)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2883:6-2883:78)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2885:6-2885:60)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2887:6-2887:69)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2889:6-2889:64)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2894:9-2894:64)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2895:8-2895:62)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2902:5-2902:32)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2777:3-2777:49)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3682:10-3682:25)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3661:3-3661:51)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3663:3-3663:49)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3664:3-3664:49)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3666:3-3666:50)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3667:3-3667:57)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3668:3-3668:55)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3669:3-3669:58)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3670:3-3670:58)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3671:3-3671:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2780:5-2780:35)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2643:3-2643:25)
[Info][Imprecise] Invalidating expressions: & return_value_strerror$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2612:5-2612:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2617:3-2617:37)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2617:3-2617:37)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2683:3-2683:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2683:3-2683:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2713:9-2713:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2716:9-2716:24)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2720:7-2720:31)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2720:7-2720:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2720:7-2720:31)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2781:6-2781:60)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2786:9-2786:61)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2789:10-2789:78)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2787:8-2787:71)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2792:3-2792:50)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2795:8-2795:114)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2798:7-2798:51)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2801:9-2801:39)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2802:10-2802:64)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2805:7-2805:54)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2806:11-2806:66)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2807:10-2807:73)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2584:3-2584:32)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2585:3-2585:32)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2586:3-2586:29)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2586:3-2586:29)
[Info][Unsound] Unknown value in {&(alloc@sid:2465)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2591:5-2591:85)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2593:3-2593:55)
[Info][Unsound] Unknown value in {&(alloc@sid:2465)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2594:3-2594:49)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2818:7-2818:68)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2818:7-2818:68)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2826:5-2826:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3479:3-3479:19)
[Warning][Unknown] size of error: abstract type (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3623:10-3623:19)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3481:5-3481:43)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2829:8-2829:62)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2854:10-2854:66)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3637:5-3637:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3639:5-3639:45)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2837:7-2837:59)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2755:9-2755:31)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2759:11-2759:121)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2759:11-2759:121)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2759:11-2759:121)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2761:11-2761:33)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2762:9-2762:103)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2762:9-2762:103)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2762:9-2762:103)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2765:16-2765:35)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2769:3-2769:60)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2769:3-2769:60)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2738:5-2738:14)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2739:3-2739:28)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2739:3-2739:28)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3374:7-3374:38)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3375:7-3375:56)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3375:7-3375:56)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3376:7-3376:34)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3376:7-3376:34)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3378:16-3378:25)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3381:10-3381:29)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2740:6-2740:63)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2740:6-2740:63)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2740:6-2740:63)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2743:3-2743:101)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2743:3-2743:101)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2743:3-2743:101)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2743:3-2743:101)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3490:3-3490:38)
[Info][Unsound] Unknown address in {&string_ptr} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3490:3-3490:38)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3490:3-3490:38)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3490:3-3490:38)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3743:7-3743:20)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3744:14-3744:19)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3744:6-3744:41)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3744:63-3744:76)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3744:14-3744:19)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3744:6-3744:41)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3744:63-3744:76)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3744:14-3744:19)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3744:14-3744:19)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3744:6-3744:41)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3744:63-3744:76)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3745:19-3745:45)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3745:19-3745:45)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3745:19-3745:45)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3745:73-3745:84)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3745:73-3745:84)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (lib/sv-comp/stub/src/sv-comp.c:22:136-22:139)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3746:7-3746:51)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3746:7-3746:51)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3748:12-3748:14)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3749:3-3749:36)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3749:3-3749:36)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3750:7-3750:12)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (lib/sv-comp/stub/src/sv-comp.c:20:141-20:144)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3753:6-3753:41)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3756:5-3756:8)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3753:6-3753:41)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3756:5-3756:8)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3753:6-3753:41)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3756:5-3756:8)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3758:3-3758:44)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:10:1-10:1)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3759:10-3759:11)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3493:5-3493:50)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2600:3-2600:49)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2668:3-2668:29)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3745:73-3745:84)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2670:5-2670:11)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2672:3-2672:44)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2673:3-2673:74)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2682:5-2682:41)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2683:3-2683:41)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2685:3-2685:40)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2686:3-2686:49)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2688:3-2688:116)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2689:3-2689:40)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2702:5-2702:15)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2704:5-2704:29)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2706:5-2706:54)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2707:5-2707:54)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2723:5-2723:29)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2917:3-2917:63)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2918:10-2918:31)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2728:5-2728:62)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2936:19-2936:45)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2939:5-2939:32)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3467:5-3467:28)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (lib/sv-comp/stub/src/sv-comp.c:26:141-26:144)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3763:8-3763:36)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3763:8-3763:36)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3764:3-3764:59)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3764:3-3764:59)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3764:3-3764:59)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3765:10-3765:13)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3469:7-3469:90)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3469:7-3469:90)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3469:7-3469:90)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3471:7-3471:29)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3467:5-3467:28)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3469:7-3469:90)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3469:7-3469:90)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3469:7-3469:90)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3471:7-3471:29)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3467:5-3467:28)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3471:7-3471:29)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3469:7-3469:90)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3469:7-3469:90)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3469:7-3469:90)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3474:10-3474:11)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2944:14-2944:16)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2946:5-2946:23)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2947:5-2947:49)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2937:6-2937:58)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2939:5-2939:32)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2943:16-2943:21)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2944:14-2944:16)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2946:5-2946:23)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2947:5-2947:49)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2937:6-2937:58)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2946:5-2946:23)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2947:5-2947:49)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2937:6-2937:58)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2939:5-2939:32)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2943:16-2943:21)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2944:14-2944:16)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2949:10-2949:15)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2733:1-2733:1)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3494:10-3494:20)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2744:10-2744:34)
[Warning][Unknown] lval (& entry)->d_name points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2770:10-2770:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2840:10-2840:112)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2840:10-2840:112)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2842:9-2842:38)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2842:9-2842:38)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2842:9-2842:38)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2843:9-2843:38)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2844:10-2844:112)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2844:10-2844:112)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)newfile in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2845:9-2845:30)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2837:7-2837:59)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2840:10-2840:112)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2840:10-2840:112)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2842:9-2842:38)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2842:9-2842:38)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2842:9-2842:38)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2843:9-2843:38)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2844:10-2844:112)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2844:10-2844:112)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)newfile in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2845:9-2845:30)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2837:7-2837:59)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2840:10-2840:112)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2840:10-2840:112)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2842:9-2842:38)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2842:9-2842:38)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2842:9-2842:38)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2843:9-2843:38)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2844:10-2844:112)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2844:10-2844:112)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)newfile in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2845:9-2845:30)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2857:7-2857:113)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2858:5-2858:25)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3401:5-3401:27)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3407:5-3407:52)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3416:7-3416:123)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3416:7-3416:123)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3416:7-3416:123)
[Info][Unsound] Unknown value in {&(alloc@sid:2465)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3436:5-3436:41)
[Info][Imprecise] Invalidating expressions: (char * __restrict  )str (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3438:3-3438:35)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2902:5-2902:32)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2902:5-2902:32)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3455:7-3455:59)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(ino_dev_hashtable + (long )i) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3456:7-3456:58)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3455:7-3455:59)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(ino_dev_hashtable + (long )i) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3456:7-3456:58)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3455:7-3455:59)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(ino_dev_hashtable + (long )i) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3456:7-3456:58)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3455:7-3455:59)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(ino_dev_hashtable + (long )i) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3456:7-3456:58)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3455:7-3455:59)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(ino_dev_hashtable + (long )i) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3456:7-3456:58)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3455:7-3455:59)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(ino_dev_hashtable + (long )i) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3456:7-3456:58)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3455:7-3455:59)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(ino_dev_hashtable + (long )i) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3456:7-3456:58)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3455:7-3455:59)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(ino_dev_hashtable + (long )i) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3456:7-3456:58)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3455:7-3455:59)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(ino_dev_hashtable + (long )i) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3456:7-3456:58)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2905:6-2905:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2902:5-2902:32)

[Info] runtime: 00:00:10.302
[Info] vars: 15130, evals: 28920

[Info] |called|=0

Memory statistics: total=22213.08MB, max=176.85MB, minor=22206.89MB, major=282.41MB, promoted=276.22MB
    minor collections=10597  major collections=17 compactions=0

[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2902:5-2902:32)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2902:5-2902:32)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2903:5-2903:38)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2905:6-2905:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2902:5-2902:32)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2902:5-2902:32)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2902:5-2902:32)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2903:5-2903:38)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2905:6-2905:75)
[Info][Imprecise] Invalidating expressions: stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2911:3-2911:17)
[Info][Unsound] Unknown address in stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2911:3-2911:17)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2911:3-2911:17)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(mem_track + i___1) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3791:5-3791:23)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(mem_track + i___1) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3791:5-3791:23)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(mem_track + i___1) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3791:5-3791:23)
[Warning][Deadcode] Function 'reach_error' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:22:1-22:169)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:1080:1-1084:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:1085:1-1089:1)
[Warning][Deadcode] Function 'bb_perror_msg_and_die' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2620:1-2636:1)
[Warning][Deadcode] Function 'syslog' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2861:1-2863:1)
[Warning][Deadcode] Function 'fflush_stdout_and_exit' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2920:1-2932:1)
[Warning][Deadcode] Function 'xfunc_die' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3508:1-3517:1)
[Warning][Deadcode] Function 'sleep' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3646:1-3650:1)
[Warning][Deadcode] Function 'getutent' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3685:1-3695:1)
[Warning][Deadcode] Function 'read' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3730:1-3738:1)
[Warning][Deadcode] Function 'bb_verror_msg' has dead code:
  on line 2665 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2665-2665)
  on line 2667 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2667-2667)
  on lines 2695..2698 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2695-2698)
  on line 2731 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2731-2731)
[Warning][Deadcode] Function 'getopt32' has dead code:
  on lines 3013..3015 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3013-3015)
  on lines 3018..3020 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3018-3020)
  on lines 3023..3027 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3023-3027)
  on lines 3030..3031 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3030-3031)
  on line 3033 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3033-3033)
  on lines 3035..3043 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3035-3043)
  on lines 3045..3047 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3045-3047)
  on line 3049 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3049-3049)
  on lines 3051..3053 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3051-3053)
  on line 3055 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3055-3055)
  on lines 3057..3061 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3057-3061)
  on line 3066 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3066-3066)
  on line 3078 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3078-3078)
[Warning][Deadcode] Function 'make_human_readable_str' has dead code:
  on lines 3425..3428 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3425-3428)
[Warning][Deadcode] Function 'xmalloc' has dead code:
  on lines 3524..3525 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3524-3525)
[Warning][Deadcode] Function 'xstrtou_range_sfx' has dead code:
  on line 3561 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3561-3561)
  on lines 3566..3568 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3566-3568)
  on line 3570 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3570-3570)
  on line 3572 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3572-3572)
  on line 3595 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3595-3595)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 608
  dead: 100 (42 in uncalled functions)
  total lines: 708
[Warning][Deadcode][CWE-570] condition 'block_size == 0ul' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3423:8-3423:25)
[Warning][Deadcode][CWE-571] condition 'i < 311' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3452:6-3452:107)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3204:25-3204:33)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2848:11-2848:20)
[Warning][Deadcode][CWE-571] condition 'i < 311' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3452:6-3452:107)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )ino_dev_hashtable == (unsigned long )((struct ino_dev_hash_bucket_struct **)((void *)0)))' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3452:6-3452:107)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2848:11-2848:20)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2848:11-2848:20)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )ino_dev_hashtable == (unsigned long )((struct ino_dev_hash_bucket_struct **)((void *)0)))' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3452:6-3452:107)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3204:25-3204:33)
[Warning][Deadcode][CWE-571] condition 'i < result_buffer_size' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3751:9-3751:29)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3073:9-3073:17)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )s == (unsigned long )((unsigned char const   *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3075:8-3075:52)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3771:6-3771:25)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3204:25-3204:33)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3771:6-3771:25)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3771:6-3771:25)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3771:6-3771:25)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3771:6-3771:25)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3771:6-3771:25)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3771:6-3771:25)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3771:6-3771:25)
[Warning][Deadcode][CWE-570] condition '! (total == 0l)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2942:10-2942:24)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3771:6-3771:25)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3771:6-3771:25)
[Warning][Deadcode][CWE-570] condition '(unsigned long )ptr == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3522:6-3522:24)
[Warning][Deadcode][CWE-570] condition 'i < 10' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3771:6-3771:25)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3204:25-3204:33)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3309:9-3309:18)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )suffixes == (unsigned long )((struct suffix_mult *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3560:12-3560:62)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3309:9-3309:18)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3204:25-3204:33)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-570] condition 'c >= 32' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2989:8-2989:15)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3073:9-3073:17)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )s == (unsigned long )((unsigned char const   *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3075:8-3075:52)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3003:13-3003:22)
[Warning][Deadcode][CWE-571] condition 'r >= lower' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3580:14-3580:24)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3003:13-3003:22)
[Warning][Deadcode][CWE-570] condition 'j < 10' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3003:13-3003:22)
[Warning][Deadcode][CWE-571] condition '(unsigned long )name == (unsigned long )((char const   *)((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2577:6-2577:41)
[Warning][Deadcode][CWE-570] condition 'c >= 32' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2989:8-2989:15)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3309:9-3309:18)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3204:25-3204:33)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3003:13-3003:22)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3003:13-3003:22)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3003:13-3003:22)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-570] condition '(int )logmode == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2664:6-2664:30)
[Warning][Deadcode][CWE-570] condition '(unsigned long )s == (unsigned long )((char const   *)((void *)0))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2666:6-2666:38)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3003:13-3003:22)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3003:13-3003:22)
[Warning][Deadcode][CWE-570] condition 'j < 10' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-570] condition '(unsigned long )msg1 == (unsigned long )((char *)((void *)0))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2693:6-2693:35)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3204:25-3204:33)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3003:13-3003:22)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )applet_long_options == (unsigned long )((char const   *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3009:6-3009:59)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3204:25-3204:33)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )s == (unsigned long )((char const   *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3368:6-3368:41)
[Warning][Deadcode][CWE-571] condition '! ((1 & (int )logmode) == 0)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2725:6-2725:39)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-570] condition '! ((2 & (int )logmode) == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2730:6-2730:39)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition 'block_size > 1ul' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3400:6-3400:22)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3073:9-3073:17)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )f == (unsigned long )((char const   *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:2750:6-2750:41)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )s == (unsigned long )((unsigned char const   *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3075:8-3075:52)
[Warning][Deadcode][CWE-570] condition 'j < 10' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3786:8-3786:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/du-1.i:3204:25-3204:33)
SV-COMP result: unknown
[Info][Witness] witness generation summary:
  total generation entries: 1
