BENCHMARK INFORMATION benchmark definition: ../benchexec/smtinterpol-cade18-memsafety-32.xml name: smtinterpol-cade18-memsafety-32 run sets: Camel.32bitMem, SmtInterpolCraig.32bitMem, SmtInterpolNoArray.32bitMem, z3.32bitMem date: Sun, 2018-02-04 11:59:08 CET tool: ULTIMATE Automizer 0.1.23-c17473d0 tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 240 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 6000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: hetzner os: Linux-4.4.0-112-generic-x86_64-with-Ubuntu-16.04-xenial cpu: Intel Core i7-4770 CPU @ 3.40GHz - cores: 8 - max frequency: 3900.0 MHz - turbo boost enabled: True ram: 33593.495552 MB ------------------------------------------------------------ Camel.32bitMem Run set 1 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 6.07 2.42 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.42 2.31 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 5.98 2.43 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.23 2.29 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 12.01 5.20 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 8.34 3.23 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.96 1.89 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 5.05 1.95 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 11.47 4.81 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 5.43 2.16 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 6.84 2.59 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 12.58 4.83 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 6.56 2.61 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 7.42 3.01 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 6.43 2.53 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.54 2.15 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 4.84 1.98 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 245.68 189.11 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 9.56 4.24 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 9.69 3.77 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 9.30 3.60 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 9.11 3.43 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 12.67 5.10 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.56 211.41 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 11.57 4.87 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 26.21 15.16 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 15.30 6.87 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 24.86 13.19 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 10.51 4.42 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.22 199.09 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 24.22 12.27 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 23.05 10.22 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 40.05 24.79 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 51.99 35.49 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 17.25 6.49 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 13.19 5.68 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 9.74 3.67 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 23.68 11.46 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 12.78 6.58 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 11.61 4.81 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 10.60 4.34 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 20.12 12.27 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 11.05 4.50 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TRUE 14.85 6.21 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TRUE 69.90 39.58 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.57 174.23 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 25.07 12.75 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 13.84 6.00 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 26.15 14.87 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 44.35 21.66 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.53 4.95 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.11 199.55 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 27.47 13.74 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 26.40 13.10 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 13.87 5.62 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 25.80 15.26 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 28.40 16.06 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.97 211.27 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TRUE 20.60 13.79 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 10.94 4.16 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 10.78 4.15 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 11.06 4.25 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 17.20 9.39 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 27.53 14.05 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 226.39 205.37 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 5.81 2.28 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 240.97 181.82 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 240.60 186.62 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 240.84 179.66 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 242.27 215.70 None memsafety/test-0137_false-valid-deref.i FALSE(valid-deref) 136.00 103.72 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 240.47 226.39 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 245.73 221.86 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 7.27 2.70 None memsafety/test-0232_false-valid-free.i ERROR: EXCEPTION 86.87 55.16 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 245.73 217.58 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 245.82 208.67 None memsafety/lockfree-3.1_false-valid-memtrack.i FALSE(valid-memtrack) 31.74 12.59 None memsafety/lockfree-3.2_false-valid-memtrack.i FALSE(valid-memtrack) 12.45 4.39 None memsafety/lockfree-3.3_false-valid-memtrack.i FALSE(valid-memtrack) 51.71 23.32 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.78 4.09 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 241.69 199.68 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 6.10 2.62 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 4.33 1.81 None memsafety/test-0232_false-valid-memtrack.i FALSE(valid-memtrack) 23.19 9.96 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.20 227.43 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.86 226.72 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.46 228.13 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 245.77 151.94 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 12.64 5.76 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 102.13 67.46 None memsafety/test-0134_true-valid-memsafety.i TIMEOUT (ERROR (143)) 243.43 190.61 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 7.39 2.81 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.23 1.71 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.11 1.62 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.28 1.62 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 4.05 1.59 None memsafety/test-0232_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.05 190.45 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.58 230.08 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.43 229.42 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.75 226.63 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.78 230.54 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.79 202.11 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.06 191.29 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 244.69 208.66 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TRUE 133.17 114.23 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 246.03 205.71 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.07 1.69 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.13 1.63 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 242.81 221.52 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 241.27 218.72 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.19 198.57 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 240.55 191.89 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 242.54 218.17 None memsafety-ext2/split_list_test05_false-valid-deref.i OUT OF MEMORY 177.87 139.32 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.30 162.97 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.78 174.21 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.69 205.95 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.79 196.07 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.10 176.83 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.71 175.55 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.42 208.95 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 109.26 66.89 None memsafety-ext2/split_list_test05_true-valid-memsafety.i OUT OF MEMORY 153.20 114.16 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 10.75 4.04 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 243.27 194.31 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 9.00 3.53 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 14.06 5.80 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 7.80 2.87 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 22.13 9.96 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 6.04 2.37 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 18.98 7.68 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.77 203.97 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.01 179.73 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.24 196.43 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.97 194.05 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 23.99 11.13 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 7.81 2.89 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 4.18 1.61 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 4.17 1.62 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 111.07 72.85 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.28 202.81 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.48 183.85 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 10.89 4.57 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 7.22 3.08 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 7.32 2.80 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 5.58 2.23 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 5.98 2.38 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR: EXCEPTION) 240.24 182.73 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR: EXCEPTION) 240.35 183.47 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.04 2.08 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 5.29 2.03 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.24 2.14 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 5.07 2.08 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 5.13 2.05 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.33 2.17 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 245.88 201.45 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 9.67 3.59 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 10.38 4.00 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 9.67 3.60 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 12.37 4.69 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 10.52 3.95 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 3.98 1.61 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 4.11 1.63 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 4.13 1.72 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 6.80 2.67 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 7.31 2.80 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 7.39 2.81 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 7.27 2.74 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 7.09 2.71 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 6.77 2.59 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 4.35 1.71 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i TIMEOUT (ERROR (143)) 241.92 219.76 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i TIMEOUT (ERROR (143)) 245.93 216.19 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 4.11 1.62 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 4.09 1.58 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 4.12 1.58 None ldv-memsafety/memleaks_test12_false-valid-free.i TIMEOUT (ERROR (143)) 240.41 208.23 None ldv-memsafety/memleaks_test17_2_false-valid-free.i TIMEOUT (ERROR (143)) 242.78 222.70 None ldv-memsafety/memleaks_test19_false-valid-free.i FALSE(valid-free) 123.23 96.57 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 6.31 2.41 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 4.51 1.95 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 13.51 5.27 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 6.76 2.52 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 240.95 218.93 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.05 1.63 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.11 1.79 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 4.06 1.66 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.08 1.53 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 4.04 1.64 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.72 196.01 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.22 1.62 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.25 1.64 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.91 222.74 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.27 217.85 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 53.02 45.59 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 235.68 208.94 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 67.49 55.00 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 5.56 2.17 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.09 1.60 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.12 1.63 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 78.71 53.67 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 39.69 24.82 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 78.21 55.10 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.30 2.72 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 5.81 2.33 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.11 2.70 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 12.50 4.58 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.88 4.30 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.97 3.96 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 5.68 2.30 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.39 2.78 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 6.08 2.38 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.94 199.00 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.28 1.63 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 119.69 102.66 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 3.98 1.59 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 3.96 1.57 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.67 198.66 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 3.94 1.60 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 242.33 223.62 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 243.27 220.79 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.76 221.00 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 86.35 57.00 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 7.07 2.68 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.04 1.56 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.12 1.57 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.96 210.65 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 245.72 215.55 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.70 205.17 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 4.13 1.65 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 4.18 1.66 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 8.30 3.02 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 12.14 4.62 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 9.46 3.48 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TRUE 15.31 5.90 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 13.60 5.01 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 8.43 3.05 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 8.06 3.00 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.71 1.48 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.75 1.51 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.42 1.44 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.74 1.51 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.83 1.50 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.59 1.47 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.29 1.38 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.82 1.58 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.71 1.48 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.75 1.51 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 142.28 109.28 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.27 1.72 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.28 197.75 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.30 1.68 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 4.12 1.65 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 4.13 1.62 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 241.11 203.78 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 24.14 9.48 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 44.63 22.47 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 39.02 20.14 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.49 191.48 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 7.15 2.67 None list-properties/list_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 10.54 4.07 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 7.48 2.77 None list-properties/simple_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 10.16 3.82 None list-properties/splice_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 7.71 2.86 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.60 1.75 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.25 1.60 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.48 1.68 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.58 1.84 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.62 1.73 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.21 1.71 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.36 1.76 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.47 1.79 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.36 1.65 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.50 1.68 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.43 1.71 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.37 1.68 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.47 1.68 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.11 205.65 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.75 207.48 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.08 192.67 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.80 179.88 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.63 185.89 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.50 186.91 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.73 180.90 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.20 208.20 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.69 203.21 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.30 208.16 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.64 196.11 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.32 187.53 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.38 197.00 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.64 180.56 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.48 189.02 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.95 191.60 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.81 189.00 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.72 188.02 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.22 192.63 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 74.07 42.62 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 30.08 11.92 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 50.91 26.39 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 240.14 189.56 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 5.10 1.81 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.42 1.69 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.19 2.87 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.21 2.83 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.45 2.42 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.52 2.41 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.52 2.37 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.64 2.69 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.34 2.75 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.59 2.23 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.70 2.47 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.48 2.56 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.71 2.04 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.81 1.94 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.72 1.87 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.94 1.97 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.02 2.02 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.14 2.05 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.97 1.98 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.03 1.97 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.79 1.89 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.84 1.99 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.70 1.94 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.92 2.01 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.86 1.98 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 14543.37 10541.86 - SmtInterpolCraig.32bitMem Run set 2 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_Array.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 5.96 2.29 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.42 2.11 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 6.03 2.32 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.98 1.95 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 9.68 3.72 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 8.34 3.08 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.14 2.01 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 4.99 2.06 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 10.16 4.01 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 5.62 2.40 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 6.59 2.60 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 10.79 4.26 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 5.24 2.10 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 7.20 2.95 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 6.85 2.73 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.25 2.10 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 4.54 1.95 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 241.48 188.15 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 8.08 3.34 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 8.67 3.28 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 8.54 3.25 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 9.18 3.38 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 10.69 4.06 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 240.40 183.68 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 10.45 4.04 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 18.14 7.82 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 14.18 5.60 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 17.51 7.19 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 9.73 3.81 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 240.98 194.72 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 17.56 7.72 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 17.35 7.41 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 18.81 7.97 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 18.57 7.88 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 13.30 4.92 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 12.29 4.73 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 9.08 3.46 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 19.69 8.35 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 4.82 1.89 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 10.55 4.10 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 10.05 3.92 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 22.55 15.17 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 10.09 3.97 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TRUE 12.53 5.13 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TRUE 53.24 25.37 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.30 181.59 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 18.36 7.97 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 12.74 4.95 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 18.16 7.33 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 48.37 20.29 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 9.75 3.90 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.20 187.04 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 19.66 7.82 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 19.49 8.19 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 12.25 4.69 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 19.14 7.95 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 21.66 9.16 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 241.06 176.23 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TRUE 9.91 3.92 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.12 193.95 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 8.46 3.29 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 8.86 3.30 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 10.79 4.36 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 20.39 8.81 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 24.85 11.37 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 6.00 2.36 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 240.70 183.97 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 240.43 188.17 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 240.72 185.65 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 241.12 191.76 None memsafety/test-0137_false-valid-deref.i FALSE(valid-deref) 45.07 20.74 None memsafety/test-0235_false-valid-deref.i unknown 8.28 3.02 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 241.15 191.92 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 7.55 2.89 None memsafety/test-0232_false-valid-free.i FALSE(valid-free) 69.30 39.19 None memsafety/20020406-1_false-valid-memtrack.i FALSE(valid-memtrack) 76.55 35.22 None memsafety/20051113-1.c_false-valid-memtrack.i FALSE(valid-memtrack) 155.64 101.64 None memsafety/lockfree-3.1_false-valid-memtrack.i FALSE(valid-memtrack) 42.72 15.10 None memsafety/lockfree-3.2_false-valid-memtrack.i FALSE(valid-memtrack) 10.15 3.64 None memsafety/lockfree-3.3_false-valid-memtrack.i FALSE(valid-memtrack) 54.68 20.68 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.03 3.76 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.50 186.79 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 6.06 2.31 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 4.05 1.61 None memsafety/test-0232_false-valid-memtrack.i FALSE(valid-memtrack) 18.77 7.67 None memsafety/test-0234_false-valid-memtrack.i unknown 7.67 2.85 None memsafety/test-0235_false-valid-memtrack.i unknown 8.19 3.06 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.07 188.18 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.57 123.86 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 12.60 5.36 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 240.54 189.86 None memsafety/test-0134_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.74 174.30 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 7.77 3.25 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.19 1.71 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.25 1.76 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.05 1.57 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 4.13 1.61 None memsafety/test-0232_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.96 177.61 None memsafety/test-0234_true-valid-memsafety.i unknown 7.63 2.95 None memsafety/test-0235_true-valid-memsafety.i unknown 7.87 2.96 None memsafety/test-0236_true-valid-memsafety.i unknown 7.88 2.88 None memsafety/test-0237_true-valid-memsafety.i unknown 8.06 2.86 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.58 178.52 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.32 181.36 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.52 183.18 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TRUE 20.99 8.86 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.33 184.00 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.20 1.71 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.04 1.62 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 240.58 175.83 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 241.10 172.34 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.59 179.21 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 240.63 180.89 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 240.94 174.65 None memsafety-ext2/split_list_test05_false-valid-deref.i OUT OF MEMORY 132.27 101.44 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 250.87 170.79 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.10 175.36 None memsafety-ext2/length_test03_false-valid-memtrack.i OUT OF MEMORY 213.56 157.55 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.48 177.59 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.18 177.23 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.35 172.70 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 231.86 176.89 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.41 178.06 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 110.02 69.63 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 9.81 3.65 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 240.23 176.40 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 8.84 3.24 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 11.54 4.41 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 7.21 2.75 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 21.84 9.79 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 6.16 2.37 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 16.68 6.29 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.47 180.64 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.01 179.03 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.92 175.72 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.48 180.35 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 23.49 11.17 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 7.65 2.88 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 4.37 1.68 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 4.12 1.61 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 241.03 180.37 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 17.51 6.43 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.25 182.96 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 10.86 4.00 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 6.39 2.63 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 7.54 2.97 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 5.55 2.20 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 5.56 2.17 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR: EXCEPTION) 241.06 189.35 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR: EXCEPTION) 241.35 187.56 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.22 2.26 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 5.43 2.33 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.24 2.10 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 5.66 2.17 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 5.09 2.08 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.38 2.07 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR: EXCEPTION) 241.19 187.70 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 241.35 190.93 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR: EXCEPTION) 240.43 179.42 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 240.72 194.07 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 241.05 185.18 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 240.36 185.33 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 4.29 1.72 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 4.17 1.68 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 4.31 1.75 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 27.80 13.05 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 88.76 58.05 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 28.93 13.37 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 90.04 58.20 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 88.34 57.95 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 90.59 58.21 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 4.13 1.65 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i FALSE(valid-deref) 49.62 22.87 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i FALSE(valid-deref) 50.46 23.55 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 4.48 1.71 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 4.38 1.74 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 4.19 1.66 None ldv-memsafety/memleaks_test12_false-valid-free.i TIMEOUT (ERROR: EXCEPTION) 240.95 179.94 None ldv-memsafety/memleaks_test17_2_false-valid-free.i FALSE(valid-free) 74.83 38.77 None ldv-memsafety/memleaks_test19_false-valid-free.i FALSE(valid-free) 43.42 17.80 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 6.39 2.50 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 4.97 1.99 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 14.12 5.47 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 6.95 2.62 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 60.91 29.00 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.39 1.68 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.32 1.84 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 4.29 1.67 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 3.96 1.61 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 4.32 1.65 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.94 172.93 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.13 1.71 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 3.84 1.56 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.72 169.88 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i TIMEOUT (ERROR: EXCEPTION) 241.59 183.78 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.58 3.91 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 240.36 183.27 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 17.21 6.63 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 5.58 2.18 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.06 1.63 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.25 1.67 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 35.04 13.91 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 18.07 6.56 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 35.91 15.00 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.16 2.75 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 5.54 2.19 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.14 2.62 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 12.00 4.48 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.97 4.30 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.34 4.12 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 5.86 2.38 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 6.90 2.66 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 5.68 2.24 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TRUE 110.64 65.53 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.06 1.67 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 241.30 177.67 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 4.26 1.67 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 4.32 1.69 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TRUE 230.15 160.94 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.17 1.67 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.16 171.03 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.08 161.22 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.99 183.05 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i TRUE 47.31 20.83 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 7.49 2.87 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.16 1.65 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.19 1.61 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TRUE 57.65 27.42 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TRUE 86.76 44.65 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TRUE 86.33 46.16 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 4.18 1.65 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 4.31 1.69 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 8.74 3.20 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 11.01 4.06 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 9.98 3.59 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TRUE 16.27 6.37 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 13.86 5.21 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 8.75 3.24 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 8.85 3.21 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.79 1.49 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.88 1.54 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.93 1.56 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.92 1.56 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.88 1.56 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.95 1.51 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 4.01 1.61 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.90 1.54 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.62 1.45 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.88 1.48 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.81 179.26 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.24 1.65 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.19 170.78 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.05 1.63 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 4.19 1.57 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 3.87 1.61 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 69.35 36.10 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 21.62 8.54 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 31.99 14.17 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 29.09 11.97 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.73 178.63 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 7.24 2.80 None list-properties/list_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 10.00 3.92 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 7.90 2.88 None list-properties/simple_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.59 3.54 None list-properties/splice_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 7.55 2.79 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.49 1.74 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.34 1.68 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.45 1.72 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.61 1.72 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.41 1.65 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.40 1.62 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.73 1.74 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.57 1.72 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.43 1.66 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.15 1.61 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.15 1.65 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.42 1.69 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.55 1.69 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.37 179.29 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.58 179.54 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.75 180.43 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.26 180.99 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.32 183.02 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.43 184.22 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.47 180.54 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.73 183.68 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.09 185.61 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.79 175.95 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.53 182.05 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.89 175.57 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.50 176.55 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 240.29 180.53 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.50 180.37 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.39 183.22 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.64 178.75 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.71 184.75 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.25 181.92 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 42.74 19.56 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 23.56 9.67 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 29.22 13.27 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 241.01 194.77 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 5.02 1.89 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.62 1.74 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.28 2.93 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.60 3.06 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.96 2.53 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.82 2.68 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.78 2.52 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.74 2.68 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.52 2.64 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.53 2.17 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.13 2.36 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.03 2.31 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.47 1.79 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.72 1.86 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.76 1.88 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.77 1.89 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.74 1.87 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.49 1.82 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.73 1.91 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.61 1.85 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.53 1.83 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.50 1.77 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.57 1.83 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.47 1.76 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.56 1.78 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 22700.64 8497.30 - SmtInterpolNoArray.32bitMem Run set 3 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_NoArray.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 5.86 2.43 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.50 2.25 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 6.11 2.31 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.99 2.00 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 11.09 4.64 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 8.25 3.12 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.16 1.99 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 4.69 1.91 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 11.76 4.93 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 5.44 2.17 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 7.24 2.76 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 10.54 3.86 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 5.08 2.26 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 7.49 2.79 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 6.85 2.58 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.59 2.20 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 5.00 2.01 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.28 181.32 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 9.32 3.51 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 9.85 3.87 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 10.18 4.07 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 9.20 3.53 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 12.08 4.63 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.86 190.71 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 12.50 5.83 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 33.22 17.21 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.84 179.16 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 23.31 11.85 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.17 4.68 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.11 216.15 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 22.75 10.61 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.71 175.17 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 32.84 17.83 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 60.74 42.15 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 18.18 7.49 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 13.76 5.57 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 9.56 3.88 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 18.72 8.19 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 5.02 2.22 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 13.17 5.46 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 11.83 5.10 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 11.63 4.62 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 12.00 5.54 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.57 177.53 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.33 181.02 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.82 198.64 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 33.36 15.65 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.56 181.48 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 22.01 9.94 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 162.58 109.96 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.29 4.53 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.49 216.46 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 29.17 13.37 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.54 188.22 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 14.30 5.62 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 30.35 13.68 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 28.87 15.31 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.59 165.79 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TRUE 12.15 5.26 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 13.52 5.92 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 10.42 4.49 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 10.33 4.08 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 12.52 4.96 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 52.41 31.12 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 89.95 68.90 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 6.20 2.50 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 240.50 171.02 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 240.68 181.93 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 241.00 181.29 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 240.88 178.37 None memsafety/test-0137_false-valid-deref.i FALSE(valid-deref) 119.50 87.24 None memsafety/test-0235_false-valid-deref.i unknown 8.22 3.05 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 240.68 177.85 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 8.39 3.10 None memsafety/test-0232_false-valid-free.i TIMEOUT (ERROR (143)) 242.28 215.18 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.79 201.34 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.15 165.47 None memsafety/lockfree-3.1_false-valid-memtrack.i FALSE(valid-memtrack) 36.98 13.45 None memsafety/lockfree-3.2_false-valid-memtrack.i FALSE(valid-memtrack) 11.35 3.90 None memsafety/lockfree-3.3_false-valid-memtrack.i FALSE(valid-memtrack) 45.77 19.19 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.54 3.79 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 242.05 205.55 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 5.99 2.32 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 4.06 1.56 None memsafety/test-0232_false-valid-memtrack.i FALSE(valid-memtrack) 25.21 11.17 None memsafety/test-0234_false-valid-memtrack.i unknown 7.51 2.75 None memsafety/test-0235_false-valid-memtrack.i unknown 8.10 3.00 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.52 176.57 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.38 167.68 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 11.93 4.58 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.91 205.44 None memsafety/test-0134_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.66 205.68 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 7.66 2.98 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.14 1.61 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.10 1.56 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.02 1.61 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 3.88 1.50 None memsafety/test-0232_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.20 202.00 None memsafety/test-0234_true-valid-memsafety.i unknown 7.51 2.84 None memsafety/test-0235_true-valid-memsafety.i unknown 7.94 2.93 None memsafety/test-0236_true-valid-memsafety.i unknown 8.15 2.94 None memsafety/test-0237_true-valid-memsafety.i unknown 7.88 2.95 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.53 206.76 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.97 192.84 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.87 189.56 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.90 225.77 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.48 204.47 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.01 1.60 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.16 1.58 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 240.85 216.08 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 241.12 197.04 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.84 206.63 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 242.29 211.82 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 241.39 213.51 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 243.32 210.29 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.37 166.21 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 243.13 191.76 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 242.22 219.31 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 151.95 110.49 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.19 163.02 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.15 197.05 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.23 218.55 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.90 204.10 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 226.79 190.06 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 10.36 4.18 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 240.78 193.38 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 9.82 3.82 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 12.83 5.43 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 8.50 3.32 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 70.76 52.10 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 6.68 2.73 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 24.65 11.05 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.75 212.69 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.71 183.51 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.73 185.54 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.05 197.93 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 79.12 62.41 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 8.23 3.12 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 4.30 1.60 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 4.20 1.55 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.24 202.32 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 20.34 7.76 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 245.81 209.35 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 10.20 3.85 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 6.45 2.40 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 7.40 2.77 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 5.21 2.11 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 5.47 2.10 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR: EXCEPTION) 240.57 176.69 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR: EXCEPTION) 240.60 176.82 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.40 2.18 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 5.35 2.19 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.75 2.36 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 5.57 2.20 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 5.25 2.14 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.11 2.09 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 240.93 170.79 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 9.39 3.46 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 11.38 4.34 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 9.80 3.61 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 12.48 4.56 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 10.82 4.04 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 4.21 1.61 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 4.27 1.68 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 4.37 1.76 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 6.59 2.52 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 7.02 2.59 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 6.80 2.60 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 6.94 2.67 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 6.91 2.57 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 7.20 2.75 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 4.15 1.70 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i TIMEOUT (ERROR (143)) 241.10 197.65 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i TIMEOUT (ERROR (143)) 240.41 213.99 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 4.00 1.62 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 3.99 1.55 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 4.12 1.61 None ldv-memsafety/memleaks_test12_false-valid-free.i TIMEOUT (ERROR (143)) 241.43 211.38 None ldv-memsafety/memleaks_test17_2_false-valid-free.i FALSE(valid-free) 188.03 142.20 None ldv-memsafety/memleaks_test19_false-valid-free.i FALSE(valid-free) 218.67 192.38 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 6.43 2.46 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 5.10 2.07 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 170.40 159.27 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 6.86 2.53 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 240.87 205.13 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.03 1.56 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.10 1.63 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 3.98 1.55 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 3.97 1.56 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 4.12 1.57 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 243.14 199.37 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.00 1.59 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 3.97 1.56 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 242.39 215.18 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 242.42 218.82 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 12.34 6.09 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 241.11 221.42 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 240.63 216.47 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 5.48 2.22 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.15 1.65 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 3.91 1.52 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 40.85 18.17 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 22.46 8.52 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 43.85 20.47 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.31 2.91 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 5.85 2.44 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.38 2.82 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 25.55 15.31 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 164.61 154.96 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 12.60 5.48 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 5.60 2.11 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 6.68 2.53 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 5.62 2.51 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.55 191.85 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 3.92 1.58 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.70 211.32 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 4.10 1.88 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 4.02 1.71 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.74 181.87 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.28 1.78 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.56 219.46 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.48 209.70 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.58 197.97 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 244.85 220.14 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 7.39 2.75 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.22 1.58 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.01 1.57 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.42 214.14 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.08 193.48 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 242.55 207.46 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 4.42 1.75 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 4.28 1.63 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 8.36 3.07 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 11.15 4.23 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 9.45 3.56 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TRUE 183.85 167.49 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 86.38 76.15 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 8.07 3.12 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 8.48 3.05 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.82 1.51 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.72 1.56 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.79 1.45 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.76 1.52 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.75 1.45 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.81 1.52 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.74 1.46 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.60 1.46 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.75 1.45 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.64 1.46 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.75 220.95 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.08 1.62 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.16 189.54 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.17 1.65 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 4.28 1.62 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 4.09 1.61 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 244.00 209.05 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 27.68 10.86 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 91.36 66.26 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 37.91 18.44 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.41 195.78 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 6.57 2.51 None list-properties/list_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.80 3.81 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 7.47 2.81 None list-properties/simple_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.65 3.64 None list-properties/splice_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 7.68 2.89 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.40 1.59 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.46 1.64 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.39 1.65 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.37 1.69 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.52 1.78 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.34 1.67 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.38 1.66 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.30 1.63 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.45 1.61 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.37 1.67 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.04 1.59 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.44 1.69 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.42 1.71 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.53 210.64 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.63 206.44 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.21 195.44 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.56 200.70 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.36 195.24 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.06 190.34 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.83 209.65 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.83 197.40 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.68 215.37 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.76 216.26 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.84 209.91 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.65 184.45 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.62 205.37 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.46 189.65 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.06 192.76 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.75 190.38 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.14 189.42 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.04 189.92 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.94 206.92 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 241.42 205.43 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 92.13 73.96 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 49.58 27.98 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 241.29 183.00 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 5.03 1.86 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.30 1.64 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.53 3.07 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.16 3.17 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.80 2.58 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.91 2.59 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.69 2.49 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.57 2.72 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.57 2.82 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.76 2.22 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.68 2.49 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.34 2.38 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.72 1.85 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.51 1.81 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.93 1.94 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.93 1.85 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.89 1.97 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.78 1.90 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.91 1.96 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.78 1.96 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.55 1.79 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.44 1.75 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.74 1.80 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.77 1.88 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.70 1.83 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 26980.46 11059.64 - z3.32bitMem Run set 4 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_z3.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 6.18 2.43 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.39 2.16 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 6.75 2.49 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.00 2.03 None array-memsafety/cstrchr_unsafe_false-valid-deref.i ERROR: EXCEPTION 8.10 3.00 None array-memsafety/cstrlen_unsafe_false-valid-deref.i ERROR: EXCEPTION 7.83 2.86 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.76 1.95 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 4.58 1.87 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i ERROR: EXCEPTION 8.14 3.32 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 6.00 2.27 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i ERROR: EXCEPTION 5.87 2.30 None array-memsafety/lis_unsafe_false-valid-deref.i ERROR: EXCEPTION 6.81 2.72 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 6.82 2.64 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 11.00 4.07 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 8.26 2.98 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.22 2.42 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 4.64 1.89 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.13 2.56 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.48 2.52 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.64 2.63 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.73 2.57 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.90 2.67 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.76 2.71 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.73 2.69 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.49 2.51 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.84 2.60 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.00 2.62 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.39 2.49 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.50 2.80 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.27 3.06 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.01 2.69 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.12 2.65 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.43 2.57 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.55 2.50 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.16 2.12 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.95 2.65 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.45 2.81 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.64 2.47 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.37 2.61 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.53 3.64 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.88 2.70 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.87 2.66 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.28 3.26 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.21 2.45 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.80 2.90 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.89 2.67 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.33 2.47 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.23 2.70 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.82 2.51 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.81 2.64 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.31 2.75 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.94 3.05 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.80 2.65 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.58 2.97 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.70 2.94 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.14 2.42 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.48 2.47 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.12 2.78 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.16 2.64 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.03 3.06 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.48 2.48 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.00 2.59 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.43 2.75 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.39 2.43 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.75 2.62 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 5.93 2.25 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 240.38 195.44 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 240.96 185.88 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 240.71 192.42 None memsafety/960521-1_false-valid-deref.i ERROR: EXCEPTION 7.95 3.04 None memsafety/test-0137_false-valid-deref.i ERROR: EXCEPTION 13.09 4.88 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 241.96 216.81 None memsafety/960521-1_false-valid-free.i ERROR: EXCEPTION 7.36 2.82 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 8.29 3.01 None memsafety/test-0232_false-valid-free.i ERROR: EXCEPTION 9.05 3.53 None memsafety/20020406-1_false-valid-memtrack.i ERROR: EXCEPTION 11.24 4.01 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 7.25 2.77 None memsafety/lockfree-3.1_false-valid-memtrack.i ERROR: EXCEPTION 9.39 3.42 None memsafety/lockfree-3.2_false-valid-memtrack.i ERROR: EXCEPTION 9.85 3.66 None memsafety/lockfree-3.3_false-valid-memtrack.i ERROR: EXCEPTION 10.04 3.58 None memsafety/test-0019_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 13.47 8.59 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 10.10 3.70 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.21 3.00 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 4.49 1.86 None memsafety/test-0232_false-valid-memtrack.i ERROR: EXCEPTION 10.14 3.82 None memsafety/test-0234_false-valid-memtrack.i ERROR: EXCEPTION 112.36 83.91 None memsafety/test-0235_false-valid-memtrack.i TRUE 39.08 21.58 None memsafety/960521-1_true-valid-memsafety.i ERROR: EXCEPTION 7.87 2.94 None memsafety/lockfree-3.0_true-valid-memsafety.i ERROR: EXCEPTION 8.18 3.14 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 15.20 10.37 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 10.47 3.94 None memsafety/test-0134_true-valid-memsafety.i ERROR: EXCEPTION 12.41 4.95 None memsafety/test-0158_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.33 2.77 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.17 1.57 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.18 1.70 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.16 1.62 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 3.95 1.51 None memsafety/test-0232_true-valid-memsafety.i ERROR: EXCEPTION 8.60 3.31 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.35 210.48 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.44 216.94 None memsafety/test-0236_true-valid-memsafety.i ERROR: EXCEPTION 48.17 30.40 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.74 213.73 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 11.26 4.21 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 12.71 4.85 None memsafety/test-0521_true-valid-memsafety.i ERROR: EXCEPTION 21.59 7.97 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.44 222.14 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i ERROR: EXCEPTION 8.74 3.29 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.11 1.63 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 3.81 1.51 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 9.73 3.59 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 10.08 3.79 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i ERROR: EXCEPTION 11.05 4.01 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 11.24 4.13 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 9.86 3.61 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 17.79 7.09 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 11.21 4.36 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 12.29 4.66 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 13.80 5.44 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 11.41 4.23 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 11.43 4.41 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 12.69 4.81 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 13.70 5.38 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 9.82 3.85 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 18.59 7.15 None list-ext-properties/960521-1_1_false-valid-deref.i ERROR: EXCEPTION 10.04 3.79 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.93 2.96 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.60 2.85 None list-ext-properties/960521-1_1_false-valid-free.i ERROR: EXCEPTION 10.15 3.92 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 9.57 3.74 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 17.74 13.24 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 6.48 2.61 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.29 3.53 None list-ext-properties/960521-1_1_true-valid-memsafety.i ERROR: EXCEPTION 9.84 3.68 None list-ext-properties/list-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 7.76 2.89 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i ERROR: EXCEPTION 8.01 3.04 None list-ext-properties/simple-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 7.65 2.84 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 19.97 14.72 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.14 3.00 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 4.17 1.58 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 4.08 1.60 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.16 3.46 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 12.17 4.62 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 15.91 6.37 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 5.38 2.09 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 8.52 3.15 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c ERROR: EXCEPTION 9.65 3.56 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 5.99 2.31 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 6.03 2.33 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c ERROR: EXCEPTION 6.36 2.37 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c ERROR: EXCEPTION 6.11 2.35 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.59 2.21 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 5.52 2.20 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.51 2.19 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 5.73 2.28 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 5.66 2.21 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.34 2.20 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c ERROR: EXCEPTION 9.41 3.55 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 5.95 2.32 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c ERROR: EXCEPTION 7.52 2.83 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 6.02 2.42 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c ERROR: EXCEPTION 9.39 3.70 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 6.69 2.82 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 4.16 1.65 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 3.87 1.55 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 4.22 1.70 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 34.34 21.74 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 139.16 110.36 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 34.27 21.69 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 139.06 109.76 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 141.08 111.11 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 142.33 112.62 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 4.10 1.55 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 9.22 3.47 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 9.65 3.54 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 4.15 1.61 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 4.20 1.58 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 4.23 1.63 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 29.63 13.93 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 9.22 3.59 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.78 2.89 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 7.64 2.79 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 4.96 1.89 None ldv-memsafety/memleaks_test6_2_false-valid-free.i TIMEOUT (ERROR (143)) 243.89 237.20 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 8.54 3.32 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 10.24 3.84 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.10 1.63 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.14 1.60 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 4.16 1.58 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 3.88 1.51 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 4.21 1.63 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TRUE 71.68 45.02 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.14 1.64 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.21 1.60 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 9.41 3.64 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 9.10 3.44 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.66 3.68 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.47 3.73 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.04 3.41 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 6.01 2.38 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.24 1.69 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.06 1.59 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 10.25 3.75 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.80 2.98 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.64 3.66 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 8.94 3.43 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 6.06 2.34 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.36 2.90 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 242.17 235.29 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 241.39 234.90 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.23 3.23 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 6.17 2.32 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.63 2.83 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.00 2.53 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.46 3.98 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.10 1.62 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 28.83 13.69 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 3.93 1.59 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 4.15 1.67 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 17.66 6.91 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.11 1.56 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.60 3.37 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.66 3.82 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.98 4.42 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.73 2.99 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.82 2.92 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.13 1.59 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.10 1.56 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.08 3.44 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.48 3.53 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.54 3.62 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 4.34 1.69 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 4.09 1.64 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.80 3.33 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.87 3.63 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.37 3.75 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 242.05 235.34 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.57 3.68 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.78 3.32 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.67 3.51 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.85 1.62 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.98 1.71 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.63 1.52 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.85 1.56 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.89 1.47 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.86 1.52 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.96 1.55 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.70 1.48 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.98 1.58 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.71 1.47 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.46 5.19 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.14 1.70 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 18.25 7.55 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.10 1.62 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 4.17 1.64 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 4.15 1.56 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 9.48 3.54 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 13.24 5.15 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 10.62 4.00 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 9.07 3.36 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.35 2.78 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.97 2.65 None list-properties/list_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.26 2.74 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 8.47 3.05 None list-properties/simple_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.45 2.45 None list-properties/splice_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.50 2.76 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.60 1.74 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.32 1.67 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.45 1.71 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.43 1.69 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.46 1.72 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.67 1.83 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.65 1.74 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.58 1.71 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.53 1.70 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.31 1.66 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.74 1.92 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.52 1.66 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.46 1.67 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.45 4.02 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.47 3.61 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.36 3.85 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.10 4.17 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.83 4.01 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.22 5.10 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.02 4.04 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.46 4.46 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.99 3.65 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.91 3.92 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.55 3.78 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.07 3.01 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.07 3.60 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.00 4.03 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.11 3.44 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.77 4.21 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.32 3.72 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.97 4.02 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.35 3.05 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 11.04 4.04 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 10.32 3.87 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 10.17 3.74 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 240.64 195.35 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 4.78 1.78 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.44 1.72 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.47 2.95 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.12 2.84 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.56 2.38 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.40 2.41 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.66 2.42 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.54 2.74 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.25 2.54 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.55 2.14 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.45 2.32 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.00 2.26 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.61 1.74 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.52 1.79 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.85 1.94 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.71 1.90 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.88 1.93 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.71 1.87 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.64 1.85 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.76 1.92 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.51 1.78 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.58 1.79 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.63 1.84 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.45 1.75 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.65 1.81 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 4386.42 2282.71 - Statistics: 1304 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1304