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: Wed, 2018-04-11 09:52:13 CEST tool: ULTIMATE Automizer 0.1.23-666feb3e tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false 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 --cacsl2boogietranslator.bitprecise.bitfields false -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) 7.91 5.60 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.50 5.55 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 7.97 3.13 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.35 2.70 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 13.78 6.18 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 10.16 3.99 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.32 2.55 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 6.42 2.59 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 13.76 5.72 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 6.72 2.80 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 9.12 3.39 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 13.40 5.30 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 8.20 3.23 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 9.43 3.56 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 8.60 3.37 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.91 2.77 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 6.35 2.60 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 245.84 189.00 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 10.16 3.93 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 11.63 4.72 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 12.08 4.95 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 9.69 3.95 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 14.00 5.65 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 246.26 212.47 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 41.07 31.47 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 25.50 13.39 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 17.70 7.87 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 34.49 20.72 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 13.12 5.74 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 245.95 179.99 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 26.18 12.77 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 23.12 11.45 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 58.07 39.23 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 52.09 34.81 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 18.54 7.26 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 14.85 6.11 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 11.00 4.54 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 30.19 15.07 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 16.62 9.12 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 13.65 5.87 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 13.36 5.59 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 20.17 11.90 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 13.15 5.99 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TRUE 16.73 7.82 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TRUE 69.38 40.28 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 246.15 204.02 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 28.11 14.92 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 20.45 9.35 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 30.82 18.73 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 43.43 21.33 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 12.18 5.03 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.67 217.36 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 29.91 14.11 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 27.83 14.16 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 14.29 5.98 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 24.38 11.78 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 28.63 14.86 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 241.12 199.39 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 246.09 240.28 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 12.48 5.11 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 11.34 4.73 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 11.89 4.63 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 16.81 8.04 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 37.30 23.22 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 141.66 121.65 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 8.70 3.28 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 240.91 181.89 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 243.06 187.88 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 240.76 182.08 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 241.45 211.57 None memsafety/test-0137_false-valid-deref.i unknown 5.57 2.22 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 242.02 228.92 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 245.89 215.51 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 9.57 3.48 None memsafety/test-0232_false-valid-free.i unknown 5.42 2.18 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 246.09 239.48 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 19.18 7.55 None memsafety/lockfree-3.1_false-valid-memtrack.i FALSE(valid-memtrack) 41.72 16.05 None memsafety/lockfree-3.2_false-valid-memtrack.i FALSE(valid-memtrack) 15.18 5.39 None memsafety/lockfree-3.3_false-valid-memtrack.i FALSE(valid-memtrack) 57.58 23.97 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.88 4.54 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 5.81 2.23 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.83 3.03 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT (ERROR (143)) 241.87 224.79 None memsafety/test-0232_false-valid-memtrack.i unknown 5.15 2.08 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.77 225.74 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 243.59 230.57 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 246.33 233.88 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.25 150.65 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 13.80 5.75 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 5.64 2.25 None memsafety/test-0134_true-valid-memsafety.i unknown 5.53 2.17 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 9.12 3.61 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.62 2.36 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.70 2.20 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.70 2.24 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.21 224.65 None memsafety/test-0232_true-valid-memsafety.i unknown 5.31 2.17 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.93 224.46 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.87 230.34 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.56 222.27 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 244.84 233.54 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.88 203.22 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.06 186.62 None memsafety/test-0521_true-valid-memsafety.i unknown 5.27 2.20 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 244.66 225.58 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.38 196.27 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 5.61 2.18 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 5.37 2.15 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 241.29 220.30 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 241.22 184.17 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.54 196.46 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 241.70 207.90 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 242.62 214.98 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 240.71 207.64 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.60 179.14 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.67 183.70 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 106.26 77.51 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 242.21 204.58 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 162.47 94.61 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.65 178.68 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.95 205.57 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 218.19 181.67 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.68 205.82 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 12.71 4.72 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 240.46 179.73 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 11.69 4.38 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 13.80 5.32 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 9.41 3.56 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 17.00 7.12 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 8.16 3.08 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 5.19 2.13 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 240.97 191.37 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.01 185.28 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.36 190.82 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.91 192.20 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 16.88 7.48 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 8.79 3.31 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.43 2.12 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.51 2.31 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 5.12 2.03 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.65 198.37 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.17 181.30 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 12.52 4.81 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 8.19 3.20 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 8.40 3.28 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 6.60 2.75 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 6.87 2.86 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 243.64 185.56 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR: EXCEPTION) 240.38 181.32 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.94 2.80 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 6.54 2.71 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 6.30 2.59 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 6.55 2.63 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 6.37 2.63 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 6.13 2.63 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 245.46 189.00 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 11.19 4.42 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 12.37 4.81 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 11.25 4.41 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 13.34 5.89 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 11.62 4.51 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 7.36 2.94 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 7.15 2.92 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 7.15 2.96 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 8.50 3.45 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 8.70 3.59 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 8.13 3.30 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 8.29 3.24 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 8.05 3.28 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 7.93 3.10 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 6.29 2.25 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i TIMEOUT (ERROR (143)) 243.82 218.34 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i TIMEOUT (ERROR (143)) 241.11 210.76 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.80 2.28 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.57 2.41 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.77 2.25 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 5.66 2.17 None ldv-memsafety/memleaks_test17_2_false-valid-free.i TIMEOUT (ERROR (143)) 242.53 220.84 None ldv-memsafety/memleaks_test19_false-valid-free.i FALSE(valid-free) 126.05 97.99 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 10.64 4.31 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 8.92 3.50 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 18.00 6.65 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 11.62 4.33 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 201.57 177.98 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.14 2.35 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 19.85 7.86 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i FALSE(valid-memtrack) 61.22 29.55 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.08 2.33 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 6.30 2.72 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.25 206.84 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.25 4.18 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.55 3.57 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 241.37 220.12 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 241.67 223.34 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 62.07 51.62 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 242.78 219.39 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 25.58 16.21 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.37 3.50 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.91 3.62 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.87 3.57 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 100.66 69.74 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 47.70 30.32 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 73.13 47.07 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.77 3.98 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.76 3.51 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.10 3.93 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 14.84 5.60 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 14.73 5.42 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 13.48 5.13 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.40 3.81 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.11 4.12 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.49 3.85 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 207.28 179.82 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.04 2.40 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 6.01 2.36 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i TRUE 68.99 35.91 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.90 2.29 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.73 190.20 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i TRUE 13.13 4.81 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.53 218.31 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 242.37 217.55 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.92 216.34 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 72.75 39.68 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 11.06 4.02 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i TRUE 13.07 4.84 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i TRUE 12.07 4.44 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 71.29 43.67 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 244.37 209.77 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.85 206.05 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 5.43 2.17 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.59 2.18 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 10.99 4.19 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 16.53 6.62 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 12.34 4.67 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TRUE 18.53 7.33 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 16.98 6.35 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 11.53 4.20 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 11.73 4.12 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 7.31 2.83 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 46.22 34.10 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i FALSE(valid-deref) 36.79 24.71 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 180.16 164.03 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 71.21 59.85 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 7.54 2.95 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TRUE 59.37 40.03 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 8.48 3.23 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 240.20 228.22 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i FALSE(valid-free) 112.06 90.28 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.54 2.20 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 246.04 240.02 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.29 2.26 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.70 2.32 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 5.51 2.21 None heap-manipulation/tree_false-valid-deref.i unknown 5.52 2.27 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 246.05 239.78 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 23.28 9.22 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 242.59 225.18 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 42.79 22.10 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.65 185.82 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.06 3.39 None list-properties/list_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 11.99 4.68 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.37 3.49 None list-properties/simple_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 11.24 4.34 None list-properties/splice_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.40 3.77 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.96 2.31 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.24 2.27 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 6.05 2.33 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.20 2.37 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.11 2.39 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 6.19 2.33 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.92 2.24 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 6.04 2.38 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.83 2.27 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.87 2.36 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.15 2.35 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.21 2.45 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 6.06 2.36 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.19 198.92 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 244.45 212.47 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.35 179.04 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.95 190.62 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.81 181.23 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.37 186.44 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.42 205.83 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.29 202.55 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.22 185.29 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.21 204.49 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.98 200.04 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.69 191.01 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.06 184.76 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.08 187.94 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.76 185.44 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.58 187.34 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 243.46 195.40 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.71 197.57 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.26 186.90 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 62.82 35.76 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 30.59 12.36 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 44.75 22.91 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 241.00 191.22 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 6.85 2.56 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 6.68 2.38 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.35 3.79 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.68 3.95 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.51 3.12 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.87 3.22 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.03 3.39 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.70 3.47 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.48 3.39 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.04 2.90 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.09 3.01 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.28 2.99 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.05 2.52 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.07 2.54 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.00 2.55 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.00 2.59 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.22 2.59 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.25 2.64 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.43 2.49 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.47 2.56 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.18 2.65 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.28 2.44 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.52 2.48 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.52 2.66 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.28 2.59 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 15072.06 10495.01 - SmtInterpolCraig.32bitMem Run set 2 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -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) 7.98 3.13 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.43 2.63 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 8.28 3.05 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.26 2.63 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 12.01 4.99 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 10.09 4.06 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.28 2.53 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 6.32 2.66 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 12.51 4.72 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 6.83 2.74 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 9.00 3.40 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 12.07 4.45 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 7.22 2.84 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 9.62 3.51 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 8.60 3.22 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.93 2.80 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 5.94 2.51 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.52 183.89 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 9.49 3.87 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 10.43 4.06 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 10.67 4.13 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 9.98 3.89 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 12.92 4.95 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.21 179.92 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 13.05 5.01 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 20.47 8.76 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 15.22 6.52 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 18.89 7.90 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.54 4.60 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 241.98 191.35 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 20.16 8.38 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 18.40 7.51 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 21.46 8.76 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 19.54 8.40 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 15.34 5.73 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 14.25 5.61 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 10.79 4.15 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 21.72 9.32 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 7.43 2.84 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 11.74 4.72 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 11.72 4.67 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 15.64 8.00 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 11.21 4.54 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TRUE 14.84 6.03 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TRUE 48.86 24.07 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.15 183.92 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 21.12 8.89 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 14.10 5.81 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 19.03 8.04 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 41.52 17.61 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.66 4.64 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.37 182.54 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 23.16 9.65 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 22.62 9.12 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 13.00 5.12 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 19.13 8.26 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 22.44 9.72 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.57 179.08 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 246.08 240.37 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 240.97 192.62 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 9.58 3.85 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 10.25 3.91 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 12.10 4.65 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 21.48 9.39 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 26.97 11.70 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 8.85 3.28 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 240.79 182.87 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 240.47 187.22 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 241.26 182.13 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 241.24 187.98 None memsafety/test-0137_false-valid-deref.i unknown 5.58 2.26 None memsafety/test-0235_false-valid-deref.i unknown 10.23 3.76 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 241.36 188.62 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 9.40 3.53 None memsafety/test-0232_false-valid-free.i unknown 5.27 2.10 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 246.10 239.24 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 16.49 6.33 None memsafety/lockfree-3.1_false-valid-memtrack.i FALSE(valid-memtrack) 38.11 13.42 None memsafety/lockfree-3.2_false-valid-memtrack.i FALSE(valid-memtrack) 12.19 4.46 None memsafety/lockfree-3.3_false-valid-memtrack.i FALSE(valid-memtrack) 47.43 18.25 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.58 4.46 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 5.95 2.19 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.74 3.00 None memsafety/test-0220_false-valid-memtrack.i unknown 8.94 3.57 None memsafety/test-0232_false-valid-memtrack.i unknown 5.45 2.21 None memsafety/test-0234_false-valid-memtrack.i unknown 9.59 3.64 None memsafety/test-0235_false-valid-memtrack.i unknown 10.07 3.77 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.09 191.10 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.15 131.34 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 13.54 5.51 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 5.79 2.29 None memsafety/test-0134_true-valid-memsafety.i unknown 5.64 2.13 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 8.75 3.37 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.63 2.25 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.83 2.39 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.66 2.19 None memsafety/test-0219_true-valid-memsafety.i unknown 8.89 3.33 None memsafety/test-0232_true-valid-memsafety.i unknown 5.30 2.18 None memsafety/test-0234_true-valid-memsafety.i unknown 10.03 3.75 None memsafety/test-0235_true-valid-memsafety.i unknown 10.11 3.88 None memsafety/test-0236_true-valid-memsafety.i unknown 9.90 3.66 None memsafety/test-0237_true-valid-memsafety.i unknown 9.74 3.64 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.90 174.06 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.30 177.72 None memsafety/test-0521_true-valid-memsafety.i unknown 5.54 2.21 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TRUE 21.39 8.41 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.97 179.56 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 5.47 2.34 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 5.51 2.32 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR: EXCEPTION) 241.03 176.23 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 240.79 176.10 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.58 180.05 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 241.19 172.47 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 240.78 170.91 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR: EXCEPTION) 242.67 201.01 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i FALSE(valid-memtrack) 149.37 91.42 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 241.22 169.37 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 248.11 167.12 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.31 176.38 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.94 172.67 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.41 176.84 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.38 193.55 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.22 179.20 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 241.07 196.81 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 11.31 4.28 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 240.74 180.11 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 11.41 4.42 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 11.84 4.43 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 9.39 3.59 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 17.18 7.15 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 8.17 3.20 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 5.35 2.09 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 240.95 189.73 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.13 172.83 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.52 180.77 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.54 179.26 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 17.52 7.36 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 9.47 3.52 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 6.01 2.34 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.93 2.26 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 5.60 2.23 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 18.51 6.88 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.05 176.16 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 12.49 5.01 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 8.46 3.39 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 8.78 3.36 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 6.58 2.79 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 6.87 2.90 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 241.12 186.75 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR: EXCEPTION) 242.38 184.32 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 6.72 2.74 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 6.60 2.76 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 6.47 2.68 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 6.51 2.69 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 6.18 2.55 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 6.56 2.74 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR: EXCEPTION) 241.06 184.96 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 241.22 192.20 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR: EXCEPTION) 240.90 174.23 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 241.06 194.37 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 240.09 183.30 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 241.15 187.29 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 7.55 2.93 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 7.47 2.91 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 6.89 2.72 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 30.21 13.87 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 89.61 58.76 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 30.21 13.81 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 91.67 59.31 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 101.82 61.35 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 92.62 58.76 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 6.46 2.37 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i FALSE(valid-deref) 56.71 25.62 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i FALSE(valid-deref) 52.24 24.36 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.87 2.28 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.97 2.28 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.97 2.29 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 6.01 2.26 None ldv-memsafety/memleaks_test17_2_false-valid-free.i FALSE(valid-free) 82.19 38.61 None ldv-memsafety/memleaks_test19_false-valid-free.i FALSE(valid-free) 47.35 19.75 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 10.77 4.06 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 9.90 3.95 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 18.12 6.66 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 11.47 4.23 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 71.65 32.39 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.14 2.40 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 20.26 7.72 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i FALSE(valid-memtrack) 52.29 25.42 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.32 2.49 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 6.31 2.42 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 241.43 168.59 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 12.19 4.39 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.27 3.76 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.41 165.72 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i TIMEOUT (ERROR: EXCEPTION) 241.83 175.14 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 14.62 5.38 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 240.94 176.63 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 27.16 10.80 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.18 3.71 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.45 3.89 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.34 3.75 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 42.45 16.98 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 23.24 8.54 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 44.36 17.92 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.95 4.29 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.25 3.78 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.28 3.99 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 17.35 6.31 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 15.92 5.68 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 14.53 5.28 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.50 3.83 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.52 4.13 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.53 3.92 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TRUE 113.58 68.83 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.64 2.28 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 5.81 2.34 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i TRUE 62.05 30.55 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 6.58 2.63 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TRUE 223.80 151.79 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i TRUE 13.63 4.99 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.24 166.27 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.65 165.56 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.09 182.98 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i TRUE 57.23 23.97 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 12.32 4.70 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i TRUE 14.57 5.34 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i TRUE 14.79 5.26 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TRUE 63.78 30.89 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TRUE 79.62 38.61 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TRUE 83.82 42.45 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 5.87 2.24 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.83 2.41 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 11.86 4.38 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 16.07 6.08 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 13.45 4.96 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TRUE 19.70 7.55 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 19.58 7.09 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 12.75 4.61 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 12.06 4.45 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 8.09 3.14 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 11.51 4.44 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i FALSE(valid-deref) 14.61 5.60 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TRUE 28.09 12.95 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i FALSE(valid-deref) 33.15 15.32 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 7.97 3.12 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TRUE 21.57 8.93 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 8.69 3.39 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i FALSE(valid-deref) 29.51 13.06 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i FALSE(valid-free) 17.57 7.11 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.46 2.21 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 246.06 239.85 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.56 2.23 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.51 2.25 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 5.45 2.28 None heap-manipulation/tree_false-valid-deref.i unknown 5.39 2.11 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 246.06 239.83 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 21.55 8.31 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 36.39 16.59 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 30.10 13.38 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.75 180.42 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.32 3.47 None list-properties/list_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 12.34 4.89 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.70 3.64 None list-properties/simple_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 10.82 4.33 None list-properties/splice_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.23 3.45 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.41 2.41 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.15 2.29 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.77 2.41 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.32 2.56 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.89 2.30 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 6.00 2.47 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 6.34 2.41 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.80 2.45 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.01 2.40 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.12 2.40 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.96 2.34 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.54 2.30 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 6.19 2.48 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.48 177.36 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.61 178.07 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.86 176.20 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 240.44 179.99 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.51 180.01 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.53 180.11 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.98 181.31 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.46 184.73 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.66 179.96 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.46 178.80 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.04 176.59 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.78 173.97 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.65 176.96 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.71 177.43 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.80 178.66 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.11 175.57 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.63 179.86 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.73 179.94 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.68 178.91 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 38.98 18.53 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 28.25 11.85 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 29.42 13.03 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 241.08 193.89 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 7.40 2.71 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 6.56 2.51 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.09 4.13 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.79 3.99 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.87 3.20 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.42 3.12 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.02 3.33 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.72 3.58 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.38 3.79 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.04 2.75 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.63 3.25 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.02 3.01 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.17 2.46 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.21 2.45 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.91 2.57 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.19 2.55 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.17 2.51 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.25 2.53 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.29 2.54 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.34 2.55 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.87 2.39 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.17 2.44 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.97 2.45 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.12 2.45 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.27 2.61 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 22017.26 8130.64 - SmtInterpolNoArray.32bitMem Run set 3 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -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) 7.59 3.11 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.59 2.69 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 7.98 3.08 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.26 2.64 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 13.58 5.62 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 10.01 3.82 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.40 2.52 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 6.41 2.64 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 12.87 5.03 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 6.60 2.74 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 9.42 3.92 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 12.06 4.80 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 7.53 2.90 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 9.43 3.63 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 8.32 3.30 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.95 2.95 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 6.28 2.55 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.43 175.60 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 10.45 4.37 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 12.12 4.84 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 11.91 4.64 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 10.65 4.08 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 14.06 5.37 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 242.61 186.57 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 13.34 5.49 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 30.81 15.96 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 240.60 176.29 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 27.79 12.70 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 13.15 5.21 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.06 215.33 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 27.06 11.68 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.97 170.41 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 68.08 47.96 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 49.72 34.32 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 21.01 8.48 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 15.99 6.66 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 11.91 4.45 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 20.28 8.47 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 7.47 2.95 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 17.62 8.83 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 14.40 6.11 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 39.42 28.75 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 14.29 6.33 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.78 181.05 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.79 179.33 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 245.83 200.94 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 31.03 14.00 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.56 177.82 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 24.85 11.26 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 72.83 35.30 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 14.29 5.85 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.72 205.47 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 35.71 16.61 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.32 187.99 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 15.55 6.50 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 26.96 12.82 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 31.64 14.96 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.39 168.46 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 246.06 239.87 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 14.69 5.91 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 11.98 4.96 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 11.84 4.82 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 14.87 6.01 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 63.39 44.18 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 54.10 33.26 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 9.51 3.57 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 241.23 176.28 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR: EXCEPTION) 240.74 180.34 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR: EXCEPTION) 240.86 179.79 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 241.58 175.08 None memsafety/test-0137_false-valid-deref.i unknown 5.39 2.24 None memsafety/test-0235_false-valid-deref.i unknown 10.36 3.99 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 240.78 176.85 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 10.53 3.90 None memsafety/test-0232_false-valid-free.i unknown 5.69 2.30 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 246.09 239.24 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 19.64 7.24 None memsafety/lockfree-3.1_false-valid-memtrack.i FALSE(valid-memtrack) 35.91 12.83 None memsafety/lockfree-3.2_false-valid-memtrack.i FALSE(valid-memtrack) 13.32 4.72 None memsafety/lockfree-3.3_false-valid-memtrack.i FALSE(valid-memtrack) 46.20 18.75 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 12.60 5.03 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 6.00 2.31 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.99 3.09 None memsafety/test-0220_false-valid-memtrack.i unknown 9.14 3.37 None memsafety/test-0232_false-valid-memtrack.i unknown 5.40 2.08 None memsafety/test-0234_false-valid-memtrack.i unknown 10.00 3.70 None memsafety/test-0235_false-valid-memtrack.i unknown 9.94 3.82 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.75 177.54 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.03 173.29 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 14.20 5.80 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 5.93 2.32 None memsafety/test-0134_true-valid-memsafety.i unknown 5.46 2.23 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 9.64 3.82 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.19 2.32 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.83 2.31 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.89 2.31 None memsafety/test-0219_true-valid-memsafety.i unknown 8.94 3.39 None memsafety/test-0232_true-valid-memsafety.i unknown 5.59 2.32 None memsafety/test-0234_true-valid-memsafety.i unknown 10.05 3.68 None memsafety/test-0235_true-valid-memsafety.i unknown 10.54 3.85 None memsafety/test-0236_true-valid-memsafety.i unknown 10.44 3.82 None memsafety/test-0237_true-valid-memsafety.i unknown 10.22 3.84 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.69 211.06 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.75 206.02 None memsafety/test-0521_true-valid-memsafety.i unknown 5.39 2.19 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.74 224.70 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 246.00 214.47 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 5.40 2.21 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 5.61 2.19 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 241.89 216.34 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 243.26 216.95 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.54 205.49 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 242.94 212.21 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 243.27 212.77 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 240.51 209.84 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 244.35 173.40 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 242.37 185.89 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.71 219.05 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.47 205.67 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.97 182.51 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.89 180.68 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.72 216.55 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.55 208.60 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.34 201.37 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 13.38 5.27 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 241.43 188.52 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 11.49 4.51 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 13.86 5.13 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 9.75 3.76 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 20.28 8.58 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 8.67 3.43 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 5.72 2.19 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 245.50 215.30 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.43 179.96 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.62 185.58 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.37 202.07 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 26.11 14.84 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 9.24 3.60 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.62 2.14 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.59 2.20 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 5.42 2.10 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 19.91 7.66 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.42 203.01 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 4.62 1.92 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 7.81 3.17 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 8.69 3.41 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 6.59 2.78 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 6.94 2.76 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 241.04 173.44 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 240.58 174.93 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 6.73 2.79 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 6.81 2.77 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 6.86 2.77 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 6.93 2.77 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 6.63 2.76 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 6.79 2.72 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 240.41 169.37 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 10.46 4.07 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 12.30 4.79 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 10.70 3.97 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 12.67 4.83 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 12.33 4.74 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 7.62 2.97 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 7.71 2.95 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 6.72 2.73 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 8.41 3.30 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 8.66 3.39 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 8.32 3.32 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 8.48 3.29 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 8.37 3.35 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 8.28 3.21 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 6.35 2.48 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i TIMEOUT (ERROR (143)) 243.77 215.91 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i FALSE(valid-deref) 123.18 89.67 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.67 2.28 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.54 2.29 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.84 2.36 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 5.71 2.38 None ldv-memsafety/memleaks_test17_2_false-valid-free.i TIMEOUT (ERROR (143)) 240.78 212.70 None ldv-memsafety/memleaks_test19_false-valid-free.i TIMEOUT (ERROR (143)) 241.51 223.49 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 10.71 3.90 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 9.31 3.35 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 157.45 144.44 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 10.94 3.99 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 241.50 201.67 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.72 2.20 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 98.28 85.15 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 241.20 217.86 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.22 2.34 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 6.20 2.42 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.49 179.42 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.14 4.19 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.88 3.58 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 242.24 219.20 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 242.23 217.11 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 58.60 49.74 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 22.62 13.61 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 240.52 176.18 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.51 3.57 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.10 3.76 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.13 3.70 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 52.19 27.05 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 25.74 9.54 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 54.36 28.12 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.38 4.38 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.20 3.71 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.77 4.15 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 105.55 93.71 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 150.91 139.37 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 67.70 57.53 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.79 3.61 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.85 3.99 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.18 3.79 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.02 206.91 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.78 2.22 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 5.52 2.32 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.35 216.57 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 6.05 2.43 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.35 186.63 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i TRUE 13.00 4.94 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.62 215.42 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 242.77 208.89 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 242.02 214.84 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i TRUE 235.68 207.21 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 11.45 4.11 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i TRUE 13.38 5.01 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i TRUE 12.37 4.67 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 242.23 213.72 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 242.01 205.65 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.05 195.72 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 5.77 2.29 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.88 2.31 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 11.76 4.44 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 15.65 5.97 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 12.95 4.76 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.39 223.44 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 82.24 68.57 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 12.17 4.53 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 12.06 4.46 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 7.38 2.99 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 241.31 211.99 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i FALSE(valid-deref) 67.29 54.23 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 239.51 220.44 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 240.95 228.60 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 7.68 3.06 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TRUE 46.00 30.37 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 8.68 3.39 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 241.85 229.58 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 241.12 212.89 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.92 2.38 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 246.06 239.67 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.66 2.45 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.77 2.40 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 5.44 2.33 None heap-manipulation/tree_false-valid-deref.i unknown 5.65 2.36 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 246.06 239.72 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 27.98 10.70 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 73.21 43.88 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 53.43 28.50 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.10 183.85 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.44 3.52 None list-properties/list_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 12.24 4.86 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.66 3.58 None list-properties/simple_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 11.55 4.48 None list-properties/splice_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.30 3.56 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.35 2.54 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.03 2.43 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 6.16 2.39 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.92 2.39 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.02 2.42 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 6.02 2.38 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 6.07 2.42 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 6.51 2.38 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.08 2.40 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.13 2.47 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.43 2.39 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.21 2.38 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 6.30 2.46 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.21 207.90 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.64 206.46 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 244.89 205.06 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.52 197.16 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.99 190.46 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.67 190.50 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.65 209.06 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.30 209.15 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 243.05 209.72 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.83 212.43 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.10 205.92 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.70 177.26 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.86 200.34 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.13 186.97 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.94 184.95 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.26 191.73 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.13 184.17 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.81 185.40 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.74 192.23 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 136.43 105.64 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 77.42 57.55 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 51.69 27.09 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 240.84 176.58 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 7.06 2.69 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 6.80 2.47 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.26 4.05 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.62 3.83 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.96 3.21 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.51 3.20 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.16 3.42 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.46 3.75 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.37 3.73 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.65 3.17 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.88 3.52 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.62 3.24 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.76 2.83 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.71 2.76 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.73 2.81 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.75 2.81 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.79 2.91 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.77 2.75 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.84 2.87 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.75 2.91 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.49 2.88 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.49 2.70 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.64 2.82 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.56 2.71 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.43 2.81 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 26370.97 10874.11 - z3.32bitMem Run set 4 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -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) 8.40 3.30 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 7.16 2.88 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 9.22 3.70 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.21 2.63 None array-memsafety/cstrchr_unsafe_false-valid-deref.i ERROR: EXCEPTION 8.41 3.44 None array-memsafety/cstrlen_unsafe_false-valid-deref.i ERROR: EXCEPTION 9.10 3.53 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.33 2.72 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 6.44 2.83 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i ERROR: EXCEPTION 10.05 3.94 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 7.35 3.06 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i ERROR: EXCEPTION 7.45 3.05 None array-memsafety/lis_unsafe_false-valid-deref.i ERROR: EXCEPTION 8.78 3.25 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 8.51 3.35 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 15.42 7.24 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 8.80 3.40 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 7.30 3.07 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 6.39 2.66 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.25 3.16 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.58 3.52 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.40 3.49 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.16 3.40 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.62 3.74 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.79 3.45 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.83 3.51 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.76 3.19 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.76 3.38 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.18 3.51 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.82 3.35 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.64 3.58 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.49 3.93 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.03 3.45 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.04 3.43 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.97 3.56 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.82 3.47 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.34 3.09 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.33 3.26 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.84 3.69 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.34 3.61 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.67 3.50 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.43 3.44 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.02 3.40 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.88 3.48 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 90.89 81.85 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.14 3.50 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.25 3.56 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.25 3.19 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.06 3.26 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.74 3.28 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.35 3.20 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.03 3.18 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.94 3.36 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.48 3.89 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.64 3.25 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.89 3.42 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.32 3.45 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.09 3.22 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.90 3.11 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.27 3.50 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 246.03 240.46 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.68 3.72 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.73 3.43 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.11 3.43 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.12 3.60 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.46 3.29 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.68 3.25 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 9.69 3.71 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 240.41 193.55 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 240.84 185.67 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 240.50 193.38 None memsafety/960521-1_false-valid-deref.i ERROR: EXCEPTION 9.85 4.30 None memsafety/test-0137_false-valid-deref.i unknown 5.69 2.61 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 240.34 194.48 None memsafety/960521-1_false-valid-free.i ERROR: EXCEPTION 10.25 4.30 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 11.01 4.25 None memsafety/test-0232_false-valid-free.i unknown 5.48 2.49 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 246.05 239.89 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 10.46 3.89 None memsafety/lockfree-3.1_false-valid-memtrack.i ERROR: EXCEPTION 11.66 4.39 None memsafety/lockfree-3.2_false-valid-memtrack.i ERROR: EXCEPTION 11.39 4.23 None memsafety/lockfree-3.3_false-valid-memtrack.i ERROR: EXCEPTION 11.38 4.28 None memsafety/test-0019_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 10.02 3.79 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 6.03 2.31 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 8.75 3.40 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 22.22 9.38 None memsafety/test-0232_false-valid-memtrack.i unknown 5.37 2.18 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.24 190.46 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.34 188.17 None memsafety/960521-1_true-valid-memsafety.i ERROR: EXCEPTION 10.72 3.95 None memsafety/lockfree-3.0_true-valid-memsafety.i ERROR: EXCEPTION 23.16 8.43 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.13 3.84 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 6.04 2.43 None memsafety/test-0134_true-valid-memsafety.i unknown 5.59 2.23 None memsafety/test-0158_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.49 3.84 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.87 2.69 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.85 2.27 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.94 2.38 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 22.70 10.16 None memsafety/test-0232_true-valid-memsafety.i unknown 5.54 2.28 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.29 194.74 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.24 210.48 None memsafety/test-0236_true-valid-memsafety.i TRUE 49.71 28.29 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.78 200.85 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 13.14 4.98 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 15.90 5.78 None memsafety/test-0521_true-valid-memsafety.i unknown 5.55 2.31 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.89 8.01 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i ERROR: EXCEPTION 11.14 4.18 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 5.58 2.15 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 5.34 2.42 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 11.96 4.41 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 12.26 4.63 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i ERROR: EXCEPTION 12.68 4.65 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 13.48 4.81 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 11.27 4.31 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 19.84 7.55 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 17.99 9.76 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 22.24 13.25 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 15.32 5.81 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 12.35 4.66 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 12.70 4.95 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 13.17 5.01 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 15.96 6.33 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 12.85 4.83 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 20.17 7.81 None list-ext-properties/960521-1_1_false-valid-deref.i ERROR: EXCEPTION 11.22 4.43 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 8.61 3.22 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 9.40 3.46 None list-ext-properties/960521-1_1_false-valid-free.i ERROR: EXCEPTION 10.97 4.44 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 10.91 4.21 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.59 3.73 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 8.71 3.42 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 5.14 2.08 None list-ext-properties/960521-1_1_true-valid-memsafety.i ERROR: EXCEPTION 11.13 4.38 None list-ext-properties/list-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 8.57 3.20 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i ERROR: EXCEPTION 9.52 3.53 None list-ext-properties/simple-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 9.16 3.45 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.52 3.60 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.56 3.96 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.82 2.34 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.79 2.41 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 5.54 2.22 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 15.23 5.60 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 18.79 7.12 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 7.74 3.01 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 9.30 3.65 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c ERROR: EXCEPTION 8.00 3.20 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 7.16 3.04 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 7.65 3.17 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c ERROR: EXCEPTION 7.49 3.02 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c ERROR: EXCEPTION 8.31 3.30 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 6.82 2.86 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 6.99 3.11 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 6.57 2.71 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 7.33 2.92 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 6.75 2.86 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 6.94 2.78 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c ERROR: EXCEPTION 10.02 4.03 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.88 3.05 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c ERROR: EXCEPTION 8.80 3.55 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.89 3.07 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c ERROR: EXCEPTION 9.96 3.90 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 8.85 3.41 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 8.88 3.42 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 8.96 3.46 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 7.70 3.07 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 36.24 22.86 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 141.32 112.17 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 36.10 22.87 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 140.86 110.92 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 143.02 112.73 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 142.61 112.61 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 6.36 2.51 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 13.29 5.06 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 13.22 5.04 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.90 2.34 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.91 2.46 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.65 2.30 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 5.81 2.32 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 14.36 5.54 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 12.71 4.55 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 12.36 4.64 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 9.81 3.69 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 18.22 7.30 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 14.76 5.69 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 14.77 5.80 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.97 2.40 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 243.91 235.69 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 3.79 1.54 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.33 2.56 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 6.36 2.54 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 73.02 43.26 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 13.98 5.46 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.86 4.02 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 14.44 5.55 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 13.84 5.33 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 18.67 8.67 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 26.91 17.86 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 13.38 5.03 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.73 4.04 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.71 4.44 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.25 4.05 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 14.24 5.29 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 12.99 4.79 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 14.15 5.25 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 14.13 5.36 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.75 3.94 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 13.00 4.64 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 17.53 7.06 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 14.81 5.80 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 13.70 5.07 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.37 4.00 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 13.44 5.34 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 12.06 4.32 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 14.59 5.53 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.98 2.40 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 6.11 2.44 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 14.22 5.30 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 6.32 2.54 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 21.22 8.65 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 15.58 5.95 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 14.91 5.69 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 15.10 5.38 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.84 6.66 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 13.15 4.68 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 3.83 1.49 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 18.85 8.18 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.82 6.77 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 14.02 5.19 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 14.69 5.52 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 14.21 5.47 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.33 2.47 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.01 2.40 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 13.96 5.57 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 3.61 1.47 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.17 6.41 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 3.61 1.47 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 14.55 5.74 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 14.92 5.80 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 15.52 6.09 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 9.92 3.93 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 26.07 17.93 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TRUE 20.73 10.64 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TRUE 21.88 10.53 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TRUE 19.64 8.96 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 10.03 3.89 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i ERROR: EXCEPTION 13.89 5.83 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.69 1.54 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TRUE 22.34 10.50 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i ERROR: EXCEPTION 27.13 18.55 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.89 2.30 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 246.08 239.81 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.08 2.35 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.22 2.51 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.15 2.53 None heap-manipulation/tree_false-valid-deref.i unknown 6.13 2.59 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 246.07 240.12 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 15.97 6.06 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 13.70 5.03 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 12.16 4.47 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.01 3.51 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 9.06 3.45 None list-properties/list_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 9.29 3.63 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 10.25 3.81 None list-properties/simple_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 9.31 3.74 None list-properties/splice_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 9.36 3.63 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.34 2.49 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 3.67 1.50 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 3.64 1.43 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.48 2.51 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.31 2.42 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 3.73 1.56 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 6.35 2.62 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 6.58 2.76 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 3.63 1.46 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 3.70 1.45 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.25 2.50 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.44 2.59 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.87 2.41 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.83 4.97 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i unknown 3.79 1.50 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unknown 3.68 1.47 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.94 5.21 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.90 5.20 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 3.70 1.46 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.14 5.26 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i unknown 3.75 1.52 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.17 4.97 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.41 4.75 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.92 4.67 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.58 4.31 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.91 4.64 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.53 4.78 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 3.83 1.53 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.02 5.12 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.53 4.69 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.44 5.09 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.96 4.91 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 13.99 5.33 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 13.16 4.96 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 12.82 4.61 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 240.72 194.20 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 7.66 3.05 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 6.76 2.61 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.82 3.98 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.61 3.82 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.53 3.16 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.05 3.35 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.57 1.44 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.79 3.51 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.30 3.49 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.60 1.46 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.42 3.23 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.00 3.16 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.23 2.58 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.64 1.43 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.24 2.68 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.48 2.56 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.37 2.63 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.37 2.82 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.35 2.60 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.52 2.52 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.93 2.52 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.61 2.79 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.22 2.56 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.25 2.53 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.06 2.43 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 6002.04 2594.64 - Statistics: 1304 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1304