BENCHMARK INFORMATION benchmark definition: ../benchexec/equality-cav18-memsafety-heapsep-32.xml name: equality-cav18-memsafety-heapsep-32 run sets: Automizer.32bitMem, AutomizerHeapSep.32bitMem, HeapSep.32bitMem date: Fri, 2018-03-23 11:41:41 CET tool: ULTIMATE Automizer 0.1.23-d4a23566 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_Camel+AI_EQ_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 6.07 2.44 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 7.94 3.17 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 6.06 2.48 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 7.35 3.00 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 6.15 2.48 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 6.11 2.40 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 7.33 2.98 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 8.02 3.25 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 6.21 2.49 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 8.13 3.24 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 6.19 2.36 None array-memsafety/lis_unsafe_false-valid-deref.i unknown 6.25 2.44 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 6.54 2.43 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 6.32 2.46 None array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 6.10 2.35 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 8.49 3.44 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 7.55 2.96 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 6.14 2.42 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 6.10 2.39 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 6.03 2.37 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 6.11 2.41 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 6.12 2.48 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 6.29 2.35 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 6.13 2.41 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 6.16 2.38 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 6.29 2.49 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.38 2.43 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 6.35 2.54 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 6.25 2.45 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 6.24 2.60 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 6.19 2.47 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 6.29 2.42 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 6.37 2.42 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 5.99 2.41 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 6.26 2.44 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 6.04 2.41 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 6.23 2.40 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 6.12 2.44 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 6.34 2.43 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 6.40 2.42 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 6.19 2.40 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 5.99 2.45 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 6.10 2.39 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.30 2.47 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 6.22 2.43 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 6.26 2.51 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 6.32 2.48 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.23 2.41 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 6.33 2.41 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.28 2.48 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 6.15 2.48 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 6.53 2.46 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 6.21 2.47 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 6.23 2.57 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 6.08 2.52 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 6.31 2.49 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 6.43 2.46 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 6.36 2.53 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 6.41 2.51 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.37 2.32 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 6.33 2.44 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 6.27 2.60 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 6.32 2.46 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 6.27 2.53 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 6.37 2.60 None array-examples/relax_false-valid-deref.i unknown 6.24 2.53 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 180.67 111.68 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 180.23 118.23 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 180.25 120.96 None memsafety/960521-1_false-valid-deref.i unknown 6.34 2.46 None memsafety/test-0137_false-valid-deref.i unknown 6.38 2.51 None memsafety/test-0235_false-valid-deref.i unknown 6.27 2.48 None memsafety/960521-1_false-valid-free.i unknown 6.14 2.48 None memsafety/test-0158_false-valid-free.i unknown 6.15 2.49 None memsafety/test-0232_false-valid-free.i unknown 6.24 2.56 None memsafety/20020406-1_false-valid-memtrack.i ERROR: EXCEPTION 6.67 2.65 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 6.40 2.49 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 6.29 2.50 None memsafety/lockfree-3.2_false-valid-memtrack.i unknown 6.45 2.47 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 6.43 2.54 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 6.14 2.46 None memsafety/test-0102_false-valid-memtrack.i unknown 6.25 2.52 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 6.22 2.47 None memsafety/test-0220_false-valid-memtrack.i unknown 6.30 2.55 None memsafety/test-0232_false-valid-memtrack.i unknown 6.20 2.45 None memsafety/test-0234_false-valid-memtrack.i unknown 6.29 2.54 None memsafety/test-0235_false-valid-memtrack.i unknown 6.47 2.49 None memsafety/960521-1_true-valid-memsafety.i unknown 6.06 2.47 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 6.52 2.59 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 6.39 2.50 None memsafety/test-0102_true-valid-memsafety.i unknown 6.23 2.52 None memsafety/test-0134_true-valid-memsafety.i unknown 6.29 2.57 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 5.93 2.44 None memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 6.45 2.56 None memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 6.34 2.40 None memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 6.54 2.64 None memsafety/test-0219_true-valid-memsafety.i unknown 6.31 2.46 None memsafety/test-0232_true-valid-memsafety.i unknown 6.39 2.52 None memsafety/test-0234_true-valid-memsafety.i unknown 6.36 2.49 None memsafety/test-0235_true-valid-memsafety.i unknown 6.20 2.43 None memsafety/test-0236_true-valid-memsafety.i unknown 6.43 2.44 None memsafety/test-0237_true-valid-memsafety.i unknown 6.24 2.46 None memsafety/test-0504_true-valid-memsafety.i unknown 6.06 2.46 None memsafety/test-0513_true-valid-memsafety.i unknown 6.42 2.46 None memsafety/test-0521_true-valid-memsafety.i unknown 6.35 2.34 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 6.26 2.48 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 5.99 2.46 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.21 2.43 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.16 2.47 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 6.12 2.47 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 6.14 2.43 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 6.13 2.46 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 6.37 2.50 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 6.44 2.44 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 6.43 2.53 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 6.35 2.44 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 6.56 2.53 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 133.18 92.84 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 127.28 69.86 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 6.56 2.49 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 6.61 2.59 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 149.34 109.31 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.88 129.82 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 6.26 2.48 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 5.89 2.37 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 6.15 2.45 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 5.99 2.40 None list-ext-properties/960521-1_1_false-valid-free.i unknown 6.07 2.42 None list-ext-properties/test-0158_1_false-valid-free.i unknown 5.99 2.44 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 5.95 2.49 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 5.96 2.37 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.00 2.60 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 6.47 2.59 None list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 6.26 2.49 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 6.41 2.54 None list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 5.89 2.34 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 6.06 2.47 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 6.29 2.56 None list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 6.53 2.54 None list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 6.75 2.61 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.41 2.51 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 6.37 2.52 None list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 6.34 2.48 None memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 6.18 2.48 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 10.13 4.01 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 11.27 4.25 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 8.25 3.37 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 8.58 3.44 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR: EXCEPTION) 180.70 116.34 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 180.59 116.75 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 7.31 3.32 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 8.16 3.21 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 7.95 3.17 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 8.01 3.28 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 8.05 3.16 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 7.84 3.37 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 180.96 114.51 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 29.78 12.47 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 30.40 12.80 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 32.19 13.54 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 44.67 18.83 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 29.26 12.19 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 9.75 3.72 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 9.65 3.67 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 8.29 3.20 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 10.79 4.16 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 10.82 4.13 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 10.52 4.12 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 10.72 4.17 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 10.63 4.00 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 10.55 4.10 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 6.61 2.51 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 6.51 2.51 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 6.51 2.50 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.71 2.61 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 6.52 2.54 None ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 6.67 2.54 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 6.89 2.64 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 6.41 2.46 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 6.85 2.55 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 6.75 2.54 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 6.65 2.57 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 6.63 2.45 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 6.63 2.71 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 6.60 2.57 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 6.77 2.62 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 6.77 2.59 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 6.74 2.63 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 7.05 2.64 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 6.70 2.65 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 6.58 2.68 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 6.77 2.57 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 6.62 2.54 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 6.73 2.82 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 6.79 2.82 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 6.59 2.61 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 6.52 2.57 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 6.71 2.59 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 6.34 2.53 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 6.59 2.63 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 6.59 2.53 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 6.54 2.60 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 6.82 2.58 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 6.63 2.59 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 6.40 2.50 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 6.59 2.53 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 6.65 2.50 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 6.65 2.53 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 6.91 2.59 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 6.60 2.67 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 6.65 2.60 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 6.71 2.59 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 6.66 2.57 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 6.61 2.64 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i unknown 6.81 2.62 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 6.95 2.60 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 6.66 2.73 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 6.71 2.60 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 6.67 2.49 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 6.61 2.59 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 6.87 2.59 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 6.72 2.63 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 6.76 2.62 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 6.97 2.53 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 6.58 2.51 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 6.66 2.65 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown 6.71 2.69 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 6.87 2.57 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 6.48 2.52 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 6.80 2.75 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.81 2.62 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.50 2.62 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 6.69 2.51 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 6.79 2.68 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 6.61 2.65 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 6.72 2.72 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 6.78 2.55 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 6.68 2.54 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 6.80 2.46 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 6.20 2.47 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 5.90 2.38 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 5.87 2.56 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 5.95 2.45 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 6.21 2.47 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 6.12 2.36 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 6.26 2.46 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 6.38 2.46 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 6.01 2.39 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 6.06 2.39 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.46 2.52 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.54 2.71 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.54 2.50 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.39 2.46 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.73 2.56 None heap-manipulation/tree_false-valid-deref.i unknown 6.58 2.56 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown 6.43 3.16 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.48 3.01 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.53 2.55 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 67.76 31.68 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 6.60 2.52 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 6.56 2.59 None list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 6.11 2.49 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 6.55 2.54 None list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 6.40 2.54 None list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 6.53 2.55 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.41 2.79 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.49 2.76 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.41 2.86 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.31 2.73 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.60 2.80 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.08 2.70 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.59 2.71 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.16 2.82 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.35 2.82 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.97 2.70 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.00 2.62 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.34 2.72 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.41 2.75 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.72 2.51 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.50 2.51 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.82 2.54 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.70 2.59 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.62 2.57 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.47 2.51 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.77 2.49 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.76 2.56 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.64 2.49 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.48 2.52 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.35 120.64 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.61 2.54 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.78 2.58 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.79 2.60 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.94 134.79 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.49 127.06 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.65 3.15 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.20 3.20 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.10 3.14 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.66 2.79 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.21 3.20 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 16.93 6.58 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR: EXCEPTION) 180.84 112.76 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 8.69 3.10 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 7.51 2.81 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.23 5.64 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.59 5.98 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.65 4.73 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.44 4.62 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.65 4.63 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.98 5.11 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.49 5.24 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.12 3.84 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.36 4.47 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.66 4.41 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.45 3.29 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.17 3.25 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.30 3.25 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.16 3.28 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.45 3.28 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.56 3.33 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.55 3.47 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.41 3.21 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.68 3.06 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.80 3.09 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.53 3.08 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.72 3.03 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.73 3.03 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 3986.29 1291.98 - 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_Camel+AI_EQ_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 6.57 2.47 None array-memsafety/bubblesort_unsafe_false-valid-deref.i ERROR: EXCEPTION 33.22 14.25 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 6.65 2.54 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 84.14 60.08 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 6.31 2.52 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 6.28 2.47 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.17 156.28 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 63.98 43.11 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 6.48 2.63 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 40.28 19.25 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 6.33 2.49 None array-memsafety/lis_unsafe_false-valid-deref.i unknown 6.21 2.44 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 6.34 2.52 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 6.17 2.41 None array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 6.34 2.55 None array-memsafety/selectionsort_unsafe_false-valid-deref.i ERROR: EXCEPTION 25.00 9.57 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 8.52 3.37 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 6.34 2.43 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 6.24 2.46 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 6.33 2.50 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 6.47 2.53 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 6.32 2.42 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 6.40 2.48 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 6.19 2.38 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 6.29 2.53 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 6.43 2.46 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.24 2.43 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 6.51 2.56 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 6.24 2.46 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 6.72 2.62 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 6.29 2.46 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 6.58 2.53 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 6.31 2.48 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 6.23 2.44 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 6.25 2.45 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 6.43 2.45 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 6.25 2.44 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 6.42 2.55 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 6.38 2.41 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 6.35 2.54 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 6.71 2.64 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 6.46 2.48 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 6.08 2.46 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.29 2.43 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 6.37 2.53 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 6.24 2.47 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 6.37 2.41 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.39 2.51 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 6.37 2.43 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.35 2.51 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 6.40 2.45 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 6.33 2.46 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 6.36 2.50 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 6.37 2.39 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 6.48 2.46 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 6.42 2.50 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 6.16 2.44 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 6.64 2.54 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 6.54 2.63 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 6.50 2.48 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 6.49 2.51 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 6.64 2.56 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 6.48 2.45 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 6.39 2.50 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 6.29 2.44 None array-examples/relax_false-valid-deref.i unknown 6.51 2.56 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 180.25 114.48 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 181.13 120.79 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR: EXCEPTION) 180.34 119.88 None memsafety/960521-1_false-valid-deref.i unknown 6.20 2.54 None memsafety/test-0137_false-valid-deref.i unknown 6.43 2.53 None memsafety/test-0235_false-valid-deref.i unknown 6.35 2.52 None memsafety/960521-1_false-valid-free.i unknown 6.31 2.48 None memsafety/test-0158_false-valid-free.i unknown 6.71 2.62 None memsafety/test-0232_false-valid-free.i unknown 5.96 2.44 None memsafety/20020406-1_false-valid-memtrack.i ERROR: EXCEPTION 6.89 2.65 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 6.63 2.65 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 6.47 2.53 None memsafety/lockfree-3.2_false-valid-memtrack.i unknown 6.25 2.46 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 6.45 2.52 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 6.44 2.59 None memsafety/test-0102_false-valid-memtrack.i unknown 6.33 2.46 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 6.31 2.52 None memsafety/test-0220_false-valid-memtrack.i unknown 6.62 2.53 None memsafety/test-0232_false-valid-memtrack.i unknown 6.28 2.50 None memsafety/test-0234_false-valid-memtrack.i unknown 6.78 2.56 None memsafety/test-0235_false-valid-memtrack.i unknown 6.52 2.54 None memsafety/960521-1_true-valid-memsafety.i unknown 6.42 2.51 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 6.76 2.73 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 6.71 2.63 None memsafety/test-0102_true-valid-memsafety.i unknown 6.48 2.64 None memsafety/test-0134_true-valid-memsafety.i unknown 7.12 2.84 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 6.16 2.45 None memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 6.69 2.57 None memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 6.49 2.49 None memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 6.73 2.59 None memsafety/test-0219_true-valid-memsafety.i unknown 6.47 2.54 None memsafety/test-0232_true-valid-memsafety.i unknown 6.62 2.56 None memsafety/test-0234_true-valid-memsafety.i unknown 6.60 2.52 None memsafety/test-0235_true-valid-memsafety.i unknown 6.56 2.51 None memsafety/test-0236_true-valid-memsafety.i unknown 6.49 2.49 None memsafety/test-0237_true-valid-memsafety.i unknown 6.54 2.51 None memsafety/test-0504_true-valid-memsafety.i unknown 6.60 2.72 None memsafety/test-0513_true-valid-memsafety.i unknown 6.43 2.59 None memsafety/test-0521_true-valid-memsafety.i unknown 6.44 2.51 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 6.52 2.46 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 6.27 2.40 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.48 2.52 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.69 2.51 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 6.47 2.45 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 6.36 2.45 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 6.52 2.62 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 6.55 2.51 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 6.45 2.52 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 6.60 2.50 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 6.81 2.54 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 6.67 2.56 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.48 147.14 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 125.75 94.80 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 6.45 2.50 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 6.45 2.50 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.10 158.73 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 109.73 77.86 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 6.99 2.67 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 6.25 2.45 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 6.25 2.52 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 6.53 2.51 None list-ext-properties/960521-1_1_false-valid-free.i unknown 6.32 2.47 None list-ext-properties/test-0158_1_false-valid-free.i unknown 6.23 2.45 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 6.25 2.53 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 5.96 2.42 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.41 2.50 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 6.19 2.43 None list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 6.24 2.50 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 6.51 2.51 None list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 6.17 2.39 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 6.38 2.44 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 6.56 2.53 None list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 6.95 2.62 None list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 6.75 2.61 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.39 2.51 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 6.62 2.53 None list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 6.55 2.58 None memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 6.64 2.52 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 122.78 88.75 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 122.08 89.46 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 37.61 15.70 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 44.03 20.43 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 180.80 117.50 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 181.58 112.17 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 9.54 3.67 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 9.60 3.75 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 9.41 3.66 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 10.01 3.83 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 9.39 3.61 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 9.44 3.65 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c FALSE(valid-deref) 128.12 94.05 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 33.84 12.48 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 35.34 13.53 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 36.06 13.16 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 65.92 29.67 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 35.47 13.32 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TIMEOUT (ERROR (143)) 182.29 155.52 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 184.04 156.35 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 70.89 50.73 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 9.83 3.77 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 10.36 3.98 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 9.91 3.76 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 10.61 3.96 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 10.01 3.78 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 9.65 3.81 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 6.75 2.55 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 7.01 2.61 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 6.57 2.53 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.89 2.60 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 6.92 2.58 None ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 6.73 2.59 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 6.91 2.67 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 6.58 2.52 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 6.99 2.67 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 6.85 2.57 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 6.82 2.65 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 7.13 2.65 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 6.77 2.63 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 7.05 2.61 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 6.82 2.57 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 6.96 2.57 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 7.04 2.61 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 7.11 2.83 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 6.76 2.58 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 6.89 2.53 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 6.62 2.63 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 6.69 2.52 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 6.83 2.64 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 6.87 2.56 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 6.90 2.67 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 6.77 2.57 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 7.07 2.65 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 6.76 2.58 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 6.75 2.72 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 6.67 2.63 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 7.24 2.67 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 7.15 2.65 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 6.95 2.60 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 6.77 2.54 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 7.01 2.74 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 6.97 2.82 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 7.08 2.74 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 7.11 2.65 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 7.39 2.85 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 7.46 2.83 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 7.00 2.71 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 6.84 2.72 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 6.98 2.65 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i unknown 7.01 2.63 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 6.88 2.65 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 7.03 2.77 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 6.73 2.54 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 6.87 2.56 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 6.85 2.62 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 6.85 2.58 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 7.03 2.72 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 6.92 2.57 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 6.88 2.64 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 6.91 2.58 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 6.87 2.58 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown 6.75 2.66 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 7.03 2.72 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 7.01 2.53 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 6.58 2.56 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.96 2.56 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.90 2.66 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 6.71 2.61 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 6.75 2.58 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 6.90 2.58 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 7.12 2.63 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 7.12 2.62 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 7.01 2.67 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 7.02 2.67 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 6.18 2.60 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 6.08 2.37 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 6.51 2.45 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 6.05 2.35 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 6.21 2.44 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 6.15 2.39 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 6.52 2.53 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 6.48 2.44 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 6.23 2.42 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 6.29 2.42 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.01 2.67 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.81 2.60 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.40 2.52 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.67 2.51 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.73 2.66 None heap-manipulation/tree_false-valid-deref.i unknown 6.76 2.60 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown 6.76 2.60 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.80 2.60 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.81 2.66 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.75 153.10 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 6.78 2.53 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 6.77 2.66 None list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 6.74 2.58 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 6.50 2.50 None list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 6.70 2.51 None list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 6.36 2.46 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.45 2.74 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.33 2.67 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.45 2.75 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.03 2.60 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.30 2.78 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.34 2.71 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.17 2.72 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.19 2.69 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.23 2.73 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.24 2.69 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.20 2.84 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.26 3.21 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.46 2.76 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.53 2.52 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.54 2.53 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.48 2.55 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.31 2.45 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.54 2.48 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.45 2.51 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.55 2.48 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.76 2.53 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.59 2.50 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.64 2.56 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.26 160.73 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.50 2.51 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.31 2.45 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.80 2.52 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 184.54 158.39 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.07 153.65 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.59 2.52 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.58 2.52 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.41 2.48 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.73 2.58 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.32 2.54 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 185.90 153.75 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 180.64 115.68 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 8.28 3.05 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 7.62 2.84 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.32 5.83 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.59 5.58 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.58 4.76 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.67 4.67 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 11.68 4.43 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.36 5.17 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.80 5.39 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.60 3.99 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.76 4.53 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.76 4.56 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.61 3.38 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.95 3.38 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.66 3.41 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.92 3.61 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.71 3.30 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.61 3.35 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.06 3.34 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.91 3.39 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.02 3.13 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.01 3.17 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.01 3.09 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.08 3.12 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.83 3.08 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 5839.98 1928.51 - HeapSep.32bitMem Run set 3 of 3 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/IcfgTransformerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel+AI_EQ_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 6.58 2.66 None array-memsafety/bubblesort_unsafe_false-valid-deref.i ERROR: EXCEPTION 36.31 15.02 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 7.05 2.65 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 72.06 48.52 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 6.05 2.47 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 6.59 2.57 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 184.31 158.68 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 67.03 42.51 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 6.18 2.39 None array-memsafety/diff_usafe_false-valid-deref.i unknown 38.13 18.35 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 6.38 2.44 None array-memsafety/lis_unsafe_false-valid-deref.i unknown 6.38 2.50 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 6.28 2.42 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 6.53 2.49 None array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 6.32 2.51 None array-memsafety/selectionsort_unsafe_false-valid-deref.i ERROR: EXCEPTION 25.15 9.84 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 8.13 3.15 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 6.30 2.38 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 6.53 2.53 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 6.31 2.45 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 6.56 2.49 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 6.34 2.47 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 6.64 2.50 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 6.32 2.38 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 6.20 2.45 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 6.60 2.54 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.45 2.52 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 6.32 2.45 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 6.44 2.50 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 6.27 2.47 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 6.73 2.51 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 6.44 2.53 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 6.67 2.52 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 6.45 2.50 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 6.81 2.53 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 6.74 2.48 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 6.72 2.57 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 6.86 2.61 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 6.73 2.62 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 6.87 2.50 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 6.62 2.50 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 6.76 2.54 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 6.75 2.58 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.87 2.52 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 6.36 2.53 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 6.55 2.47 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 6.69 2.50 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.74 2.51 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 6.80 2.53 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.63 2.54 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 6.77 2.54 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 6.76 2.57 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 6.83 2.61 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 6.50 2.54 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 6.86 2.60 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 6.52 2.55 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 6.84 2.54 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 6.82 2.61 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 6.68 2.54 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 6.60 2.53 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 6.43 2.50 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 6.54 2.52 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 6.46 2.51 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 6.53 2.52 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 6.53 2.56 None array-examples/relax_false-valid-deref.i unknown 6.91 2.62 None array-examples/sanfoundry_24_false-valid-deref.i unknown 7.38 2.89 None array-examples/standard_strcpy_false-valid-deref_ground.i unknown 7.43 2.85 None array-examples/standard_strcpy_original_false-valid-deref.i unknown 7.43 2.80 None memsafety/960521-1_false-valid-deref.i unknown 6.77 2.53 None memsafety/test-0137_false-valid-deref.i unknown 6.68 2.55 None memsafety/test-0235_false-valid-deref.i unknown 6.85 2.62 None memsafety/960521-1_false-valid-free.i unknown 6.52 2.46 None memsafety/test-0158_false-valid-free.i unknown 6.60 2.54 None memsafety/test-0232_false-valid-free.i unknown 6.99 2.53 None memsafety/20020406-1_false-valid-memtrack.i ERROR: EXCEPTION 7.20 2.61 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 6.58 2.49 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 6.71 2.58 None memsafety/lockfree-3.2_false-valid-memtrack.i unknown 6.77 2.51 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 6.85 2.56 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 6.64 2.56 None memsafety/test-0102_false-valid-memtrack.i unknown 6.77 2.54 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 6.40 2.58 None memsafety/test-0220_false-valid-memtrack.i unknown 6.67 2.44 None memsafety/test-0232_false-valid-memtrack.i unknown 6.80 2.50 None memsafety/test-0234_false-valid-memtrack.i unknown 6.92 2.58 None memsafety/test-0235_false-valid-memtrack.i unknown 6.96 2.63 None memsafety/960521-1_true-valid-memsafety.i unknown 6.78 2.50 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 6.67 2.55 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 6.53 2.44 None memsafety/test-0102_true-valid-memsafety.i unknown 6.41 2.47 None memsafety/test-0134_true-valid-memsafety.i unknown 6.50 2.54 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 6.78 2.51 None memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 6.59 2.56 None memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 6.65 2.58 None memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 6.76 2.59 None memsafety/test-0219_true-valid-memsafety.i unknown 6.66 2.51 None memsafety/test-0232_true-valid-memsafety.i unknown 6.45 2.56 None memsafety/test-0234_true-valid-memsafety.i unknown 6.81 2.52 None memsafety/test-0235_true-valid-memsafety.i unknown 6.95 2.54 None memsafety/test-0236_true-valid-memsafety.i unknown 6.98 2.64 None memsafety/test-0237_true-valid-memsafety.i unknown 6.73 2.51 None memsafety/test-0504_true-valid-memsafety.i unknown 6.81 2.53 None memsafety/test-0513_true-valid-memsafety.i unknown 6.75 2.61 None memsafety/test-0521_true-valid-memsafety.i unknown 7.36 2.72 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 6.96 2.69 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 6.97 2.64 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 7.16 2.70 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 7.03 2.81 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 6.73 2.56 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 6.55 2.45 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 6.82 2.60 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 6.55 2.56 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 6.63 2.54 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 6.86 2.61 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 6.89 2.62 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 7.08 2.54 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.75 153.68 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 122.19 92.26 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 6.61 2.44 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 6.80 2.57 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.10 156.39 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 111.60 78.20 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 6.60 2.49 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 6.43 2.47 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 6.51 2.42 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 6.85 2.56 None list-ext-properties/960521-1_1_false-valid-free.i unknown 6.62 2.44 None list-ext-properties/test-0158_1_false-valid-free.i unknown 6.37 2.47 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 6.51 2.48 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 6.54 2.41 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.38 2.53 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 6.83 2.55 None list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 6.72 2.53 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 6.60 2.55 None list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 6.68 2.39 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 6.70 2.59 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 6.52 2.46 None list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 7.05 2.68 None list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 6.96 2.53 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.88 2.56 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 6.77 2.58 None list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 6.63 2.58 None memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 6.77 2.61 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 119.86 87.77 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 121.41 91.10 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 38.72 14.69 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 42.22 19.44 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 14.50 5.09 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 16.29 5.65 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 9.01 3.32 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 9.17 3.39 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 9.00 3.39 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 8.93 3.40 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 8.88 3.34 None ldv-memsafety/memset_false-valid-deref-write.c unknown 8.59 3.34 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 123.57 90.97 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 18.91 6.61 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 19.26 6.70 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 18.72 6.56 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 41.22 17.96 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 17.68 6.15 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TIMEOUT (ERROR (143)) 184.62 156.56 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 181.89 153.18 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c unknown 68.25 47.62 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 8.84 3.29 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 8.72 3.27 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 8.79 3.27 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 8.96 3.39 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 8.92 3.37 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 8.90 3.28 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 6.84 2.59 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 7.23 2.71 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 6.83 2.66 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 7.02 2.76 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 6.94 2.67 None ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 7.59 2.84 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 7.08 2.56 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 7.03 2.60 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 7.13 2.69 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 7.17 2.69 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 6.89 2.60 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 6.93 2.56 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 6.86 2.57 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 7.23 2.67 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 7.09 2.65 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 7.29 2.67 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 7.06 2.67 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 7.05 2.65 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 6.77 2.58 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 7.06 2.63 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 7.20 2.67 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 7.16 2.70 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 6.83 2.51 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 7.21 2.59 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 7.03 2.69 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 6.99 2.62 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 6.91 2.67 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 7.32 2.69 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 7.02 2.63 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 6.98 2.62 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 7.04 2.59 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 6.89 2.61 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 6.30 2.45 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 7.10 2.56 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 6.61 2.50 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 7.10 2.69 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 6.72 2.68 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 6.81 2.60 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 7.22 2.65 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 6.96 2.64 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 6.99 2.57 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 6.62 2.60 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 6.92 2.63 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i unknown 7.04 2.55 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 7.53 2.83 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 6.69 2.61 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 7.20 2.71 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 7.06 2.63 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 7.02 2.69 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 6.81 2.62 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 7.33 2.68 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 7.03 2.57 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 6.83 2.63 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 7.05 2.59 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 7.00 2.60 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown 7.10 2.63 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 6.93 2.63 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 6.93 2.72 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 6.75 2.55 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.17 2.69 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.07 2.64 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 6.98 2.63 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 6.78 2.59 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 6.98 2.63 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 7.03 2.65 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 6.65 2.58 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 6.91 2.63 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 7.00 2.57 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 6.40 2.49 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 6.37 2.41 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 6.10 2.38 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 6.59 2.54 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 6.53 2.54 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 6.42 2.49 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 6.43 2.44 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 5.98 2.44 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 6.18 2.35 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 6.53 2.53 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.58 2.55 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.14 2.69 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.88 2.63 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.54 2.58 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.97 2.70 None heap-manipulation/tree_false-valid-deref.i unknown 6.73 2.61 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown 6.76 2.66 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.63 2.56 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.08 2.62 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.24 155.85 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 6.84 2.61 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 7.01 2.77 None list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 7.11 2.58 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 7.19 2.69 None list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 6.48 2.50 None list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 6.43 2.44 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.60 2.74 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.41 2.79 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.43 2.73 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.48 2.87 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.43 2.89 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.35 2.79 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.26 2.74 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.17 2.83 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.05 2.75 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.18 2.62 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.52 2.81 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.52 2.83 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.29 2.69 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.10 2.66 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.66 2.65 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.45 2.69 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.55 2.61 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.58 2.53 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.62 2.56 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.92 2.65 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.73 2.59 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.56 2.62 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.59 2.49 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.06 159.05 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.45 2.57 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.61 2.57 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.48 2.55 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.23 158.70 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 184.56 156.98 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.87 2.65 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.91 2.70 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.64 2.60 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.54 2.60 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.66 2.60 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 185.06 157.09 None loop-acceleration/array3_false-valid-deref.i unknown 6.94 2.70 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 8.48 3.07 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 7.49 2.66 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 14.47 5.20 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 14.87 5.28 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 12.22 4.39 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 11.42 4.30 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 11.99 4.31 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 12.91 4.72 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 12.55 4.59 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 9.14 3.39 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 11.43 4.13 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 10.71 3.83 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.82 3.04 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.91 2.95 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.70 2.98 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.93 3.09 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 8.18 3.09 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.93 3.14 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown 8.03 3.01 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.14 3.10 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 6.93 2.72 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.13 2.84 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.33 2.82 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 6.95 2.81 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.62 3.01 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 5085.38 1557.89 - Statistics: 978 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 978