-
Notifications
You must be signed in to change notification settings - Fork 3
/
output-exp@symbiotic
32 lines (32 loc) · 3.11 KB
/
output-exp@symbiotic
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
Error: SYMBIOTIC_WARNING:
test-0006.c:12: error: memory error: out of bound pointer
test-0006.c:12: note: argv: test-0006.c
test-0006.c:12: note: call stack: function main ()
test-0006.c:12: note: Additional Info: address: 34:96
test-0006.c:12: note: Additional Info: pointing to: object at Segment: [34] of size 99
test-0006.c:12: note: Additional Info: MO23[99] allocated at main(): %24 = alloca i8, i64 %23, align 16, !dbg !15
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)
test-0006.c:12:18: note: Non-deterministic values: __VERIFIER_nondet_int: len 4 bytes, [4 times 0x0] (i32: 0)