Tool 2LS 0.7.2-sv-comp19
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-04 22:44:17 CET
Run set [sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup]
Options --graphml-witness witness.graphml
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
array-memsafety/add_last_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .17  26 1.5 
array-memsafety/bubblesort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .090 24 .68
array-memsafety/count_down_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .18  26 1.4 
array-memsafety/cstrcat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .083 24 .66
array-memsafety/cstrchr_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .17  26 1.4 
array-memsafety/cstrlen_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .17  26 1.5 
array-memsafety/cstrncat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .089 24 .83
array-memsafety/cstrncpy_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .084 24 .74
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .17  26 1.7 
array-memsafety/diff_usafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .084 24 .71
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .17  26 1.7 
array-memsafety/lis_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .18  26 1.5 
array-memsafety/mult_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .17  26 1.4 
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .16  26 1.5 
array-memsafety/reverse_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .16  26 1.9 
array-memsafety/selectionsort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .086 24 .70
array-memsafety/stroeder1_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .089 24 .76
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.5 
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.7 
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .15  26 1.9 
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .18  26 1.8 
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.7 
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.6 
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.5 
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.6 
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .18  26 1.3 
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.8 
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .18  26 1.3 
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.3 
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.9 
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.4 
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .15  26 1.9 
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.8 
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.8 
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.5 
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.3 
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.4 
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.9 
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.6 
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.2 
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.2 
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.5 
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .19  26 1.5 
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.7 
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.7 
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.5 
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .20  26 1.5 
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.5 
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 2.6 
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.5 
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.7 
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.4 
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.6 
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.5 
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.4 
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.6 
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.7 
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .21  26 1.4 
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.5 
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.6 
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.5 
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.4 
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .18  26 1.4 
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  26 1.7 
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.8 
array-examples/relax_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .16  26 1.8 
array-examples/sanfoundry_24_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .090 24 .73
array-examples/standard_strcpy_false-valid-deref_ground.i valid-deref valid-free valid-memtrack error (134) .092 23 1.2 
array-examples/standard_strcpy_original_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .099 23 .57
array-memsafety-realloc/array-realloc_false-valid-free.i valid-deref valid-free valid-memtrack error (134) .18  26 1.4 
array-memsafety-realloc/array-realloc_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .17  26 1.6 
memsafety/960521-1_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .17  26 1.9 
memsafety/test-0137_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .18  26 3.9 
memsafety/test-0235_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .31  27 2.9 
memsafety/960521-1_false-valid-free.i valid-deref valid-free valid-memtrack error (134) .17  26 1.5 
memsafety/test-0158_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .19  27 2.2 
memsafety/test-0232_false-valid-free.i valid-deref valid-free valid-memtrack error (5) 1.8   71 22   
memsafety/20020406-1_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .33  29 4.4 
memsafety/20051113-1.c_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .18  26 1.5 
memsafety/lockfree-3.1_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) 10     230 140   
memsafety/lockfree-3.2_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) 11     220 110   
memsafety/lockfree-3.3_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) 10     220 100   
memsafety/test-0019_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .18  26 2.0 
memsafety/test-0102_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .20  27 1.7 
memsafety/test-0158_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .18  26 1.9 
memsafety/test-0220_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .18  27 1.8 
memsafety/test-0232_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .99  51 12   
memsafety/test-0234_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .21  27 2.2 
memsafety/test-0235_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .27  27 2.8 
memsafety/960521-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .16  26 1.7 
memsafety/lockfree-3.0_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 10     220 120   
memsafety/test-0019_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .18  26 2.1 
memsafety/test-0102_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .19  26 2.2 
memsafety/test-0134_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .19  26 1.6 
memsafety/test-0158_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .17  26 1.7 
memsafety/test-0214_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error (134) .19  27 2.1 
memsafety/test-0217_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error (134) .17  27 1.8 
memsafety/test-0218_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error (134) .18  27 2.0 
memsafety/test-0219_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .18  27 2.2 
memsafety/test-0232_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) 2.0   86 22   
memsafety/test-0234_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .23  27 2.1 
memsafety/test-0235_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .29  27 2.8 
memsafety/test-0236_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .23  27 2.3 
memsafety/test-0237_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .23  27 2.7 
memsafety/test-0504_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 190     1800 2200   
memsafety/test-0513_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 14     290 150   
memsafety/test-0521_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     7100 10000   
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  26 1.5 
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.5   59 18   
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) 18     370 200   
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) 130     1300 1300   
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error (5) 26     500 240   
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900     5300 9400   
memsafety-ext/tree_of_cslls_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 260     3200 2100   
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error (5) 54     900 550   
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error (5) 33     670 420   
memsafety-ext2/split_list_test05_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900     7400 11000   
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .25  26 2.5 
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .21  26 2.1 
memsafety-ext2/length_test03_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) 130     1600 960   
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .17  26 1.7 
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .22  27 2.0 
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .21  26 2.3 
memsafety-ext2/length_test03_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 160     1700 1500   
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .17  26 1.5 
memsafety-ext2/split_list_test05_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     7800 10000   
list-ext-properties/960521-1_1_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .18  26 1.8 
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-memtrack) 22     260 230   
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) 2.0   54 24   
list-ext-properties/960521-1_1_false-valid-free.i valid-deref valid-free valid-memtrack error (134) .18  26 1.5 
list-ext-properties/test-0158_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .19  25 2.0 
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .20  26 1.9 
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .18  26 1.7 
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1.2   55 17   
list-ext-properties/960521-1_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .17  26 2.0 
list-ext-properties/list-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 22     260 200   
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.4   45 17   
list-ext-properties/simple-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .97  39 13   
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .20  26 1.7 
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .18  26 1.9 
list-ext-properties/test-0214_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .18  27 1.8 
list-ext-properties/test-0217_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .19  28 1.6 
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (5) 9.5   130 110   
list-ext-properties/test-0504_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 110     1100 1200   
list-ext-properties/test-0513_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 34     400 270   
memory-alloca/c.03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .20  26 1.9 
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c valid-deref valid-free valid-memtrack error (134) .089 24 .62
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c valid-deref valid-free valid-memtrack error (134) .094 24 .89
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c valid-deref valid-free valid-memtrack error (134) .087 24 .78
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c valid-deref valid-free valid-memtrack error (134) .090 24 .81
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c valid-deref valid-free valid-memtrack error (134) .12  24 .75
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c valid-deref valid-free valid-memtrack error (134) .087 24 .96
ldv-memsafety/memset2_false-valid-deref-write.c valid-deref valid-free valid-memtrack error (134) .17  25 1.3 
ldv-memsafety/memset3_false-valid-deref-write.c valid-deref valid-free valid-memtrack error (134) .16  25 1.4 
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c valid-deref valid-free valid-memtrack error (134) .17  25 1.8 
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c valid-deref valid-free valid-memtrack error (134) .15  25 1.6 
ldv-memsafety/memsetNonZero_false-valid-deref-write.c valid-deref valid-free valid-memtrack error (134) .16  25 1.8 
ldv-memsafety/memset_false-valid-deref-write.c valid-deref valid-free valid-memtrack error (134) .20  25 1.6 
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c valid-deref valid-free valid-memtrack error (134) .094 24 .71
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack error (134) .088 23 .71
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c valid-deref valid-free valid-memtrack error (134) .092 24 .90
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack error (134) .084 23 .75
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c valid-deref valid-free valid-memtrack error (134) .12  24 .75
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack error (134) .087 24 .78
ldv-memsafety/StructInitialization1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .11  24 .80
ldv-memsafety/StructInitialization2_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .10  24 .75
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .10  24 .86
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack error (134) .15  25 1.3 
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack error (134) .17  25 1.5 
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack error (134) .19  25 1.5 
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack error (134) .15  25 1.9 
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack error (134) .16  25 1.6 
ldv-memsafety/memset_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack error (134) .16  25 1.4 
ldv-memsafety/memleaks_test14_3_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .18  28 1.6 
ldv-memsafety/memleaks_test22_3_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .17  28 2.1 
ldv-memsafety/memleaks_test22_5_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .18  27 1.7 
ldv-memsafety/memleaks_test23_2_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .21  28 2.1 
ldv-memsafety/memleaks_test23_4_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .20  28 1.9 
ldv-memsafety/memleaks_test11_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .28  28 2.9 
ldv-memsafety/memleaks_test12_false-valid-free.i valid-deref valid-free valid-memtrack error (134) .26  29 3.2 
ldv-memsafety/memleaks_test17_2_false-valid-free.i valid-deref valid-free valid-memtrack error (134) .18  28 1.6 
ldv-memsafety/memleaks_test19_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .24  28 2.5 
ldv-memsafety/memleaks_test1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .21  28 1.7 
ldv-memsafety/memleaks_test3_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .21  27 1.6 
ldv-memsafety/memleaks_test6_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .21  28 1.8 
ldv-memsafety/memleaks_test8_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .21  27 1.8 
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .27  27 2.5 
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .29  28 2.7 
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .21  28 1.5 
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .18  27 1.7 
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .23  27 2.2 
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .18  28 1.6 
ldv-memsafety/memleaks_test15_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .28  28 2.2 
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .22  28 1.6 
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .19  27 1.8 
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .21  28 1.4 
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .18  28 1.5 
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .18  27 1.4 
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .18  27 1.8 
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  27 1.9 
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .20  27 1.6 
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .18  28 2.3 
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .20  28 2.3 
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .20  28 1.8 
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .19  27 1.7 
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .20  27 1.7 
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .19  28 2.3 
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .19  28 2.0 
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .20  27 1.7 
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .22  27 1.8 
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .22  27 2.7 
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .19  27 1.7 
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .19  27 1.4 
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .20  28 2.2 
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .19  27 1.9 
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .27  28 3.5 
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .29  28 3.0 
ldv-memsafety/memleaks_test12_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .26  28 2.7 
ldv-memsafety/memleaks_test13_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .18  27 1.5 
ldv-memsafety/memleaks_test14_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .18  27 1.6 
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .19  28 2.3 
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .19  27 2.0 
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .18  28 1.8 
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .18  28 1.8 
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .18  27 1.8 
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .25  28 2.1 
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .20  28 1.7 
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  28 1.6 
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  27 1.5 
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .21  27 1.7 
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .19  27 1.6 
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  27 2.2 
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .21  28 1.8 
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .21  28 2.2 
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .23  28 1.6 
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .23  28 2.1 
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .19  27 1.6 
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .22  28 1.8 
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .20  27 1.8 
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .19  27 1.7 
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .19  27 1.7 
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .18  24 1.7 
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  25 1.6 
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .16  25 1.4 
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .19  25 1.8 
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .17  25 1.4 
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .18  24 1.9 
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .16  25 1.5 
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .19  25 1.4 
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .16  26 1.8 
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i valid-deref valid-free valid-memtrack error (134) .17  25 1.5 
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .23  29 2.0 
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) 3.8   43 50   
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 880     4900 6200   
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     4400 12000   
heap-manipulation/tree_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) 110     1300 1100   
heap-manipulation/tree_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 120     1400 1200   
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (5) .19  26 2.0 
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (5) 54     1000 610   
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) 18     360 200   
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) 4.4   130 54   
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .86  37 11   
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .67  32 8.8 
list-properties/list_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 2.9   72 34   
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .44  30 4.1 
list-properties/simple_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .37  29 3.7 
list-properties/splice_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 2.3   72 26   
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .41  42 3.3 
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .42  41 3.4 
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .38  41 4.8 
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .39  42 3.8 
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .37  42 3.7 
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .39  41 3.7 
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .38  41 4.0 
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .39  42 3.6 
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .37  41 5.5 
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .37  42 4.4 
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .38  42 3.3 
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .38  42 4.5 
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .40  41 3.5 
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) 120     2200 1700   
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 2.5   82 33   
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 61     1000 550   
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 10     270 120   
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) 44     930 590   
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) 54     990 540   
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 64     910 650   
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 47     570 410   
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.2   60 14   
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) 25     510 270   
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 51     840 400   
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.5   54 19   
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 30     640 420   
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 5.8   150 61   
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) 20     530 200   
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) 24     590 270   
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 22     420 270   
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 24     340 190   
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .70  34 8.1 
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-memtrack) 6.1   210 84   
forester-heap/sll-01_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.0   230 81   
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-memtrack) 2.8   110 31   
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 2.9   97 40   
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 3.1   99 39   
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 5.0   140 59   
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 3.8   120 57   
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.1   49 18   
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.1   50 16   
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 7.5   370 91   
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.2   56 14   
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.9   180 110   
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 22     300 230   
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 15     330 180   
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 13     300 150   
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 17     340 160   
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 43     580 450   
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 2.2   87 27   
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 2.4   96 32   
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2.4   94 25   
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .66  35 8.0 
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 80     740 680   
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 82     690 670   
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 2.1   72 26   
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 4.2   110 65   
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 2.1   73 28   
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 3.3   97 39   
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.8   65 19   
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.6   63 18   
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .84  40 12   
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .91  43 10   
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 5.1   120 72   
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 7.2   130 72   
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 5.8   170 71   
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 5.2   160 65   
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 6.4   180 82   
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 18     320 200   
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.3   59 17   
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.3   56 16   
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.6   71 20   
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .40  30 4.6 
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 35     390 280   
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 41     410 320   
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 4.0   87 47   
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) .78  37 8.7 
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 2.5   75 30   
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.8   52 23   
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack out of memory 150     15000 1100   
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack out of memory 260     15000 2600   
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     4300 11000   
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .19  26 1.8 
list-ext3-properties/dll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) 4.4   90 41   
list-ext3-properties/sll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) 2.0   54 26   
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (5) .74  37 9.0 
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (139) .19  26 1.7 
loops/invert_string_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .12  24 1.1 
loop-acceleration/array3_false-valid-deref.i valid-deref valid-free valid-memtrack out of memory 810     15000 5600   
ntdrivers/floppy_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack error (134) 1.0   61 11   
ntdrivers/kbfiltr_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack error (134) .31  38 3.1 
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 1.5   420 17   
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 1.4   420 20   
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .47  110 5.2 
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .35  72 4.1 
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .37  72 3.7 
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .58  140 6.7 
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .55  140 6.3 
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .19  26 1.5 
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .31  47 3.8 
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .26  47 2.8 
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .11  24 1.0 
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .12  24 1.2 
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .12  25 1.2 
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .13  25 1.7 
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .17  24 1.2 
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .13  24 1.1 
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .13  25 1.1 
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .12  25 1.3 
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .10  24 .88
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .13  24 .92
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .11  24 1.0 
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .11  24 1.4 
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .13  24 .87
memsafety-ext3/derefAfterFree1_false-valid-deref.c valid-deref valid-free valid-memtrack error (134) .15  24 1.3 
memsafety-ext3/derefAfterFree2_false-valid-deref.c valid-deref valid-free valid-memtrack error (134) .16  25 1.2 
memsafety-ext3/derefInLoop1_false-valid-deref.c valid-deref valid-free valid-memtrack error (134) .084 24 .71
memsafety-ext3/getNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack error (134) .089 24 .90
memsafety-ext3/getNumbers2_false-valid-deref.c valid-deref valid-free valid-memtrack error (134) .082 24 1.0 
memsafety-ext3/getNumbers4_false-valid-deref.c valid-deref valid-free valid-memtrack error (134) .089 24 .83
memsafety-ext3/naturalNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack error (134) .085 24 .87
memsafety-ext3/realloc1_false-valid-deref.c valid-deref valid-free valid-memtrack error (134) .19  24 1.4 
memsafety-ext3/scopes1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .097 24 .84
memsafety-ext3/scopes2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .11  24 .80
memsafety-ext3/scopes3_false-valid-deref.c valid-deref valid-free valid-memtrack error (134) .091 24 .68
memsafety-ext3/scopes4_false-valid-deref.c valid-deref valid-free valid-memtrack error (134) .091 24 .79
memsafety-ext3/scopes5_false-valid-deref.c valid-deref valid-free valid-memtrack error (134) .085 24 .77
memsafety-ext3/freeAlloca_false-valid-free.c valid-deref valid-free valid-memtrack error (134) .16  24 1.6 
memsafety-ext3/getNumbers1_true-valid-memsafety.c valid-deref valid-free valid-memtrack error (134) .093 24 .67
memsafety-ext3/getNumbers3_true-valid-memsafety.c valid-deref valid-free valid-memtrack error (134) .091 24 .69
memsafety-ext3/getNumbers4_true-valid-memsafety.c valid-deref valid-free valid-memtrack error (134) .086 24 .71
memsafety-ext3/scopes4_true-valid-memsafety.c valid-deref valid-free valid-memtrack error (134) .10  24 .72
pthread-memsafety/fillarray1_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .19  28 1.8 
pthread-memsafety/fillarray_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .22  28 2.0 
pthread-memsafety/list1_false-valid-deref.i valid-deref valid-free valid-memtrack error (5) .34  29 4.1 
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i valid-memcleanup false(valid-memcleanup) .39  32 4.2 
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .19  28 1.7 
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (5) 3.8   43 46   
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) 360     3000 3200   
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900     4500 10000   
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) 110     1400 1300   
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 13     360 160   
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 2.5   82 30   
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 9.1   200 100   
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) 11     270 98   
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 20     380 200   
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) 32     410 320   
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 1.2   57 15   
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) 41     720 390   
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 1.5   53 18   
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 5.1   110 54   
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) 5.5   150 63   
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (5) 23     580 260   
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 2.6   92 35   
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) 16     250 180   
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .58  32 7.7 
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .82  34 9.8 
list-properties/list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 4.0   85 44   
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .64  31 8.0 
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .33  29 4.0 
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .64  35 10   
list-properties/simple_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .40  30 4.1 
list-properties/splice_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 2.3   74 27   
list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) 3.7   77 36   
list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i valid-memcleanup out of memory 150     15000 1300   
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i valid-memcleanup out of memory 260     15000 2600   
list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900     4600 11000   
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 434 13000 180000 140000
    correct results 95 470 9700 4300
        correct true 49 290 6000 2500
        correct false 46 180 3700 1800
    correct-unconfimed results 10 30 780 310
        correct-unconfirmed true 0
        correct-unconfirmed false 10 30 780 310
    incorrect results 3 31 590 340
        incorrect true 0
        incorrect false 3 31 590 340
Run set [sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup]