BENCHMARK INFORMATION benchmark definition: ../benchexec/equality-cav18-mempurity-32-notaipan.xml name: equality-cav18-mempurity-32-notaipan run sets: AutomizerCamel.32bitMem, AbsInt.32bitMem, AbsInt_imprecise.32bitMem, AbsInt_mostprecise.32bitMem, AbsInt_precise.32bitMem, AbsInt_preciseopt.32bitMem, AbsInt_smtcomp.32bitMem date: Tue, 2018-01-23 14:20:20 CET tool: ULTIMATE Automizer 0.1.23-ee3ab2ed tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 90 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 ------------------------------------------------------------ AutomizerCamel.32bitMem Run set 1 of 7 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-memtrack) 8.76 3.20 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-memtrack) 7.32 3.00 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-memtrack) 9.57 3.89 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-memtrack) 7.45 2.91 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-memtrack) 8.28 3.23 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-memtrack) 8.51 3.24 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-memtrack) 7.15 2.86 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-memtrack) 7.28 2.86 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-memtrack) 9.80 3.72 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-memtrack) 7.29 2.91 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-memtrack) 15.08 5.58 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-memtrack) 11.01 4.13 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-memtrack) 14.72 5.41 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-memtrack) 25.91 11.71 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-memtrack) 24.67 10.46 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-memtrack) 7.55 2.85 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-memtrack) 7.27 2.92 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.16 3.11 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.21 3.49 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.48 3.53 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.64 3.68 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.99 3.42 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.74 3.75 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.48 3.92 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.48 3.29 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 11.89 4.35 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.49 3.70 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.52 3.93 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.19 3.14 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.81 4.03 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.80 3.66 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 13.47 5.00 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 11.08 4.01 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.71 4.01 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 13.86 5.10 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.39 3.19 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.26 3.20 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 16.40 6.31 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 14.42 5.29 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.11 3.51 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.58 3.62 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.92 3.75 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.95 3.73 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.64 3.62 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 15.17 5.54 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.99 3.98 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.92 3.70 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.08 3.55 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.27 3.84 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 12.27 4.48 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.42 3.21 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.52 3.91 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.06 3.67 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 11.57 4.40 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 11.40 4.07 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.27 3.85 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.09 3.73 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.61 3.77 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.14 3.17 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.30 3.18 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.01 3.45 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.57 3.50 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.58 3.18 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.11 3.86 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.44 3.94 None array-examples/relax_false-valid-deref.i FALSE(valid-memtrack) 10.87 4.06 None array-examples/sanfoundry_24_false-valid-deref.i TRUE 5.59 2.29 None array-examples/standard_strcpy_false-valid-deref_ground.i TRUE 5.80 2.34 None array-examples/standard_strcpy_original_false-valid-deref.i TRUE 5.11 2.22 None memsafety/960521-1_false-valid-deref.i TIMEOUT (FALSE(valid-memtrack)) 93.20 73.44 None memsafety/test-0137_false-valid-deref.i FALSE(valid-memtrack) 14.83 5.31 None memsafety/test-0235_false-valid-deref.i FALSE(valid-memtrack) 37.57 13.48 None memsafety/960521-1_false-valid-free.i FALSE(valid-memtrack) 8.95 3.37 None memsafety/test-0158_false-valid-free.i FALSE(valid-memtrack) 10.05 3.71 None memsafety/test-0232_false-valid-free.i FALSE(valid-memtrack) 11.62 4.22 None memsafety/20020406-1_false-valid-memtrack.i FALSE(valid-memtrack) 43.44 15.36 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.36 60.18 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (FALSE(valid-memtrack)) 91.66 46.97 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (FALSE(valid-memtrack)) 91.06 46.97 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (FALSE(valid-memtrack)) 91.06 43.44 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.19 4.18 None memsafety/test-0102_false-valid-memtrack.i FALSE(valid-memtrack) 19.56 6.67 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 8.38 3.27 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 5.60 2.09 None memsafety/test-0232_false-valid-memtrack.i FALSE(valid-memtrack) 12.76 4.91 None memsafety/test-0234_false-valid-memtrack.i FALSE(valid-memtrack) 31.19 11.06 None memsafety/test-0235_false-valid-memtrack.i FALSE(valid-memtrack) 39.23 13.89 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.91 74.70 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.57 48.06 None memsafety/test-0019_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.57 4.05 None memsafety/test-0102_true-valid-memsafety.i FALSE(valid-memtrack) 19.26 6.61 None memsafety/test-0134_true-valid-memsafety.i FALSE(valid-memtrack) 15.63 5.50 None memsafety/test-0158_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.89 3.59 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.69 2.20 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.43 2.10 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.48 2.12 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 5.58 2.15 None memsafety/test-0232_true-valid-memsafety.i FALSE(valid-memtrack) 11.65 4.23 None memsafety/test-0234_true-valid-memsafety.i FALSE(valid-memtrack) 31.21 11.21 None memsafety/test-0235_true-valid-memsafety.i FALSE(valid-memtrack) 38.70 13.71 None memsafety/test-0236_true-valid-memsafety.i FALSE(valid-memtrack) 32.59 11.28 None memsafety/test-0237_true-valid-memsafety.i FALSE(valid-memtrack) 33.17 11.51 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 90.51 60.01 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 90.51 60.40 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.14 47.60 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.54 3.57 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.11 55.63 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.26 2.08 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.03 2.08 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (FALSE(valid-memtrack)) 91.19 76.65 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (FALSE(valid-memtrack)) 90.56 66.70 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 90.19 60.85 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (FALSE(valid-memtrack)) 90.77 73.28 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (FALSE(valid-memtrack)) 90.28 69.81 None memsafety-ext2/split_list_test05_false-valid-deref.i FALSE(valid-memtrack) 20.23 6.75 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.20 72.43 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i FALSE(valid-memtrack) 25.07 8.56 None memsafety-ext2/length_test03_false-valid-memtrack.i FALSE(valid-memtrack) 13.10 4.50 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i FALSE(valid-memtrack) 10.76 3.91 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.96 75.21 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i FALSE(valid-memtrack) 24.11 8.23 None memsafety-ext2/length_test03_true-valid-memsafety.i FALSE(valid-memtrack) 12.94 4.51 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i FALSE(valid-memtrack) 10.73 3.88 None memsafety-ext2/split_list_test05_true-valid-memsafety.i FALSE(valid-memtrack) 20.19 6.78 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-memtrack) 10.67 4.05 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (FALSE(valid-memtrack)) 91.13 50.43 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-memtrack) 10.04 3.65 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-memtrack) 9.03 3.41 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-memtrack) 10.55 3.87 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.50 4.18 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.02 3.33 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 12.20 4.59 None list-ext-properties/960521-1_1_true-valid-memsafety.i FALSE(valid-memtrack) 13.04 4.74 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.33 54.26 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.70 59.40 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 90.57 56.92 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 11.17 4.06 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.80 3.68 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.36 2.11 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.64 2.19 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.56 3.97 None list-ext-properties/test-0504_1_true-valid-memsafety.i FALSE(valid-memtrack) 77.21 46.24 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.09 54.43 None memory-alloca/c.03-alloca_true-valid-memsafety.i FALSE(valid-memtrack) 13.55 5.21 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c TIMEOUT (FALSE(valid-memtrack)) 91.99 51.75 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c TIMEOUT (FALSE(valid-memtrack)) 91.69 51.38 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c TIMEOUT (FALSE(valid-memtrack)) 90.75 44.95 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c TIMEOUT (FALSE(valid-memtrack)) 91.23 44.09 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (FALSE(valid-memtrack)) 91.31 41.55 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (FALSE(valid-memtrack)) 91.31 38.17 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-memtrack) 43.74 20.07 None ldv-memsafety/memset3_false-valid-deref-write.c TIMEOUT (FALSE(valid-memtrack)) 90.34 50.02 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-memtrack) 41.82 19.50 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c TIMEOUT (FALSE(valid-memtrack)) 90.92 51.82 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c TIMEOUT (FALSE(valid-memtrack)) 90.89 52.29 None ldv-memsafety/memset_false-valid-deref-write.c TIMEOUT (FALSE(valid-memtrack)) 90.91 51.91 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (FALSE(valid-memtrack)) 90.42 43.26 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (FALSE(valid-memtrack)) 90.94 45.64 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (FALSE(valid-memtrack)) 90.76 41.68 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (FALSE(valid-memtrack)) 91.32 43.22 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (FALSE(valid-memtrack)) 91.66 45.41 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (FALSE(valid-memtrack)) 91.58 43.66 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 5.56 2.18 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 5.68 2.17 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 5.66 2.30 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c FALSE(valid-memtrack) 56.50 29.93 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TIMEOUT (FALSE(valid-memtrack)) 90.95 53.18 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c FALSE(valid-memtrack) 57.76 30.07 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TIMEOUT (FALSE(valid-memtrack)) 91.26 54.46 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TIMEOUT (FALSE(valid-memtrack)) 90.66 54.87 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TIMEOUT (FALSE(valid-memtrack)) 90.60 55.33 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.61 2.18 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i FALSE(valid-memtrack) 19.42 6.98 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i FALSE(valid-memtrack) 20.00 7.26 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 5.49 2.17 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 5.83 2.24 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.57 2.15 None ldv-memsafety/memleaks_test12_false-valid-free.i FALSE(valid-memtrack) 28.31 9.79 None ldv-memsafety/memleaks_test17_2_false-valid-free.i FALSE(valid-memtrack) 11.56 4.30 None ldv-memsafety/memleaks_test19_false-valid-free.i FALSE(valid-memtrack) 18.99 7.20 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-memtrack) 10.08 4.01 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-memtrack) 8.05 3.20 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-memtrack) 11.15 4.04 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-memtrack) 10.91 4.02 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 12.25 4.58 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.56 2.18 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.30 2.04 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 5.67 2.17 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.04 2.03 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 5.75 2.12 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i FALSE(valid-memtrack) 37.08 16.23 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.78 2.21 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.47 2.19 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i FALSE(valid-memtrack) 10.95 4.02 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i FALSE(valid-memtrack) 10.47 3.92 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.38 3.64 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.89 3.81 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 8.40 3.21 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 8.59 3.23 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.52 2.12 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.48 2.14 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 22.83 7.98 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.26 4.28 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 22.59 7.94 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.71 4.00 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.08 3.39 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.94 3.69 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.18 4.06 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.23 4.13 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.45 4.21 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.16 3.37 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.88 3.99 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.83 3.66 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 16.00 6.33 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.60 2.13 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i FALSE(valid-memtrack) 27.22 9.53 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 5.60 2.16 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.85 2.27 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 22.99 8.63 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.68 2.18 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 11.67 4.31 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 12.06 4.38 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.06 3.81 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 18.04 6.79 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.76 3.74 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.64 2.14 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.34 2.10 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 18.23 6.62 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 21.81 7.80 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 24.66 8.87 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 5.79 2.28 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 5.75 2.32 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.98 4.15 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 9.78 3.77 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.07 3.86 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 11.03 4.15 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 12.58 4.50 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 10.70 3.98 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 11.23 4.08 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.42 3.28 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.22 3.17 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.71 3.28 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.83 3.38 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i FALSE(valid-memtrack) 8.72 3.35 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-memtrack) 8.68 3.35 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i FALSE(valid-memtrack) 8.63 3.22 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-memtrack) 9.03 3.42 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i FALSE(valid-memtrack) 9.01 3.34 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i FALSE(valid-memtrack) 9.39 3.43 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i FALSE(valid-memtrack) 17.19 6.16 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.46 2.17 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.19 65.27 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.55 2.17 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.27 2.17 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 5.35 2.07 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (FALSE(valid-memtrack)) 91.99 79.57 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (FALSE(valid-memtrack)) 90.61 61.60 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 13.86 5.09 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 11.83 4.44 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.01 58.26 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 72.03 42.41 None list-properties/list_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 19.53 7.63 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 8.56 3.23 None list-properties/simple_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 28.68 12.68 None list-properties/splice_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 22.21 9.42 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.07 2.39 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.01 2.30 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.99 2.44 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.14 2.26 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.87 2.18 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.96 2.30 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.95 2.22 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 6.09 2.17 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.01 2.32 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.21 2.19 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.06 2.27 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.92 2.21 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.99 2.25 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.79 60.80 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.29 54.98 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i FALSE(valid-memtrack) 15.69 5.58 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.45 51.37 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 90.33 51.99 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.75 53.53 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i FALSE(valid-memtrack) 16.80 6.13 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 90.73 58.48 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i FALSE(valid-memtrack) 89.83 51.80 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 90.92 65.25 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i FALSE(valid-memtrack) 82.52 54.51 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i FALSE(valid-memtrack) 89.55 50.51 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i FALSE(valid-memtrack) 15.55 5.54 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.35 52.40 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i FALSE(valid-memtrack) 15.43 5.48 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 91.15 52.02 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i FALSE(valid-memtrack) 16.81 6.01 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 90.27 52.08 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (FALSE(valid-memtrack)) 92.09 59.89 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-memtrack) 11.21 4.20 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (FALSE(valid-memtrack)) 90.10 65.86 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-memtrack) 10.56 3.95 None loop-acceleration/array3_false-valid-deref.i TRUE 5.28 2.15 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.57 2.36 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.73 2.13 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.47 3.75 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.62 3.71 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.47 3.17 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.41 3.20 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.80 3.19 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.52 3.49 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.70 3.53 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.70 2.67 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.66 3.20 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.13 3.08 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.03 2.52 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.84 2.34 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.78 2.47 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.13 2.48 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.50 2.60 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.27 2.57 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.28 2.66 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.49 2.77 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.70 2.58 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.93 2.44 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.75 2.35 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.96 2.34 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.52 2.27 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 7075.77 2393.79 - AbsInt.32bitMem Run set 2 of 7 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 41.02 17.87 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 12.39 4.42 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 49.40 27.24 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 19.17 8.03 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 11.34 4.01 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 11.30 4.03 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 91.21 73.47 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 21.26 8.66 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 11.18 3.99 None array-memsafety/diff_usafe_false-valid-deref.i unknown 10.03 3.54 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 67.50 39.05 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 91.07 67.78 None array-memsafety/mult_array_unsafe_false-valid-deref.i ERROR: EXCEPTION 63.21 40.01 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 90.96 71.63 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 93.20 73.85 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 13.41 4.65 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 6.33 2.53 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 29.50 13.54 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 13.52 4.73 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 21.73 8.28 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 33.75 14.75 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 22.06 7.54 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 43.26 22.01 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.30 56.71 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 25.69 9.09 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 63.16 28.61 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 61.73 27.94 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 57.55 29.37 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 17.40 6.00 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.92 60.10 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 52.98 25.55 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.69 64.63 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 53.48 28.04 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 56.83 29.13 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 43.22 15.65 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 21.49 7.41 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 24.81 8.50 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.48 66.28 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.34 70.13 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 33.87 12.38 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 18.15 6.21 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 17.19 5.96 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 25.02 8.70 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 58.30 32.44 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.28 58.21 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.55 59.80 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 48.90 20.69 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 52.34 29.51 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 41.28 20.20 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.62 63.98 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 17.52 6.15 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.91 60.32 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 57.32 28.28 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 78.27 50.56 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 31.43 11.44 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 57.59 28.29 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 50.30 23.27 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 88.61 52.83 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 20.47 7.24 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 22.86 8.45 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 9.52 3.56 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 17.05 5.82 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 43.71 19.82 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 67.83 38.20 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 52.29 27.05 None array-examples/relax_false-valid-deref.i unknown 12.73 4.67 None array-examples/sanfoundry_24_false-valid-deref.i TRUE 6.69 2.62 None array-examples/standard_strcpy_false-valid-deref_ground.i TRUE 8.47 3.48 None array-examples/standard_strcpy_original_false-valid-deref.i TRUE 7.48 2.88 None memsafety/960521-1_false-valid-deref.i unknown 31.30 12.27 None memsafety/test-0137_false-valid-deref.i unknown 17.03 6.49 None memsafety/test-0235_false-valid-deref.i unknown 12.40 4.80 None memsafety/960521-1_false-valid-free.i unknown 29.12 11.35 None memsafety/test-0158_false-valid-free.i unknown 46.75 30.18 None memsafety/test-0232_false-valid-free.i unknown 48.83 28.08 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.22 63.48 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 10.05 3.53 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 93.33 72.25 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.68 66.07 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 92.22 66.84 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 14.75 6.17 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.54 75.61 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 28.88 11.64 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 6.77 3.09 None memsafety/test-0232_false-valid-memtrack.i unknown 56.51 31.78 None memsafety/test-0234_false-valid-memtrack.i unknown 11.61 4.28 None memsafety/test-0235_false-valid-memtrack.i unknown 11.54 4.20 None memsafety/960521-1_true-valid-memsafety.i unknown 25.22 10.06 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.59 63.89 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 11.41 4.13 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.50 76.47 None memsafety/test-0134_true-valid-memsafety.i unknown 14.66 5.18 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 22.90 8.73 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.36 2.08 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.45 2.11 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.31 2.03 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 5.29 2.12 None memsafety/test-0232_true-valid-memsafety.i unknown 48.80 26.44 None memsafety/test-0234_true-valid-memsafety.i unknown 10.95 3.93 None memsafety/test-0235_true-valid-memsafety.i unknown 12.09 4.36 None memsafety/test-0236_true-valid-memsafety.i unknown 11.37 4.22 None memsafety/test-0237_true-valid-memsafety.i unknown 10.96 3.93 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.26 74.23 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.56 67.23 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.76 73.42 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 17.70 6.27 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.61 71.54 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.16 2.11 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.37 2.06 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 92.23 70.53 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 95.92 74.25 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.54 72.83 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 95.68 76.38 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 93.12 70.65 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 95.93 73.27 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 92.31 70.81 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.93 70.89 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.05 66.24 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 93.78 73.45 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.42 65.40 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.24 69.79 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.22 69.52 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.42 67.20 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.60 66.38 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 38.25 16.50 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 91.40 68.52 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 95.97 72.85 None list-ext-properties/960521-1_1_false-valid-free.i unknown 38.14 16.36 None list-ext-properties/test-0158_1_false-valid-free.i TIMEOUT (ERROR (143)) 92.78 73.57 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 19.53 7.64 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 39.71 23.55 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 45.36 25.31 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 29.25 10.16 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.39 64.36 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.54 70.53 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.82 65.06 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 22.13 8.77 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 92.01 73.35 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.39 2.08 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.62 2.10 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 49.04 26.33 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.77 73.18 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.48 74.59 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.52 68.59 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 17.78 6.15 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 17.66 6.03 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 9.21 3.32 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 11.43 4.06 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 18.57 6.39 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 16.72 5.82 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 6.79 2.62 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 6.90 2.68 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 6.99 2.62 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 7.28 2.72 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 7.07 2.64 None ldv-memsafety/memset_false-valid-deref-write.c unknown 6.94 2.58 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 16.40 5.66 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 14.30 4.92 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 15.85 5.43 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 14.93 5.24 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 12.23 4.35 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 16.21 5.76 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 5.74 2.34 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 5.69 2.26 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 5.61 2.35 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 7.00 2.69 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 7.12 2.69 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 7.25 2.85 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 7.09 2.80 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 6.75 2.73 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 6.99 2.59 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.59 2.20 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 8.34 3.17 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 8.61 3.22 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 5.57 2.14 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 5.72 2.22 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.40 2.55 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 16.29 5.75 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 7.69 2.93 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 9.40 3.35 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 7.71 2.99 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 7.90 3.48 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 11.99 4.78 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 8.64 4.76 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 9.42 4.62 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.16 3.12 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.31 2.68 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 5.87 2.54 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.39 2.85 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 6.39 3.20 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 47.91 28.25 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.07 2.57 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.40 3.30 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 8.28 3.35 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 8.84 4.45 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 8.75 3.67 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 8.51 3.59 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 7.55 2.96 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 7.83 3.42 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.87 2.41 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.97 2.56 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 9.36 3.98 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 8.44 3.43 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 8.75 3.36 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 7.56 2.86 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 7.52 2.95 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 7.95 3.07 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 10.92 4.18 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 11.09 5.02 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 8.97 3.55 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 8.15 3.43 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 8.37 3.57 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 7.65 3.08 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 7.97 3.44 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.94 2.45 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 16.85 6.34 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 5.79 2.48 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 6.15 2.68 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 8.80 3.27 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.80 2.34 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 8.73 4.06 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 9.14 4.22 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 7.86 3.20 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 9.95 3.95 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 7.91 3.55 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.88 2.87 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.94 2.75 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 8.99 3.73 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 10.02 4.41 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 10.44 5.11 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 6.23 3.27 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 5.50 2.32 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 7.52 2.86 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 7.58 2.97 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 8.03 3.21 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 10.60 4.03 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 8.77 3.59 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 8.11 3.34 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 7.87 3.09 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 21.20 8.08 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 11.20 4.25 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 10.99 4.29 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 18.75 7.10 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 14.68 5.64 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 19.89 7.22 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 11.61 4.39 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 23.89 11.49 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 15.34 6.04 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 18.49 7.33 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 16.54 5.82 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.94 2.57 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 94.19 71.96 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.73 2.35 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.69 2.35 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 5.49 2.78 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 92.66 71.21 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.27 71.36 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.31 75.67 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.86 75.79 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.42 69.92 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.13 67.39 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.45 71.38 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.57 71.66 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.54 67.68 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 93.87 70.87 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.24 2.37 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.02 2.30 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.96 2.24 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.84 2.16 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.11 2.29 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.96 2.21 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.62 2.20 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 6.23 2.30 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.82 2.18 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.79 2.17 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.99 2.26 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.93 2.26 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.80 2.17 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 94.48 76.14 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.39 77.46 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.99 72.70 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.87 74.28 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.69 76.44 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.86 75.76 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.87 72.76 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.70 75.39 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.11 76.66 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.86 70.45 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.53 76.98 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.00 71.25 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.96 69.46 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.74 75.12 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.74 68.17 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.99 72.46 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.20 68.48 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 94.25 70.69 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.45 74.24 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 94.48 73.29 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 91.57 69.02 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 95.72 75.93 None loop-acceleration/array3_false-valid-deref.i TRUE 6.27 2.60 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.91 2.52 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.94 2.29 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.62 60.15 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.42 59.06 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 96.65 62.18 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.96 61.41 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 96.29 61.43 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.95 61.73 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.84 62.16 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 28.96 11.81 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 36.45 16.68 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 39.28 17.48 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.57 3.77 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.69 3.84 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.66 4.12 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.08 3.98 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.37 4.73 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.37 4.83 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.71 4.89 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.06 4.62 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.93 2.95 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.02 3.05 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.30 2.99 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.03 3.35 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.69 3.48 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 12461.06 4067.48 - AbsInt_imprecise.32bitMem Run set 3 of 7 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_imprecise.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 8.40 3.07 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 8.28 3.06 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 8.80 3.53 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 7.50 2.89 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 7.02 2.63 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 7.09 2.65 None array-memsafety/cstrncat_unsafe_false-valid-deref.i unknown 7.79 2.94 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 7.80 2.94 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 7.24 2.71 None array-memsafety/diff_usafe_false-valid-deref.i unknown 8.06 3.02 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 14.60 5.02 None array-memsafety/lis_unsafe_false-valid-deref.i unknown 10.39 3.68 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 9.66 3.48 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 9.22 3.27 None array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 9.21 3.32 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 7.85 2.91 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 6.81 2.63 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 8.33 3.06 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 8.53 3.08 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 9.67 3.43 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 9.80 3.46 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 9.53 3.53 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 8.81 3.23 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 13.04 4.63 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 9.70 3.50 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 11.33 4.02 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 9.65 3.55 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 14.48 5.07 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 8.49 3.04 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 13.69 4.75 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 12.28 4.31 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 11.44 4.02 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 12.62 4.38 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 14.13 4.92 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 12.03 4.17 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 9.54 3.46 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 9.66 3.48 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 13.00 4.57 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 9.78 3.53 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 8.99 3.23 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 9.17 3.27 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 9.21 3.23 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 9.13 3.34 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 9.93 3.54 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 11.92 4.23 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 12.64 4.48 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 10.79 3.83 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 9.65 3.52 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 11.25 3.97 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 13.28 4.62 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 8.21 3.06 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 13.79 4.74 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 11.16 3.99 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 10.56 3.74 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 10.25 3.56 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 12.25 4.23 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 11.62 4.04 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 21.27 7.12 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 9.18 3.33 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 9.71 3.52 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 8.01 3.00 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 8.84 3.42 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 9.87 3.61 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 13.86 4.90 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 14.08 5.12 None array-examples/relax_false-valid-deref.i unknown 10.85 3.91 None array-examples/sanfoundry_24_false-valid-deref.i TRUE 6.59 2.55 None array-examples/standard_strcpy_false-valid-deref_ground.i TRUE 6.76 2.63 None array-examples/standard_strcpy_original_false-valid-deref.i TRUE 7.01 2.62 None memsafety/960521-1_false-valid-deref.i unknown 8.40 3.10 None memsafety/test-0137_false-valid-deref.i unknown 17.21 6.05 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 90.89 56.92 None memsafety/960521-1_false-valid-free.i unknown 8.69 3.22 None memsafety/test-0158_false-valid-free.i unknown 7.61 2.82 None memsafety/test-0232_false-valid-free.i unknown 9.60 3.47 None memsafety/20020406-1_false-valid-memtrack.i unknown 44.78 19.30 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 8.01 2.97 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 15.64 5.42 None memsafety/lockfree-3.2_false-valid-memtrack.i unknown 16.14 5.55 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 14.58 4.99 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 7.82 2.86 None memsafety/test-0102_false-valid-memtrack.i unknown 13.66 4.69 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 6.73 2.58 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 5.52 2.20 None memsafety/test-0232_false-valid-memtrack.i unknown 8.82 3.21 None memsafety/test-0234_false-valid-memtrack.i unknown 41.29 17.59 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.17 56.17 None memsafety/960521-1_true-valid-memsafety.i unknown 8.21 3.01 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 17.34 5.90 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 7.49 2.82 None memsafety/test-0102_true-valid-memsafety.i unknown 15.10 5.11 None memsafety/test-0134_true-valid-memsafety.i unknown 17.55 6.01 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 6.72 2.62 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.45 2.12 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.38 2.09 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.74 2.12 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 5.54 2.13 None memsafety/test-0232_true-valid-memsafety.i unknown 9.10 3.39 None memsafety/test-0234_true-valid-memsafety.i unknown 49.03 19.29 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.02 56.22 None memsafety/test-0236_true-valid-memsafety.i unknown 38.76 16.11 None memsafety/test-0237_true-valid-memsafety.i unknown 38.66 16.32 None memsafety/test-0504_true-valid-memsafety.i unknown 13.11 4.60 None memsafety/test-0513_true-valid-memsafety.i unknown 16.23 5.53 None memsafety/test-0521_true-valid-memsafety.i unknown 25.36 9.71 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 9.07 3.25 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 10.15 3.68 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.60 2.19 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.36 2.05 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 14.04 4.93 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 16.99 5.97 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 17.50 5.95 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 13.16 4.56 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 13.62 4.73 None memsafety-ext2/split_list_test05_false-valid-deref.i unknown 9.25 3.40 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i unknown 29.48 10.39 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i unknown 31.24 11.44 None memsafety-ext2/length_test03_false-valid-memtrack.i unknown 8.78 3.20 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i unknown 12.58 4.31 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i unknown 28.19 10.20 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i unknown 29.11 10.98 None memsafety-ext2/length_test03_true-valid-memsafety.i unknown 8.58 3.14 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i unknown 12.32 4.31 None memsafety-ext2/split_list_test05_true-valid-memsafety.i unknown 9.45 3.41 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 9.38 3.40 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 12.24 4.27 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 11.66 4.13 None list-ext-properties/960521-1_1_false-valid-free.i unknown 8.86 3.17 None list-ext-properties/test-0158_1_false-valid-free.i unknown 8.15 2.99 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 7.98 2.99 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 7.39 2.83 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 9.30 3.32 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 9.45 3.25 None list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 11.61 4.11 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 12.20 4.31 None list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 9.97 3.62 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 7.58 2.87 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 7.72 2.82 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.39 2.09 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.56 2.14 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 9.26 3.34 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 13.01 4.58 None list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 15.84 5.62 None memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 8.32 3.09 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 9.01 3.24 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 9.17 3.39 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 7.83 2.94 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 8.58 3.13 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 9.22 3.34 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 9.34 3.38 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 6.61 2.54 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 6.37 2.48 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 6.49 2.54 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 6.64 2.65 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 6.72 2.67 None ldv-memsafety/memset_false-valid-deref-write.c unknown 7.00 2.73 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 9.15 3.51 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 9.18 3.30 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 9.23 3.37 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 9.28 3.38 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 8.68 3.21 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 9.14 3.37 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 5.41 2.15 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 5.66 2.16 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 5.86 2.32 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 6.51 2.49 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 6.25 2.49 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 6.75 2.57 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 6.51 2.47 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 6.49 2.57 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 6.39 2.47 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.75 2.25 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 8.26 3.09 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 8.52 3.11 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 6.00 2.17 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 5.79 2.22 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.49 2.23 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 12.25 4.25 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 7.51 2.93 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 7.76 2.92 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 7.08 2.67 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 6.90 2.61 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 7.71 2.84 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 7.31 2.68 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 7.15 2.70 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.61 2.14 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.50 2.09 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 5.40 2.14 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.54 2.03 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 5.56 2.15 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 10.50 3.78 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.44 2.10 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.33 2.04 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 7.41 2.80 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 7.41 2.80 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 7.03 2.73 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 7.08 2.74 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 6.97 2.71 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 7.09 2.66 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.53 2.12 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.51 2.12 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 8.11 3.07 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 7.60 2.87 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 8.49 3.15 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 6.86 2.65 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 7.05 2.66 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 7.04 2.64 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 7.73 2.90 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 7.72 2.85 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 7.27 2.75 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 7.16 2.66 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 7.19 2.76 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 7.50 2.72 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 7.53 2.93 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.67 2.15 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 12.15 4.26 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 5.62 2.47 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.58 2.19 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 8.01 2.95 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.36 2.11 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 7.33 2.79 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 7.53 2.80 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 7.22 2.79 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 7.69 2.83 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 6.67 2.51 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.49 2.07 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.32 2.11 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 8.19 3.02 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 8.56 3.14 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 8.70 3.27 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 5.68 2.25 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 5.51 2.14 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 7.24 2.84 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 6.97 2.64 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 7.30 2.83 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 7.60 2.76 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 7.52 2.81 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 7.01 2.64 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 7.17 2.72 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 7.17 2.71 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 8.44 3.06 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 8.44 3.10 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 8.81 3.19 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 10.00 3.72 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 7.30 2.83 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 8.26 3.06 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 8.90 3.23 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 10.25 3.70 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 8.71 3.22 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 76.87 43.33 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.53 2.16 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 42.38 19.11 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.17 2.06 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.33 2.08 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 5.32 2.11 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.24 53.49 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown 12.99 4.61 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 13.06 4.59 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 11.90 4.12 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 11.00 3.90 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 9.94 3.53 None list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 9.75 3.40 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 8.01 2.97 None list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 8.85 3.16 None list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 12.49 4.36 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.74 2.21 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.74 2.22 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.98 2.28 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.92 2.23 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.85 2.18 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 6.08 2.26 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.95 2.20 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.80 2.22 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.19 2.29 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.32 2.27 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.00 2.20 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.00 2.25 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.82 2.24 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i unknown 14.41 5.01 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i unknown 14.67 5.04 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unknown 15.31 5.28 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unknown 17.28 6.11 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 13.13 4.66 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 12.47 4.42 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i unknown 13.09 4.60 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i unknown 16.06 5.50 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unknown 11.55 4.05 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unknown 15.24 5.45 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unknown 18.78 6.55 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i unknown 14.56 5.13 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i unknown 13.97 4.80 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i unknown 17.86 6.17 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 11.27 3.96 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 11.74 4.14 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unknown 13.27 4.65 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i unknown 15.70 5.45 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i unknown 12.63 4.40 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown 12.86 4.57 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i unknown 15.62 5.38 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown 12.48 4.37 None loop-acceleration/array3_false-valid-deref.i TRUE 6.64 2.60 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 7.13 2.48 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 6.10 2.28 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.46 58.98 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.76 57.82 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 92.39 58.82 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.33 57.31 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.12 60.67 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.04 60.23 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.78 61.22 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 29.62 12.22 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 36.51 16.69 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 36.26 17.18 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.06 3.65 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.18 3.64 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.49 4.08 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.81 4.13 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.35 4.81 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.97 4.24 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 14.55 5.14 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.96 5.03 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.50 2.81 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.01 3.02 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.37 3.08 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.58 3.39 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.66 3.18 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 4363.11 970.22 - AbsInt_mostprecise.32bitMem Run set 4 of 7 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_mostprecise.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.95 70.73 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 72.90 56.94 None array-memsafety/count_down_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 96.34 73.33 None array-memsafety/cstrcat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.70 74.32 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 20.40 7.18 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 20.03 7.04 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 93.95 76.49 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.52 77.59 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 22.04 7.62 None array-memsafety/diff_usafe_false-valid-deref.i unknown 22.59 9.07 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 91.53 75.67 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 90.81 72.19 None array-memsafety/mult_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 94.30 70.96 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.42 77.16 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.55 75.46 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 84.07 66.83 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 6.58 2.51 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.20 71.70 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 38.92 20.19 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.65 69.71 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 92.19 72.63 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 94.43 77.49 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.66 75.90 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.01 73.00 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 94.51 73.88 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.57 73.68 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.44 76.61 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.88 72.33 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 87.38 60.83 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.47 67.03 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.06 67.63 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.33 67.44 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.17 64.56 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 94.16 69.34 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.29 80.30 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 55.20 34.42 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 92.78 75.91 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.31 70.13 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.14 69.78 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 92.69 66.69 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 50.42 29.00 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 49.38 28.45 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.79 67.88 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.85 63.44 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.91 74.14 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.79 74.94 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.57 68.55 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.40 77.39 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.88 77.23 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.40 68.81 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 80.91 58.69 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.19 67.72 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.53 70.91 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.58 76.55 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.20 68.04 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 94.24 68.25 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.36 71.28 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.68 67.11 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.21 66.70 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.86 76.59 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 16.24 5.60 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 38.66 21.83 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.34 68.86 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.06 73.84 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 94.98 72.29 None array-examples/relax_false-valid-deref.i unknown 24.13 9.66 None array-examples/sanfoundry_24_false-valid-deref.i TRUE 6.53 2.51 None array-examples/standard_strcpy_false-valid-deref_ground.i TRUE 7.97 2.92 None array-examples/standard_strcpy_original_false-valid-deref.i TRUE 8.06 2.88 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 96.27 74.93 None memsafety/test-0137_false-valid-deref.i TIMEOUT (ERROR (143)) 95.33 75.87 None memsafety/test-0235_false-valid-deref.i unknown 36.52 19.28 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 95.95 76.65 None memsafety/test-0158_false-valid-free.i TIMEOUT (ERROR (143)) 95.71 75.71 None memsafety/test-0232_false-valid-free.i TIMEOUT (ERROR (143)) 95.62 75.68 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.90 74.83 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 17.80 6.24 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.94 74.06 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.48 76.67 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.39 67.90 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 65.08 40.77 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.17 71.11 None memsafety/test-0158_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 96.34 64.01 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 5.35 2.04 None memsafety/test-0232_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.82 73.28 None memsafety/test-0234_false-valid-memtrack.i unknown 43.20 25.56 None memsafety/test-0235_false-valid-memtrack.i unknown 38.61 20.14 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.71 77.54 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.09 71.60 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 75.86 52.31 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.13 71.00 None memsafety/test-0134_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.88 72.28 None memsafety/test-0158_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.19 75.75 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.45 2.06 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.59 2.10 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.41 2.11 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 5.18 2.08 None memsafety/test-0232_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.83 73.62 None memsafety/test-0234_true-valid-memsafety.i unknown 33.84 17.57 None memsafety/test-0235_true-valid-memsafety.i unknown 37.49 18.10 None memsafety/test-0236_true-valid-memsafety.i unknown 43.76 24.64 None memsafety/test-0237_true-valid-memsafety.i unknown 36.35 21.11 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.90 75.77 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.29 70.47 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.90 76.10 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.69 70.16 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.31 72.77 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.58 2.22 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.52 2.15 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 96.30 74.12 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 96.26 73.19 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.22 70.50 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 96.05 75.22 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 95.74 67.22 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 97.66 71.03 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.26 73.34 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.83 73.34 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.28 67.22 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 97.98 71.79 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.38 70.80 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.94 72.07 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.16 71.48 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 97.06 69.08 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.92 70.29 None list-ext-properties/960521-1_1_false-valid-deref.i TIMEOUT (ERROR (143)) 91.67 72.76 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 95.93 73.72 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 96.14 74.61 None list-ext-properties/960521-1_1_false-valid-free.i TIMEOUT (ERROR (143)) 93.11 72.78 None list-ext-properties/test-0158_1_false-valid-free.i TIMEOUT (ERROR (143)) 95.58 71.53 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 96.80 73.74 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 95.77 70.79 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 95.71 72.28 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.38 72.70 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.94 73.84 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.65 76.28 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.66 72.00 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.59 72.37 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.15 68.00 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.58 2.17 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.45 2.24 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.40 70.64 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.92 76.41 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.50 72.54 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.16 79.11 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 43.97 26.48 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 49.39 27.78 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 14.18 4.96 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 17.51 6.11 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 24.07 9.11 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 24.07 8.95 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 8.69 3.24 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 9.04 3.26 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 8.64 3.19 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 9.43 3.39 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 8.97 3.25 None ldv-memsafety/memset_false-valid-deref-write.c unknown 9.03 3.33 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 48.77 27.50 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 21.07 7.27 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 24.74 8.34 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 20.33 7.05 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 19.08 6.62 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 21.99 7.46 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 5.60 2.12 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 5.44 2.16 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 5.92 2.19 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 8.58 3.12 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 8.53 3.13 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 8.70 3.16 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 9.36 3.36 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 8.53 3.12 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 8.73 3.21 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.52 2.15 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 8.86 3.21 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 9.43 3.35 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 5.45 2.08 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 5.58 2.16 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.51 2.08 None ldv-memsafety/memleaks_test12_false-valid-free.i TIMEOUT (ERROR (143)) 96.44 71.22 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 8.51 3.17 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 37.51 23.38 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 7.80 2.89 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 6.79 2.59 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 46.28 30.09 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 7.87 2.93 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 8.09 2.95 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.48 2.15 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.31 2.09 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 5.43 2.14 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.61 2.10 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 5.46 2.15 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.56 75.43 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.56 2.25 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.59 2.15 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 8.22 3.01 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 8.20 3.05 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 7.99 2.96 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 7.82 2.95 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 7.99 3.00 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 7.97 2.85 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.53 2.15 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.38 2.13 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 9.24 3.20 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 8.55 3.12 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 9.06 3.26 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 7.66 2.79 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 7.69 2.83 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 7.84 2.92 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 45.59 28.80 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 41.56 25.08 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 11.05 3.99 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 7.80 2.89 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 7.95 2.94 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 7.75 2.89 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 8.07 3.00 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.38 2.13 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.21 71.72 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 5.66 2.18 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.44 2.11 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 9.14 3.23 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.40 2.13 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 8.29 3.08 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 8.24 3.05 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 8.13 2.99 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 32.44 18.13 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 7.45 2.81 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.33 2.04 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.25 2.07 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 8.86 3.10 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 8.89 3.23 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 8.87 3.30 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 5.54 2.20 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 5.30 2.09 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 7.83 2.90 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 7.72 2.84 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 8.08 3.01 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 46.62 30.00 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 11.42 4.05 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 7.73 2.91 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 7.51 2.85 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.97 71.60 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.84 76.90 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.78 75.48 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.72 77.30 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.95 78.52 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i TIMEOUT (ERROR (143)) 95.33 79.21 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 96.04 74.31 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 95.60 77.43 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 96.08 77.55 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 95.70 77.01 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.14 74.85 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.48 2.11 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.49 70.21 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.24 2.06 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.21 2.01 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 5.52 2.14 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.33 74.78 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.02 71.71 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.70 72.36 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.33 71.24 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.07 73.30 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.05 74.85 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.41 71.36 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.94 73.21 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.23 72.03 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.70 71.47 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.20 2.35 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.81 2.22 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 6.05 2.27 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.00 2.24 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.65 2.18 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 6.06 2.25 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.82 2.19 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 6.02 2.29 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.96 2.21 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.04 2.25 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.04 2.28 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.82 2.22 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.86 2.18 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.45 69.71 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.22 72.57 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.58 68.24 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.33 71.55 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.41 72.65 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.89 70.53 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 97.97 71.93 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.87 72.64 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.49 70.28 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.63 71.27 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.56 75.95 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.64 75.04 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 94.04 74.45 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.67 69.40 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.53 68.61 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.04 73.98 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.47 70.33 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.14 69.40 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.15 75.51 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 96.51 72.05 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 95.65 72.15 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 95.77 65.98 None loop-acceleration/array3_false-valid-deref.i TRUE 6.72 2.50 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.74 2.36 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.87 2.28 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.93 61.05 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.31 57.53 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.98 61.73 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.84 62.15 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.91 63.14 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 94.46 60.49 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.27 59.39 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 33.72 12.85 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 38.70 17.99 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 36.58 17.60 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.81 3.57 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.57 3.76 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.49 3.81 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.42 4.07 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.14 4.70 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 12.38 4.36 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.78 4.84 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 14.65 5.17 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.51 2.84 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.08 2.89 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.32 3.01 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.59 3.45 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.77 3.53 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 17891.97 6493.05 - AbsInt_precise.32bitMem Run set 5 of 7 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_precise.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 94.47 71.15 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 73.52 57.56 None array-memsafety/count_down_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 90.89 67.05 None array-memsafety/cstrcat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.64 75.83 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 19.63 6.76 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 20.13 6.90 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.36 77.72 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.60 77.13 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 21.97 7.58 None array-memsafety/diff_usafe_false-valid-deref.i unknown 23.08 9.10 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 94.19 77.09 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 90.63 73.59 None array-memsafety/mult_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 93.90 67.64 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.59 76.27 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.50 75.80 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 82.97 65.52 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 6.45 2.51 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.98 73.83 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 40.68 21.51 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.74 70.38 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.15 71.43 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.45 76.28 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.60 76.44 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.43 65.17 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 92.33 67.92 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.82 70.77 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.57 76.50 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 92.68 64.97 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT 90.57 60.34 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.94 68.13 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.42 73.90 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.96 73.01 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.20 65.28 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.30 70.59 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.22 79.95 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 53.15 34.42 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.64 76.23 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.00 71.54 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 92.59 70.69 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.55 69.08 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 51.24 28.75 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 51.18 29.00 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 92.15 68.73 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.36 70.61 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.09 72.78 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.76 66.33 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.22 68.60 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.68 75.00 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.27 75.67 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.15 64.98 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 84.25 59.63 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.69 69.14 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.75 70.87 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.46 76.41 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.28 68.56 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.00 73.03 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.31 69.99 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.61 68.68 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.04 68.29 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.92 72.82 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 16.19 5.60 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 39.50 22.03 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.54 72.90 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 94.77 72.74 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.72 72.75 None array-examples/relax_false-valid-deref.i unknown 23.96 9.09 None array-examples/sanfoundry_24_false-valid-deref.i TRUE 6.37 2.53 None array-examples/standard_strcpy_false-valid-deref_ground.i TRUE 7.47 2.78 None array-examples/standard_strcpy_original_false-valid-deref.i TRUE 7.73 2.92 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 95.91 76.42 None memsafety/test-0137_false-valid-deref.i TIMEOUT (ERROR (143)) 95.36 75.47 None memsafety/test-0235_false-valid-deref.i unknown 36.19 19.53 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 95.59 78.27 None memsafety/test-0158_false-valid-free.i TIMEOUT (ERROR (143)) 95.98 72.43 None memsafety/test-0232_false-valid-free.i TIMEOUT (ERROR (143)) 95.50 67.65 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.25 70.16 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 19.30 6.75 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.24 69.66 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.55 76.02 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.70 74.53 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 62.20 39.85 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.23 70.36 None memsafety/test-0158_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 95.95 67.62 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 5.33 2.06 None memsafety/test-0232_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.71 74.49 None memsafety/test-0234_false-valid-memtrack.i unknown 43.90 25.75 None memsafety/test-0235_false-valid-memtrack.i unknown 38.66 20.38 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.54 78.29 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.19 72.13 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 73.75 52.04 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.84 74.06 None memsafety/test-0134_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.15 71.34 None memsafety/test-0158_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.27 75.97 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.48 2.11 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.56 2.10 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.45 2.12 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 5.33 2.06 None memsafety/test-0232_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.87 72.44 None memsafety/test-0234_true-valid-memsafety.i unknown 36.56 18.48 None memsafety/test-0235_true-valid-memsafety.i unknown 33.17 17.09 None memsafety/test-0236_true-valid-memsafety.i unknown 43.86 25.13 None memsafety/test-0237_true-valid-memsafety.i unknown 37.62 20.90 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.87 76.80 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 94.87 72.00 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.93 77.20 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.51 72.32 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.37 71.02 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.60 2.15 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.61 2.17 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 96.12 74.93 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 95.39 68.73 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.07 70.47 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 96.29 71.80 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 96.24 73.87 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 97.17 71.41 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.42 70.82 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 97.05 69.09 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.63 70.16 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.74 64.93 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.24 71.88 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.27 71.53 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.17 75.46 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 97.14 68.29 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.49 72.45 None list-ext-properties/960521-1_1_false-valid-deref.i TIMEOUT (ERROR (143)) 91.15 71.67 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 95.63 67.70 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 96.19 74.41 None list-ext-properties/960521-1_1_false-valid-free.i TIMEOUT (ERROR (143)) 92.19 72.84 None list-ext-properties/test-0158_1_false-valid-free.i TIMEOUT (ERROR (143)) 96.13 68.78 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 96.46 73.15 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 95.82 68.15 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 92.82 66.91 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.82 70.40 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.85 74.10 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.65 75.73 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.70 77.76 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.72 72.44 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.78 75.05 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.86 2.21 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.52 2.14 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 97.27 72.10 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.67 78.84 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.51 72.71 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.80 78.60 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 48.95 27.03 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 47.77 27.58 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 14.70 5.10 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 17.55 6.19 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 23.76 9.24 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 23.43 8.88 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 8.55 3.13 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 8.71 3.16 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 8.81 3.16 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 8.88 3.33 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 8.88 3.19 None ldv-memsafety/memset_false-valid-deref-write.c unknown 8.31 3.11 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 48.75 27.62 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 20.67 7.45 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 21.40 7.80 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 21.42 7.24 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 16.08 5.48 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 20.18 7.61 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 5.38 2.11 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 5.57 2.20 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 5.63 2.28 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 8.52 3.08 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 9.05 3.29 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 8.67 3.14 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 9.19 3.32 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 8.75 3.26 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 8.82 3.19 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.58 2.16 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 8.83 3.25 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 8.90 3.25 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 5.66 2.17 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 5.75 2.14 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.54 2.17 None ldv-memsafety/memleaks_test12_false-valid-free.i TIMEOUT (ERROR (143)) 96.10 72.91 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 8.50 3.12 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 38.62 23.61 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 7.93 2.92 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 6.92 2.62 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 45.79 29.33 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 7.69 2.82 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 8.48 2.97 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.40 2.04 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.25 2.04 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 5.77 2.40 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.54 2.16 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 5.66 2.21 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.99 75.05 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.59 2.29 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.64 2.22 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 8.25 3.03 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 8.21 2.98 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 8.09 3.02 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 7.95 3.01 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 8.27 3.01 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 7.77 2.88 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.53 2.12 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.40 2.11 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 9.08 3.31 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 8.38 3.06 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 9.26 3.33 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 7.71 2.87 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 7.89 2.83 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 7.95 2.87 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 49.04 29.50 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 41.88 25.06 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 11.94 4.27 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 7.84 2.95 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 7.93 2.87 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 7.87 2.86 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 8.46 3.01 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.53 2.06 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.02 73.74 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 5.81 2.20 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.66 2.23 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 9.09 3.26 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.43 2.15 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 8.22 3.02 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 8.59 3.05 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 8.02 2.97 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 33.78 18.23 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 7.54 2.81 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.33 2.18 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.35 2.08 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 8.69 3.16 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 8.62 3.15 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 9.28 3.35 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 5.49 2.08 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 5.51 2.10 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 7.86 2.88 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 7.57 2.86 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 7.74 2.85 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 44.37 29.48 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 10.70 3.82 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 8.03 2.92 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 7.70 2.85 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.27 79.88 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.74 75.35 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.49 78.90 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.64 78.09 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.75 77.10 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i TIMEOUT (ERROR (143)) 91.06 72.14 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 95.93 74.93 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 95.52 78.28 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 95.76 79.17 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 95.77 76.19 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.70 73.14 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.70 2.18 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.52 70.22 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.33 2.06 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.23 2.08 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 5.16 1.99 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.27 75.65 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.35 71.12 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.40 73.10 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.46 70.83 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.26 70.42 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.24 75.63 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.35 73.00 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.04 72.24 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.32 71.38 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.91 70.57 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.98 2.26 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.83 2.20 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.97 2.28 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.83 2.20 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.10 2.17 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.77 2.14 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 6.00 2.28 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.89 2.14 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.76 2.19 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.03 2.20 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.70 2.23 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.14 2.21 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 6.01 2.23 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.50 70.05 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.34 72.14 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 97.15 72.53 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.93 71.15 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.47 73.32 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.37 69.95 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 97.22 71.95 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 97.99 73.29 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.72 69.94 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.29 72.34 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.42 77.83 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.73 73.05 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.89 73.42 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.17 73.53 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.56 74.45 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.24 73.34 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.51 72.11 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.95 75.77 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.17 75.36 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 95.44 71.39 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 96.07 70.62 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 96.22 72.41 None loop-acceleration/array3_false-valid-deref.i TRUE 6.37 2.48 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.93 2.42 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 6.15 2.33 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.10 60.15 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.81 61.50 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.61 59.03 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 95.09 63.11 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.95 61.91 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.83 61.74 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.26 59.93 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 28.06 12.30 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 36.43 17.87 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 35.76 17.50 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.37 3.41 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.92 3.92 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.01 4.05 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 12.65 4.46 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.83 4.89 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.19 4.65 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.50 4.86 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.61 4.92 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.58 3.04 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.87 2.98 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.44 3.22 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.67 3.18 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.64 3.42 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 5 done 17886.65 6497.01 - AbsInt_preciseopt.32bitMem Run set 6 of 7 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_preciseopt.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.87 71.03 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 73.11 57.32 None array-memsafety/count_down_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 91.13 67.38 None array-memsafety/cstrcat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.95 72.83 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 22.25 7.80 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 21.40 7.36 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.79 75.26 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.77 75.48 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 18.92 6.56 None array-memsafety/diff_usafe_false-valid-deref.i unknown 22.06 9.04 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 94.15 77.43 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 91.21 73.09 None array-memsafety/mult_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 91.69 63.25 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 95.59 74.78 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 94.54 76.75 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 81.24 65.63 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 6.73 2.53 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.83 75.39 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 38.42 20.52 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TIMEOUT 90.71 68.57 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 94.45 71.45 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 94.08 78.08 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.70 67.23 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.96 72.40 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.67 75.11 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 97.00 71.31 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.40 77.35 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.72 65.71 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 85.45 60.89 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.40 67.45 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.48 74.17 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.93 73.24 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.08 64.71 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 92.52 69.44 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.33 79.70 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 53.20 34.89 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.00 74.10 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.91 70.66 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.39 70.16 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.14 67.67 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 51.59 28.83 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 50.53 28.48 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.80 67.15 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.24 72.69 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.05 72.62 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.13 71.86 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.71 73.94 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.63 75.48 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.39 74.71 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 94.69 69.62 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 84.07 57.61 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.83 69.35 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.29 72.15 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.60 74.89 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.35 68.29 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.01 68.50 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.58 70.48 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.28 70.53 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.10 71.40 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.69 72.50 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 15.46 5.34 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 38.77 21.26 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 93.45 69.29 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.70 68.12 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.46 68.36 None array-examples/relax_false-valid-deref.i unknown 24.10 9.52 None array-examples/sanfoundry_24_false-valid-deref.i TRUE 6.80 2.53 None array-examples/standard_strcpy_false-valid-deref_ground.i TRUE 7.90 2.92 None array-examples/standard_strcpy_original_false-valid-deref.i TRUE 8.01 2.98 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 95.64 77.65 None memsafety/test-0137_false-valid-deref.i TIMEOUT (ERROR (143)) 95.37 75.36 None memsafety/test-0235_false-valid-deref.i unknown 34.60 18.75 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 95.61 77.61 None memsafety/test-0158_false-valid-free.i TIMEOUT (ERROR (143)) 96.17 70.70 None memsafety/test-0232_false-valid-free.i TIMEOUT (ERROR (143)) 95.99 71.31 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.96 73.87 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 18.71 6.66 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.81 74.71 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.93 72.83 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.68 75.39 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 61.97 40.87 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.09 71.68 None memsafety/test-0158_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 95.23 71.89 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 5.53 2.06 None memsafety/test-0232_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.71 74.92 None memsafety/test-0234_false-valid-memtrack.i unknown 43.09 26.15 None memsafety/test-0235_false-valid-memtrack.i unknown 38.45 20.46 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.76 77.97 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.20 73.04 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 73.71 50.47 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.04 72.85 None memsafety/test-0134_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.25 70.10 None memsafety/test-0158_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 97.55 76.11 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.64 2.16 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.64 2.14 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.34 2.09 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 5.34 2.11 None memsafety/test-0232_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.83 72.84 None memsafety/test-0234_true-valid-memsafety.i unknown 33.90 18.36 None memsafety/test-0235_true-valid-memsafety.i unknown 36.32 17.49 None memsafety/test-0236_true-valid-memsafety.i unknown 40.47 23.86 None memsafety/test-0237_true-valid-memsafety.i unknown 37.57 20.94 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.82 76.76 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.29 72.79 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.01 74.94 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.36 73.19 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.25 73.75 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.42 2.09 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.41 2.10 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 96.20 73.89 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 96.10 74.95 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 97.30 69.91 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 96.21 73.79 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 96.23 74.37 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 98.02 70.74 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.16 72.85 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.40 69.86 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.70 72.30 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.60 71.18 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.35 70.51 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.93 72.40 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.01 73.49 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.41 71.70 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.18 71.07 None list-ext-properties/960521-1_1_false-valid-deref.i TIMEOUT (ERROR (143)) 91.68 73.06 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 95.83 74.78 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 95.61 70.14 None list-ext-properties/960521-1_1_false-valid-free.i TIMEOUT (ERROR (143)) 95.22 74.91 None list-ext-properties/test-0158_1_false-valid-free.i TIMEOUT (ERROR (143)) 96.13 68.75 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 97.54 74.36 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 95.63 72.33 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 91.63 67.93 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.60 70.08 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.30 69.51 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.79 73.46 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.04 75.11 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.55 71.75 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.15 71.49 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.47 2.09 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.55 2.16 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 96.72 70.78 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.82 77.10 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.51 72.14 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.69 78.45 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 46.80 26.43 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 48.55 28.10 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 14.62 5.10 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 17.95 6.16 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 23.92 8.86 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 23.23 8.57 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 8.76 3.24 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 9.23 3.40 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 8.82 3.30 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 8.84 3.23 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 8.66 3.21 None ldv-memsafety/memset_false-valid-deref-write.c unknown 8.83 3.17 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 49.34 27.16 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 22.70 7.91 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 22.95 8.22 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 20.64 7.28 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 16.41 5.72 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 20.95 7.23 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 5.67 2.11 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 5.39 2.08 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 5.65 2.23 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 8.51 3.21 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 8.73 3.24 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 8.46 3.16 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 8.86 3.26 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 8.27 3.10 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 8.41 3.15 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.54 2.18 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 8.87 3.20 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 8.92 3.26 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 5.45 2.13 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 5.52 2.13 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.55 2.12 None ldv-memsafety/memleaks_test12_false-valid-free.i TIMEOUT (ERROR (143)) 95.94 74.13 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 8.78 3.19 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 39.71 24.04 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 7.94 2.93 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 6.92 2.60 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 47.36 30.34 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 8.05 2.92 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 8.16 2.98 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.47 2.12 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.23 2.04 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 5.53 2.11 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.54 2.10 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 5.37 2.13 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.56 76.26 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.65 2.12 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.55 2.20 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 8.16 2.98 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 8.38 3.04 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 8.05 2.98 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 8.40 3.03 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 7.81 2.91 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 7.50 2.79 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.41 2.11 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.43 2.08 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 8.84 3.23 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 8.35 3.10 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 9.02 3.22 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 7.55 2.83 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 7.88 2.91 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 8.11 2.94 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 45.32 29.07 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 40.54 24.96 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 12.27 4.37 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 7.83 2.90 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 7.89 2.89 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 7.84 2.86 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 8.06 3.02 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.50 2.15 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.11 72.00 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 5.77 2.25 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.47 2.14 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 9.18 3.33 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.43 2.11 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 8.17 3.01 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 8.39 3.09 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 8.30 2.91 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 33.59 18.30 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 8.21 3.00 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.45 2.08 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.29 2.06 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 8.96 3.21 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 9.16 3.27 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 8.64 3.18 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 5.44 2.14 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 5.68 2.20 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 8.09 2.91 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 7.85 2.96 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 8.19 3.14 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 46.00 29.39 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 12.41 4.42 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 7.83 2.95 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 8.03 2.90 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.31 78.64 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.88 75.10 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.54 77.54 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.79 76.86 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 95.77 77.76 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i TIMEOUT (ERROR (143)) 95.56 76.57 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 95.53 77.36 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 95.57 78.43 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 96.03 78.10 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 95.58 77.55 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.29 79.25 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.57 2.14 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.73 69.31 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.50 2.13 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.33 2.09 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 5.26 2.09 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.58 70.47 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.95 71.41 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.29 75.16 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.35 71.59 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.99 69.57 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.12 69.88 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.04 75.24 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.20 69.67 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.21 72.69 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.75 69.78 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.73 2.18 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.80 2.27 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.97 2.23 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.01 2.22 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.18 2.32 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 6.11 2.24 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.92 2.24 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 6.06 2.28 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.01 2.24 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.16 2.28 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.06 2.33 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.03 2.23 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 6.05 2.26 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.51 69.92 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.65 72.33 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 97.30 72.34 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.64 68.59 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.32 73.99 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.12 69.06 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.96 72.66 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.65 71.83 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.66 70.20 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.60 69.82 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.37 78.14 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.72 73.56 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.52 73.94 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.56 70.52 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.59 69.89 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.18 74.40 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.26 68.10 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.52 69.62 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.18 74.78 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 96.32 73.11 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 95.62 72.16 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 96.10 72.37 None loop-acceleration/array3_false-valid-deref.i TRUE 6.58 2.50 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.78 2.43 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.91 2.23 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.10 59.07 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.84 61.76 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 92.91 58.73 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.28 59.52 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.87 61.86 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.84 61.76 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.77 62.15 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 29.55 12.55 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 37.14 17.96 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 40.26 18.24 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.40 3.39 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.96 3.91 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 12.08 4.32 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.01 4.60 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.70 4.84 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.40 4.69 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 14.24 5.13 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 14.55 5.04 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.30 2.80 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.12 3.02 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.83 3.33 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.13 3.42 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.79 3.15 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 6 done 17880.56 6497.09 - AbsInt_smtcomp.32bitMem Run set 7 of 7 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_smtcomp.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 40.32 17.64 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 13.82 4.93 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 47.87 26.95 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 20.83 7.81 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 10.22 3.57 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 11.18 3.98 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 91.45 72.79 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 21.67 8.11 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 10.73 3.88 None array-memsafety/diff_usafe_false-valid-deref.i unknown 11.19 4.01 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 69.83 39.46 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 91.19 68.08 None array-memsafety/mult_array_unsafe_false-valid-deref.i ERROR: EXCEPTION 61.44 39.41 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 91.56 70.46 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 92.08 70.43 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 13.75 4.78 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 6.81 2.61 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 30.25 13.58 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 13.02 4.70 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 23.90 8.65 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 33.70 13.70 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 20.40 7.05 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 43.92 22.92 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.69 54.23 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 23.31 7.93 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 53.92 27.88 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 55.67 28.12 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 55.32 28.55 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 17.25 5.91 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.60 54.75 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 55.69 26.81 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.68 61.33 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 54.49 27.89 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 57.27 28.94 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 38.99 14.62 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 20.60 6.96 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 24.35 8.70 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.19 65.27 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.88 68.45 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 31.71 11.33 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 16.52 5.71 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 18.76 6.33 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 28.66 9.83 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 61.86 33.31 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.99 61.73 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.33 64.36 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 46.74 20.85 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 53.83 29.89 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 48.80 21.26 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.93 61.65 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 18.05 6.25 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.32 57.65 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 49.09 25.77 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 67.08 42.06 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 25.73 8.86 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 47.30 24.09 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 46.85 21.70 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 82.90 47.60 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 19.29 6.65 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 21.79 7.41 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 9.09 3.19 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 16.37 5.66 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 43.15 18.14 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 67.13 36.09 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 51.85 26.11 None array-examples/relax_false-valid-deref.i unknown 12.24 4.32 None array-examples/sanfoundry_24_false-valid-deref.i TRUE 6.79 2.65 None array-examples/standard_strcpy_false-valid-deref_ground.i TRUE 7.57 2.86 None array-examples/standard_strcpy_original_false-valid-deref.i TRUE 7.68 2.86 None memsafety/960521-1_false-valid-deref.i unknown 24.89 10.13 None memsafety/test-0137_false-valid-deref.i unknown 15.01 5.25 None memsafety/test-0235_false-valid-deref.i unknown 11.38 4.11 None memsafety/960521-1_false-valid-free.i unknown 29.43 9.99 None memsafety/test-0158_false-valid-free.i unknown 46.18 29.40 None memsafety/test-0232_false-valid-free.i unknown 46.66 26.72 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 92.69 64.16 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 10.01 3.67 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 85.51 58.91 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.42 68.80 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 85.28 60.56 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 12.37 4.35 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.66 75.43 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 23.47 8.69 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 5.64 2.15 None memsafety/test-0232_false-valid-memtrack.i unknown 46.30 26.32 None memsafety/test-0234_false-valid-memtrack.i unknown 11.56 4.10 None memsafety/test-0235_false-valid-memtrack.i unknown 10.52 3.84 None memsafety/960521-1_true-valid-memsafety.i unknown 28.96 10.54 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.06 68.53 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 11.33 3.92 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.54 76.44 None memsafety/test-0134_true-valid-memsafety.i unknown 14.25 5.08 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 22.25 8.58 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.48 2.08 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.65 2.17 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.42 2.00 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 5.19 2.03 None memsafety/test-0232_true-valid-memsafety.i unknown 46.16 26.08 None memsafety/test-0234_true-valid-memsafety.i unknown 10.92 3.88 None memsafety/test-0235_true-valid-memsafety.i unknown 11.56 4.13 None memsafety/test-0236_true-valid-memsafety.i unknown 11.11 3.97 None memsafety/test-0237_true-valid-memsafety.i unknown 10.55 3.81 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.94 75.72 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.17 70.32 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.81 67.24 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 17.84 6.34 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.00 71.54 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.43 2.09 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.43 2.04 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 91.71 71.03 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 91.00 59.24 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.98 75.77 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 95.53 71.05 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 95.86 75.53 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 96.06 72.26 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.56 67.16 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 92.84 65.47 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 92.02 66.15 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.86 69.17 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 94.90 69.39 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.59 67.74 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.29 68.62 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.36 65.99 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.38 68.84 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 46.40 19.68 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 91.39 68.55 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 95.74 75.99 None list-ext-properties/960521-1_1_false-valid-free.i unknown 40.00 18.50 None list-ext-properties/test-0158_1_false-valid-free.i TIMEOUT (ERROR (143)) 94.51 75.19 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 20.35 6.98 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 38.59 24.22 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 50.40 27.07 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 24.00 9.15 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.03 72.78 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.72 70.07 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.49 72.84 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 21.94 8.42 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 92.49 74.20 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.55 2.16 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.46 2.11 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 50.03 27.13 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.43 76.33 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.83 74.06 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.23 69.01 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 19.03 6.45 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 18.86 6.62 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 9.46 3.36 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 11.62 4.14 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 18.58 6.44 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 17.55 6.11 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 7.10 2.61 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 7.13 2.63 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 6.69 2.58 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 6.80 2.59 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 6.83 2.60 None ldv-memsafety/memset_false-valid-deref-write.c unknown 6.54 2.57 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 17.45 5.98 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 12.87 4.50 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 14.49 5.02 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 14.79 5.20 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 11.95 4.22 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 15.44 5.44 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 5.78 2.28 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 5.40 2.13 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 5.60 2.23 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 6.93 2.65 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 7.12 2.68 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 6.96 2.72 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 7.27 2.78 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 6.90 2.63 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 6.94 2.69 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.45 2.14 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 8.63 3.13 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 9.37 3.31 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 5.60 2.24 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 5.67 2.28 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.57 2.16 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 15.63 5.47 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 8.00 2.94 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 9.95 3.54 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 7.39 2.82 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 7.02 2.71 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 10.14 3.67 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 7.56 2.92 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 7.60 2.86 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.46 2.32 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.50 2.07 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 5.58 2.17 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.40 2.08 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 5.59 2.26 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 41.89 22.30 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.52 2.19 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.78 2.26 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 8.04 3.12 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 7.38 2.79 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 7.39 2.77 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 7.34 2.80 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 7.51 2.76 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 7.15 2.77 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.31 2.05 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.39 2.12 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 8.50 3.12 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 7.80 2.96 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 8.54 3.17 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 7.54 2.85 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 7.13 2.72 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 7.52 2.79 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 10.43 3.80 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 10.51 3.83 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 8.35 3.11 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 7.23 2.72 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 7.32 2.78 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 7.61 2.87 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 7.82 2.93 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.51 2.15 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 14.94 5.16 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 5.49 2.13 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.65 2.21 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 8.12 3.07 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.53 2.15 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 7.72 2.92 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 7.88 2.92 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 7.51 2.78 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 9.72 3.44 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 7.36 2.81 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.40 2.09 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.75 2.26 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 8.45 3.18 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 8.80 3.39 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 9.47 3.57 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 5.68 2.42 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 5.66 2.15 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 7.73 2.80 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 7.42 2.78 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 7.48 3.00 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 10.20 3.70 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 8.35 3.04 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 7.35 2.79 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 7.55 2.80 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 20.61 7.10 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 11.02 4.02 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 11.00 4.04 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 18.16 7.01 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 13.18 4.76 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 19.99 7.84 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 11.20 4.10 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 22.49 9.78 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 13.26 4.84 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 18.19 6.96 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 15.10 5.35 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.41 2.10 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.54 66.96 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.51 2.16 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.51 2.16 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 5.51 2.15 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.57 76.92 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.79 75.33 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.31 74.91 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 96.02 73.88 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.97 68.32 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 92.19 66.24 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.16 71.57 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.36 71.10 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 90.72 70.94 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 95.52 75.57 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.83 2.18 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.08 2.26 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.92 2.22 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.01 2.26 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.15 2.34 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.78 2.16 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.94 2.25 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.68 2.23 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.88 2.22 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.87 2.25 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.07 2.26 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.00 2.18 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.77 2.44 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.16 73.12 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.70 76.61 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.48 69.24 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.05 72.38 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.30 67.91 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.81 74.87 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.55 71.98 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.56 77.12 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.34 71.99 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.05 68.18 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.55 76.09 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.51 71.05 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 94.84 75.52 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.91 73.29 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 94.14 71.30 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.94 73.26 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.46 70.35 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.87 66.31 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 95.83 74.18 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 95.08 72.84 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 92.76 69.28 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 91.35 68.89 None loop-acceleration/array3_false-valid-deref.i TRUE 6.50 2.45 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.71 2.38 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.79 2.18 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.86 58.79 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.31 58.76 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.90 59.03 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.84 58.35 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 94.78 61.94 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.03 61.07 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.20 57.60 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 30.28 11.72 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 37.79 17.26 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 40.48 18.20 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.58 3.89 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.40 4.06 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.29 4.09 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 12.44 4.34 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.10 4.73 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.43 4.83 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 14.03 5.08 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 14.71 5.28 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.65 2.90 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.13 3.07 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.75 3.19 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.37 3.44 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.45 3.46 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 7 done 12325.00 3988.46 - Statistics: 2282 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 2282