BENCHMARK INFORMATION benchmark definition: ../benchexec/equality-cav18-memsafety-heapsep-z3only-32.xml name: equality-cav18-memsafety-heapsep-z3only-32 run sets: Automizer.32bitMem, AutomizerHeapSep.32bitMem date: Wed, 2018-03-28 12:00:36 CEST tool: ULTIMATE Automizer 0.1.23-4cf2d922 tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 180 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 6000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: monteverdi os: Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1 cpu: Intel Core i7-2600 CPU @ 3.40GHz - cores: 8 - max frequency: 3800.0 MHz - turbo boost enabled: True ram: 25257.209855999998 MB ------------------------------------------------------------ Automizer.32bitMem Run set 1 of 3 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 9.42 3.81 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 7.90 3.27 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 10.66 4.09 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 7.43 2.95 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 20.68 8.66 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 13.21 5.03 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 7.50 2.95 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 8.30 3.29 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 18.83 8.25 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 8.59 3.42 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 12.48 4.52 None array-memsafety/lis_unsafe_false-valid-deref.i ERROR: EXCEPTION 22.49 9.52 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 9.97 3.87 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 15.96 6.31 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 11.47 4.20 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 8.63 3.43 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 7.35 2.95 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.20 157.64 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 18.63 7.28 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 18.91 7.35 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 17.86 7.01 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.89 129.16 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.06 129.69 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.60 151.23 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 22.18 9.83 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 71.97 50.59 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.01 144.31 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 56.95 32.68 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 19.15 8.29 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.46 151.36 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 71.46 50.95 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.26 140.59 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 101.43 71.93 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 177.21 151.44 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.66 143.05 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 24.07 9.94 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.76 131.07 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 35.57 17.09 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 27.63 17.28 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.16 160.27 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.57 152.56 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.92 158.82 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.59 151.77 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.09 145.81 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.88 6.49 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.94 142.19 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 67.91 47.67 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.04 146.94 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 87.35 62.99 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.93 143.92 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 19.71 8.78 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.71 152.01 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 50.64 30.74 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.81 145.03 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 21.82 9.27 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 83.89 63.16 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.92 159.64 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.01 154.71 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 186.14 179.76 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 22.19 9.16 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 19.77 8.48 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 20.93 8.68 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 24.98 12.14 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 83.41 58.02 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.71 149.01 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 12.34 4.63 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 180.64 132.94 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 180.59 127.58 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 180.31 140.28 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 180.85 147.85 None memsafety/test-0137_false-valid-deref.i unknown 6.43 2.54 None memsafety/test-0235_false-valid-deref.i ERROR: EXCEPTION 17.54 6.66 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 180.80 148.46 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 13.72 4.93 None memsafety/test-0232_false-valid-free.i unknown 6.38 2.49 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.13 179.50 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.19 131.66 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 65.69 27.31 None memsafety/lockfree-3.2_false-valid-memtrack.i UNKNOWN: OverapproxCex 22.28 7.71 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.20 113.90 None memsafety/test-0019_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 21.44 9.68 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 7.28 2.72 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.34 4.12 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT 203.74 115.95 None memsafety/test-0232_false-valid-memtrack.i unknown 6.55 2.82 None memsafety/test-0234_false-valid-memtrack.i ERROR: EXCEPTION 19.56 8.39 None memsafety/test-0235_false-valid-memtrack.i ERROR: EXCEPTION 17.30 6.52 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.00 146.34 None memsafety/lockfree-3.0_true-valid-memsafety.i ERROR: EXCEPTION 155.42 96.55 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 23.80 11.04 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.14 2.71 None memsafety/test-0134_true-valid-memsafety.i unknown 6.58 2.54 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 13.35 5.73 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.87 2.59 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.71 2.62 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.87 2.61 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT 203.77 98.50 None memsafety/test-0232_true-valid-memsafety.i unknown 6.08 2.40 None memsafety/test-0234_true-valid-memsafety.i ERROR: EXCEPTION 19.98 10.09 None memsafety/test-0235_true-valid-memsafety.i ERROR: EXCEPTION 19.53 8.51 None memsafety/test-0236_true-valid-memsafety.i ERROR: EXCEPTION 18.16 8.15 None memsafety/test-0237_true-valid-memsafety.i ERROR: EXCEPTION 19.35 8.85 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 6.32 2.47 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 6.56 2.52 None memsafety/test-0521_true-valid-memsafety.i unknown 6.83 2.81 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.79 148.02 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.08 155.59 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.53 2.53 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.60 2.49 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.96 2.61 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.37 2.40 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.25 144.25 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.58 2.53 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.50 2.16 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 6.70 2.59 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 6.52 2.44 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 6.30 2.49 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.03 155.58 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.12 147.26 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 6.27 2.49 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 6.22 2.46 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.50 147.65 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.03 149.86 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 6.54 2.50 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 17.58 7.37 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 180.78 144.96 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 16.74 6.40 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 24.75 12.06 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 13.06 4.93 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 37.71 19.50 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.63 4.12 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.51 2.51 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.58 153.39 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.20 138.32 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.54 148.04 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.87 153.66 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 44.12 25.11 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 13.25 5.26 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 7.10 2.76 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 7.40 3.27 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 7.05 3.11 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 6.92 3.36 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 7.27 3.26 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 18.91 8.73 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 11.45 5.11 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 14.02 5.72 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 9.04 3.77 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 9.42 4.94 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 180.78 131.29 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 181.42 128.72 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 8.01 3.33 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 8.33 3.53 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 8.19 3.41 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 8.31 3.55 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 8.60 5.08 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 8.03 4.31 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 181.39 167.97 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 186.04 144.68 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR (143)) 180.36 122.90 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 186.15 143.45 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 181.33 127.54 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 181.24 123.84 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 10.06 3.82 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 9.95 3.77 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 8.58 3.36 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 17.69 7.65 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 27.70 13.69 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 18.58 7.72 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 28.22 13.90 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 29.60 14.32 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 29.55 14.32 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 6.71 2.60 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 7.16 2.70 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 7.04 2.67 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.98 2.64 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.02 2.65 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 6.89 2.63 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.14 2.65 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 7.01 2.59 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.08 2.69 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 7.14 2.62 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 6.97 2.69 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 7.00 2.62 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 6.78 2.77 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.35 2.73 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.11 2.69 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.04 2.68 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 7.16 2.76 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.01 2.63 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 7.16 2.70 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 7.15 2.62 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.14 2.75 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.00 2.69 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 7.07 2.71 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 6.89 2.71 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.23 2.67 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.07 2.67 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.11 2.71 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.83 2.76 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.11 2.74 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.13 2.68 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.15 2.77 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.11 2.77 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.95 2.69 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.14 2.69 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.00 2.65 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.05 2.65 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.06 2.73 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.20 2.73 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.91 2.91 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.68 2.57 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.85 2.71 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.98 2.54 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.09 2.64 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.24 2.65 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.04 2.76 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 7.14 2.64 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.21 2.72 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.12 2.79 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.84 2.66 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.01 2.65 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.26 2.77 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.76 2.62 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.87 2.65 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.03 2.58 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.16 2.73 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.07 2.70 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.93 2.65 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.14 2.65 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.27 2.72 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.96 2.72 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.92 2.66 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.20 2.66 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.87 2.82 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.99 2.64 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.16 2.69 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.11 2.62 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.99 2.71 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.57 2.59 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 10.13 3.97 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 20.63 9.13 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.71 169.80 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.60 166.39 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.27 169.28 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 10.50 4.00 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 180.67 166.41 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 11.48 4.43 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i ERROR: EXCEPTION 40.26 30.09 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 180.66 164.54 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.71 2.57 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.76 2.57 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.77 2.58 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.58 2.58 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.63 2.51 None heap-manipulation/tree_false-valid-deref.i unknown 6.44 2.52 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.42 2.51 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.39 2.49 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.51 2.51 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.19 148.54 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.56 144.32 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 11.82 4.34 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 17.98 7.04 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 15.28 5.83 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 15.80 6.26 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 13.60 4.85 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.48 2.78 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.30 2.73 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.32 2.68 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.28 2.72 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.33 2.79 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.48 2.80 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.43 2.74 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.25 2.76 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.17 2.68 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.29 2.67 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.15 2.62 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.29 2.80 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.48 2.74 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.55 2.56 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.87 2.64 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.44 2.57 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.37 2.54 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.62 2.61 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.38 2.57 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.32 2.42 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.29 2.52 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.47 2.41 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.44 2.55 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 102.01 72.87 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.87 2.62 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.53 2.47 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.33 2.48 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.47 145.85 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.70 141.61 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.67 2.58 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.82 2.62 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.40 2.51 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.78 2.55 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.67 2.57 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 19.64 7.84 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 180.82 137.71 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 8.27 3.01 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 7.93 2.91 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.55 5.64 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.55 5.68 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.41 4.78 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.92 4.64 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.47 4.60 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.61 5.28 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.97 5.09 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.06 3.77 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.66 4.31 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.10 4.40 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.78 3.10 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.04 3.16 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.06 3.12 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.96 3.21 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.31 3.23 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.48 3.16 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.46 3.27 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.98 3.19 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.34 2.93 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.58 2.99 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.67 3.03 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.53 3.07 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.72 3.02 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 9426.49 5671.59 - AutomizerHeapSep.32bitMem Run set 2 of 3 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 180.94 144.60 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 43.72 23.69 None array-memsafety/count_down_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.45 146.15 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 105.80 84.01 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 22.04 7.51 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 21.50 7.40 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.53 156.91 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 92.97 68.61 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 33.47 11.30 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 40.09 20.38 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.61 128.77 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.32 145.86 None array-memsafety/mult_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 184.36 154.20 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 180.35 144.07 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.31 150.45 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 49.52 21.53 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 9.10 3.52 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.21 147.22 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 60.65 26.10 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 176.29 139.84 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 39.09 14.17 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.49 120.05 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 39.32 15.09 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.87 142.01 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 98.41 61.40 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.61 146.71 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 180.18 139.86 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.82 150.58 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 39.41 16.67 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.23 147.09 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.94 149.24 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.30 143.09 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.46 142.60 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.15 145.75 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.37 121.43 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 109.83 71.19 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.78 122.72 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.04 142.48 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.24 137.12 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.97 139.41 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.71 147.67 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.48 152.34 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.10 137.25 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 165.97 125.53 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 60.34 33.19 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.00 141.00 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.40 149.94 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.21 148.71 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.46 149.01 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.95 143.28 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 39.50 15.45 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.49 143.55 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.66 152.03 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.32 145.61 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 56.10 24.85 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.29 145.65 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.60 145.05 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.50 145.86 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 186.15 179.61 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 85.68 47.09 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 22.71 8.74 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 27.03 9.31 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.41 143.60 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.81 149.62 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.03 145.32 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 49.12 21.74 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 180.14 133.78 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 180.75 126.23 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 180.27 140.59 None memsafety/960521-1_false-valid-deref.i FALSE(valid-deref) 76.57 47.21 None memsafety/test-0137_false-valid-deref.i unknown 6.57 2.56 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 181.18 121.91 None memsafety/960521-1_false-valid-free.i FALSE(valid-free) 78.26 43.83 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 53.30 26.13 None memsafety/test-0232_false-valid-free.i unknown 6.57 2.54 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.14 179.26 None memsafety/20051113-1.c_false-valid-memtrack.i UNKNOWN: OverapproxCex 136.61 103.37 None memsafety/lockfree-3.1_false-valid-memtrack.i ERROR: EXCEPTION 85.33 62.58 None memsafety/lockfree-3.2_false-valid-memtrack.i ERROR: EXCEPTION 119.75 88.25 None memsafety/lockfree-3.3_false-valid-memtrack.i ERROR: EXCEPTION 118.28 92.72 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-deref) 164.64 138.30 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 7.39 2.68 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 30.29 11.94 None memsafety/test-0220_false-valid-memtrack.i FALSE(valid-deref) 84.13 45.09 None memsafety/test-0232_false-valid-memtrack.i unknown 6.66 2.48 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.42 127.90 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.26 119.62 None memsafety/960521-1_true-valid-memsafety.i FALSE(valid-free) 80.59 45.34 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 183.63 155.77 None memsafety/test-0019_true-valid-memsafety_true-termination.i FALSE(valid-deref) 31.33 10.66 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.19 2.73 None memsafety/test-0134_true-valid-memsafety.i unknown 6.95 2.65 None memsafety/test-0158_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 37.14 14.23 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.84 2.59 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.00 2.63 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.87 2.60 None memsafety/test-0219_true-valid-memsafety.i FALSE(valid-deref) 79.30 46.87 None memsafety/test-0232_true-valid-memsafety.i unknown 6.38 2.48 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.72 125.16 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.07 118.66 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.91 127.69 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.06 124.31 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 6.59 2.54 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 6.76 2.53 None memsafety/test-0521_true-valid-memsafety.i unknown 6.57 2.56 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i FALSE(valid-deref) 79.74 49.97 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.17 159.44 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.99 2.54 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.52 2.52 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.99 2.72 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.50 2.46 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.97 158.29 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.54 2.46 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.59 2.52 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 6.57 2.55 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 6.49 2.50 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 6.53 2.54 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.94 159.04 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 184.18 153.70 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 6.61 2.56 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 6.85 2.84 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 184.86 161.19 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 182.20 152.88 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 6.64 2.51 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 122.12 83.35 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 185.96 160.05 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 185.17 149.44 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 120.62 83.32 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 173.86 146.74 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 182.33 156.26 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 100.16 77.49 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.41 2.41 None list-ext-properties/960521-1_1_true-valid-memsafety.i FALSE(valid-free) 115.02 75.75 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.29 157.01 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.53 153.69 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.19 152.00 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 62.93 38.46 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.02 156.71 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 6.90 2.54 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 6.87 2.53 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.49 2.52 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 6.61 2.54 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 6.52 2.49 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.44 155.51 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 152.29 115.70 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 152.46 119.16 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 42.47 17.10 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 51.59 23.37 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 182.98 119.89 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 182.71 119.53 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 9.06 3.60 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 10.24 3.78 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 9.54 3.70 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 10.42 3.98 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 9.63 3.60 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 9.45 3.68 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c FALSE(valid-deref) 155.39 123.66 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 134.78 84.12 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR (143)) 180.27 118.35 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 135.89 87.78 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 180.65 120.28 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 181.65 118.03 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TIMEOUT (ERROR (143)) 184.17 161.42 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 182.72 160.35 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 179.59 158.26 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 10.47 4.02 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 10.81 4.09 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 10.17 3.97 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 11.75 4.32 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 10.48 4.05 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 10.63 4.06 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.14 2.61 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 7.10 2.60 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 7.08 2.64 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.98 2.67 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.32 2.84 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 6.93 2.57 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.16 2.64 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 6.86 2.58 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 6.90 2.75 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 6.89 2.66 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 7.11 2.70 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 6.92 2.60 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 6.90 2.64 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.92 2.64 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.11 2.67 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.82 2.74 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 6.91 2.64 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.07 2.65 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 6.95 2.64 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 7.15 2.79 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.81 2.54 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.16 2.70 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 6.95 2.59 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 7.29 2.82 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.23 2.68 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.98 2.67 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.89 2.57 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.95 2.57 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.00 2.70 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.93 2.60 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.94 2.74 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.86 2.67 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.00 2.71 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.10 2.67 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.91 2.65 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.92 2.61 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.00 2.62 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.84 2.61 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.94 2.57 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.72 2.67 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.23 2.67 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.96 2.63 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.36 2.78 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.21 2.72 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.40 2.87 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 7.20 2.64 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.26 2.69 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.24 2.66 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.18 2.65 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.90 2.58 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.19 2.74 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.30 2.67 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.40 2.79 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.31 2.70 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.35 2.72 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.33 2.68 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.23 2.70 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.27 2.69 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.30 2.68 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.28 2.68 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.10 2.74 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.17 2.67 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.33 2.78 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.32 2.70 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.37 2.88 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.07 2.65 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.92 2.67 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.12 2.63 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 50.06 25.99 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 78.98 56.36 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i FALSE(valid-deref) 86.31 61.85 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 97.17 75.28 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i FALSE(valid-deref) 55.35 29.72 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i ERROR: EXCEPTION 42.04 24.23 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i FALSE(valid-deref) 92.15 65.60 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 185.77 162.76 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i FALSE(valid-deref) 55.39 28.94 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i FALSE(valid-deref) 142.70 118.94 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.97 2.63 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.88 2.55 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.61 2.44 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.56 2.55 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.77 2.54 None heap-manipulation/tree_false-valid-deref.i unknown 6.50 2.54 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.52 2.62 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.77 2.57 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.59 2.55 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.12 157.20 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 184.21 152.79 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.06 158.44 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.54 154.30 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.90 157.25 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.62 156.09 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.42 157.07 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 8.34 3.50 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 8.03 3.06 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.56 2.92 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.87 3.02 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.51 4.00 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.73 3.08 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.79 2.88 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.66 3.11 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.31 2.82 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 8.36 3.32 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.51 3.23 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.31 2.83 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.68 2.89 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.94 2.89 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.60 4.04 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.98 2.79 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.11 3.03 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.72 2.67 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.84 2.71 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.64 2.65 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.86 2.83 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.75 2.70 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.22 2.87 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.12 154.39 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.62 2.74 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.46 2.67 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.51 2.80 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.01 159.31 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.86 162.51 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.43 2.49 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.88 2.54 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.69 2.60 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.42 2.54 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.63 2.60 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 185.96 158.84 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 180.31 137.66 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 8.85 3.09 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.01 2.95 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.63 6.09 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.51 5.99 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.94 5.05 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.85 5.03 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 12.97 4.73 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.45 5.34 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.06 5.47 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.89 4.00 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.56 4.58 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.39 4.62 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.26 3.27 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.18 3.21 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.82 3.39 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.27 3.30 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.05 3.50 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.87 3.49 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.16 3.66 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.71 3.55 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.01 3.08 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.01 3.09 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.30 3.26 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.95 3.15 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.97 3.05 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 21501.99 8407.57 - HeapSep.32bitMem Run set 3 of 3: skipped Statistics: 652 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 652