Tool CPAchecker 1.7-svn 29852
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-05 05:46:16 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 -svcomp19 -heap 10000M -benchmark -timelimit 900s
../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 3.7 280 32
array-memsafety/bubblesort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack timeout (segmentation fault) 960   12000 9700
array-memsafety/count_down_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error 3.9 280 36
array-memsafety/cstrcat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 2.7 250 23
array-memsafety/cstrchr_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error 3.6 280 34
array-memsafety/cstrlen_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error 3.8 280 33
array-memsafety/cstrncat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 2.6 250 27
array-memsafety/cstrncpy_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 2.8 250 27
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error 3.5 250 32
array-memsafety/diff_usafe_false-valid-deref.i valid-deref valid-free valid-memtrack segmentation fault 840   9300 7500
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error 4.0 290 35
array-memsafety/lis_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error 3.7 280 34
array-memsafety/mult_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error 3.6 280 29
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error 3.4 250 32
array-memsafety/reverse_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error 3.8 280 30
array-memsafety/selectionsort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack segmentation fault 630   7600 6700
array-memsafety/stroeder1_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 2.8 250 27
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.6 280 35
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.6 280 31
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.6 280 31
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.8 280 31
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.6 280 31
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.6 270 31
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.5 260 31
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.5 270 32
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.5 250 35
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.4 250 33
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.8 280 37
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 270 35
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.8 280 37
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 35
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.8 280 36
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.8 280 31
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 37
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 32
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.6 270 36
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.6 270 34
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.8 280 34
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.3 250 29
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 30
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 32
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 33
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.6 280 29
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 33
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.8 280 35
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.9 280 31
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.5 250 34
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.8 280 31
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 34
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.6 280 32
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.5 270 28
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.9 280 34
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.6 280 34
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.6 250 34
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 34
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.8 280 31
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 37
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.8 280 35
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 270 34
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 34
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.9 280 32
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 36
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 33
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 34
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 3.7 280 33
array-examples/relax_false-valid-deref.i valid-deref valid-free valid-memtrack error 3.5 250 33
array-examples/sanfoundry_24_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   4800 12000
array-examples/standard_strcpy_false-valid-deref_ground.i valid-deref valid-free valid-memtrack timeout 900   5200 11000
array-examples/standard_strcpy_original_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   5200 12000
array-memsafety-realloc/array-realloc_false-valid-free.i valid-deref valid-free valid-memtrack error 3.9 280 35
array-memsafety-realloc/array-realloc_true-valid-memsafety.i valid-deref valid-free valid-memtrack error 3.8 280 30
memsafety/960521-1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 11   700 85
memsafety/test-0137_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 910   4700 8100
memsafety/test-0235_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   5000 9000
memsafety/960521-1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 11   720 95
memsafety/test-0158_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 4.0 290 33
memsafety/test-0232_false-valid-free.i valid-deref valid-free valid-memtrack timeout 900   4900 8600
memsafety/20020406-1_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (recursion) 4.6 280 44
memsafety/20051113-1.c_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.1 280 34
memsafety/lockfree-3.1_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 910   3500 7600
memsafety/lockfree-3.2_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 910   5400 5900
memsafety/lockfree-3.3_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 920   5300 5900
memsafety/test-0019_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 3.7 270 34
memsafety/test-0102_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   4700 8300
memsafety/test-0158_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 3.7 280 31
memsafety/test-0220_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   4800 7700
memsafety/test-0232_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   4900 6800
memsafety/test-0234_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   5000 8500
memsafety/test-0235_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   5000 11000
memsafety/960521-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   8700 10000
memsafety/lockfree-3.0_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   5400 7300
memsafety/test-0019_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 3.5 270 30
memsafety/test-0102_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   4700 8700
memsafety/test-0134_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   4700 11000
memsafety/test-0158_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 3.6 270 31
memsafety/test-0214_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900   5400 8400
memsafety/test-0217_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout (exception) 900   11000 8500
memsafety/test-0218_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 950   11000 9900
memsafety/test-0219_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   4800 8100
memsafety/test-0232_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   4900 7200
memsafety/test-0234_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   5000 11000
memsafety/test-0235_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   5000 11000
memsafety/test-0236_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   4800 9300
memsafety/test-0237_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   4700 11000
memsafety/test-0504_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   11000 5700
memsafety/test-0513_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 970   11000 5900
memsafety/test-0521_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (segmentation fault) 900   11000 5900
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 3.8 250 35
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 920   11000 6400
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (exception) 970   12000 7400
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 970   12000 7800
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 920   11000 6100
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout (segmentation fault) 900   11000 7000
memsafety-ext/tree_of_cslls_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 940   11000 7100
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 920   11000 6300
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 920   11000 6000
memsafety-ext2/split_list_test05_false-valid-deref.i valid-deref valid-free valid-memtrack timeout (segmentation fault) 900   11000 9100
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.6 290 40
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 970   11000 5900
memsafety-ext2/length_test03_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 910   4800 7100
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   5100 8300
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   6300 9900
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 970   11000 6800
memsafety-ext2/length_test03_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   4900 6700
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   5100 7400
memsafety-ext2/split_list_test05_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 950   11000 8600
list-ext-properties/960521-1_1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 6.7 340 58
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 6.4 310 57
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 910   6300 5600
list-ext-properties/960521-1_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 6.5 280 50
list-ext-properties/test-0158_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 3.7 280 30
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 3.5 250 35
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 3.8 280 37
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 6.3 290 54
list-ext-properties/960521-1_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 11   680 95
list-ext-properties/list-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 36   1900 290
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   6900 5400
list-ext-properties/simple-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 24   880 200
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.1 280 35
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 3.5 280 33
list-ext-properties/test-0214_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   5700 6200
list-ext-properties/test-0217_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   5800 7100
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 9.2 480 71
list-ext-properties/test-0504_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   5700 5200
list-ext-properties/test-0513_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 5.1 290 47
memory-alloca/c.03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (exception) 900   1000 13000
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 2.8 250 29
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 2.7 250 28
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 2.8 250 26
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 2.9 240 26
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 9.3 380 68
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 10   490 92
ldv-memsafety/memset2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 2.8 240 23
ldv-memsafety/memset3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 2.7 250 23
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 2.8 250 26
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 2.9 250 24
ldv-memsafety/memsetNonZero_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 2.9 250 24
ldv-memsafety/memset_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 2.8 240 25
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 84   4500 960
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 9.5 760 97
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 7.8 400 61
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 10   800 110
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 51   4000 440
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 7.6 470 62
ldv-memsafety/StructInitialization1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 3.2 270 26
ldv-memsafety/StructInitialization2_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 3.0 240 24
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 3.1 280 28
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2.6 240 26
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2.7 250 23
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2.7 250 26
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2.8 250 26
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2.7 240 25
ldv-memsafety/memset_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2.7 240 26
ldv-memsafety/memleaks_test14_3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 4.6 290 41
ldv-memsafety/memleaks_test22_3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 4.8 290 37
ldv-memsafety/memleaks_test22_5_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 4.8 290 38
ldv-memsafety/memleaks_test23_2_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 5.1 290 44
ldv-memsafety/memleaks_test23_4_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 5.4 290 50
ldv-memsafety/memleaks_test11_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 4.6 270 43
ldv-memsafety/memleaks_test12_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 5.5 300 48
ldv-memsafety/memleaks_test17_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 5.3 300 42
ldv-memsafety/memleaks_test19_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 4.4 290 38
ldv-memsafety/memleaks_test1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 4.0 260 33
ldv-memsafety/memleaks_test3_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 4.0 280 37
ldv-memsafety/memleaks_test6_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 4.3 290 34
ldv-memsafety/memleaks_test8_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 4.4 290 35
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.5 290 44
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.6 290 39
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.4 280 39
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.4 290 37
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.4 290 35
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.6 290 39
ldv-memsafety/memleaks_test15_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.9 290 37
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.1 270 35
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.2 290 37
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 5.4 290 44
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 5.2 290 41
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 5.4 300 48
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 5.1 290 47
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 5.0 290 37
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.3 290 38
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.3 280 40
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.2 290 40
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.4 270 39
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.4 290 35
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.6 280 37
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.5 280 42
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.2 290 37
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.4 280 41
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.1 270 35
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.6 290 42
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.4 280 43
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.3 280 38
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.3 280 38
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.2 280 38
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.6 290 42
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.7 290 43
ldv-memsafety/memleaks_test12_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 6.0 300 50
ldv-memsafety/memleaks_test13_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.3 290 39
ldv-memsafety/memleaks_test14_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.4 290 38
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 5.0 290 42
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.2 290 36
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 5.8 300 47
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error 4.7 270 45
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 5.5 290 48
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.4 280 44
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.2 290 41
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.4 290 37
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.4 290 34
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.6 290 46
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.5 280 45
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.4 290 41
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 5.2 290 44
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 5.2 290 45
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.3 290 41
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.4 290 39
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.3 270 36
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.3 290 38
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.4 290 40
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.2 280 37
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 4.4 280 42
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 3.1 270 29
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2.8 250 26
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 3.0 270 29
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 3.0 270 28
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2.9 250 29
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 3.0 270 30
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 3.0 270 27
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 3.0 270 28
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 3.2 270 29
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 3.2 280 25
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   4600 8700
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (recursion) 4.3 290 37
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   11000 6000
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   5000 7300
heap-manipulation/tree_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 920   11000 5300
heap-manipulation/tree_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 930   11000 7600
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout (segmentation fault) 910   11000 5900
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 970   11000 6500
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   11000 6500
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 920   11000 6600
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   11000 6200
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 970   11000 6600
list-properties/list_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 910   11000 7000
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 930   11000 6700
list-properties/simple_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   11000 6500
list-properties/splice_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 910   11000 6600
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 6.8 300 54
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 6.4 300 60
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 6.6 290 56
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 7.0 300 65
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 6.8 300 56
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 6.7 300 58
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 7.1 310 55
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 7.0 300 61
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 6.7 300 59
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 6.8 310 54
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 6.8 300 56
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 7.0 300 62
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 7.2 310 58
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 970   11000 5900
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   9300 4800
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 920   11000 6000
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 970   11000 5700
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 930   11000 6400
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 970   11000 6300
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (segmentation fault) 920   11000 5800
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (segmentation fault) 910   11000 6800
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 940   11000 6200
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   11000 6400
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   10000 4700
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   9300 4600
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 920   11000 6100
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 970   11000 5800
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 920   11000 6400
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 970   12000 7300
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 930   11000 6800
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (segmentation fault) 920   11000 7000
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 930   11000 6600
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 930   12000 7400
forester-heap/sll-01_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack timeout (segmentation fault) 930   11000 5600
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack timeout (segmentation fault) 920   12000 7400
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 39
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 290 35
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.3 280 44
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.4 290 38
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 36
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.1 290 36
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.0 280 33
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 35
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.3 280 38
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.3 280 38
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.3 280 34
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.1 260 35
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 40
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.5 290 38
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.3 280 34
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 37
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 38
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 34
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.1 260 35
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 36
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 35
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.3 280 38
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.1 280 35
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.3 280 35
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 38
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.0 260 38
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 39
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 34
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.5 290 35
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.1 290 41
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.1 260 34
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 37
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.4 280 38
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.4 280 40
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 34
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.0 280 36
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 40
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.1 280 37
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 40
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.3 280 37
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.7 290 38
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.2 280 37
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.4 290 38
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.1 270 37
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 21   1200 150
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 280   5900 2100
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   7000 5500
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.0 280 35
list-ext3-properties/dll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 4.7 280 39
list-ext3-properties/sll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 4.6 290 41
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 4.2 290 36
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 3.9 280 33
loops/invert_string_false-valid-deref.c valid-deref valid-free valid-memtrack error 2.7 240 22
loop-acceleration/array3_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   1600 11000
ntdrivers/floppy_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack false(valid-deref) 11   550 100
ntdrivers/kbfiltr_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack false(valid-deref) 5.6 290 46
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 33   1700 260
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 36   1800 270
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack timeout (segmentation fault) 900   7300 8700
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 55   3200 470
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 51   3300 480
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 88   4300 770
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 92   4300 730
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 7.6 420 67
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 19   760 150
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 19   750 150
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900   11000 5600
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 920   11000 4400
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 930   11000 4900
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 930   11000 4700
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 920   6300 7900
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 920   11000 4700
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 910   4200 7200
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 930   11000 5300
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900   11000 4600
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 930   11000 5100
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 910   11000 4900
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 920   11000 5000
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 930   11000 5500
memsafety-ext3/derefAfterFree1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 2.7 240 22
memsafety-ext3/derefAfterFree2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 2.9 240 29
memsafety-ext3/derefInLoop1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 2.9 250 22
memsafety-ext3/getNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 3.0 240 28
memsafety-ext3/getNumbers2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 3.6 280 29
memsafety-ext3/getNumbers4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 3.4 250 30
memsafety-ext3/naturalNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 2.9 240 29
memsafety-ext3/realloc1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 3.1 240 28
memsafety-ext3/scopes1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 2.9 250 25
memsafety-ext3/scopes2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 2.7 250 25
memsafety-ext3/scopes3_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 3.0 250 27
memsafety-ext3/scopes4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 2.7 250 24
memsafety-ext3/scopes5_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 2.8 250 28
memsafety-ext3/freeAlloca_false-valid-free.c valid-deref valid-free valid-memtrack false(valid-free) 2.9 250 29
memsafety-ext3/getNumbers1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 3.0 250 29
memsafety-ext3/getNumbers3_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 3.1 270 29
memsafety-ext3/getNumbers4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 3.4 250 32
memsafety-ext3/scopes4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 2.8 250 23
pthread-memsafety/fillarray1_false-valid-deref.i valid-deref valid-free valid-memtrack error 4.4 290 41
pthread-memsafety/fillarray_false-valid-deref.i valid-deref valid-free valid-memtrack error 4.2 280 36
pthread-memsafety/list1_false-valid-deref.i valid-deref valid-free valid-memtrack error 4.2 280 39
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i valid-memcleanup false(valid-memcleanup) 3.2 260 29
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 4.0 260 33
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (recursion) 3.6 260 35
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.9 270 36
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.9 260 32
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.8 260 39
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.8 270 35
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.5 260 32
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.8 280 36
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 4.2 270 39
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.5 250 32
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 4.2 270 34
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.4 250 32
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 4.1 280 33
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.4 260 29
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.5 260 30
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 4.1 270 33
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 4.1 260 39
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.6 250 33
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 10   480 86
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.4 260 33
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.5 260 32
list-properties/list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.8 260 34
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.4 250 32
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.8 270 36
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.9 260 38
list-properties/simple_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.4 250 32
list-properties/splice_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 3.7 260 32
list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 6.8 300 56
list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 4.4 290 35
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 4.5 290 38
list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 7.2 370 59
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 434 100000 1100000 800000
    correct results 256 2000 110000 17000
        correct true 118 1400 70000 11000
        correct false 138 620 40000 5400
    incorrect results 0
        incorrect true 0
        incorrect false 0
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]