./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_valid-memsafety/chgrp-incomplete-1.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_valid-memsafety/chgrp-incomplete-1.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/valid-memsafety.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-free) ) -> enabling soundness analyses "base, useAfterFree"[0;0;00m
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-deref) ) -> enabling soundness analyses "base, memOutOfBounds"[0;0;00m
[0;34m[Info] Setting "ana.arrayoob" to true[0;0;00m
[0;34m[Info] Setting "cil.addNestedScopeAttr" to true[0;0;00m
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-memtrack) ) -> enabling soundness analyses "memLeak"[0;0;00m
[0;34m[Info] Setting "ana.malloc.unique_address_count" to 5[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2337:3-2348:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2363:3-2374:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2381:3-2389:35 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2425:3-2426:53 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2427:3-2428:53 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:3-2480:3 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2486:3-2492:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2506:3-2507:34 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2521:5-2522:42 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2516:3-2523:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2525:3-2526:23 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] longjmp -> enabling longjmp analyses "activeLongjmp, activeSetjmp, taintPartialContexts, modifiedSinceSetjmp, poisonVariables, expsplit, vla"
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G valid-free) )
CHECK( init(main()), LTL(G valid-deref) )
CHECK( init(main()), LTL(G valid-memtrack) )
[Info][Witness] couldn't parse entry: find uuid
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] Memory leak detected for heap variables (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2513:8-2513:45)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2513:8-2513:45)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2513:8-2513:45)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2514:8-2514:50)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2514:8-2514:50)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2514:8-2514:50)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2515:3-2515:15)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2515:3-2515:15)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2515:3-2515:15)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[-17179869184,17179869176],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2515:3-2515:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2518:5-2518:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2518:5-2518:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2518:5-2518:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (0). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2518:5-2518:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2519:5-2519:25)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2519:5-2519:25)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2519:5-2519:25)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (0). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2519:5-2519:25)
[Warning][Unknown] Pointer *(argv + i___0) + 10 has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + 10 is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + 10 is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (0). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (0). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (0). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (0). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (0). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (0). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (0). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (0). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (0). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (0). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[48,17179869168],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2518:5-2518:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2518:5-2518:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2518:5-2518:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[48,17179869168],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2518:5-2518:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2518:5-2518:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2518:5-2518:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2518:5-2518:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2518:5-2518:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2518:5-2518:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2519:5-2519:25)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2519:5-2519:25)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2519:5-2519:25)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[48,17179869168],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2519:5-2519:25)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2519:5-2519:25)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2519:5-2519:25)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2519:5-2519:25)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2519:5-2519:25)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2519:5-2519:25)
[Warning][Unknown] Pointer *(argv + i___0) + 10 has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + 10 is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + 10 is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[48,17179869168],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2520:5-2520:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[48,17179869168],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[48,17179869168],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[48,17179869168],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[48,17179869168],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[48,17179869168],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[48,17179869168],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[48,17179869168],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) + j has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Size of lval dereference expression *(argv + i___0) + j is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > Other] Pointer *(argv + i___0) contains an unknown address. Invalid dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Unknown] Pointer *(argv + i___0) has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer *(argv + i___0) in expression *(argv + i___0) + j is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[48,17179869168],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2522:7-2522:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (8) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Pointer *p has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Size of lval dereference expression *p is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (8) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2398:3-2398:38)
[Info][Unsound] Unknown address in {&string_ptr} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2398:3-2398:38)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2398:3-2398:38)
[Warning][Unknown] Pointer fmt + s has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479:59)
[Warning][Unknown] Size of lval dereference expression fmt + s is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479:59)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer fmt in expression fmt + s is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479:59)
[Warning][Unknown] Pointer fmt + s has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479:59)
[Warning][Unknown] Size of lval dereference expression fmt + s is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479:59)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer fmt in expression fmt + s is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479:59)
[Warning][Unknown] Pointer fmt + s has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479:59)
[Warning][Unknown] Size of lval dereference expression fmt + s is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479:59)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer fmt in expression fmt + s is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479:59)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset (2). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2488:6-2488:41)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset (2). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2489:9-2489:22)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset (3). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2488:6-2488:41)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset (3). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2489:9-2489:22)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset (4). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2488:6-2488:41)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset (4). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2489:9-2489:22)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset (5). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2488:6-2488:41)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset (5). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2489:9-2489:22)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset (6). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2488:6-2488:41)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset (6). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2489:9-2489:22)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset (7). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2488:6-2488:41)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset (7). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2489:9-2489:22)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset ((Unknown int([-31,32]),[8,2147483646],not {} ([-31,31]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2488:6-2488:41)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Not {0}([0,31]),[1,2147483647],not {0} ([0,31]))) with offset ((Unknown int([-31,32]),[8,2147483646],not {} ([-31,31]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2489:9-2489:22)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:881(#0)), (alloc@sid:954(#0)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2249:3-2249:49)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2265:3-2265:29)
[Info][Unsound] Unknown address in {&msg} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2265:3-2265:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2265:3-2265:29)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479:59)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479:59)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (14) with offset (⊤). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479:59)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2480:47-2480:64)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2480:73-2480:84)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2270:3-2270:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2270:3-2270:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2285:3-2285:116)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2285:3-2285:116)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2285:3-2285:116)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2285:3-2285:116)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Unknown int([0,32]),[0,4294967295],not {} ([0,32]))) with address offset (0) count ((Unknown int([0,31]),[0,2147483647],not {} ([0,31]))) in function memmove. Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2300:5-2300:101)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Unknown int([0,32]),[0,4294967295],not {} ([0,32]))) with address offset ((Unknown int([-31,32]),[-2147483648,2147483647],not {} ([-31,31]))) count ((Unknown int([0,31]),[0,2147483647],not {} ([0,31]))) in function memmove. Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2300:5-2300:101)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2301:5-2301:29)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2303:5-2303:54)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-7,32]),[-1,4294967294],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2303:5-2303:54)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Unknown int([0,32]),[0,4294967295],not {} ([0,32]))) with offset ((Unknown int([-31,32]),[-2147483648,2147483645],not {} ([-31,31]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2303:5-2303:54)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2304:5-2304:54)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-7,32]),[-1,4294967294],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2304:5-2304:54)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size ((Unknown int([0,32]),[0,4294967295],not {} ([0,32]))) with offset ((Unknown int([-31,32]),[-2147483648,2147483646],not {} ([-31,31]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2304:5-2304:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2320:5-2320:29)
[Info][Imprecise] Invalidating expressions: (struct _IO_FILE *)((void *)0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2356:3-2356:63)
[Info][Imprecise] Invalidating expressions: & return_value_fflush$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2356:3-2356:63)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2325:5-2325:62)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2325:5-2325:62)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2365:5-2365:32)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:881(#0)), (alloc@sid:44(#0)), (alloc@sid:954(#0)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2363:6-2363:58)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2365:5-2365:32)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2372:5-2372:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2373:5-2373:49)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2363:6-2363:58)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2365:5-2365:32)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2383:5-2383:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2372:5-2372:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2373:5-2373:49)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2363:6-2363:58)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2365:5-2365:32)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2372:5-2372:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2373:5-2373:49)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2363:6-2363:58)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2365:5-2365:32)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2372:5-2372:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2373:5-2373:49)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2363:6-2363:58)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2372:5-2372:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2373:5-2373:49)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2363:6-2363:58)
[Info][Unsound] Unknown value in {&(alloc@sid:44(#0))[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2365:5-2365:32)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:881(#0)), (alloc@sid:954(#0)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2251:3-2251:10)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] Memory leak detected for heap variables (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2251:3-2251:10)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (16) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Pointer *p has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Size of lval dereference expression *p is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (16) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (24) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Pointer *p has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Size of lval dereference expression *p is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (24) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (32) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Pointer *p has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Size of lval dereference expression *p is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (32) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (40) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Pointer *p has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Size of lval dereference expression *p is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (40) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (48) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Pointer *p has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Size of lval dereference expression *p is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (48) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (48). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (56) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Pointer *p has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Size of lval dereference expression *p is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (56) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (56). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (64) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Pointer *p has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Size of lval dereference expression *p is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by (64) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (64). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by ((Unknown int([-63,63]),[72,9223372036854775807],not {} ([-63,63]))) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2340:8-2340:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Pointer *p has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Unknown] Size of lval dereference expression *p is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (⊤) (in bytes) with offset by ((Unknown int([-63,63]),[72,9223372036854775807],not {} ([-63,63]))) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2342:8-2342:34)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2339:5-2339:15)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[72,9223372036854775807],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2344:7-2344:68)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2350:3-2350:51)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:881(#0)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:881(#0)), (alloc@sid:44(#0)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:881(#0)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2251:3-2251:10)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:44(#0)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2251:3-2251:10)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#0)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:44(#0)), (alloc@sid:954(#0)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#0)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2251:3-2251:10)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:44(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2251:3-2251:10)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#4)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:44(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#4)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#4)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2251:3-2251:10)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:44(#0)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:873(#0)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2251:3-2251:10)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:954), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#4)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:954), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:44(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#4)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:9:14-9:21)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:871(#0)), (alloc@sid:954), (alloc@sid:873(#0)), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#4)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2251:3-2251:10)
[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/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (0). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526: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/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (8). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526: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/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (16). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526: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/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (24). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526: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/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (32). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526: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/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (40). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526: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/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (48). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526: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/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (56). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526: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/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (64). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526: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/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (72). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526: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/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (80). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526: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/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset (88). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526: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/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of lval dereference expression ((Unknown int([-63,63]),[-9223372036854775808,9223372036854775806],not {} ([-63,63]))) (in bytes) with offset by (0) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare pointer size (⊤) with offset ((Unknown int([-63,63]),[96,17179869168],not {} ([-63,63]))). Memory out-of-bounds access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2526:5-2526:23)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#4)), (alloc@sid:954(#0)), (alloc@sid:954(#2)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] Memory leak detected for heap variables (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#4)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954), (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#4)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#4)), (alloc@sid:954(#0)), (alloc@sid:954(#2)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#4)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#4)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#0)), (alloc@sid:954(#2)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#3)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#0)), (alloc@sid:954(#2)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#0)), (alloc@sid:954(#2)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#0)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:954(#1)), (alloc@sid:881(#0)), (alloc@sid:954(#0)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:881(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:881(#0)), (alloc@sid:954(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:881(#0)), (alloc@sid:954(#0)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:881(#0)), (alloc@sid:954(#0)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:881(#0)), (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:881(#0)), (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:685(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] There is unreachable allocated heap memory at program exit. A memory leak might occur for the alloc vars (alloc@sid:674(#0)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2530:10-2530:13)
[Warning][Deadcode] Function 'reach_error' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:22:1-22:169)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:76:1-80:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:81:1-85:1)
[Warning][Deadcode] Function 'syslog' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2331:1-2333:1)
[Warning][Deadcode] Function 'xfunc_die' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2404:1-2413:1)
[Warning][Deadcode] Function 'sleep' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2414:1-2418:1)
[Warning][Deadcode] Function 'getutent' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2420:1-2430:1)
[Warning][Deadcode] Function 'getopt' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2431:1-2457:1)
[Warning][Deadcode] Function 'getopt_long' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2458:1-2464:1)
[Warning][Deadcode] Function 'read' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2465:1-2473:1)
[Warning][Deadcode] Function 'bb_verror_msg' has dead code:
  on line 2262 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2262-2262)
  on line 2264 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2264-2264)
  on lines 2275..2276 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2275-2276)
  on lines 2292..2295 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2292-2295)
  on line 2307 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2307-2307)
  on lines 2309..2314 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2309-2314)
  on lines 2316..2317 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2316-2317)
  on line 2328 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2328-2328)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 126
  dead: 63 (45 in uncalled functions)
  total lines: 189
[Warning][Deadcode][CWE-571] condition '! ((1 & (int )logmode) == 0)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2322:6-2322:39)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2521:8-2521:27)
[Warning][Deadcode][CWE-570] condition '! (total == 0l)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2368:10-2368:24)
[Warning][Deadcode][CWE-570] condition '! ((2 & (int )logmode) == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2327:6-2327:39)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2521:8-2521: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/chgrp-incomplete-1.i:2521:8-2521: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/chgrp-incomplete-1.i:2521:8-2521: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/chgrp-incomplete-1.i:2348:9-2348: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/chgrp-incomplete-1.i:2521:8-2521: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/chgrp-incomplete-1.i:2521:8-2521: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/chgrp-incomplete-1.i:2348:9-2348:18)
[Warning][Deadcode][CWE-570] condition '(int const   )*(fmt + s) == 37' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479: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/chgrp-incomplete-1.i:2348:9-2348: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/chgrp-incomplete-1.i:2521:8-2521: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/chgrp-incomplete-1.i:2521:8-2521:27)
[Warning][Deadcode][CWE-570] condition '(int const   )*(fmt + s) == 37' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479: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/chgrp-incomplete-1.i:2348:9-2348: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/chgrp-incomplete-1.i:2521:8-2521: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/chgrp-incomplete-1.i:2521:8-2521:27)
[Warning][Deadcode][CWE-570] condition '(int const   )*(fmt + s) == 37' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479: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/chgrp-incomplete-1.i:2348:9-2348: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/chgrp-incomplete-1.i:2521:8-2521: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/chgrp-incomplete-1.i:2521:8-2521:27)
[Warning][Deadcode][CWE-570] condition '(int )logmode == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2261:6-2261:30)
[Warning][Deadcode][CWE-570] condition '(int const   )*(fmt + s) == 37' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2479:46-2479: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/chgrp-incomplete-1.i:2348:9-2348:18)
[Warning][Deadcode][CWE-570] condition '(unsigned long )s == (unsigned long )((char const   *)((void *)0))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2263:6-2263:38)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2521:8-2521:27)
[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/chgrp-incomplete-1.i:2506:6-2506:25)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2521:8-2521: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/chgrp-incomplete-1.i:2348:9-2348:18)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )strerr == (unsigned long )((char const   *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2273:6-2273:46)
[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/chgrp-incomplete-1.i:2506:6-2506: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/chgrp-incomplete-1.i:2506:6-2506: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/chgrp-incomplete-1.i:2348:9-2348:18)
[Warning][Deadcode][CWE-570] condition '(unsigned long )msg1 == (unsigned long )((char *)((void *)0))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2290:6-2290:35)
[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/chgrp-incomplete-1.i:2506:6-2506:25)
[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/chgrp-incomplete-1.i:2486:9-2486:29)
[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/chgrp-incomplete-1.i:2506:6-2506: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/chgrp-incomplete-1.i:2348:9-2348:18)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )strerr == (unsigned long )((char const   *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2305:8-2305:48)
[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/chgrp-incomplete-1.i:2506:6-2506:25)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2521:8-2521:27)
[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/chgrp-incomplete-1.i:2506:6-2506:25)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/chgrp-incomplete-1.i:2521:8-2521:27)
[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/chgrp-incomplete-1.i:2506:6-2506:25)
[Info][Witness] witness validation summary:
  confirmed: 0
  unconfirmed: 0
  refuted: 0
  error: 1
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 1
SV-COMP result: ERROR (witness error)
