./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/ls-incomplete-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/ls-incomplete-1.i:2809:5-2821:17 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2805:3-2826:15 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2990:3-3003:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3010:5-3016:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3025:3-3026:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3043:3-3080:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3089:3-3098:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3116:5-3127:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3156:5-3175:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3153:3-3178:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3424:3-3435:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3441:3-3444:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3510:3-3511:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3537:7-3543:22 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3527:3-3546:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3555:5-3561:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3568:5-3585:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3592:9-3595:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3587:5-3605:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3677:13-3680:13 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3765:25-3771:23 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3744:19-3773:19 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3613:3-3787:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3793:5-3812:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3822:5-3825:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3815:3-3849:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3851:3-3860:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3928:5-3944:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3980:3-3981:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4004:3-4010:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4020:3-4040:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4177:3-4193:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4198:3-4205:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4244:5-4249:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4286:3-4291:39 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4298:3-4312:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4394:3-4411:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4419:3-4437:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4485:3-4493:35 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4501:3-4537:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4559:3-4604:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4611:3-4618:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4691:5-4700:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4721:3-4772:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4832:11-4839:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4824:7-4847:22 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4854:7-4869:7 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4883:3-4921:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4930:5-4939:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4967:5-4990:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5013:3-5018:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5020:3-5028:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5107:3-5122:36 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5167:3-5172:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5214:11-5228:11 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5341:3-5342:38 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5361:5-5362:49 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5422:3-5423:53 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5424:3-5425:53 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5476:3-5477:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5483:3-5489:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5503:3-5504:34 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5518:5-5519:42 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5513:3-5520:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5522:3-5523: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 scan_and_display_dirs_recur 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) )

[Info] runtime: 00:00:10.366
[Info] vars: 23029, evals: 36919

[Info] |called|=43

Memory statistics: total=20786.34MB, max=265.50MB, minor=20778.89MB, major=393.52MB, promoted=386.07MB
    minor collections=9916  major collections=18 compactions=0


[Info] runtime: 00:00:20.495
[Info] vars: 37235, evals: 66992

[Info] |called|=74

Memory statistics: total=40416.92MB, max=403.80MB, minor=40407.06MB, major=685.50MB, promoted=675.64MB
    minor collections=19278  major collections=21 compactions=0


[Info] runtime: 00:00:30.606
[Info] vars: 46741, evals: 88603

[Info] |called|=33

Memory statistics: total=58772.32MB, max=534.03MB, minor=58761.13MB, major=924.88MB, promoted=913.69MB
    minor collections=28030  major collections=22 compactions=0

[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5510:8-5510:45)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5510:8-5510:45)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5510:8-5510:45)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5511:8-5511:50)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5511:8-5511:50)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5511:8-5511:50)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5519:7-5519:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5519:7-5519:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5519:7-5519: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/ls-incomplete-1.i:4007:6-4007:78)
[Info][Imprecise] Invalidating expressions: & ((struct globals *)(& bb_common_bufsiz1))->current_time_t (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4008:5-4008:66)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4008:5-4008:66)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4008:5-4008:66)
[Info][Imprecise] Invalidating expressions: & s (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3953:5-3953:23)
[Info][Imprecise] Invalidating expressions: & s (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3955:7-3955:27)
[Info][Imprecise] Invalidating expressions: & s (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3957:7-3957:23)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3958:5-3958:22)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4012:4-4012:68)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4013:3-4013:117)
[Info][Unsound] Unknown value in {&bb_common_bufsiz1.terminal_width} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4013:3-4013:117)
[Info][Imprecise] Invalidating expressions: & s (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5037:5-5037:23)
[Info][Imprecise] Invalidating expressions: & value (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5040:7-5040:20)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3487:5-3487:52)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4013:3-4013:117)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4014:4-4014:119)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4014:4-4014:119)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4018:3-4018:115)
[Info][Unsound] Unknown value in {&bb_common_bufsiz1.terminal_width} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4018:3-4018:115)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3510:6-3510:82)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3536:7-3536:68)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3536:7-3536:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3532:5-3532:47)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3536:7-3536:68)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3559:7-3559:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3559:7-3559:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3559:7-3559:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3559:7-3559:88)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3559:7-3559:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3559:7-3559:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3559:7-3559:88)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3559:7-3559:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3560:7-3560:25)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3567:5-3567:33)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3567:5-3567:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3570:7-3570:25)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3576:7-3576:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3576:7-3576:88)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3579:8-3579:92)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3582:8-3582:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3576:7-3576:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3576:7-3576:88)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3579:8-3579:92)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3582:8-3582:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3576:7-3576:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3576:7-3576:88)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3579:8-3579:92)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3582:8-3582:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3583:7-3583:17)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3598:9-3598:51)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___1) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3600:11-3600:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3598:9-3598:51)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___1) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3600:11-3600:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3598:9-3598:51)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___1) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3600:11-3600:72)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2790:3-2790:49)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2883:3-2883:29)
[Info][Unsound] Unknown address in {&msg} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2883:3-2883:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2883:3-2883:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2888:3-2888:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2888:3-2888: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/ls-incomplete-1.i:2903:3-2903:116)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2903:3-2903:116)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2903:3-2903:116)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2918:5-2918:101)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2919:5-2919:29)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2921:5-2921:54)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2922:5-2922:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2938:5-2938:29)
[Info][Imprecise] Invalidating expressions: (struct _IO_FILE *)((void *)0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3404:3-3404:63)
[Info][Imprecise] Invalidating expressions: & return_value_fflush$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3404:3-3404:63)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2943:5-2943:62)
[Info][Unsound] Unknown value in {&(alloc@sid:374(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2943:5-2943:62)
[Info][Unsound] Unknown value in {&(alloc@sid:374(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3426:5-3426:32)
[Info][Unsound] Unknown value in {&(alloc@sid:374(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4487:5-4487:28)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3424:6-3424:58)
[Info][Unsound] Unknown value in {&(alloc@sid:374(#0))[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/ls-incomplete-1.i:3426:5-3426:32)
[Info][Unsound] Unknown value in {&(alloc@sid:374(#0))[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/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374(#0))[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/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374(#0))[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/ls-incomplete-1.i:4487:5-4487:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3433:5-3433:23)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3424:6-3424:58)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3433:5-3433:23)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3424:6-3424:58)
[Info][Unsound] Unknown value in {&(alloc@sid:374(#0))[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/ls-incomplete-1.i:3426:5-3426:32)
[Info][Unsound] Unknown value in {&(alloc@sid:374(#0))[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/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374(#0))[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/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374(#0))[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/ls-incomplete-1.i:4487:5-4487:28)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___5) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3738:21-3738:84)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___5) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3738:21-3738:84)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___5) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3738:21-3738:84)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3795:10-3795:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3797:12-3797:41)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3803:11-3803:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5561(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3807:11-3807:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3795:10-3795:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3797:12-3797:41)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3803:11-3803:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3807:11-3807:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3795:10-3795:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3797:12-3797:41)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3803:11-3803:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3807:11-3807:22)
[Info][Unsound] Unknown value in {&(alloc@sid:5561(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3817:5-3817:84)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3817:5-3817:84)
[Info][Unsound] Unknown value in {&(alloc@sid:5561(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5460:10-5460:39)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5460:10-5460:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5433:6-5433:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5441:7-5441:15)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5443:6-5443:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5448:7-5448:15)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5453:10-5453:16)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3832:7-3832:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3832:7-3832:46)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3836:9-3836:76)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3980:6-3980:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3980:6-3980:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3980:6-3980:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3980:6-3980:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3980:6-3980:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3980:6-3980:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3984:3-3984:56)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3985:4-3985:36)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3841:11-3841:64)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5072:3-5072:92)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5078:3-5078:114)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5188:6-5188:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5191:5-5191:99)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5198:19-5198:73)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5198:19-5198:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5207:5-5207:35)
[Info][Unsound] Unknown address in {&e} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5207:5-5207:35)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5207:5-5207:35)
[Info][Imprecise] Invalidating expressions: (char ** __restrict  )end (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2863:3-2863:25)
[Info][Imprecise] Invalidating expressions: & v (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2863:3-2863:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5229:12-5229:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5240:11-5240:141)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5247:3-5247:54)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3842:11-3842:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3846:13-3846:48)
[Info][Unsound] Unknown value in {&(alloc@sid:5561(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3817:5-3817:84)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3817:5-3817:84)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3832:7-3832:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3832:7-3832:46)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3836:9-3836:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3841:11-3841:64)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3842:11-3842:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3846:13-3846:48)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3832:7-3832:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3832:7-3832:46)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3846:13-3846:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3841:11-3841:64)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3842:11-3842:91)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3836:9-3836:76)
[Info][Unsound] Unknown value in {&(alloc@sid:5561(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3817:5-3817:84)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3817:5-3817:84)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3869:5-3869:25)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4032:10-4032:131)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4034:10-4034:133)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4036:10-4036:131)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4037:8-4037:112)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4032:10-4032:131)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4034:10-4034:133)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4036:10-4036:131)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4037:8-4037:112)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4032:10-4032:131)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4034:10-4034:133)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4036:10-4036:131)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4037:8-4037:112)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3924:3-3924:48)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3931:7-3931:75)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3942:7-3942:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3942:7-3942:90)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3931:7-3931:75)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3942:7-3942:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3942:7-3942:90)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3942:7-3942:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3942:7-3942:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3943:7-3943:20)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3931:7-3931:75)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4145:8-4145:74)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4152:6-4152:73)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4153:6-4153:126)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4154:6-4154:75)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4155:6-4155:154)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4156:6-4156:75)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4157:6-4157:154)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4158:6-4158:81)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4159:6-4159:135)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4161:7-4161:72)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4164:6-4164:167)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4173:6-4173:123)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4179:9-4179:80)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4182:7-4182:150)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4183:5-4183:321)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4328:3-4328:27)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4329:3-4329:19)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4340:5-4340:49)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5381:3-5381:51)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5383:3-5383:49)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5384:3-5384:49)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5386:3-5386:50)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5387:3-5387:57)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5388:3-5388:55)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5389:3-5389:58)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5390:3-5390:58)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5391:3-5391:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4343:7-4343:37)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2858:3-2858:25)
[Info][Imprecise] Invalidating expressions: & return_value_strerror$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2838:5-2838:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2843:3-2843:37)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2843:3-2843:37)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2898:3-2898:41)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2903:3-2903:116)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2928:9-2928:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2931:9-2931:24)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2935:7-2935:31)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4344:8-4344:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4352:3-4352:49)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5402:10-5402:25)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4355:5-4355:35)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4356:6-4356:71)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4348:5-4348:40)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4360:3-4360:39)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4363:3-4363:33)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4364:3-4364:33)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4365:3-4365:41)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4366:3-4366:41)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4367:3-4367:41)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4368:3-4368:31)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4369:3-4369:37)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4370:3-4370:35)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4371:3-4371:31)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4372:3-4372:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4375:3-4375:62)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4375:3-4375:62)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4378:3-4378:62)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4378:3-4378:62)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4183:5-4183:321)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4183:5-4183:321)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4187:7-4187:24)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4179:9-4179:80)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4182:7-4182:150)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4183:5-4183:321)
[Info][Unsound] Unknown value in {&(alloc@sid:374)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2943:5-2943:62)
[Info][Unsound] Unknown value in {&(alloc@sid:374)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3426:5-3426:32)
[Info][Unsound] Unknown value in {&(alloc@sid:374)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374)[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/ls-incomplete-1.i:3426:5-3426:32)
[Info][Unsound] Unknown value in {&(alloc@sid:374)[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/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374)[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/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374)[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/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374)[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/ls-incomplete-1.i:3426:5-3426:32)
[Info][Unsound] Unknown value in {&(alloc@sid:374)[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/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374)[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/ls-incomplete-1.i:4487:5-4487:28)
[Info][Unsound] Unknown value in {&(alloc@sid:374)[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/ls-incomplete-1.i:4487:5-4487:28)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4183:5-4183:321)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4183:5-4183:321)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4187:7-4187:24)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4187:7-4187:24)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4179:9-4179:80)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4182:7-4182:150)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4183:5-4183:321)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4183:5-4183:321)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4183:5-4183:321)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4187:7-4187:24)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4187:7-4187:24)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4189:7-4189:27)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3392:3-3392:17)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4200:5-4200:33)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4201:5-4201:21)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4204:5-4204:15)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4206:6-4206:73)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4207:5-4207:40)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4623:3-4623:33)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4623:3-4623:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3399:3-3399:79)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3399:3-3399:79)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (lib/libc/stub/src/stdlib.c:11:7-11:43)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (lib/libc/stub/src/stdlib.c:11:7-11:43)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)[⊤]} could be an escaped pointer address! (lib/libc/stub/src/stdlib.c:11:7-11:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4645:5-4645:36)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4645:5-4645:36)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4650:7-4650:40)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4650:7-4650:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4655:9-4655:42)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4655:9-4655:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4660:11-4660:44)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4660:11-4660:44)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4665:13-4665:185)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4671:15-4671:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4671:15-4671:71)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4680:17-4680:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4680:17-4680:65)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5406:8-5406:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4682:17-4682:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4682:17-4682:65)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4696:7-4696:65)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4702:5-4702:134)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4702:5-4702:134)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4702:5-4702:134)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4703:12-4703:128)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4703:12-4703:128)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (lib/libc/stub/src/stdlib.c:22:16-22:39)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (lib/libc/stub/src/stdlib.c:22:16-22:39)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (lib/libc/stub/src/stdlib.c:23:16-23:39)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (lib/libc/stub/src/stdlib.c:23:16-23:39)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4624:3-4624:28)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3111:6-3111:75)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3122:7-3122:79)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3122:7-3122:79)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2985:3-2985:41)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4421:19-4421:25)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4421:19-4421:25)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4421:19-4421:25)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4426:9-4426:52)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4427:9-4427:55)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4428:9-4428:55)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4421:19-4421:25)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4426:9-4426:52)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4427:9-4427:55)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4428:9-4428:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4438:3-4438:44)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4804:3-4804:112)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4852:7-4852:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5169:8-5169:27)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5171:5-5171:14)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5173:3-5173:12)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5175:3-5175:61)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5179:3-5179:81)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5179:3-5179:81)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4854:13-4854:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4856:23-4856:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4856:23-4856:29)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4866:11-4866:24)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4856:23-4856:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4856:23-4856:29)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4873:7-4873:50)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4874:7-4874:53)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4875:7-4875:53)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4887:5-4887:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4279:3-4279:47)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4279:3-4279:47)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4297:3-4297:60)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4297:3-4297:60)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4297:3-4297:60)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4303:18-4303:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4309:5-4309:43)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4303:18-4303:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4309:5-4309:43)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4309:5-4309:43)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4303:18-4303:56)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4318:3-4318:23)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4894:7-4894:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5006:16-5006:36)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5017:5-5017:15)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5017:5-5017:15)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5017:5-5017:15)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5025:5-5025:50)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5026:5-5026:17)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5025:5-5025:50)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5026:5-5026:17)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5025:5-5025:50)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5026:5-5026:17)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5029:3-5029:79)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5029:3-5029:79)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4887:5-4887:35)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4894:7-4894:37)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4887:5-4887:35)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4894:7-4894:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4907:5-4907:36)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4908:8-4908:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4913:5-4913:31)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4914:5-4914:44)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4916:5-4916:98)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4920:5-4920:70)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4910:7-4910:38)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2988:3-2988:49)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2992:8-2992:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2994:8-2994:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2998:7-2998:99)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3001:7-3001:21)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3001:7-3001:21)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3001:7-3001:21)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3123:7-3123:53)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3124:10-3124:46)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3125:9-3125:41)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3122:7-3122:79)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3122:7-3122:79)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)saved[(long )cur_saved] in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4441:3-4441:50)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3123:7-3123:53)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3124:10-3124:46)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3125:9-3125:41)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3122:7-3122:79)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3122:7-3122:79)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4443:3-4443:115)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3123:7-3123:53)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3124:10-3124:46)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3125:9-3125:41)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3126:7-3126:17)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3128:5-3128:224)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3128:5-3128:224)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3128:5-3128:224)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3142:8-3142:34)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3158:10-3158:78)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3172:9-3172:77)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3186:3-3186:34)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2754:7-2754:69)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2758:7-2758:69)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2765:6-2765:47)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2769:10-2769:62)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3188:6-3188:72)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3190:9-3190:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3191:7-3191:51)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3191:7-3191:51)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5129:3-5129:29)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5114:5-5114:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5114:5-5114:76)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5122:9-5122:36)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5109:5-5109:27)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5114:5-5114:76)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5135:7-5135:27)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5136:5-5136:59)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2783:3-2783:49)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3194:6-3194:69)
[Info][Imprecise] Invalidating expressions: & return_value_printf$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3196:5-3196:79)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3196:5-3196:79)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3197:5-3197:58)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3200:6-3200:69)
[Info][Imprecise] Invalidating expressions: & return_value_printf$2 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3202:5-3202:83)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3202:5-3202:83)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3203:5-3203:58)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3203:5-3203:58)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3207:6-3207:69)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3209:5-3209:62)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2802:3-2802:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2824:7-2824:77)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2824:7-2824:77)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2824:7-2824:77)
[Info][Imprecise] Invalidating expressions: & return_value_printf$4 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3210:5-3210:84)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3211:5-3211:58)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3211:5-3211:58)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3214:6-3214:69)
[Info][Imprecise] Invalidating expressions: & return_value_printf$5 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3216:5-3216:75)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3216:5-3216:75)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3217:5-3217:58)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3217:5-3217:58)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3221:6-3221:70)
[Info][Imprecise] Invalidating expressions: & return_value_printf$6 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3225:7-3225:70)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3225:7-3225:70)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3226:7-3226:60)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3226:7-3226:60)
[Info][Imprecise] Invalidating expressions: & return_value_printf$7 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3230:7-3230:99)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3230:7-3230:99)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3231:7-3231:60)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3231:7-3231:60)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3235:8-3235:72)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3240:9-3240:77)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5152:14-5152:69)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3449:3-3449:79)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3450:4-3450:44)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3453:3-3453:90)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)[0].name[0]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3453:3-3453:90)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4476:3-4476:39)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4478:3-4478:49)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4478:3-4478:49)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3453:3-3453:90)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3459:3-3459:72)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3459:3-3459:72)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3240:9-3240:77)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3240:9-3240:77)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3241:20-3241:98)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3242:9-3242:62)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3242:9-3242:62)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3247:9-3247:76)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4982:9-4982:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4985:9-4985:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4988:9-4988:53)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3465:3-3465:71)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3465:3-3465:71)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3247:9-3247:76)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3247:9-3247:76)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3249:9-3249:78)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3249:9-3249:78)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3249:9-3249:78)
[Info][Imprecise] Invalidating expressions: & tmp___0 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3250:20-3250:144)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3251:9-3251:63)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3251:9-3251:63)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3255:6-3255:71)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3257:9-3257:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3261:7-3261:134)
[Info][Imprecise] Invalidating expressions: & return_value_printf$13 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3266:7-3266:85)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3266:7-3266:85)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3267:7-3267:61)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3267:7-3267:61)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3273:9-3273:153)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3273:9-3273:153)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4248:7-4248:123)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4248:7-4248:123)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4248:7-4248:123)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4268:5-4268:41)
[Info][Imprecise] Invalidating expressions: (char * __restrict  )str (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4270:3-4270:35)
[Info][Imprecise] Invalidating expressions: & tmp___2 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3274:20-3274:100)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3275:9-3275:63)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3275:9-3275:63)
[Info][Imprecise] Invalidating expressions: & return_value_printf$16 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3280:9-3280:62)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3280:9-3280:62)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3281:9-3281:63)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3281:9-3281:63)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3284:6-3284:71)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3288:5-3288:25)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3289:8-3289:77)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3290:7-3290:27)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3291:8-3291:77)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3293:7-3293:27)
[Info][Imprecise] Invalidating expressions: & filetime (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3295:5-3295:27)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3296:8-3296:73)
[Info][Imprecise] Invalidating expressions: & tmp___3 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3298:18-3298:69)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3299:7-3299:61)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3299:7-3299:61)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3303:23-3303:91)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3317:7-3317:41)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3321:6-3321:76)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3324:5-3324:29)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3327:7-3327:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3327:7-3327:58)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2975:6-2975:47)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2979:10-2979:66)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3414:6-3414:47)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3418:10-3418:74)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3338:3-3338:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3338:3-3338:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4385:3-4385:41)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)[0]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4919:5-4919:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4916:5-4916:98)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)[def_exc:Unknown int([0,32]); intervals:[1,6]; enums:not {} ([0,32])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4919:5-4919:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4916:5-4916:98)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)[def_exc:Unknown int([0,32]); intervals:[0,4294967295]; enums:not {} ([0,32])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4919:5-4919:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4442:3-4442:42)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4388:5-4388:24)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4388:5-4388:24)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4388:5-4388:24)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4391:3-4391:49)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4396:8-4396:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4398:8-4398:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4402:7-4402:99)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4407:7-4407:21)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4409:5-4409:31)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4407:7-4407:21)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4407:7-4407:21)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3339:3-3339:47)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3340:6-3340:76)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3347:8-3347:74)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3350:7-3350:144)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3354:7-3354:55)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3357:9-3357:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3357:9-3357:58)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3362:10-3362:80)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3372:5-3372:49)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4385:3-4385:41)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4438:3-4438:44)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4804:3-4804:112)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4852:7-4852:43)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4887:5-4887:35)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)[def_exc:Unknown int([-63,63]); intervals:[1,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4887:5-4887:35)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)[def_exc:Unknown int([-63,63]); intervals:[2,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4887:5-4887:35)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3373:5-3373:67)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3375:8-3375:78)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3378:6-3378:72)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3383:7-3383:27)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3158:10-3158:78)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3166:11-3166:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3168:11-3168:54)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3170:9-3170:40)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3172:9-3172:77)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5114:5-5114:76)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5111:5-5111:78)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5114:5-5114:76)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5111:5-5111:78)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5114:5-5114:76)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3459:3-3459:72)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3442:9-3442:50)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3442:9-3442:50)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3443:15-3443:52)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3448:3-3448:164)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5156:5-5156:100)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3453:3-3453:90)
[Info][Unsound] Unknown value in {&(alloc@sid:5632)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3465:3-3465:71)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3173:9-3173:56)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3158:10-3158:78)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3161:9-3161:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3166:11-3166:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3168:11-3168:54)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3170:9-3170:40)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3172:9-3172:77)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3442:9-3442:50)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3442:9-3442:50)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3445:3-3445:26)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5156:5-5156:100)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5156:5-5156:100)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5157:5-5157:164)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3173:9-3173:56)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3158:10-3158:78)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3172:9-3172:77)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3158:10-3158:78)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3159:9-3159:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3161:9-3161:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3166:11-3166:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3168:11-3168:54)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3170:9-3170:40)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3172:9-3172:77)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3173:9-3173:56)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3158:10-3158:78)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3161:9-3161:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3159:9-3159:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3166:11-3166:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3168:11-3168:54)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3170:9-3170:40)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3172:9-3172:77)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3173:9-3173:56)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3158:10-3158:78)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3161:9-3161:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3159:9-3159:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3166:11-3166:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3168:11-3168:54)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3170:9-3170:40)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3172:9-3172:77)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3173:9-3173:56)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3158:10-3158:78)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3159:9-3159:29)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3172:9-3172:77)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3158:10-3158:78)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3161:9-3161:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3159:9-3159:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3166:11-3166:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3168:11-3168:54)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3170:9-3170:40)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3172:9-3172:77)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3173:9-3173:56)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4210:5-4210:29)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4712:3-4712:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3049:9-3049:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3051:7-3051:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3049:9-3049:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3051:7-3051:25)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3048:5-3048:19)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3049:9-3049:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3051:7-3051:25)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3077:9-3077:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4725:9-4725:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4730:7-4730:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4759:9-4759:47)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4725:9-4725:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4730:7-4730:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4725:9-4725:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4730:7-4730:25)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4758:9-4758:19)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4211:5-4211:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3081:10-3081:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4767:9-4767:47)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4766:9-4766:19)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4212:5-4212:30)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4213:5-4213:30)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4215:7-4215:43)
[Info][Unsound] Unknown address given as function argument (lib/libc/stub/src/stdlib.c:11:7-11:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3118:10-3118:65)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3172:9-3172:77)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4218:7-4218:38)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4218:7-4218:38)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4219:7-4219:81)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4503:8-4503:44)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4505:8-4505:76)
[Info][Imprecise] Invalidating expressions: & return_value_putchar_unlocked$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2849:3-2849:46)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4510:7-4510:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4512:5-4512:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4512:5-4512:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4549:3-4549:25)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4997:3-4997:19)
[Warning][Unknown] size of error: abstract type (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5332:10-5332:19)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4999:5-4999:43)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4552:6-4552:71)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5357:5-5357:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5359:5-5359:45)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4579:13-4579:76)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4582:11-4582:74)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4589:7-4589:53)
[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/ls-incomplete-1.i:3023:5-3023:14)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3024:3-3024: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/ls-incomplete-1.i:3024:3-3024: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/ls-incomplete-1.i:3969:7-3969:38)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3970:7-3970: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/ls-incomplete-1.i:3970:7-3970:56)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3971:7-3971: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/ls-incomplete-1.i:3971:7-3971: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/ls-incomplete-1.i:3973:16-3973: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/ls-incomplete-1.i:3976:10-3976: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/ls-incomplete-1.i:3025:6-3025:63)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3028:3-3028:101)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5063:3-5063:38)
[Info][Unsound] Unknown address in {&string_ptr} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5063:3-5063:38)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5063:3-5063:38)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5477:73-5477:84)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4591:7-4591:55)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2774:3-2774:23)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4592:7-4592:59)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4592:7-4592:59)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4592:7-4592:59)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)fullname in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4594:9-4594:31)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4597:9-4597:46)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4598:9-4598:26)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4579:13-4579:76)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4582:11-4582:74)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4589:7-4589:53)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4591:7-4591:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4592:7-4592:59)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4592:7-4592:59)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4592:7-4592:59)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)fullname in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4594:9-4594:31)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4597:9-4597:46)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4598:9-4598:26)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4598:9-4598:26)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4579:13-4579:76)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4582:11-4582:74)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4589:7-4589:53)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4591:7-4591:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4592:7-4592:59)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4592:7-4592:59)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4592:7-4592:59)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4597:9-4597:46)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4598:9-4598:26)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4598:9-4598:26)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4600:9-4600:29)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)fullname in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4594:9-4594:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4613:5-4613:33)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4613:5-4613:33)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4617:5-4617:15)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4513:9-4513:80)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4515:7-4515:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3014:7-3014:60)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3014:7-3014:60)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3014:7-3014:60)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3014:7-3014:60)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3014:7-3014:60)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3014:7-3014:60)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3014:7-3014:60)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3014:7-3014:60)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3014:7-3014:60)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3017:10-3017:40)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3017:10-3017:40)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4520:7-4520:45)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4521:10-4521:78)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4525:9-4525:36)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3056:9-3056:120)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3056:9-3056:120)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3056:9-3056:120)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4735:9-4735:120)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4735:9-4735:120)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4735:9-4735:120)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4526:9-4526:37)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4529:11-4529:42)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4529:11-4529:42)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4530:11-4530:46)

[Info] runtime: 00:00:40.689
[Info] vars: 46786, evals: 91571

[Info] |called|=0

Memory statistics: total=79178.83MB, max=614.13MB, minor=79165.45MB, major=1132.23MB, promoted=1118.84MB
    minor collections=37760  major collections=23 compactions=0

[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4534:7-4534:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3094:8-3094:48)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3095:7-3095:42)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)((char *)cur->fullname) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3095:7-3095:42)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)cur in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3096:5-3096:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3094:8-3094:48)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3095:7-3095:42)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)((char *)cur->fullname) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3095:7-3095:42)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)cur in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3096:5-3096:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3094:8-3094:48)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3095:7-3095:42)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)((char *)cur->fullname) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3095:7-3095:42)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)cur in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3096:5-3096:22)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3097:5-3097:15)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4505:8-4505:76)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4510:7-4510:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4512:5-4512:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4512:5-4512:50)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4513:9-4513:80)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4515:7-4515:63)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4520:7-4520:45)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4521:10-4521:78)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4525:9-4525:36)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4526:9-4526:37)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4529:11-4529:42)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4529:11-4529:42)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4530:11-4530:46)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4534:7-4534:20)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4505:8-4505:76)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4510:7-4510:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4512:5-4512:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4512:5-4512:50)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4513:9-4513:80)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4515:7-4515:63)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4520:7-4520:45)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4521:10-4521:78)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4525:9-4525:36)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4526:9-4526:37)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4529:11-4529:42)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4529:11-4529:42)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4530:11-4530:46)
[Info][Unsound] Unknown value in {&(alloc@sid:5561)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4534:7-4534:20)
[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/ls-incomplete-1.i:5523:5-5523: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/ls-incomplete-1.i:5523:5-5523: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/ls-incomplete-1.i:5523:5-5523:23)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:1156:1-1160:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:1161:1-1165:1)
[Warning][Deadcode] Function 'syslog' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3987:1-3989:1)
[Warning][Deadcode] Function 'xfunc_die' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5081:1-5090:1)
[Warning][Deadcode] Function 'sleep' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5366:1-5370:1)
[Warning][Deadcode] Function 'getutent' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5417:1-5427:1)
[Warning][Deadcode] Function 'read' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5462:1-5470:1)
[Warning][Deadcode] Function '__main' has dead code:
  on lines 4051..4052 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4051-4052)
  on lines 4055..4057 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4055-4057)
  on line 4060 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4060-4060)
  on line 4064 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4064-4064)
  on line 4066 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4066-4066)
  on lines 4068..4069 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4068-4069)
  on line 4075 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4075-4075)
  on line 4077 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4077-4077)
  on line 4079 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4079-4079)
  on lines 4081..4082 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4081-4082)
  on line 4084 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4084-4084)
  on lines 4086..4087 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4086-4087)
  on line 4089 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4089-4089)
  on lines 4091..4092 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4091-4092)
  on line 4094 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4094-4094)
  on line 4096 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4096-4096)
  on lines 4103..4104 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4103-4104)
  on lines 4108..4109 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4108-4109)
  on lines 4111..4112 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4111-4112)
  on lines 4115..4116 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4115-4116)
  on lines 4118..4119 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4118-4119)
  on line 4127 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4127-4127)
[Warning][Deadcode] Function 'bb_verror_msg' has dead code:
  on line 2880 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2880-2880)
  on line 2882 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2882-2882)
  on lines 2910..2913 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2910-2913)
  on line 2946 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2946-2946)
[Warning][Deadcode] Function 'display_files' has dead code:
  on line 3140 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3140-3140)
[Warning][Deadcode] Function 'get_terminal_width_height' has dead code:
  on lines 3480..3481 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3480-3481)
[Warning][Deadcode] Function 'getopt32' has dead code:
  on line 3518 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3518-3518)
  on line 3522 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3522-3522)
  on line 3526 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3526-3526)
  on line 3618 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3618-3618)
[Warning][Deadcode] Function 'gid2group' has dead code:
  on line 3900 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3900-3900)
[Warning][Deadcode] Function 'gid2group_utoa' has dead code:
  on lines 3913..3914 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3913-3914)
[Warning][Deadcode] Function 'make_human_readable_str' has dead code:
  on line 4233 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4233-4233)
  on lines 4239..4240 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4239-4240)
  on lines 4257..4260 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4257-4260)
[Warning][Deadcode] Function 'safe_strncpy' has dead code:
  on line 4474 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4474-4474)
[Warning][Deadcode] Function 'sortcmp' has dead code:
  on line 4632 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4632-4632)
  on line 4638 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4638-4638)
[Warning][Deadcode] Function 'unicode_conv_to_printable2' has dead code:
  on lines 4821..4823 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4821-4823)
  on lines 4826..4827 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4826-4827)
  on lines 4829..4830 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4829-4830)
  on lines 4834..4837 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4834-4837)
  on line 4839 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4839-4839)
  on lines 4842..4845 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4842-4845)
  on lines 4847..4848 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4847-4848)
  on lines 4926..4929 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4926-4929)
  on lines 4932..4933 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4932-4933)
  on lines 4935..4937 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4935-4937)
  on line 4939 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4939-4939)
[Warning][Deadcode] Function 'xmalloc' has dead code:
  on lines 5097..5098 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5097-5098)
[Warning][Deadcode] Function 'xrealloc' has dead code:
  on lines 5145..5146 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5145-5146)
[Warning][Deadcode] Function 'xstrtou_range_sfx' has dead code:
  on line 5214 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5214-5214)
  on lines 5219..5221 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5219-5221)
  on line 5223 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5223-5223)
  on line 5225 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5225-5225)
  on line 5248 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5248-5248)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 1422
  dead: 126 (26 in uncalled functions)
  total lines: 1548
[Warning][Deadcode][CWE-570] condition 'bufsiz < 1UL' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5337:6-5337:43)
[Warning][Deadcode][CWE-570] condition 'bytes == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4301:8-4301: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/ls-incomplete-1.i:4312:9-4312: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/ls-incomplete-1.i:4312:9-4312: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/ls-incomplete-1.i:3089:9-3089:17)
[Warning][Deadcode][CWE-571] condition '(unsigned long )l_o->flag == (unsigned long )((int *)((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3589:10-3589:50)
[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/ls-incomplete-1.i:3089:9-3089:17)
[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/ls-incomplete-1.i:4312:9-4312: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/ls-incomplete-1.i:3089:9-3089:17)
[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/ls-incomplete-1.i:3613:9-3613:17)
[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/ls-incomplete-1.i:3116:11-3116:19)
[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/ls-incomplete-1.i:3615:8-3615:52)
[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/ls-incomplete-1.i:3116:11-3116:19)
[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/ls-incomplete-1.i:4394:9-4394:17)
[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/ls-incomplete-1.i:3116:11-3116:19)
[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/ls-incomplete-1.i:4394:9-4394:17)
[Warning][Deadcode][CWE-571] condition '! (ncols == 0u)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3137:8-3137: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/ls-incomplete-1.i:3849:9-3849: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/ls-incomplete-1.i:4394:9-4394:17)
[Warning][Deadcode][CWE-571] condition '! (nc >= ncols)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3156:8-3156:40)
[Warning][Deadcode][CWE-571] condition '! (i >= nfiles)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3162:10-3162:24)
[Warning][Deadcode][CWE-570] condition 'column > 0u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3164:12-3164:23)
[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/ls-incomplete-1.i:4419:9-4419:17)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )stats == (unsigned long )((struct uni_stat_t *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4424:10-4424:56)
[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/ls-incomplete-1.i:4419:9-4419:17)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )stats == (unsigned long )((struct uni_stat_t *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4424:10-4424:56)
[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/ls-incomplete-1.i:3849:9-3849: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/ls-incomplete-1.i:3744:25-3744: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/ls-incomplete-1.i:4419:9-4419:17)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )stats == (unsigned long )((struct uni_stat_t *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4424:10-4424:56)
[Warning][Deadcode][CWE-571] condition '! (nc >= ncols)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3156:8-3156:40)
[Warning][Deadcode][CWE-570] condition 'column > 0u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3164:12-3164:23)
[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/ls-incomplete-1.i:3849:9-3849: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/ls-incomplete-1.i:3744:25-3744:33)
[Warning][Deadcode][CWE-570] condition 'size == 0ul' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4473:6-4473:17)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:22:73-22:74)
[Warning][Deadcode][CWE-571] condition '! (nc >= ncols)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3156:8-3156:40)
[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/ls-incomplete-1.i:5483:9-5483:29)
[Warning][Deadcode][CWE-570] condition 'column > 0u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3164:12-3164:23)
[Warning][Deadcode][CWE-571] condition '! ((int )first_char == 33)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3888:6-3888:37)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )gr == (unsigned long )((struct group *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3897:6-3897:44)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )name == (unsigned long )((char *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3909:6-3909:38)
[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/ls-incomplete-1.i:3744:25-3744: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/ls-incomplete-1.i:4501:9-4501:17)
[Warning][Deadcode][CWE-570] condition 'matched_idx >= 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3936:12-3936:28)
[Warning][Deadcode][CWE-571] condition 'j < 3' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2821:11-2821:17)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )stats == (unsigned long )((struct uni_stat_t *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4871:8-4871:54)
[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/ls-incomplete-1.i:5503:6-5503:25)
[Warning][Deadcode][CWE-571] condition 'j < 3' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2821:11-2821:17)
[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/ls-incomplete-1.i:4501:9-4501:17)
[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/ls-incomplete-1.i:5503:6-5503: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/ls-incomplete-1.i:4883:9-4883:17)
[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/ls-incomplete-1.i:5503:6-5503:25)
[Warning][Deadcode][CWE-570] condition 'j < 3' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2821:11-2821:17)
[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/ls-incomplete-1.i:5503:6-5503:25)
[Warning][Deadcode][CWE-570] condition 'w > 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4897:10-4897:15)
[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/ls-incomplete-1.i:5503:6-5503: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/ls-incomplete-1.i:5503:6-5503:25)
[Warning][Deadcode][CWE-570] condition '(int )width < 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4908:8-4908:29)
[Warning][Deadcode][CWE-571] condition '(int )unicode_status == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3950:6-3950:37)
[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/ls-incomplete-1.i:3613:9-3613:17)
[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/ls-incomplete-1.i:5503:6-5503:25)
[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/ls-incomplete-1.i:3615:8-3615:52)
[Warning][Deadcode][CWE-571] condition 'i < 3' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2826:9-2826:15)
[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/ls-incomplete-1.i:4501:9-4501:17)
[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/ls-incomplete-1.i:5503:6-5503: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/ls-incomplete-1.i:4883:9-4883:17)
[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/ls-incomplete-1.i:3963:6-3963:41)
[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/ls-incomplete-1.i:5503:6-5503: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/ls-incomplete-1.i:5503:6-5503:25)
[Warning][Deadcode][CWE-570] condition 'w > 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4897:10-4897:15)
[Warning][Deadcode][CWE-571] condition 'j < 3' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2821:11-2821:17)
[Warning][Deadcode][CWE-570] condition '(int )width < 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4908:8-4908:29)
[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/ls-incomplete-1.i:5503:6-5503:25)
[Warning][Deadcode][CWE-571] condition 'j < 3' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2821:11-2821:17)
[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/ls-incomplete-1.i:4883:9-4883:17)
[Warning][Deadcode][CWE-570] condition 'j < 3' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2821:11-2821:17)
[Warning][Deadcode][CWE-570] condition '(_Bool)0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4010:9-4010:18)
[Warning][Deadcode][CWE-570] condition 'w > 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4897:10-4897: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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-571] condition 'i < 3' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2826:9-2826:15)
[Warning][Deadcode][CWE-570] condition '! ((1 & flags) == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4923:6-4923:25)
[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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:4020:9-4020:17)
[Warning][Deadcode][CWE-571] condition '(long )i < 25l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4022:8-4022:32)
[Warning][Deadcode][CWE-571] condition 'j < 3' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2821:11-2821:17)
[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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:4604:9-4604: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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-571] condition 'j < 3' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2821:11-2821:17)
[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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:4020:9-4020:17)
[Warning][Deadcode][CWE-571] condition '(long )i < 25l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4022:8-4022:32)
[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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-570] condition 'j < 3' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2821:11-2821:17)
[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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )stats == (unsigned long )((struct uni_stat_t *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4942:6-4942: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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-571] condition '! (buflen == 0u)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4963:6-4963:21)
[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/ls-incomplete-1.i:4020:9-4020:17)
[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/ls-incomplete-1.i:3744:25-3744:33)
[Warning][Deadcode][CWE-571] condition '! (i == 0u)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4967:8-4967:48)
[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/ls-incomplete-1.i:4604:9-4604:18)
[Warning][Deadcode][CWE-570] condition 'i < 3' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2826:9-2826:15)
[Warning][Deadcode][CWE-570] condition 'out != 0u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4973:12-4973:21)
[Warning][Deadcode][CWE-570] condition 'i == 1u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4975:12-4975:19)
[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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-570] condition 'buflen == 0u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4983:12-4983: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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-571] condition '! (i == 0u)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4967:8-4967:48)
[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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-570] condition '(_Bool)0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4049:6-4049:14)
[Warning][Deadcode][CWE-570] condition '! (total == 0l)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3429:10-3429: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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-570] condition 'i == 1u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4975:12-4975:19)
[Warning][Deadcode][CWE-570] condition 'buflen == 0u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4983:12-4983: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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:4604:9-4604: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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:3744:25-3744: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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:4611:9-4611:17)
[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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:4611:9-4611:17)
[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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:4611:9-4611:17)
[Warning][Deadcode][CWE-570] condition '! (n < 6)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5015:8-5015:16)
[Warning][Deadcode][CWE-570] condition '(int )*color_opt == 110' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4126:8-4126:37)
[Warning][Deadcode][CWE-570] condition '! (n < 6)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5015:8-5015:16)
[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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )a == (unsigned long )((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4629:6-4629:25)
[Warning][Deadcode][CWE-570] condition '(int )logmode == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2879:6-2879:30)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )b == (unsigned long )((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4635:6-4635:25)
[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/ls-incomplete-1.i:2881:6-2881: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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-570] condition 'i == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5023:8-5023:14)
[Warning][Deadcode][CWE-571] condition '(int )win.ws_row == 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3476:3-3476:149)
[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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:3744:25-3744: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/ls-incomplete-1.i:5028:9-5028: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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )height == (unsigned long )((unsigned int *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3478:6-3478:48)
[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/ls-incomplete-1.i:2908:6-2908:35)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )width == (unsigned long )((unsigned int *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3484:6-3484:47)
[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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:5028:9-5028: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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:5518:8-5518: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/ls-incomplete-1.i:5028:9-5028:18)
[Warning][Deadcode][CWE-570] condition '(_Bool)0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4700:11-4700: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/ls-incomplete-1.i:4177:9-4177:17)
[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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-571] condition 'value == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5034:6-5034:16)
[Warning][Deadcode][CWE-571] condition '! ((1 & (int )logmode) == 0)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2940:6-2940:39)
[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/ls-incomplete-1.i:5518:8-5518:27)
[Warning][Deadcode][CWE-570] condition '! ((2 & (int )logmode) == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2945:6-2945:39)
[Warning][Deadcode][CWE-570] condition '(int )first_char == 33' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3517:6-3517:34)
[Warning][Deadcode][CWE-570] condition '(int )*s == 43' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3521:6-3521:26)
[Warning][Deadcode][CWE-570] condition '(int )*s == 45' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3524:5-3524:94)
[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/ls-incomplete-1.i:4721:9-4721:17)
[Warning][Deadcode][CWE-570] condition '! ((int )tmp_if_expr$1 == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3525:6-3525:34)
[Warning][Deadcode][CWE-570] condition 'c >= 32' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3529:8-3529:15)
[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/ls-incomplete-1.i:2990:9-2990:17)
[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/ls-incomplete-1.i:4177:9-4177:17)
[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/ls-incomplete-1.i:3613:9-3613: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/ls-incomplete-1.i:3615:8-3615:52)
[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/ls-incomplete-1.i:5095:6-5095:24)
[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/ls-incomplete-1.i:3543:13-3543: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/ls-incomplete-1.i:2990:9-2990:17)
[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/ls-incomplete-1.i:3543:13-3543: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/ls-incomplete-1.i:3543:13-3543:22)
[Warning][Deadcode][CWE-570] condition 'c >= 32' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3529:8-3529:15)
[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/ls-incomplete-1.i:2990:9-2990:17)
[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/ls-incomplete-1.i:4177:9-4177:17)
[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/ls-incomplete-1.i:4721:9-4721:17)
[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/ls-incomplete-1.i:3543:13-3543: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/ls-incomplete-1.i:3543:13-3543: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/ls-incomplete-1.i:3010:11-3010:19)
[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/ls-incomplete-1.i:3543:13-3543:22)
[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/ls-incomplete-1.i:5143:6-5143:24)
[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/ls-incomplete-1.i:3010:11-3010:19)
[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/ls-incomplete-1.i:3010:11-3010:19)
[Warning][Deadcode][CWE-571] condition '! (m == 0)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5167:6-5167:31)
[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/ls-incomplete-1.i:4198:9-4198:17)
[Warning][Deadcode][CWE-571] condition '! (m == 0)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5167:6-5167:31)
[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/ls-incomplete-1.i:3543:13-3543: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/ls-incomplete-1.i:4198:9-4198:17)
[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/ls-incomplete-1.i:3543:13-3543: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/ls-incomplete-1.i:4721:9-4721:17)
[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/ls-incomplete-1.i:3543:13-3543: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/ls-incomplete-1.i:4198:9-4198:17)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )applet_long_options == (unsigned long )((char const   *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3549:6-3549:59)
[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/ls-incomplete-1.i:3744:25-3744: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/ls-incomplete-1.i:3043:9-3043:17)
[Warning][Deadcode][CWE-570] condition 'block_size > 1ul' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4232:6-4232:22)
[Warning][Deadcode][CWE-570] condition '! (display_unit == 0ul)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4237:6-4237:28)
[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/ls-incomplete-1.i:5213:12-5213:62)
[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/ls-incomplete-1.i:3585:11-3585: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/ls-incomplete-1.i:3043:9-3043:17)
[Warning][Deadcode][CWE-570] condition 'block_size == 0ul' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4255:8-4255: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/ls-incomplete-1.i:3744:25-3744: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/ls-incomplete-1.i:3585:11-3585:20)
[Warning][Deadcode][CWE-570] condition '! ((1 & flags) == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4818:8-4818:27)
[Warning][Deadcode][CWE-571] condition 'r >= lower' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5233:14-5233:24)
[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/ls-incomplete-1.i:3585:11-3585:20)
[Warning][Deadcode][CWE-571] condition 'bytes < 6' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4291:9-4291:39)
[Warning][Deadcode][CWE-571] condition '(unsigned long )l_o->flag == (unsigned long )((int *)((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3589:10-3589:50)
[Warning][Deadcode][CWE-571] condition 'bytes < 6' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4291:9-4291:39)
[Warning][Deadcode][CWE-571] condition 'bytes < 6' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4291:9-4291:39)
[Warning][Deadcode][CWE-571] condition 'bytes < 6' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4291:9-4291:39)
[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/ls-incomplete-1.i:3043:9-3043:17)
[Warning][Deadcode][CWE-571] condition 'bytes < 6' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4291:9-4291:39)
[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/ls-incomplete-1.i:3744:25-3744:33)
[Warning][Deadcode][CWE-570] condition 'bytes < 6' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4291:9-4291:39)
[Warning][Deadcode][CWE-571] condition '(unsigned long )l_o->flag == (unsigned long )((int *)((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3589:10-3589:50)
SV-COMP result: unknown
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow

[Info] runtime: 00:00:50.765
[Info] vars: 46786, evals: 91571

[Info] |called|=0

Memory statistics: total=96530.84MB, max=812.19MB, minor=96514.16MB, major=1632.01MB, promoted=1615.33MB
    minor collections=46034  major collections=25 compactions=0

[Info][Witness] witness generation summary:
  total generation entries: 1
