./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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:4247:5-4252:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4289:3-4294:39 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4301:3-4315:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4397:3-4414:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4422:3-4440:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4488:3-4496:35 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4504:3-4540:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4562:3-4607:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4614:3-4621:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4694:5-4703:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4724:3-4775:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4835:11-4842:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4827:7-4850:22 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4857:7-4872:7 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4886:3-4924:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4933:5-4942:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4970:5-4993:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5016:3-5021:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5023:3-5031:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5110:3-5125:36 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5170:3-5175:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5217:11-5231:11 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5344:3-5345:38 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5364:5-5365:49 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5425:3-5426:53 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5427:3-5428:53 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5479:3-5480:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5486:3-5492:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5506:3-5507:34 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5521:5-5522:42 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5516:3-5523:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5525:3-5526: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.374
[Info] vars: 23155, evals: 37638

[Info] |called|=25

Memory statistics: total=20931.36MB, max=265.50MB, minor=20923.90MB, major=385.45MB, promoted=377.99MB
    minor collections=9986  major collections=18 compactions=0


[Info] runtime: 00:00:20.473
[Info] vars: 38564, evals: 69674

[Info] |called|=51

Memory statistics: total=41473.52MB, max=403.80MB, minor=41463.04MB, major=684.00MB, promoted=673.53MB
    minor collections=19781  major collections=21 compactions=0

[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5513:8-5513:45)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5513:8-5513:45)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5513:8-5513:45)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5514:8-5514:50)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5514:8-5514:50)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5514:8-5514:50)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5522:7-5522:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5522:7-5522:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5522:7-5522: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-2.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-2.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-2.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-2.i:4008:5-4008:66)
[Info][Imprecise] Invalidating expressions: & s (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:3953:5-3953:23)
[Info][Imprecise] Invalidating expressions: & s (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:3955:7-3955:27)
[Info][Imprecise] Invalidating expressions: & s (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.i:4013:3-4013:117)
[Info][Imprecise] Invalidating expressions: & s (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5040:5-5040:23)
[Info][Imprecise] Invalidating expressions: & value (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5043:7-5043: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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:2903:3-2903:116)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:4490:5-4490: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-2.i:4490:5-4490: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-2.i:4490:5-4490:28)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:3424:6-3424:58)
[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-2.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-2.i:4490:5-4490: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-2.i:4490:5-4490: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-2.i:4490:5-4490:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.i:3424:6-3424:58)
[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-2.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-2.i:4490:5-4490: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-2.i:4490:5-4490: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-2.i:4490:5-4490:28)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___5) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.i:3803:11-3803:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.i:3803:11-3803:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.i:3803:11-3803:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:3807:11-3807:22)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:3817:5-3817:84)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5463:10-5463:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5436:6-5436:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5444:7-5444:15)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5446:6-5446:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5451:7-5451:15)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5456:10-5456:16)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:5075:3-5075:92)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5081:3-5081:114)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5191:6-5191:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5194:5-5194:99)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5201:19-5201:73)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5201:19-5201:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5210:5-5210:35)
[Info][Unsound] Unknown address in {&e} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5210:5-5210: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-2.i:5210:5-5210:35)
[Info][Imprecise] Invalidating expressions: (char ** __restrict  )end (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:2863:3-2863:25)
[Info][Imprecise] Invalidating expressions: & v (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:5232:12-5232:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5243:11-5243:141)

[Info] runtime: 00:00:30.590
[Info] vars: 46237, evals: 91123

[Info] |called|=0

Memory statistics: total=61229.54MB, max=534.03MB, minor=61217.23MB, major=914.20MB, promoted=901.89MB
    minor collections=29201  major collections=22 compactions=0

[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5250:3-5250:54)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:3846:13-3846:48)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:3836:9-3836:76)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:4331:3-4331: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-2.i:4332:3-4332:19)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4343:5-4343:49)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5384:3-5384:51)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5386:3-5386:49)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5387:3-5387:49)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5389:3-5389:50)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5390:3-5390:57)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5391:3-5391:55)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5392:3-5392:58)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5393:3-5393:58)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5394:3-5394:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4346:7-4346:37)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.i:2898:3-2898:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:2898:3-2898:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:2931:9-2931:24)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:2935:7-2935:31)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:2935:7-2935:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:4347:8-4347:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4355:3-4355:49)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5405:10-5405:25)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4358:5-4358: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-2.i:4359:6-4359: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-2.i:4351:5-4351: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-2.i:4363:3-4363: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-2.i:4366:3-4366: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-2.i:4367:3-4367: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-2.i:4368:3-4368: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-2.i:4369:3-4369: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-2.i:4370:3-4370: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-2.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-2.i:4372:3-4372: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-2.i:4373:3-4373: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-2.i:4374:3-4374: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-2.i:4375:3-4375:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:4378:3-4378:62)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4381:3-4381: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-2.i:4381:3-4381: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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:4187:7-4187:24)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.i:4187:7-4187:24)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.i:3392:3-3392:17)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.i:4206:6-4206:73)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:4626:3-4626:33)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4626:3-4626:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:3399:3-3399:79)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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:5566)[⊤]} 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-2.i:4648:5-4648: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-2.i:4648:5-4648:36)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4653:7-4653: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-2.i:4653:7-4653:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4658:9-4658: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-2.i:4658:9-4658:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4663:11-4663: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-2.i:4663:11-4663:44)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4668:13-4668:185)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4674:15-4674:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4674:15-4674:71)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4683:17-4683:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4683:17-4683:65)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5409:8-5409:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4685:17-4685:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4685:17-4685:65)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4699:7-4699:65)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4705:5-4705: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-2.i:4705:5-4705:134)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4705:5-4705: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-2.i:4706:12-4706:128)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4706:12-4706: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:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4627:3-4627: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-2.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-2.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-2.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-2.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-2.i:4424:19-4424:25)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4424:19-4424:25)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4424:19-4424: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-2.i:4429:9-4429: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-2.i:4430:9-4430: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-2.i:4431:9-4431:55)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4424:19-4424: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-2.i:4429:9-4429: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-2.i:4430:9-4430: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-2.i:4431:9-4431:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4441:3-4441:44)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4807:3-4807:112)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4855:7-4855:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5172:8-5172:27)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5174:5-5174:14)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5176:3-5176:12)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5178:3-5178:61)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5182:3-5182:81)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5182:3-5182:81)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4857:13-4857:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4859:23-4859:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4859:23-4859:29)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4869:11-4869:24)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4859:23-4859:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4859:23-4859: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-2.i:4876:7-4876: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-2.i:4877:7-4877: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-2.i:4878:7-4878:53)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4890:5-4890:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4282:3-4282:47)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4282:3-4282:47)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4300:3-4300: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-2.i:4300:3-4300:60)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4300:3-4300:60)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4306:18-4306:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4312:5-4312:43)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4306:18-4306:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4312:5-4312:43)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4312:5-4312:43)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4306:18-4306:56)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4321:3-4321:23)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4897:7-4897:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5009:16-5009: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-2.i:5020:5-5020: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-2.i:5020:5-5020: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-2.i:5020:5-5020: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-2.i:5028:5-5028: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-2.i:5029:5-5029: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-2.i:5028:5-5028: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-2.i:5029:5-5029: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-2.i:5028:5-5028: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-2.i:5029:5-5029: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-2.i:5032:3-5032: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-2.i:5032:3-5032:79)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4890:5-4890:35)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4897:7-4897:37)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4890:5-4890:35)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4897:7-4897:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4910:5-4910:36)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4911:8-4911:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4916:5-4916:31)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4917:5-4917:44)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4919:5-4919:98)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4923:5-4923:70)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4913:7-4913:38)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:4444:3-4444:50)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.i:4446:3-4446:115)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:5132:3-5132:29)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5117:5-5117:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5117:5-5117:76)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5125:9-5125:36)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5112:5-5112:27)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5117:5-5117:76)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5138:7-5138:27)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5139:5-5139:59)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:5155:14-5155:69)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.i:3453:3-3453:90)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)[0].name[0]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:4479:3-4479: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-2.i:4481:3-4481: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-2.i:4481:3-4481: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-2.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-2.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-2.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-2.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-2.i:3240:9-3240:77)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.i:4985:9-4985:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4988:9-4988:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4991:9-4991: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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:3249:9-3249:78)
[Info][Imprecise] Invalidating expressions: & tmp___0 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:4251:7-4251:123)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4251:7-4251:123)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4251:7-4251:123)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4271:5-4271:41)
[Info][Imprecise] Invalidating expressions: (char * __restrict  )str (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4273:3-4273:35)
[Info][Imprecise] Invalidating expressions: & tmp___2 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:3293:7-3293:27)
[Info][Imprecise] Invalidating expressions: & filetime (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:3296:8-3296:73)
[Info][Imprecise] Invalidating expressions: & tmp___3 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:4388:3-4388:41)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)[0]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4922:5-4922:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4919:5-4919:98)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)[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-2.i:4922:5-4922:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4919:5-4919:98)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)[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-2.i:4922:5-4922:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4445:3-4445:42)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4391:5-4391:24)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4391:5-4391: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-2.i:4391:5-4391:24)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4394:3-4394:49)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4399:8-4399:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4401:8-4401:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4405:7-4405:99)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4410:7-4410:21)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4412:5-4412:31)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4410:7-4410:21)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4410:7-4410:21)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:3362:10-3362:80)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:3372:5-3372:49)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4388:3-4388:41)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4441:3-4441:44)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4807:3-4807:112)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4855:7-4855:43)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4890:5-4890:35)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)[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-2.i:4890:5-4890:35)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)[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-2.i:4890:5-4890:35)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:3172:9-3172:77)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5117:5-5117:76)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5114:5-5114:78)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5117:5-5117:76)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5114:5-5114:78)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5117:5-5117:76)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.i:3443:15-3443:52)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:3448:3-3448:164)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5159:5-5159:100)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:3453:3-3453:90)
[Info][Unsound] Unknown value in {&(alloc@sid:5637)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:5159:5-5159:100)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5159:5-5159:100)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5160:5-5160:164)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:3173:9-3173:56)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4210:5-4210:29)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4715:3-4715:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:4728:9-4728:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4733:7-4733:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4762:9-4762:47)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4728:9-4728:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4733:7-4733:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4728:9-4728:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4733:7-4733:25)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4761:9-4761:19)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.i:4770:9-4770:47)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4769:9-4769:19)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:4213:5-4213:30)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.i:4218:7-4218:38)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4218:7-4218:38)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:4506:8-4506: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-2.i:4508:8-4508:76)
[Info][Imprecise] Invalidating expressions: & return_value_putchar_unlocked$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:4513:7-4513:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4515:5-4515:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4515:5-4515:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4552:3-4552:25)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5000:3-5000:19)
[Warning][Unknown] size of error: abstract type (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5335:10-5335:19)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5002:5-5002: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-2.i:4555:6-4555:71)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5360:5-5360:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5362:5-5362: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-2.i:4582:13-4582: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-2.i:4585:11-4585:74)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4592:7-4592: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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:5066:3-5066:38)
[Info][Unsound] Unknown address in {&string_ptr} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5066:3-5066: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-2.i:5066:3-5066:38)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5480:73-5480:84)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4594:7-4594:55)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:4595:7-4595: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-2.i:4595:7-4595: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-2.i:4595:7-4595: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-2.i:4597:9-4597: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-2.i:4600:9-4600: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-2.i:4601:9-4601: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-2.i:4582:13-4582: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-2.i:4585:11-4585:74)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4592:7-4592:53)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4594:7-4594:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4595:7-4595: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-2.i:4595:7-4595: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-2.i:4595:7-4595: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-2.i:4597:9-4597: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-2.i:4600:9-4600: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-2.i:4601:9-4601:26)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4601:9-4601: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-2.i:4582:13-4582: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-2.i:4585:11-4585:74)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4592:7-4592:53)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4594:7-4594:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4595:7-4595: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-2.i:4595:7-4595: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-2.i:4595:7-4595: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-2.i:4600:9-4600: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-2.i:4601:9-4601:26)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4601:9-4601:26)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4603:9-4603: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-2.i:4597:9-4597:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4616:5-4616:33)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4616:5-4616:33)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4620:5-4620: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-2.i:4516:9-4516:80)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4518:7-4518:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:3017:10-3017:40)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4523:7-4523: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-2.i:4524:10-4524:78)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4528:9-4528:36)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.i:4738:9-4738:120)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4738:9-4738:120)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4738:9-4738:120)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4529:9-4529:37)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4532:11-4532:42)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4532:11-4532:42)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4533:11-4533:46)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4537:7-4537:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:4508:8-4508:76)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4513:7-4513:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4515:5-4515:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4515:5-4515: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-2.i:4516:9-4516:80)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4518:7-4518:63)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4523:7-4523: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-2.i:4524:10-4524:78)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4528:9-4528:36)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4529:9-4529:37)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4532:11-4532:42)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4532:11-4532:42)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4533:11-4533:46)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4537:7-4537: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-2.i:4508:8-4508:76)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4513:7-4513:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4515:5-4515:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4515:5-4515: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-2.i:4516:9-4516:80)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4518:7-4518:63)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4523:7-4523: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-2.i:4524:10-4524:78)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4528:9-4528:36)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4529:9-4529:37)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4532:11-4532:42)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4532:11-4532:42)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4533:11-4533:46)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4537:7-4537:20)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4221:5-4221:15)
[Info][Unsound] Unknown value in {&(alloc@sid:5566)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4222:5-4222:15)
[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-2.i:5526:5-5526: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-2.i:5526:5-5526: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-2.i:5526:5-5526:23)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.i:5084:1-5093:1)
[Warning][Deadcode] Function 'sleep' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5369:1-5373:1)
[Warning][Deadcode] Function 'getutent' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5420:1-5430:1)
[Warning][Deadcode] Function 'read' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5465:1-5473: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-2.i:4051-4052)
  on lines 4055..4057 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4055-4057)
  on line 4060 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4060-4060)
  on line 4064 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4064-4064)
  on line 4066 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4066-4066)
  on lines 4068..4069 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4068-4069)
  on line 4075 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4075-4075)
  on line 4077 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4077-4077)
  on line 4079 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4079-4079)
  on lines 4081..4082 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4081-4082)
  on line 4084 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4084-4084)
  on lines 4086..4087 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4086-4087)
  on line 4089 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4089-4089)
  on lines 4091..4092 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4091-4092)
  on line 4094 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4094-4094)
  on line 4096 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4096-4096)
  on lines 4103..4104 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4103-4104)
  on lines 4108..4109 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4108-4109)
  on lines 4111..4112 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4111-4112)
  on lines 4115..4116 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4115-4116)
  on lines 4118..4119 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4118-4119)
  on line 4127 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:2880-2880)
  on line 2882 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:2882-2882)
  on lines 2910..2913 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:2910-2913)
  on line 2946 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.i:3518-3518)
  on line 3522 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:3522-3522)
  on line 3526 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:3526-3526)
  on line 3618 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.i:3913-3914)
[Warning][Deadcode] Function 'make_human_readable_str' has dead code:
  on line 4236 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4236-4236)
  on lines 4242..4243 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4242-4243)
  on lines 4260..4263 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4260-4263)
[Warning][Deadcode] Function 'safe_strncpy' has dead code:
  on line 4477 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4477-4477)
[Warning][Deadcode] Function 'sortcmp' has dead code:
  on line 4635 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4635-4635)
  on line 4641 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4641-4641)
[Warning][Deadcode] Function 'unicode_conv_to_printable2' has dead code:
  on lines 4824..4826 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4824-4826)
  on lines 4829..4830 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4829-4830)
  on lines 4832..4833 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4832-4833)
  on lines 4837..4840 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4837-4840)
  on line 4842 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4842-4842)
  on lines 4845..4848 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4845-4848)
  on lines 4850..4851 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4850-4851)
  on lines 4929..4932 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4929-4932)
  on lines 4935..4936 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4935-4936)
  on lines 4938..4940 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4938-4940)
  on line 4942 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4942-4942)
[Warning][Deadcode] Function 'xmalloc' has dead code:
  on lines 5100..5101 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5100-5101)
[Warning][Deadcode] Function 'xrealloc' has dead code:
  on lines 5148..5149 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5148-5149)
[Warning][Deadcode] Function 'xstrtou_range_sfx' has dead code:
  on line 5217 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5217-5217)
  on lines 5222..5224 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5222-5224)
  on line 5226 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5226-5226)
  on line 5228 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5228-5228)
  on line 5251 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5251-5251)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 1425
  dead: 126 (26 in uncalled functions)
  total lines: 1551
[Warning][Deadcode][CWE-570] condition 'bufsiz < 1UL' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5340:6-5340:43)
[Warning][Deadcode][CWE-570] condition 'bytes == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4304:8-4304: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-2.i:4315:9-4315: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-2.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-2.i:4315:9-4315:18)
[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-2.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-2.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-2.i:4315:9-4315: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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:4397:9-4397: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-2.i:4397:9-4397:17)
[Warning][Deadcode][CWE-571] condition '! (ncols == 0u)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.i:4397:9-4397: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-2.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-2.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-2.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-2.i:4422:9-4422: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-2.i:4427:10-4427: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-2.i:4422:9-4422: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-2.i:3849:9-3849:18)
[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-2.i:4427:10-4427: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-2.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-2.i:4422:9-4422: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-2.i:4427:10-4427: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-2.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-2.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-2.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-2.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-2.i:4476:6-4476:17)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.i:5486:9-5486:29)
[Warning][Deadcode][CWE-570] condition 'column > 0u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.i:4504:9-4504: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-2.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-2.i:2821:11-2821:17)
[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-2.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-2.i:4874:8-4874: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-2.i:5506:6-5506: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-2.i:4504:9-4504: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-2.i:5506:6-5506: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-2.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-2.i:4886:9-4886: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-2.i:5506:6-5506: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-2.i:5506:6-5506:25)
[Warning][Deadcode][CWE-570] condition 'w > 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4900:10-4900: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-2.i:5506:6-5506:25)
[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-2.i:3950:6-3950:37)
[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-2.i:5506:6-5506: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-2.i:4911:8-4911:29)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.i:2826:9-2826: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-2.i:5506:6-5506: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-2.i:4504:9-4504: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-2.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-2.i:5506:6-5506: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-2.i:4886:9-4886: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-2.i:5506:6-5506: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-2.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-2.i:5506:6-5506:25)
[Warning][Deadcode][CWE-570] condition 'w > 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4900:10-4900:15)
[Warning][Deadcode][CWE-570] condition '(int )width < 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4911:8-4911: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-2.i:5506:6-5506: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-2.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-2.i:4886:9-4886: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-2.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-2.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-2.i:4900:10-4900: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-2.i:5521:8-5521: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-2.i:2826:9-2826: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-2.i:5521:8-5521:27)
[Warning][Deadcode][CWE-570] condition '! ((1 & flags) == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4926:6-4926: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-2.i:5521:8-5521: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-2.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-2.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-2.i:5521:8-5521: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-2.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-2.i:5521:8-5521: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-2.i:4607:9-4607: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-2.i:5521:8-5521: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-2.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-2.i:5521:8-5521: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-2.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-2.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-2.i:5521:8-5521: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-2.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-2.i:5521:8-5521: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-2.i:5521:8-5521: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-2.i:4945:6-4945: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-2.i:5521:8-5521: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-2.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-2.i:3744:25-3744:33)
[Warning][Deadcode][CWE-571] condition '! (buflen == 0u)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4966:6-4966:21)
[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-2.i:2826:9-2826:15)
[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-2.i:4970:8-4970: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-2.i:4607:9-4607:18)
[Warning][Deadcode][CWE-570] condition 'out != 0u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4976:12-4976:21)
[Warning][Deadcode][CWE-570] condition 'i == 1u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4978:12-4978: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-2.i:5521:8-5521:27)
[Warning][Deadcode][CWE-570] condition 'buflen == 0u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4986:12-4986: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-2.i:5521:8-5521:27)
[Warning][Deadcode][CWE-570] condition '(_Bool)0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4049:6-4049:14)
[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-2.i:4970:8-4970: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-2.i:5521:8-5521:27)
[Warning][Deadcode][CWE-570] condition '! (total == 0l)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.i:5521:8-5521:27)
[Warning][Deadcode][CWE-570] condition 'i == 1u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4978:12-4978:19)
[Warning][Deadcode][CWE-570] condition 'buflen == 0u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4986:12-4986: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-2.i:5521:8-5521: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-2.i:5521:8-5521: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-2.i:5521:8-5521: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-2.i:4607:9-4607: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-2.i:5521:8-5521: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-2.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-2.i:5521:8-5521: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-2.i:4614:9-4614: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-2.i:5521:8-5521: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-2.i:4614:9-4614: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-2.i:5521:8-5521: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-2.i:4614:9-4614:17)
[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-2.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-2.i:5018:8-5018:16)
[Warning][Deadcode][CWE-570] condition '! (n < 6)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5018:8-5018: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-2.i:5521:8-5521:27)
[Warning][Deadcode][CWE-570] condition '(int )logmode == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:2879:6-2879:30)
[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-2.i:5521:8-5521: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-2.i:4632:6-4632: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-2.i:2881:6-2881:38)
[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-2.i:4638:6-4638: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-2.i:5521:8-5521:27)
[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-2.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-2.i:5521:8-5521: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-2.i:3744:25-3744:33)
[Warning][Deadcode][CWE-570] condition 'i == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5026:8-5026:14)
[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-2.i:5521:8-5521: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-2.i:3478:6-3478: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-2.i:5031:9-5031:18)
[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-2.i:2908:6-2908:35)
[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-2.i:5521:8-5521:27)
[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-2.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-2.i:5521:8-5521: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-2.i:5031:9-5031: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-2.i:5521:8-5521: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-2.i:5521:8-5521: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-2.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-2.i:5031:9-5031: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-2.i:4703:11-4703:20)
[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-2.i:5521:8-5521:27)
[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-2.i:2940:6-2940:39)
[Warning][Deadcode][CWE-571] condition 'value == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5037:6-5037:16)
[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-2.i:2945:6-2945: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-2.i:5521:8-5521:27)
[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-2.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-2.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-2.i:3524:5-3524:94)
[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-2.i:3525:6-3525:34)
[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-2.i:4724:9-4724:17)
[Warning][Deadcode][CWE-570] condition 'c >= 32' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.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-2.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-2.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-2.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-2.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-2.i:5098:6-5098: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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.i:4724:9-4724: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-2.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-2.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-2.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-2.i:3010:11-3010:19)
[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-2.i:5146:6-5146: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-2.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-2.i:5170:6-5170: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-2.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-2.i:3543:13-3543:22)
[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-2.i:5170:6-5170: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-2.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-2.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-2.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-2.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-2.i:4724:9-4724: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-2.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-2.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-2.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-2.i:4235:6-4235: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-2.i:4240:6-4240: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-2.i:5216:12-5216: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-2.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-2.i:3043:9-3043: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-2.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-2.i:3585:11-3585:20)
[Warning][Deadcode][CWE-570] condition 'block_size == 0ul' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4258:8-4258:25)
[Warning][Deadcode][CWE-570] condition '! ((1 & flags) == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:4821:8-4821: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-2.i:3585:11-3585:20)
[Warning][Deadcode][CWE-571] condition 'r >= lower' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i:5236:14-5236:24)
[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-2.i:4294:9-4294: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-2.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-2.i:4294:9-4294: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-2.i:4294:9-4294: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-2.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-2.i:4294:9-4294: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-2.i:4294:9-4294: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-2.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-2.i:4294:9-4294: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-2.i:3589:10-3589:50)
SV-COMP result: unknown
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow

[Info] runtime: 00:00:40.694
[Info] vars: 46237, evals: 91123

[Info] |called|=0

Memory statistics: total=80852.21MB, max=706.25MB, minor=80835.74MB, major=1141.10MB, promoted=1124.64MB
    minor collections=38557  major collections=23 compactions=0


[Info] runtime: 00:00:50.788
[Info] vars: 46237, evals: 91123

[Info] |called|=0

Memory statistics: total=98131.79MB, max=812.19MB, minor=98115.12MB, major=1627.11MB, promoted=1610.44MB
    minor collections=46798  major collections=25 compactions=0

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