./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/od-4.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/od-4.i:2670:3-2684:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2989:5-3029:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3031:5-3063:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3119:3-3132:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3173:7-3180:7 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3147:5-3188:36 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3208:5-3261:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3143:3-3263:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3337:3-3348:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3354:3-3362:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3371:3-3383:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3405:3-3406:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3432:7-3438:22 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3422:3-3441:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3450:5-3456:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3463:5-3480:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3487:9-3490:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3482:5-3500:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3572:13-3575:13 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3660:25-3666:23 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3639:19-3668:19 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3508:3-3682:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3688:5-3707:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3717:5-3720:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3710:3-3744:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3746:3-3755:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3823:3-3824:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3924:3-3929:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4091:3-4100:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4153:3-4239:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4244:3-4255:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4261:3-4272:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4278:3-4289:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4295:3-4306:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4312:3-4323:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4329:3-4340:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4347:3-4423:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4428:3-4439:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4445:3-4456:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4462:3-4473:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4481:3-4492:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4503:3-4511:35 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4549:7-4557:7 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4518:3-4563:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4602:5-4642:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4743:11-4757:11 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4816:11-4830:11 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4932:3-4933:53 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4934:3-4935:53 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4986:3-4987:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4993:3-4999:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5013:3-5014:34 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5028:5-5029:42 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5023:3-5030:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5032:3-5033:23 with factor 2
[Info] longjmp -> enabling longjmp analyses "activeLongjmp, activeSetjmp, taintPartialContexts, modifiedSinceSetjmp, poisonVariables, expsplit, vla"
[Info] Setting "ana.int.interval" to true
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region, pthreadMutexType"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.403
[Info] vars: 16176, evals: 29397

[Info] |called|=41

Memory statistics: total=19193.86MB, max=305.32MB, minor=19187.85MB, major=481.70MB, promoted=475.70MB
    minor collections=9159  major collections=19 compactions=0

[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5020:8-5020:45)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5020:8-5020:45)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5020:8-5020:45)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5021:8-5021:50)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5021:8-5021:50)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5021:8-5021:50)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5029:7-5029:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5029:7-5029:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5029:7-5029:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3405:6-3405:82)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3431:7-3431:68)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3431:7-3431:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3427:5-3427:47)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3431:7-3431:68)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3454:7-3454:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3454:7-3454:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3454:7-3454:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3454:7-3454:88)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3454:7-3454:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3454:7-3454:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3454:7-3454:88)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3454:7-3454:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3455:7-3455:25)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3462:5-3462:33)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3462:5-3462:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3465:7-3465:25)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3471:7-3471:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3471:7-3471:88)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3474:8-3474:92)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3477:8-3477:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3471:7-3471:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3471:7-3471:88)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3474:8-3474:92)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3477:8-3477:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3471:7-3471:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3471:7-3471:88)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3474:8-3474:92)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3477:8-3477:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3478:7-3478:17)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3493:9-3493:51)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___1) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3495:11-3495:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3493:9-3493:51)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___1) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3495:11-3495:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3493:9-3493:51)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___1) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3495:11-3495:72)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2555:3-2555:49)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___5) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3633:21-3633:84)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___5) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3633:21-3633:84)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___5) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3633:21-3633:84)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3690:10-3690:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3692:12-3692:41)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3698:11-3698:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5326(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3702:11-3702:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3690:10-3690:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3692:12-3692:41)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3698:11-3698:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3702:11-3702:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3690:10-3690:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3692:12-3692:41)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3698:11-3698:89)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3702:11-3702:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3712:5-3712:84)
[Info][Unsound] Unknown value in {&(alloc@sid:5326(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3712:5-3712:84)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3712:5-3712:84)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4970:10-4970:39)
[Info][Unsound] Unknown value in {&(alloc@sid:5326(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4970:10-4970:39)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4970:10-4970:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4943:6-4943:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4951:7-4951:15)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4953:6-4953:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4958:7-4958:15)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3727:7-3727:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3727:7-3727:46)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3731:9-3731:76)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3823:6-3823:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3823:6-3823:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3823:6-3823:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3823:6-3823:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3823:6-3823:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3823:6-3823:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3827:3-3827:56)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3828:4-3828:36)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3736:11-3736:64)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4660:3-4660:92)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4666:3-4666:114)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4717:6-4717:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4720:5-4720:99)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4727:19-4727:73)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4727:19-4727:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4736:5-4736:35)
[Info][Unsound] Unknown address in {&e} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4736:5-4736:35)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4736:5-4736:35)
[Info][Imprecise] Invalidating expressions: (char ** __restrict  )end (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2630:3-2630:25)
[Info][Imprecise] Invalidating expressions: & v (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2630:3-2630:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4758:12-4758:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4769:11-4769:141)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4776:3-4776:54)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3737:11-3737:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3741:13-3741:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3712:5-3712:84)
[Info][Unsound] Unknown value in {&(alloc@sid:5326(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3712:5-3712:84)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3712:5-3712:84)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3727:7-3727:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3727:7-3727:46)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3731:9-3731:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3736:11-3736:64)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3737:11-3737:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3741:13-3741:48)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3727:7-3727:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3727:7-3727:46)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3741:13-3741:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3736:11-3736:64)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3737:11-3737:91)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3731:9-3731:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3712:5-3712:84)
[Info][Unsound] Unknown value in {&(alloc@sid:5326(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3712:5-3712:84)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3712:5-3712:84)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3764:5-3764:25)
[Info][Imprecise] Invalidating expressions: & return_value___builtin_strchr$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3872:5-3872:88)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3878:5-3878:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4800:19-4800:73)
[Info][Imprecise] Invalidating expressions: (char ** __restrict  )(& e) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4809:5-4809:33)
[Info][Imprecise] Invalidating expressions: & r (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4809:5-4809:33)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4827:15-4827:61)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4827:15-4827:61)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4827:15-4827:61)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4831:12-4831:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3898:5-3898:72)
[Info][Unsound] Unknown address in {&tspec} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2676:5-2676:46)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2676:5-2676:46)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2757:5-2757:34)
[Info][Imprecise] Invalidating expressions: & return_value___builtin_strchr$2 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2760:5-2760:65)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2771:10-2771:62)
[Info][Imprecise] Invalidating expressions: & return_value___builtin_strchr$5 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2813:5-2813:64)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2814:5-2814:63)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4651:3-4651:38)
[Info][Unsound] Unknown address in {&string_ptr} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4651:3-4651:38)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4651:3-4651:38)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4987:47-4987:64)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4987:73-4987:84)
[Info][Imprecise] Invalidating expressions: & return_value___builtin_strchr$6 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2881:5-2881:64)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2886:10-2886:62)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4702:14-4702:69)
[Info][Unsound] Unknown value in {&(alloc@sid:5333(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2681:5-2681:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2676:5-2676:46)
[Info][Unsound] Unknown address in {&tspec} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2676:5-2676:46)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2676:5-2676:46)
[Info][Unsound] Unknown value in {&(alloc@sid:5333(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2680:5-2680:168)
[Info][Unsound] Unknown value in {&(alloc@sid:5333(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2681:5-2681:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2676:5-2676:46)
[Info][Unsound] Unknown address in {&tspec} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2676:5-2676:46)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2676:5-2676:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2680:5-2680:168)
[Info][Unsound] Unknown value in {&(alloc@sid:5333(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2680:5-2680:168)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2680:5-2680:168)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4706:5-4706:100)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4706:5-4706:100)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4706:5-4706:100)
[Info][Unsound] Unknown value in {&(alloc@sid:5333(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4706:5-4706:100)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4706:5-4706:100)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4707:5-4707:164)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4707:5-4707:164)
[Info][Unsound] Unknown value in {&(alloc@sid:5333(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2681:5-2681:65)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2681:5-2681:65)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2682:5-2682:97)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2683:5-2683:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2680:5-2680:168)
[Info][Unsound] Unknown value in {&(alloc@sid:5333(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2680:5-2680:168)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2680:5-2680:168)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2681:5-2681:65)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2682:5-2682:97)
[Warning][Unknown] Pointer (void * __restrict  )((void *)(spec + (long )n_specs)) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2682:5-2682:97)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2683:5-2683:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2680:5-2680:168)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2680:5-2680:168)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2681:5-2681:65)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2682:5-2682:97)
[Warning][Unknown] Pointer (void * __restrict  )((void *)(spec + (long )n_specs)) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2682:5-2682:97)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2683:5-2683:28)
[Warning][Unknown] Pointer (void * __restrict  )((void *)(spec + (long )n_specs)) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2682:5-2682:97)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3918:5-3918:68)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4754:15-4754:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4754:15-4754:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4754:15-4754:37)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3951:9-3951:88)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4108:6-4108:26)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4110:6-4110:61)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4110:6-4110:61)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3963:11-3963:90)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3979:13-3979:92)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3987:15-3987:93)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3996:13-3996:93)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4033:5-4033:55)
[Info][Unsound] Unknown value in {&(alloc@sid:5326(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4041:5-4041:43)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4041:5-4041:43)
[Info][Unsound] Unknown value in {&(alloc@sid:5326(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4096:5-4096:31)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4096:5-4096:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4097:5-4097:47)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3303:8-3303:38)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3308:7-3308:38)
[Info][Imprecise] Invalidating expressions: & fp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3292:3-3292:23)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3294:5-3294:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2598:3-2598:25)
[Info][Imprecise] Invalidating expressions: & return_value_strerror$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2567:5-2567:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2572:3-2572:37)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2572:3-2572:37)
[Info][Unsound] Unknown value in {&(alloc@sid:5326(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4096:5-4096:31)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4096:5-4096:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4097:5-4097:47)
[Info][Unsound] Unknown value in {&(alloc@sid:5326(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4096:5-4096:31)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4096:5-4096:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4097:5-4097:47)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )in_stream, (char * __restrict  )((char *)((void *)0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4102:5-4102:43)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4522:5-4522:44)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4903:3-4903:51)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4905:3-4905:49)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4906:3-4906:49)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4908:3-4908:50)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4909:3-4909:57)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4910:3-4910:55)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4911:3-4911:58)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4912:3-4912:58)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4913:3-4913:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4536:9-4536:59)
[Info][Imprecise] Invalidating expressions: stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4886:10-4886:39)
[Info][Unsound] Unknown address in stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4886:10-4886:39)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4886:10-4886:39)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4886:10-4886:39)
[Info][Imprecise] Invalidating expressions: (void * __restrict  )((void *)(buf)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )in_stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown address in (FILE * __restrict  )in_stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: & n_bytes_read (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4554:9-4554:56)
[Info][Imprecise] Invalidating expressions: (void * __restrict  )((void *)(buf)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )in_stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown address in (FILE * __restrict  )in_stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: & n_bytes_read (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4554:9-4554:56)
[Info][Imprecise] Invalidating expressions: (void * __restrict  )((void *)(buf)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )in_stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown address in (FILE * __restrict  )in_stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: & n_bytes_read (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4554:9-4554:56)
[Info][Imprecise] Invalidating expressions: in_stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2647:5-2647:44)
[Info][Unsound] Unknown address in in_stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2647:5-2647:44)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2647:5-2647:44)
[Info][Imprecise] Invalidating expressions: & return_value_ferror$2 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2647:5-2647:44)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2656:7-2656:52)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2548:3-2548:49)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2659:5-2659:35)
[Info][Imprecise] Invalidating expressions: f (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3272:3-3272:14)
[Info][Unsound] Unknown address in f has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3272:3-3272:14)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3272:3-3272:14)
[Info][Imprecise] Invalidating expressions: & r (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3272:3-3272:14)
[Info][Imprecise] Invalidating expressions: f (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3278:5-3278:36)
[Info][Unsound] Unknown address in f has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3278:5-3278:36)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3278:5-3278:36)
[Info][Imprecise] Invalidating expressions: & return_value_fclose$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3278:5-3278:36)
[Info][Imprecise] Invalidating expressions: stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2663:3-2663:39)
[Info][Unsound] Unknown address in stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2663:3-2663:39)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2663:3-2663:39)
[Info][Imprecise] Invalidating expressions: & return_value_ferror$3 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2663:3-2663:39)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4522:5-4522:44)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4536:9-4536:59)
[Info][Imprecise] Invalidating expressions: (void * __restrict  )((void *)(buf)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )in_stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown address in (FILE * __restrict  )in_stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: & n_bytes_read (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4554:9-4554:56)
[Info][Imprecise] Invalidating expressions: (void * __restrict  )((void *)(buf)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )in_stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown address in (FILE * __restrict  )in_stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: & n_bytes_read (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4554:9-4554:56)
[Info][Imprecise] Invalidating expressions: (void * __restrict  )((void *)(buf)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )in_stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown address in (FILE * __restrict  )in_stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: & n_bytes_read (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4554:9-4554:56)
[Info][Imprecise] Invalidating expressions: (void * __restrict  )((void *)(buf)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )in_stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown address in (FILE * __restrict  )in_stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: & n_bytes_read (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4554:9-4554:56)
[Info][Imprecise] Invalidating expressions: (void * __restrict  )((void *)(buf)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )in_stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown address in (FILE * __restrict  )in_stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: & n_bytes_read (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4554:9-4554:56)
[Info][Imprecise] Invalidating expressions: (void * __restrict  )((void *)(buf)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )in_stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown address in (FILE * __restrict  )in_stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Info][Imprecise] Invalidating expressions: & n_bytes_read (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4553:9-4553:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4554:9-4554:56)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4522:5-4522:44)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4536:9-4536:59)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3373:8-3373:64)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3373:8-3373:64)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3377:8-3377:63)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3377:8-3377:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3381:5-3381:139)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3381:5-3381:139)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3382:5-3382:43)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3373:8-3373:64)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3377:8-3377:63)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3381:5-3381:139)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3819:11-3819:21)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3382:5-3382:43)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3373:8-3373:64)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3373:8-3373:64)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3377:8-3377:63)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3377:8-3377:63)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3381:5-3381:139)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3381:5-3381:139)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3382:5-3382:43)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4051:10-4051:38)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4055:10-4055:53)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4063:7-4063:44)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4068:5-4068:42)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4075:7-4075:69)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4075:7-4075:69)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3155:12-3155:66)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Imprecise] Invalidating expressions: stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4865:10-4865:23)
[Info][Unsound] Unknown address in stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4865:10-4865:23)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4865:10-4865:23)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4865:10-4865:23)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3184:7-3184:29)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3155:12-3155:66)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3184:7-3184:29)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3184:7-3184:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3190:5-3190:16)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3193:5-3193:56)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3193:5-3193:56)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3155:12-3155:66)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3168:9-3168:54)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3201:5-3201:47)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3206:5-3206:105)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3206:5-3206:105)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3210:7-3210:46)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3260:7-3260:18)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3155:12-3155:66)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3184:7-3184:29)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3155:12-3155:66)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3184:7-3184:29)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3184:7-3184:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3190:5-3190:16)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3193:5-3193:56)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3193:5-3193:56)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3155:12-3155:66)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3168:9-3168:54)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3201:5-3201:47)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3206:5-3206:105)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3206:5-3206:105)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3210:7-3210:46)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3260:7-3260:18)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3260:7-3260:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3184:7-3184:29)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3155:12-3155:66)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3184:7-3184:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3190:5-3190:16)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3193:5-3193:56)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3193:5-3193:56)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3155:12-3155:66)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3168:9-3168:54)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3175:9-3175:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3184:7-3184:29)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3155:12-3155:66)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3201:5-3201:47)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3206:5-3206:105)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3206:5-3206:105)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3254:9-3254:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3250:9-3250:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3246:9-3246:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3242:9-3242:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3238:9-3238:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3234:9-3234:29)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3230:9-3230:29)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3210:7-3210:46)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Info][Unsound] Unknown value in {&(alloc@sid:5333)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3170:9-3170:82)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2984:3-2984:89)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2997:7-2997:166)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2997:7-2997:166)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2997:7-2997:166)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3006:7-3006:71)
[Info][Imprecise] Invalidating expressions: (void * __restrict  )((void *)(block + (long )*n_bytes_in_buffer)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )in_stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Info][Unsound] Unknown address in (FILE * __restrict  )in_stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Info][Imprecise] Invalidating expressions: & n_read (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4485:5-4485:38)
[Info][Imprecise] Invalidating expressions: (void * __restrict  )((void *)(block + (long )*n_bytes_in_buffer)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )in_stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Info][Unsound] Unknown address in (FILE * __restrict  )in_stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Info][Imprecise] Invalidating expressions: & n_read (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4487:5-4487:53)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4485:5-4485:38)
[Info][Imprecise] Invalidating expressions: (void * __restrict  )((void *)(block + (long )*n_bytes_in_buffer)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )in_stream (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Info][Unsound] Unknown address in (FILE * __restrict  )in_stream has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Info][Imprecise] Invalidating expressions: & n_read (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4486:5-4486:115)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4487:5-4487:53)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3026:7-3026:112)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:3026:7-3026:112)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4614:10-4614:130)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4614:10-4614:130)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4614:10-4614:130)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4618:8-4618:112)
[Warning][Imprecise][Call] Function pointer *((spec + (long )i)->print_function) may contain unknown functions. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4618:8-4618:112)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4618:8-4618:112)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4619:10-4619:64)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4619:10-4619:64)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4622:12-4622:68)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4622:12-4622:68)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4626:12-4626:67)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4626:12-4626:67)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4630:9-4630:100)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4630:9-4630:100)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4636:9-4636:119)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4636:9-4636:119)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4637:22-4637:96)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4637:22-4637:96)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4637:22-4637:96)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4639:9-4639:52)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3116:3-3116:23)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3116:3-3116:23)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3116:3-3116:23)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3122:5-3122:28)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3122:5-3122:28)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3122:5-3122:28)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4618:8-4618:112)
[Warning][Imprecise][Call] Function pointer *((spec + (long )i)->print_function) may contain unknown functions. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4618:8-4618:112)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4618:8-4618:112)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4619:10-4619:64)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4622:12-4622:68)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4626:12-4626:67)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4630:9-4630:100)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4636:9-4636:119)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4636:9-4636:119)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4637:22-4637:96)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4637:22-4637:96)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4639:9-4639:52)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4614:10-4614:130)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4618:8-4618:112)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4618:8-4618:112)
[Warning][Imprecise][Call] Function pointer *((spec + (long )i)->print_function) may contain unknown functions. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4618:8-4618:112)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4618:8-4618:112)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4619:10-4619:64)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4619:10-4619:64)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4622:12-4622:68)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4622:12-4622:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4626:12-4626:67)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4626:12-4626:67)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4630:9-4630:100)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4630:9-4630:100)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4636:9-4636:119)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4636:9-4636:119)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4637:22-4637:96)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4637:22-4637:96)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4639:9-4639:52)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3027:7-3027:70)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3027:7-3027:70)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2997:7-2997:166)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2997:7-2997:166)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2997:7-2997:166)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:3006:7-3006:71)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3026:7-3026:112)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:3026:7-3026:112)
[Info][Imprecise] Invalidating expressions: & return_value_memcmp$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4579:5-4579:121)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:4639:9-4639:52)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:4639:9-4639:52)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:4639:9-4639:52)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3027:7-3027:70)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3027:7-3027:70)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2997:7-2997:166)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2997:7-2997:166)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2997:7-2997:166)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3006:7-3006:71)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:3006:7-3006:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3026:7-3026:112)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3026:7-3026:112)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:3026:7-3026:112)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3027:7-3027:70)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3027:7-3027:70)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3041:7-3041:97)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3061:7-3061:112)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:3061:7-3061:112)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3062:7-3062:70)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3062:7-3062:70)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:3041:7-3041:97)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3061:7-3061:112)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:3061:7-3061:112)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3062:7-3062:70)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3062:7-3062:70)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3041:7-3041:97)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:3041:7-3041:97)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3061:7-3061:112)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3061:7-3061:112)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:3061:7-3061:112)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3062:7-3062:70)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3062:7-3062:70)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3069:8-3069:42)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3073:5-3073:144)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3073:5-3073:144)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3099:5-3099:112)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3099:5-3099:112)
[Info][Unsound] Unknown value in {&(alloc@sid:5326)[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/od-4.i:3099:5-3099:112)

[Info] runtime: 00:00:20.491
[Info] vars: 19491, evals: 45075

[Info] |called|=0

Memory statistics: total=38781.91MB, max=403.80MB, minor=38773.96MB, major=780.53MB, promoted=772.58MB
    minor collections=18500  major collections=22 compactions=0

[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3100:5-3100:68)
[Info][Imprecise] Invalidating expressions: stdin (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4083:3-4083:39)
[Info][Unsound] Unknown address in stdin has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4083:3-4083:39)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4083:3-4083:39)
[Info][Imprecise] Invalidating expressions: & return_value_fclose$13 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4083:3-4083:39)
[Info][Imprecise] Invalidating expressions: & return_value_strerror$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2583:5-2583:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2588:3-2588:37)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2588:3-2588:37)
[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/od-4.i:5033:5-5033: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/od-4.i:5033:5-5033: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/od-4.i:5033:5-5033:23)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:989:1-993:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:994:1-998:1)
[Warning][Deadcode] Function 'bb_ascii_isalnum' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2536:1-2543:1)
[Warning][Deadcode] Function 'bb_strtou' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2600:1-2626:1)
[Warning][Deadcode] Function 'fflush_all' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3283:1-3288:1)
[Warning][Deadcode] Function 'format_address_label' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3312:1-3316:1)
[Warning][Deadcode] Function 'format_address_paren' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3321:1-3327:1)
[Warning][Deadcode] Function 'full_write' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3333:1-3350:1)
[Warning][Deadcode] Function 'handle_errors' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3787:1-3808:1)
[Warning][Deadcode] Function 'llist_pop' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3830:1-3841:1)
[Warning][Deadcode] Function 'syslog' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3842:1-3844:1)
[Warning][Deadcode] Function 'print_ascii' is uncalled: 54 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4148:1-4240:1)
[Warning][Deadcode] Function 'print_char' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4241:1-4256:1)
[Warning][Deadcode] Function 'print_double' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4257:1-4273:1)
[Warning][Deadcode] Function 'print_float' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4274:1-4290:1)
[Warning][Deadcode] Function 'print_int' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4291:1-4307:1)
[Warning][Deadcode] Function 'print_long' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4308:1-4324:1)
[Warning][Deadcode] Function 'print_long_double' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4325:1-4341:1)
[Warning][Deadcode] Function 'print_named_ascii' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4342:1-4424:1)
[Warning][Deadcode] Function 'print_s_char' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4425:1-4440:1)
[Warning][Deadcode] Function 'print_s_short' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4441:1-4457:1)
[Warning][Deadcode] Function 'print_short' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4458:1-4474:1)
[Warning][Deadcode] Function 'ret_ERANGE' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4494:1-4498:1)
[Warning][Deadcode] Function 'safe_write' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4499:1-4513:1)
[Warning][Deadcode] Function 'xfunc_die' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4669:1-4678:1)
[Warning][Deadcode] Function 'sleep' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4888:1-4892:1)
[Warning][Deadcode] Function 'stat' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4916:1-4921:1)
[Warning][Deadcode] Function 'lstat' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4922:1-4925:1)
[Warning][Deadcode] Function 'getutent' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4927:1-4937:1)
[Warning][Deadcode] Function 'read' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4972:1-4980:1)
[Warning][Deadcode] Function 'write' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:5003:1-5008:1)
[Warning][Deadcode] Function '__main' has dead code:
  on lines 3927..3928 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3927-3928)
  on lines 3954..3955 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3954-3955)
  on lines 3966..3967 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3966-3967)
  on lines 3973..3975 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3973-3975)
  on lines 3982..3983 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3982-3983)
  on lines 3999..4000 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3999-4000)
  on lines 4006..4008 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4006-4008)
  on line 4019 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4019-4019)
  on lines 4021..4023 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4021-4023)
  on lines 4026..4027 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4026-4027)
[Warning][Deadcode] Function 'decode_one_format' has dead code:
  on line 2701 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2701-2701)
  on line 2710 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2710-2710)
  on line 2724 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2724-2724)
  on lines 2773..2775 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2773-2775)
  on line 2778 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2778-2778)
  on lines 2781..2782 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2781-2782)
  on lines 2784..2786 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2784-2786)
  on line 2809 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2809-2809)
  on line 2839 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2839-2839)
  on lines 2888..2890 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2888-2890)
  on line 2893 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2893-2893)
  on lines 2896..2897 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2896-2897)
  on lines 2899..2901 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2899-2901)
  on line 2922 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2922-2922)
[Warning][Deadcode] Function 'dump' has dead code:
  on line 3025 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3025-3025)
  on line 3060 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3060-3060)
  on line 3098 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3098-3098)
  on line 3105 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3105-3105)
[Warning][Deadcode] Function 'dump_strings' has dead code:
  on line 3205 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3205-3205)
  on line 3264 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3264-3264)
[Warning][Deadcode] Function 'fseeko' has dead code:
  on lines 4882..4884 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4882-4884)
[Warning][Deadcode] Function 'gcd' has dead code:
  on line 3359 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3359-3359)
[Warning][Deadcode] Function 'getopt32' has dead code:
  on line 3513 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3513-3513)
[Warning][Deadcode] Function 'lcm' has dead code:
  on line 3814 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3814-3814)
  on line 3818 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3818-3818)
[Warning][Deadcode] Function 'parse_old_offset' has dead code:
  on lines 4113..4115 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4113-4115)
  on line 4117 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4117-4117)
  on lines 4119..4120 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4119-4120)
  on line 4124 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4124-4124)
  on lines 4126..4127 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4126-4127)
  on line 4130 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4130-4130)
  on lines 4132..4133 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4132-4133)
  on lines 4140..4142 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4140-4142)
  on line 4144 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4144-4144)
  on line 4146 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4146-4146)
[Warning][Deadcode] Function 'skip' has dead code:
  on line 4566 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4566-4566)
[Warning][Deadcode] Function 'write_block' has dead code:
  on line 4609 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4609-4609)
  on line 4635 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4635-4635)
[Warning][Deadcode] Function 'xmalloc' has dead code:
  on lines 4685..4686 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4685-4686)
[Warning][Deadcode] Function 'xrealloc' has dead code:
  on lines 4695..4696 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4695-4696)
[Warning][Deadcode] Function 'xstrtou_range_sfx' has dead code:
  on line 4777 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4777-4777)
[Warning][Deadcode] Function 'xstrtoull_range_sfx' has dead code:
  on line 4850 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4850-4850)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 974
  dead: 352 (267 in uncalled functions)
  total lines: 1326
[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/od-4.i:3132:9-3132: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/od-4.i:3208:11-3208: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/od-4.i:3508:9-3508: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/od-4.i:3510:8-3510: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/od-4.i:3132:9-3132:18)
[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/od-4.i:5013:6-5013: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/od-4.i:5013:6-5013: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/od-4.i:5013:6-5013: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/od-4.i:5013:6-5013: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/od-4.i:3132:9-3132:18)
[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/od-4.i:5013:6-5013: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/od-4.i:3208:11-3208:19)
[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/od-4.i:5013:6-5013: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/od-4.i:5013:6-5013: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/od-4.i:3143:9-3143: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/od-4.i:5013:6-5013: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/od-4.i:5013:6-5013:25)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )lst_t == (unsigned long )((struct llist_t *)((void *)0)))' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3924:9-3924:52)
[Warning][Deadcode][CWE-570] condition 'i == (unsigned long )bufsize' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3166:10-3166: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/od-4.i:5013:6-5013:25)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )in_stream == (unsigned long )((struct _IO_FILE *)((void *)0)))' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3173:13-3173:61)
[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/od-4.i:5013:6-5013:25)
[Warning][Deadcode][CWE-570] condition '! (return_value_parse_old_offset$5 == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3952:12-3952:51)
[Warning][Deadcode][CWE-570] condition '! (return_value_parse_old_offset$7 == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3964:14-3964:53)
[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/od-4.i:5028:8-5028: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/od-4.i:5028:8-5028:27)
[Warning][Deadcode][CWE-570] condition '! ((int )tmp_if_expr$9 == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3971:14-3971:42)
[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/od-4.i:5028:8-5028:27)
[Warning][Deadcode][CWE-570] condition 'i == (unsigned long )bufsize' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3166:10-3166:41)
[Warning][Deadcode][CWE-570] condition '! (return_value_parse_old_offset$6 == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3980:16-3980:55)
[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/od-4.i:5028:8-5028:27)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )in_stream == (unsigned long )((struct _IO_FILE *)((void *)0)))' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3173:13-3173:61)
[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/od-4.i:5028:8-5028:27)
[Warning][Deadcode][CWE-570] condition '! (return_value_parse_old_offset$10 == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3997:16-3997: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/od-4.i:3639:25-3639: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/od-4.i:5028:8-5028: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/od-4.i:5028:8-5028:27)
[Warning][Deadcode][CWE-570] condition '! ((int )tmp_if_expr$12 == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4004:16-4004:45)
[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/od-4.i:5028:8-5028:27)
[Warning][Deadcode][CWE-570] condition 'pseudo_start >= 0l' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4017:10-4017:28)
[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/od-4.i:5028:8-5028: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/od-4.i:5028:8-5028:27)
[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/od-4.i:5028:8-5028:27)
[Warning][Deadcode][CWE-571] condition '! (bytes_per_block == 0u)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4049:8-4049:32)
[Warning][Deadcode][CWE-571] condition '! (v == 0u)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3354:6-3354: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/od-4.i:5028:8-5028:27)
[Warning][Deadcode][CWE-571] condition '! (v == 0u)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3356:8-3356:18)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )in_stream == (unsigned long )((struct _IO_FILE *)((void *)0)))' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3173:13-3173:61)
[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/od-4.i:3639:25-3639: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/od-4.i:5028:8-5028:27)
[Warning][Deadcode][CWE-571] condition '! (v == 0u)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3356:8-3356: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/od-4.i:5028:8-5028: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/od-4.i:5028:8-5028: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/od-4.i:5028:8-5028: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/od-4.i:4091:6-4091:46)
[Warning][Deadcode][CWE-571] condition '! (v == 0u)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3356:8-3356: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/od-4.i:5028:8-5028: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/od-4.i:5028:8-5028: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/od-4.i:4091:6-4091:46)
[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/od-4.i:5028:8-5028: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/od-4.i:5028:8-5028: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/od-4.i:4091:6-4091:46)
[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/od-4.i:5028:8-5028:27)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )format_address == (unsigned long )((void (*)(long  , char  ))((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3202:8-3202:75)
[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/od-4.i:5028:8-5028: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/od-4.i:3208:11-3208: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/od-4.i:3639:25-3639:33)
[Warning][Deadcode][CWE-571] condition '! (208 + (int )((unsigned char )((int )*s)) <= 9)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4110:6-4110:61)
[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/od-4.i:5028:8-5028: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/od-4.i:5028:8-5028: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/od-4.i:5028:8-5028: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/od-4.i:5028:8-5028:27)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:22:73-22:74)
[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/od-4.i:5028:8-5028: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/od-4.i:3208:11-3208: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/od-4.i:5028:8-5028: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/od-4.i:5028:8-5028: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/od-4.i:5028:8-5028: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/od-4.i:5028:8-5028:27)
[Warning][Deadcode][CWE-571] condition '! (n_skip == 0l)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4564:6-4564:21)
[Warning][Deadcode][CWE-570] condition 'c >= 32' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3424:8-3424: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/od-4.i:3508:9-3508: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/od-4.i:5028:8-5028:27)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )s == (unsigned long )((unsigned char const   *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3510:8-3510: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/od-4.i:5028:8-5028: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/od-4.i:3438:13-3438: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/od-4.i:3438:13-3438: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/od-4.i:3208:11-3208:19)
[Warning][Deadcode][CWE-571] condition 'i == 0ul' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4604:10-4604: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/od-4.i:3438:13-3438:22)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )format_address == (unsigned long )((void (*)(long  , char  ))((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4606:12-4606:79)
[Warning][Deadcode][CWE-570] condition 'c >= 32' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3424:8-3424:15)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )datum_width == 0ul)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4632:12-4632: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/od-4.i:3438:13-3438: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/od-4.i:3438:13-3438:22)
[Warning][Deadcode][CWE-570] condition 'i == 0ul' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4604:10-4604: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/od-4.i:3143:9-3143: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/od-4.i:3438:13-3438: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/od-4.i:2670:9-2670: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/od-4.i:2670:9-2670:17)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )datum_width == 0ul)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4632:12-4632:52)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )in_stream == (unsigned long )((struct _IO_FILE *)((void *)0)))' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3173:13-3173:61)
[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/od-4.i:3438:13-3438: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/od-4.i:2670:9-2670:17)
[Warning][Deadcode][CWE-570] condition 'i == 0ul' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4604:10-4604: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/od-4.i:3438:13-3438: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/od-4.i:3438:13-3438:22)
[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/od-4.i:2698:6-2698:66)
[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/od-4.i:3444:6-3444:59)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )datum_width == 0ul)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4632:12-4632:52)
[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/od-4.i:2707:6-2707: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/od-4.i:3639:25-3639:33)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )in_stream == (unsigned long )((struct _IO_FILE *)((void *)0)))' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3173:13-3173:61)
[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/od-4.i:2721:6-2721:59)
[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/od-4.i:4683:6-4683:24)
[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/od-4.i:4693:6-4693: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/od-4.i:3480:11-3480: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/od-4.i:3639:25-3639: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/od-4.i:3480:11-3480:20)
[Warning][Deadcode][CWE-570] condition '208 + (int )((unsigned char )((int )*s)) <= 9' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2771:10-2771:62)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )in_stream == (unsigned long )((struct _IO_FILE *)((void *)0)))' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3173:13-3173:61)
[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/od-4.i:3480:11-3480:20)
[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/od-4.i:3484:10-3484:50)
[Warning][Deadcode][CWE-571] condition '(long )size < 9l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2806:8-2806: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/od-4.i:3639:25-3639:33)
[Warning][Deadcode][CWE-570] condition 'size_spec == 5' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2838:8-2838:22)
[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/od-4.i:3484:10-3484:50)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )format_address == (unsigned long )((void (*)(long  , char  ))((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3202:8-3202:75)
[Warning][Deadcode][CWE-571] condition 'r >= lower' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4762:14-4762: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/od-4.i:3208:11-3208:19)
[Warning][Deadcode][CWE-570] condition '208 + (int )((unsigned char )((int )*s)) <= 9' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2886:10-2886:62)
[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/od-4.i:3484:10-3484: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/od-4.i:3208:11-3208:19)
[Warning][Deadcode][CWE-571] condition '*bb_errno == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4812:10-4812:24)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )suffixes == (unsigned long )((struct suffix_mult *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4815:12-4815:62)
[Warning][Deadcode][CWE-571] condition '(long )size < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2919:8-2919:35)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3508:9-3508: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/od-4.i:3510:8-3510: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/od-4.i:3208:11-3208:19)
[Warning][Deadcode][CWE-571] condition 'r >= lower' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4835:14-4835:24)
[Warning][Deadcode][CWE-571] condition 'upper >= r' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4837:16-4837:26)
[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/od-4.i:2989:11-2989:19)
[Warning][Deadcode][CWE-570] condition 'offset > 9223372036854775807L' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:4881:6-4881:35)
[Warning][Deadcode][CWE-571] condition '8l * (long )idx >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2998:10-2998:41)
[Warning][Deadcode][CWE-571] condition '(long )idx < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3002:10-3002:35)
[Warning][Deadcode][CWE-571] condition '8l * (long )(1 ^ idx) >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3010:10-3010:47)
[Warning][Deadcode][CWE-571] condition '(long )(1 ^ idx) < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3014:10-3014:41)
[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/od-4.i:3143:9-3143:17)
[Warning][Deadcode][CWE-571] condition '8l * (long )idx >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3018:10-3018:41)
[Warning][Deadcode][CWE-571] condition '(long )idx < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3022:10-3022:35)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2989:11-2989: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/od-4.i:3744:9-3744:18)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )in_stream == (unsigned long )((struct _IO_FILE *)((void *)0)))' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3173:13-3173:61)
[Warning][Deadcode][CWE-571] condition '8l * (long )idx >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2998:10-2998:41)
[Warning][Deadcode][CWE-571] condition '(long )idx < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3002:10-3002:35)
[Warning][Deadcode][CWE-571] condition '8l * (long )(1 ^ idx) >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3010:10-3010:47)
[Warning][Deadcode][CWE-571] condition '(long )(1 ^ idx) < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3014:10-3014:41)
[Warning][Deadcode][CWE-571] condition '8l * (long )idx >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3018:10-3018:41)
[Warning][Deadcode][CWE-571] condition '(long )idx < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3022:10-3022:35)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:2989:11-2989: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/od-4.i:3744:9-3744: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/od-4.i:3639:25-3639:33)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )in_stream == (unsigned long )((struct _IO_FILE *)((void *)0)))' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3173:13-3173:61)
[Warning][Deadcode][CWE-571] condition '(long )idx < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3022:10-3022:35)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3031:8-3031:35)
[Warning][Deadcode][CWE-571] condition '8l * (long )idx >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3033:10-3033:41)
[Warning][Deadcode][CWE-571] condition '(long )idx < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3037:10-3037:35)
[Warning][Deadcode][CWE-571] condition '8l * (long )(1 ^ idx) >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3045:10-3045:47)
[Warning][Deadcode][CWE-571] condition '(long )(1 ^ idx) < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3049:10-3049:41)
[Warning][Deadcode][CWE-571] condition '8l * (long )idx >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3053:10-3053:41)
[Warning][Deadcode][CWE-571] condition '(long )idx < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3057:10-3057:35)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3031:8-3031:35)
[Warning][Deadcode][CWE-571] condition '8l * (long )idx >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3033:10-3033:41)
[Warning][Deadcode][CWE-571] condition '(long )idx < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3037:10-3037:35)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3744:9-3744: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/od-4.i:3639:25-3639:33)
[Warning][Deadcode][CWE-571] condition '8l * (long )(1 ^ idx) >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3045:10-3045:47)
[Warning][Deadcode][CWE-571] condition '(long )(1 ^ idx) < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3049:10-3049:41)
[Warning][Deadcode][CWE-571] condition '8l * (long )idx >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3053:10-3053:41)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )in_stream == (unsigned long )((struct _IO_FILE *)((void *)0)))' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3173:13-3173:61)
[Warning][Deadcode][CWE-571] condition '(long )idx < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3057:10-3057:35)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3031:8-3031:35)
[Warning][Deadcode][CWE-571] condition '(long )idx < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3057:10-3057:35)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3639:25-3639:33)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )format_address == (unsigned long )((void (*)(long  , char  ))((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3202:8-3202:75)
[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/od-4.i:3208:11-3208:19)
[Warning][Deadcode][CWE-570] condition 't == 0u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3813:6-3813:13)
[Warning][Deadcode][CWE-571] condition '(long )idx < 2l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3095:8-3095:33)
[Warning][Deadcode][CWE-571] condition '! (t == 0u)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3815:6-3815:16)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )format_address == (unsigned long )((void (*)(long  , char  ))((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/od-4.i:3102:6-3102:73)
[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/od-4.i:4993:9-4993:29)
SV-COMP result: unknown
[Info][Witness] witness generation summary:
  total generation entries: 1
[Warning][Unsound][Call] No suitable function to call
