Tool CPAchecker 1.6.1-svn 26773
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-12-01 08:22:21 CET
Run set [sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other]
Options -svcomp18 -heap 10000M -benchmark -timelimit 900s
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
array-memsafety/add_last_unsafe_false-valid-deref.i error 2.5 220 22
array-memsafety/bubblesort_unsafe_false-valid-deref.i timeout (segmentation fault) 900   12000 7400
array-memsafety/count_down_unsafe_false-valid-deref.i error 2.9 240 24
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 2.5 240 19
array-memsafety/cstrchr_unsafe_false-valid-deref.i error 2.5 210 24
array-memsafety/cstrlen_unsafe_false-valid-deref.i error 2.8 240 27
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 2.5 250 21
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 2.5 250 21
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i error 2.8 240 22
array-memsafety/diff_usafe_false-valid-deref.i segmentation fault 810   9700 7300
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i error 2.7 240 25
array-memsafety/lis_unsafe_false-valid-deref.i error 2.5 210 22
array-memsafety/mult_array_unsafe_false-valid-deref.i error 2.7 240 22
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i error 2.6 210 23
array-memsafety/reverse_array_unsafe_false-valid-deref.i error 2.5 220 20
array-memsafety/selectionsort_unsafe_false-valid-deref.i segmentation fault 620   7600 5900
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 2.5 250 24
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i error 2.5 210 26
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i error 2.5 220 21
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i error 2.8 240 28
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i error 2.6 220 23
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i error 2.4 220 22
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i error 2.8 240 24
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i error 2.5 220 25
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i error 2.6 210 22
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i error 2.6 220 22
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i error 2.6 220 26
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i error 2.7 240 26
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i error 2.6 220 26
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i error 2.7 240 24
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i error 2.7 240 22
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i error 2.5 210 23
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i error 2.5 220 21
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i error 2.5 210 23
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i error 2.6 220 23
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i error 2.7 240 24
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i error 2.6 220 22
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error 2.6 220 21
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i error 2.5 220 23
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i error 2.7 240 24
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i error 2.6 240 26
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i error 2.5 220 25
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i error 2.8 240 23
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i error 2.5 220 20
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i error 2.9 240 22
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i error 2.9 240 24
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i error 2.7 240 29
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i error 2.7 210 26
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i error 2.5 220 23
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i error 2.7 240 26
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i error 2.5 220 25
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i error 2.6 220 26
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i error 2.5 220 26
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i error 2.5 220 23
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i error 2.7 240 22
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i error 2.6 220 23
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i error 2.6 220 26
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i error 2.7 240 25
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i error 2.6 220 25
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i error 2.6 220 26
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i error 2.5 220 22
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i error 2.5 220 26
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i error 2.5 220 21
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i error 2.9 240 27
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i error 2.5 220 22
array-examples/relax_false-valid-deref.i error 2.8 240 24
array-examples/sanfoundry_24_false-valid-deref.i timeout 900   5000 12000
array-examples/standard_strcpy_false-valid-deref_ground.i false(valid-deref) 2.4 250 22
array-examples/standard_strcpy_original_false-valid-deref.i false(valid-deref) 2.4 250 22
memsafety/960521-1_false-valid-deref.i false(valid-deref) 9.9 750 78
memsafety/test-0137_false-valid-deref.i timeout 900   5300 5500
memsafety/test-0235_false-valid-deref.i timeout 900   5700 6500
memsafety/960521-1_false-valid-free.i false(valid-free) 10   750 74
memsafety/test-0158_false-valid-free.i false(valid-free) 3.2 280 30
memsafety/test-0232_false-valid-free.i timeout 910   4300 8800
memsafety/20020406-1_false-valid-memtrack.i error (recursion) 3.2 260 26
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 3.3 280 29
memsafety/lockfree-3.1_false-valid-memtrack.i timeout 900   1600 10000
memsafety/lockfree-3.2_false-valid-memtrack.i timeout 910   2700 7600
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 910   2400 11000
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.3 280 29
memsafety/test-0102_false-valid-memtrack.i timeout 910   5400 5700
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.2 280 30
memsafety/test-0220_false-valid-memtrack.i timeout 900   5200 4900
memsafety/test-0232_false-valid-memtrack.i timeout (exception) 910   5300 5800
memsafety/test-0234_false-valid-memtrack.i timeout 900   5700 9200
memsafety/test-0235_false-valid-memtrack.i timeout 900   5700 8800
memsafety/960521-1_true-valid-memsafety.i timeout 970   11000 8300
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 910   2400 8400
memsafety/test-0019_true-valid-memsafety_true-termination.i true 3.0 260 26
memsafety/test-0102_true-valid-memsafety.i timeout 900   5400 7800
memsafety/test-0134_true-valid-memsafety.i timeout 900   5300 6000
memsafety/test-0158_true-valid-memsafety_true-termination.i true 2.9 260 24
memsafety/test-0214_true-valid-memsafety_false-termination.i error (parsing failed) 1.9 170 20
memsafety/test-0217_true-valid-memsafety_false-termination.i error (parsing failed) 1.9 170 18
memsafety/test-0218_true-valid-memsafety_false-termination.i error (parsing failed) 1.8 150 18
memsafety/test-0219_true-valid-memsafety.i timeout 900   5400 5700
memsafety/test-0232_true-valid-memsafety.i timeout 900   1900 7700
memsafety/test-0234_true-valid-memsafety.i timeout 910   5700 7700
memsafety/test-0235_true-valid-memsafety.i timeout 900   5700 7300
memsafety/test-0236_true-valid-memsafety.i timeout 900   5600 7500
memsafety/test-0237_true-valid-memsafety.i timeout 900   5600 8500
memsafety/test-0504_true-valid-memsafety.i timeout 920   11000 5400
memsafety/test-0513_true-valid-memsafety.i timeout (segmentation fault) 920   11000 4700
memsafety/test-0521_true-valid-memsafety.i timeout 900   11000 5100
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true 3.1 260 25
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 910   11000 7000
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 920   12000 8100
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 970   12000 7600
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (segmentation fault) 930   11000 6600
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (segmentation fault) 920   11000 7000
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 940   11000 5600
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (segmentation fault) 910   11000 5900
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 910   11000 6300
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (segmentation fault) 950   13000 9700
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i false(valid-memtrack) 3.6 260 29
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 900   11000 5300
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 910   4700 9000
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 900   4900 6000
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 900   9000 8000
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 910   11000 5600
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 900   3200 9600
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 910   5400 5400
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 970   13000 8300
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 5.6 310 46
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 5.7 310 48
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i timeout 910   6100 6900
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 6.1 310 53
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 3.1 250 24
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.0 250 26
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.0 260 29
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.5 300 43
list-ext-properties/960521-1_1_true-valid-memsafety.i true 9.4 570 73
list-ext-properties/list-ext_1_true-valid-memsafety.i true 30   1800 190
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 900   7400 6300
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 20   910 140
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 3.1 280 27
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 3.2 280 30
list-ext-properties/test-0214_1_true-valid-memsafety.i error (parsing failed) 2.0 160 17
list-ext-properties/test-0217_1_true-valid-memsafety.i error (parsing failed) 1.9 170 15
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i true 7.8 490 64
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 910   5800 4900
list-ext-properties/test-0513_1_true-valid-memsafety.i true 4.0 270 31
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout (exception) 900   920 13000
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 2.6 250 23
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 2.4 250 20
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 2.4 250 24
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 2.4 250 20
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 8.7 410 65
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 10   510 61
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 2.3 240 22
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 2.7 270 23
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 2.3 250 21
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 2.4 250 25
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 2.4 240 22
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 2.4 250 21
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c true 77   4800 580
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 12   830 99
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 8.0 490 58
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 12   830 95
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 36   4100 320
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 6.5 440 50
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 2.4 250 22
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 2.5 250 23
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 2.4 240 21
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 2.4 250 21
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 2.4 240 21
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 2.3 240 20
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 2.3 240 21
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 2.4 240 23
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 2.3 240 21
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 3.6 270 33
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 3.7 270 31
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 3.7 260 30
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 4.0 270 38
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 4.1 290 38
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 3.6 260 30
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-free) 4.6 290 37
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 4.3 280 34
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 3.6 270 32
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 3.5 260 28
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 3.6 290 34
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 3.9 290 36
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 3.3 260 28
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.6 270 35
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.6 260 32
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.4 260 30
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 3.5 270 36
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.4 260 32
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 3.8 270 32
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 3.8 290 31
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.6 290 35
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.4 290 30
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 4.2 270 36
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 4.1 270 35
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.0 270 33
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.1 290 35
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.8 260 32
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.4 260 32
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.7 280 34
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.4 260 29
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.5 260 33
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.4 260 30
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.7 290 31
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.5 260 32
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.6 290 30
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.3 260 28
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.6 290 33
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.4 260 31
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.0 290 31
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.4 290 33
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.7 290 27
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.6 300 31
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i true 3.6 270 29
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i true 3.7 270 32
ldv-memsafety/memleaks_test12_true-valid-memsafety.i true 4.8 280 37
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 3.6 270 31
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 3.4 260 30
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i true 3.7 270 33
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 3.6 290 29
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i true 4.7 290 39
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i error 3.2 270 27
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i true 4.5 280 37
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true 3.8 270 31
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 3.4 260 27
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 3.6 270 33
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 3.5 260 29
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i true 3.6 270 28
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i true 3.7 270 32
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i true 3.7 270 27
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i true 4.5 290 39
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i true 4.3 270 36
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 3.7 290 31
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 3.7 290 35
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 3.6 290 34
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 3.8 290 32
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 3.6 270 30
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 3.4 280 29
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 3.4 260 31
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i true 2.4 250 21
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i true 2.6 270 24
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i true 2.8 270 22
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i true 2.4 250 22
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i true 2.5 250 22
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 2.4 250 24
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i false(valid-deref) 2.6 270 23
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 2.5 250 24
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) 2.6 260 25
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) 2.5 250 25
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 910   5300 6700
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error (recursion) 2.9 260 26
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 910   11000 5600
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 920   5300 6400
heap-manipulation/tree_false-unreach-call_false-valid-deref.i timeout 920   11000 5200
heap-manipulation/tree_false-valid-deref.i timeout (segmentation fault) 920   11000 6600
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (segmentation fault) 940   11000 5300
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i timeout 930   11000 5700
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (segmentation fault) 920   11000 5400
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (segmentation fault) 940   11000 6200
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 910   11000 5600
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i timeout 940   11000 5900
list-properties/list_true-unreach-call_false-valid-memtrack.i timeout 920   11000 5800
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i timeout (segmentation fault) 920   11000 6400
list-properties/simple_true-unreach-call_false-valid-memtrack.i timeout 930   11000 6400
list-properties/splice_true-unreach-call_false-valid-memtrack.i timeout 910   11000 5700
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i true 5.6 290 46
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i true 6.2 300 51
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i true 6.2 300 50
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 5.8 310 47
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.1 300 52
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 5.9 300 51
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 5.9 280 52
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.2 310 46
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 5.7 300 51
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.0 300 44
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 5.9 300 56
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 5.9 310 46
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 5.8 310 42
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 900   11000 5600
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 900   9700 4600
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 940   11000 6200
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 970   11000 4800
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 930   11000 5600
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 930   11000 6200
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 930   11000 5800
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 940   11000 6300
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 920   11000 5600
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 920   11000 5000
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 910   11000 4800
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 960   10000 5600
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 940   11000 6100
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (exception) 920   11000 5300
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 910   11000 7700
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 910   11000 6300
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 910   11000 5600
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 900   11000 6700
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 900   11000 5600
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 970   11000 5900
forester-heap/sll-01_false-unreach-call_false-valid-deref.i timeout (segmentation fault) 940   11000 5500
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 970   11000 6200
loop-acceleration/array3_false-valid-deref.i false(valid-deref) 550   3600 6300
ntdrivers/floppy_false-valid-deref.i.cil.c false(valid-deref) 7.4 510 65
ntdrivers/kbfiltr_false-valid-deref.i.cil.c false(valid-deref) 3.9 270 36
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 37   1800 240
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 31   1900 210
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 900   7700 8700
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 50   4000 410
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 46   3600 390
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 80   4200 780
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 80   4400 580
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.7 350 56
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 15   690 130
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14   700 110
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 930   11000 5000
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 920   11000 5000
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 910   11000 4900
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 930   11000 4800
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c timeout 900   10000 7100
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 920   11000 4800
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c timeout 900   4500 6800
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 920   11000 5300
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c timeout 930   11000 4900
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900   11000 5300
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c timeout 920   11000 4800
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c timeout 930   11000 4400
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c timeout (exception) 920   11000 5000
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 326 93000 1000000 670000
    correct results 159 1700 80000 15000
        correct true 67 750 50000 6000
        correct false 92 920 30000 9400
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set [sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other]