BENCHMARK INFORMATION benchmark definition: ../benchexec/smtinterpol-cade18-memsafety-32.xml name: smtinterpol-cade18-memsafety-32 run sets: Camel.32bitMem, SmtInterpolCraig.32bitMem, SmtInterpolNoArray.32bitMem, z3.32bitMem date: Fri, 2018-02-02 18:20:20 CET tool: ULTIMATE Automizer 0.1.23-a74eeac8 tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 120 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 6000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: hetzner os: Linux-4.4.0-112-generic-x86_64-with-Ubuntu-16.04-xenial cpu: Intel Core i7-4770 CPU @ 3.40GHz - cores: 8 - max frequency: 3900.0 MHz - turbo boost enabled: True ram: 33593.495552 MB ------------------------------------------------------------ Camel.32bitMem Run set 1 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 5.70 2.39 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.35 2.32 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 6.22 2.46 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.96 1.93 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 12.28 5.15 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 8.03 3.15 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.98 1.97 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 5.23 2.08 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 11.63 4.76 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 5.51 2.20 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 7.20 2.62 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 12.74 4.74 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 6.59 2.58 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 7.38 2.78 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 6.95 2.60 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.71 2.21 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 4.94 2.00 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 120.67 82.64 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 8.88 3.42 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 9.74 3.64 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 9.21 3.53 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 9.24 3.55 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 12.58 5.10 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 120.90 92.62 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 14.35 5.34 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 27.44 15.98 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 15.54 6.76 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 23.08 11.53 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.55 4.62 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 121.06 105.68 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 25.55 12.98 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 21.27 9.84 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 42.08 25.22 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 54.89 38.49 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 16.08 6.43 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 13.02 5.22 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 9.96 4.18 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 24.11 12.24 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 15.12 8.79 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 12.63 5.19 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 13.08 5.13 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 24.75 17.48 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 11.94 5.15 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TRUE 14.11 6.00 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TRUE 69.26 39.89 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 121.16 90.91 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 22.14 10.87 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 14.01 5.85 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 24.92 13.96 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 44.61 21.65 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.19 4.82 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 122.35 99.30 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 27.70 13.95 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 26.38 12.93 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 12.56 5.19 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 25.94 14.80 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 28.90 15.84 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 122.70 102.90 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TRUE 14.80 8.24 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 10.88 4.28 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 9.92 3.76 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 9.98 3.73 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 18.19 9.80 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 27.40 12.85 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 84.93 63.86 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 5.72 2.21 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 120.72 82.69 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 120.33 83.47 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 120.78 81.46 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 125.92 102.49 None memsafety/test-0137_false-valid-deref.i TIMEOUT (ERROR (143)) 122.01 94.09 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 121.32 108.66 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 125.59 102.43 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 7.80 2.99 None memsafety/test-0232_false-valid-free.i ERROR: EXCEPTION 74.35 40.92 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 120.88 94.56 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 125.93 92.23 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 32.12 12.57 None memsafety/lockfree-3.2_false-valid-memtrack.i UNKNOWN: OverapproxCex 12.62 4.52 None memsafety/lockfree-3.3_false-valid-memtrack.i UNKNOWN: OverapproxCex 52.96 22.88 None memsafety/test-0019_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 11.43 4.50 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 120.84 85.80 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.97 2.26 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 4.14 1.67 None memsafety/test-0232_false-valid-memtrack.i UNKNOWN: OverapproxCex 21.20 8.51 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 121.11 110.93 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 122.91 109.92 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 125.98 113.06 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.35 68.80 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 12.30 5.06 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.54 80.91 None memsafety/test-0134_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.01 84.34 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 7.25 2.73 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.25 1.59 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.13 1.60 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.24 1.65 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 4.28 1.64 None memsafety/test-0232_true-valid-memsafety.i TIMEOUT (ERROR (143)) 122.09 75.04 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 122.16 112.41 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.97 112.00 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 122.33 110.94 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 124.00 110.15 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.11 91.85 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.20 83.96 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.94 90.75 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 122.08 103.92 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.82 83.28 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.04 1.61 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 3.94 1.55 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 123.78 107.77 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 121.46 101.99 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.19 96.61 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 121.79 94.98 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 121.42 94.24 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR: EXCEPTION) 121.96 93.68 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 121.14 65.91 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 121.45 65.25 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 120.71 94.22 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 121.66 74.64 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.16 65.99 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.76 71.17 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.63 89.13 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 101.66 63.55 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 129.70 92.31 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 10.81 4.00 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 120.33 84.20 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 9.16 3.39 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 15.12 6.78 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 7.92 2.90 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 22.77 10.88 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.46 2.57 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 21.05 8.38 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.09 89.25 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.62 83.23 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.58 84.90 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.86 91.49 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 24.25 11.99 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 8.00 3.03 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 4.66 1.84 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 4.22 1.70 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 67.56 40.17 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.55 89.81 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.13 80.30 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 10.50 4.07 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 6.59 2.53 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 7.66 2.93 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 5.54 2.23 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 5.69 2.23 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 120.81 74.66 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 120.90 78.57 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.53 2.15 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 4.97 2.08 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.17 2.10 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 5.21 2.30 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 5.32 2.23 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.35 2.12 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 125.67 87.82 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 9.40 3.47 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 11.38 4.28 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 10.47 3.83 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 12.26 4.75 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 10.56 4.05 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 3.79 1.50 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 4.26 1.54 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 4.37 1.81 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 7.52 2.94 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 7.59 2.86 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 7.52 2.82 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 7.07 2.75 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 7.03 2.83 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 6.97 2.70 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 3.94 1.56 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i TIMEOUT (ERROR (143)) 123.51 101.76 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i TIMEOUT (ERROR (143)) 124.31 97.86 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 4.31 2.02 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 4.20 1.74 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 4.11 1.77 None ldv-memsafety/memleaks_test12_false-valid-free.i TIMEOUT (ERROR (143)) 120.94 104.98 None ldv-memsafety/memleaks_test17_2_false-valid-free.i TIMEOUT (ERROR: EXCEPTION) 120.34 105.83 None ldv-memsafety/memleaks_test19_false-valid-free.i TIMEOUT (ERROR (143)) 121.82 93.49 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 6.31 2.47 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 4.88 2.02 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 13.56 5.24 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 7.14 2.86 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 121.38 102.52 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.07 1.60 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 3.88 1.54 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 3.91 1.98 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 3.98 1.56 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 4.21 1.64 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 121.59 95.41 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.09 1.61 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.20 1.66 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 120.89 103.30 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 120.25 103.58 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 53.01 45.89 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 124.90 107.62 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 66.23 53.13 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.40 2.16 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.08 1.57 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.01 1.54 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 54.76 31.64 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 48.26 33.15 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 82.26 58.34 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.31 3.06 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.58 2.16 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.62 2.50 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 12.36 4.50 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 11.81 4.29 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.70 3.83 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.67 2.22 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.93 2.59 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.64 2.19 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 122.36 101.24 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.24 1.63 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i TIMEOUT (ERROR (143)) 122.83 106.91 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 4.00 1.59 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 4.05 1.69 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 122.68 95.02 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.05 1.62 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 121.33 105.37 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 121.53 110.78 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 122.24 104.26 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 84.99 57.29 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 7.12 2.77 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.44 1.81 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 3.94 1.55 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 120.82 95.62 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 125.34 94.92 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 120.22 87.36 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 4.29 1.89 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 4.18 1.61 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 8.13 2.98 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 12.33 4.54 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 9.37 3.51 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TRUE 15.68 6.16 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 14.92 5.36 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 9.04 3.22 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 8.96 3.07 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.79 1.49 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.61 1.47 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.80 1.52 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.95 1.56 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.82 1.55 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.96 1.51 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.49 1.41 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.80 1.49 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 4.06 1.60 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 4.03 1.61 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.23 91.62 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.27 1.71 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.80 88.92 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.13 1.66 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 4.12 1.66 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 3.94 1.51 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 122.12 103.84 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 25.15 10.26 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 45.69 21.78 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 38.60 19.58 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 123.17 85.93 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.03 2.64 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 9.95 3.85 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.57 2.89 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 9.88 3.73 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.26 2.59 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.45 1.67 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.54 1.68 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.55 1.72 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.63 1.80 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.47 1.69 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.58 1.77 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.44 1.69 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.41 1.61 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.52 1.68 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.57 1.73 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.77 2.01 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.80 1.87 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.98 1.89 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.49 84.43 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.79 96.08 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.39 84.58 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.51 79.42 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.39 77.85 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.74 81.90 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.09 82.67 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.96 92.53 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.82 84.80 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.22 92.47 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.92 90.44 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.75 77.66 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.93 82.57 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.90 77.66 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.86 83.53 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.89 83.83 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.84 83.85 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.42 81.76 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 122.26 83.67 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 66.86 39.34 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 30.07 12.10 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 59.10 35.84 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 120.07 80.84 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 5.29 1.88 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.38 1.70 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.66 2.99 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.51 3.03 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.59 2.44 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.43 2.49 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.71 2.43 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.46 2.65 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.61 2.80 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.60 2.07 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.15 2.31 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.96 2.26 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.57 1.82 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.75 1.92 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.68 1.89 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.65 1.87 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.72 1.95 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.91 2.02 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.65 1.82 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.88 1.88 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.43 1.85 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.51 1.77 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.68 1.84 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.59 1.88 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.86 1.95 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 9789.17 5347.16 - SmtInterpolCraig.32bitMem Run set 2 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_Array.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 5.85 2.52 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.13 2.08 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 5.95 2.35 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.94 1.97 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 9.71 3.76 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 8.36 3.13 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.18 2.04 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 4.95 1.90 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 10.30 3.86 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 5.23 2.10 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 6.91 2.65 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 11.18 4.35 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 5.22 2.16 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 7.24 2.78 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 6.58 2.52 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.63 2.21 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 4.91 1.91 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 121.21 83.83 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 8.36 3.16 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 8.70 3.36 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 9.15 3.72 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 8.69 3.26 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 10.47 3.97 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 120.76 78.69 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 10.35 4.09 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 17.99 7.91 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 13.58 5.51 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 18.27 7.41 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 9.48 3.73 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 120.62 81.36 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 17.25 7.51 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 16.01 6.82 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 18.50 7.73 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 18.28 7.95 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 13.12 4.98 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 12.36 4.71 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 8.91 3.35 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 18.75 8.00 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 5.18 1.97 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 10.51 3.96 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 9.22 3.72 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 14.68 7.06 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 9.11 3.54 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TRUE 12.08 4.91 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TRUE 51.00 25.74 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 120.51 78.30 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 20.61 8.24 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 12.60 4.93 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 18.02 7.31 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 47.38 21.04 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 9.58 3.81 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 120.40 79.51 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 19.74 8.14 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 19.52 8.48 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.57 4.49 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 17.95 7.53 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 19.74 8.67 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 121.09 71.59 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TRUE 10.08 3.89 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 120.73 86.85 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 8.31 3.15 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 8.52 3.17 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 10.32 3.87 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 20.77 8.73 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 25.13 11.25 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 5.83 2.24 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 120.48 81.01 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 121.14 85.43 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 121.20 84.33 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 120.12 83.68 None memsafety/test-0137_false-valid-deref.i FALSE(valid-deref) 46.72 21.24 None memsafety/test-0235_false-valid-deref.i unknown 8.54 3.15 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 121.04 85.46 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 7.40 2.84 None memsafety/test-0232_false-valid-free.i FALSE(valid-free) 71.06 41.05 None memsafety/20020406-1_false-valid-memtrack.i UNKNOWN: OverapproxCex 82.61 37.42 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 120.19 70.50 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 46.30 16.03 None memsafety/lockfree-3.2_false-valid-memtrack.i UNKNOWN: OverapproxCex 11.05 3.86 None memsafety/lockfree-3.3_false-valid-memtrack.i UNKNOWN: OverapproxCex 53.90 21.20 None memsafety/test-0019_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.64 4.04 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 120.69 77.75 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.06 2.42 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 3.99 1.65 None memsafety/test-0232_false-valid-memtrack.i UNKNOWN: OverapproxCex 19.15 7.45 None memsafety/test-0234_false-valid-memtrack.i unknown 7.85 2.95 None memsafety/test-0235_false-valid-memtrack.i unknown 8.96 3.33 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.09 84.54 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.62 53.48 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 12.34 5.22 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.40 71.51 None memsafety/test-0134_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.98 71.24 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 7.85 3.07 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.37 1.75 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.16 1.74 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.22 1.66 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 4.05 1.63 None memsafety/test-0232_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.21 77.91 None memsafety/test-0234_true-valid-memsafety.i unknown 7.97 2.98 None memsafety/test-0235_true-valid-memsafety.i unknown 8.29 3.07 None memsafety/test-0236_true-valid-memsafety.i unknown 7.86 2.92 None memsafety/test-0237_true-valid-memsafety.i unknown 8.02 2.98 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.28 71.46 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.91 76.76 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.07 82.14 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TRUE 20.18 8.70 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.54 80.77 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.12 1.66 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.20 1.55 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 120.79 72.95 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 120.51 73.85 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.15 76.45 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 120.97 78.45 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 120.28 76.10 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT 122.03 93.58 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 120.99 59.01 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 120.60 70.35 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 120.21 88.17 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR: EXCEPTION) 120.42 73.86 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.31 65.94 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.63 71.17 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.56 88.46 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.50 75.24 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 114.93 71.46 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 9.52 3.62 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 121.43 75.55 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 8.83 3.27 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 11.58 4.35 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 7.81 2.90 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 21.67 9.69 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.93 2.30 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 17.20 6.82 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.21 78.56 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.75 76.69 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.80 74.35 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.49 78.80 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 23.64 11.54 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 7.98 3.16 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 4.37 1.82 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 4.63 1.93 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 120.88 77.42 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 18.10 6.76 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.92 72.24 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 10.84 4.14 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 6.83 2.55 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 7.61 2.84 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 5.68 2.24 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 5.56 2.24 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 120.23 77.20 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR: EXCEPTION) 121.20 80.87 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.33 2.14 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 5.27 2.09 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.46 2.22 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 5.31 2.14 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 5.35 2.19 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.27 2.04 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR: EXCEPTION) 121.03 80.76 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 122.55 87.43 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR: EXCEPTION) 120.65 77.64 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 120.93 83.73 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 120.20 77.17 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 120.26 79.00 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 3.80 1.56 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 4.33 1.74 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 4.47 1.78 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 28.57 13.82 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 88.99 58.52 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 27.94 13.14 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 89.22 59.16 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 89.93 59.21 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 91.41 61.37 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 3.88 1.57 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i FALSE(valid-deref) 47.64 22.71 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i FALSE(valid-deref) 50.41 24.10 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 4.41 1.76 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 4.32 1.75 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 4.18 1.61 None ldv-memsafety/memleaks_test12_false-valid-free.i TIMEOUT (ERROR (143)) 121.22 71.57 None ldv-memsafety/memleaks_test17_2_false-valid-free.i FALSE(valid-free) 76.25 39.98 None ldv-memsafety/memleaks_test19_false-valid-free.i FALSE(valid-free) 40.32 17.37 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 6.46 2.48 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 5.05 2.01 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 14.13 5.31 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 7.31 2.81 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 60.72 30.03 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.46 1.80 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.38 1.73 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 4.32 1.65 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.28 1.68 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 4.44 1.87 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 120.69 72.65 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.23 1.74 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.01 1.67 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 120.33 71.95 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 120.67 72.84 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.38 3.86 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i TIMEOUT (ERROR: EXCEPTION) 120.89 71.95 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 17.33 6.68 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.80 2.25 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.52 1.73 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.48 1.68 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 38.21 14.88 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 17.68 6.57 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 38.37 15.77 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.63 3.32 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.85 2.39 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.23 2.75 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 12.23 4.56 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 12.03 4.45 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 11.01 3.99 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.84 2.35 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.09 2.75 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.95 2.30 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TRUE 114.06 67.74 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.39 1.70 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.43 72.34 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 4.23 1.67 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 4.15 1.62 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 120.65 67.79 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.15 1.67 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 120.50 70.23 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 121.11 64.39 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 120.78 72.52 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i TRUE 51.30 21.79 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 7.64 2.99 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.14 1.75 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.14 1.66 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TRUE 58.56 28.85 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TRUE 84.51 45.48 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TRUE 92.93 50.28 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 4.53 1.79 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 4.05 1.67 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 8.20 3.14 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 11.39 4.30 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 9.48 3.46 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TRUE 16.39 6.21 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 14.71 5.78 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 8.10 3.03 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 8.43 3.15 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.96 1.59 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.77 1.56 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.97 1.51 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.86 1.59 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.65 1.56 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 4.01 1.64 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.80 1.50 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.94 1.52 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.94 1.53 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.85 1.56 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.61 80.69 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.28 1.68 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.42 73.43 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 3.76 1.56 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 4.16 1.66 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 4.22 1.87 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 72.00 37.29 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 21.70 9.35 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 30.34 13.99 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 26.80 11.75 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.13 79.50 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.41 2.78 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 10.62 4.10 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.79 2.82 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 9.37 3.54 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.62 2.88 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.67 1.80 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.58 1.73 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.35 1.74 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.52 1.73 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.33 1.61 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.45 1.71 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.54 1.73 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.64 2.15 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.28 1.67 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.61 1.70 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.59 1.74 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.53 1.71 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.34 1.63 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.41 78.17 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.06 75.53 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.28 73.67 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.21 75.54 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.75 78.19 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.87 78.51 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.20 76.93 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.92 78.93 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.83 78.65 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.34 73.86 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.66 77.83 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.46 75.12 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 121.11 73.64 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.54 77.12 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 122.03 79.00 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.71 78.22 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.77 76.91 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.56 81.87 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 120.71 77.88 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 40.85 19.34 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 23.33 9.68 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 30.32 13.60 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 120.88 86.89 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 5.11 1.90 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.29 1.65 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.02 3.08 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.37 3.01 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.64 2.40 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.49 2.38 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.70 2.54 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.03 2.61 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.79 2.69 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.51 2.10 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.78 2.24 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.19 2.27 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.76 1.91 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.63 1.97 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.43 1.78 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.67 1.82 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.67 1.90 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.88 1.97 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.70 1.94 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.56 1.82 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.42 1.80 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.60 1.89 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.82 1.98 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.59 1.82 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.71 1.85 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 13594.04 4145.30 - SmtInterpolNoArray.32bitMem Run set 3 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_NoArray.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 6.04 2.34 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.41 2.29 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 6.15 2.39 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.91 2.06 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 10.92 4.58 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 8.06 3.13 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.76 1.92 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 5.07 1.99 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i ERROR: EXCEPTION 6.69 2.51 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 5.48 2.16 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i ERROR: EXCEPTION 5.15 2.04 None array-memsafety/lis_unsafe_false-valid-deref.i ERROR: EXCEPTION 5.35 2.14 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 5.10 1.99 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 7.25 2.72 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 6.54 2.48 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.54 2.22 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 4.94 1.97 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.17 2.71 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.12 3.47 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.37 4.30 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.44 4.11 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.19 3.63 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.64 4.59 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.75 2.25 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.72 3.76 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.33 2.06 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.94 2.97 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.34 2.11 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.59 4.19 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.36 2.44 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.24 2.07 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.41 2.86 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.27 2.06 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.07 2.07 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.18 2.05 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.81 2.95 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.03 3.02 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.60 2.17 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 5.29 2.05 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.29 3.86 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.41 3.75 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.18 4.45 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.04 2.73 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.32 2.70 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.39 2.77 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.83 2.27 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.96 1.99 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.59 2.78 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.36 2.07 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.37 2.13 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.80 3.75 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.48 2.51 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.28 2.10 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.67 2.89 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.03 4.25 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.37 2.09 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.15 2.00 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.31 2.10 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.11 4.39 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.24 3.17 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.37 4.64 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.66 4.51 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.12 3.93 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.14 2.10 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.05 1.98 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 6.05 2.43 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 120.12 76.39 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 120.59 78.40 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 120.53 80.04 None memsafety/960521-1_false-valid-deref.i ERROR: EXCEPTION 6.51 2.47 None memsafety/test-0137_false-valid-deref.i ERROR: EXCEPTION 8.35 3.13 None memsafety/test-0235_false-valid-deref.i unknown 8.27 3.00 None memsafety/960521-1_false-valid-free.i ERROR: EXCEPTION 6.24 2.46 None memsafety/test-0158_false-valid-free.i ERROR: EXCEPTION 5.18 2.08 None memsafety/test-0232_false-valid-free.i ERROR: EXCEPTION 7.15 2.65 None memsafety/20020406-1_false-valid-memtrack.i ERROR: EXCEPTION 8.31 2.98 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 7.58 2.84 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 36.03 13.61 None memsafety/lockfree-3.2_false-valid-memtrack.i UNKNOWN: OverapproxCex 11.56 4.04 None memsafety/lockfree-3.3_false-valid-memtrack.i UNKNOWN: OverapproxCex 42.35 18.83 None memsafety/test-0019_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.06 2.01 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 8.55 3.31 None memsafety/test-0158_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.98 1.89 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 4.05 1.57 None memsafety/test-0232_false-valid-memtrack.i ERROR: EXCEPTION 6.37 2.41 None memsafety/test-0234_false-valid-memtrack.i unknown 7.58 2.89 None memsafety/test-0235_false-valid-memtrack.i unknown 7.68 2.83 None memsafety/960521-1_true-valid-memsafety.i ERROR: EXCEPTION 6.82 2.53 None memsafety/lockfree-3.0_true-valid-memsafety.i ERROR: EXCEPTION 88.08 45.10 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.27 2.12 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 9.08 3.38 None memsafety/test-0134_true-valid-memsafety.i ERROR: EXCEPTION 8.54 3.16 None memsafety/test-0158_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.93 1.98 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.31 1.78 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.23 1.70 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.38 1.71 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 4.09 1.58 None memsafety/test-0232_true-valid-memsafety.i ERROR: EXCEPTION 6.78 2.59 None memsafety/test-0234_true-valid-memsafety.i unknown 8.15 3.09 None memsafety/test-0235_true-valid-memsafety.i unknown 8.32 3.07 None memsafety/test-0236_true-valid-memsafety.i unknown 8.01 2.94 None memsafety/test-0237_true-valid-memsafety.i unknown 8.23 3.04 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 7.73 2.85 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 10.73 3.87 None memsafety/test-0521_true-valid-memsafety.i ERROR: EXCEPTION 13.24 4.81 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.37 2.46 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i ERROR: EXCEPTION 9.40 3.74 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.01 1.57 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.23 1.67 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 9.47 3.55 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 9.93 3.66 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i ERROR: EXCEPTION 8.18 3.13 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 10.49 4.01 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 9.89 3.91 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 10.72 3.93 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 8.00 2.96 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 8.01 3.05 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 8.81 3.40 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 7.38 2.71 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 7.93 2.96 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 8.16 3.00 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 10.10 4.16 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 7.54 3.00 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 10.40 4.03 None list-ext-properties/960521-1_1_false-valid-deref.i ERROR: EXCEPTION 6.62 2.52 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 12.31 4.73 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.58 2.87 None list-ext-properties/960521-1_1_false-valid-free.i ERROR: EXCEPTION 6.54 2.54 None list-ext-properties/test-0158_1_false-valid-free.i ERROR: EXCEPTION 5.20 2.08 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.32 2.09 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.08 2.00 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.99 2.68 None list-ext-properties/960521-1_1_true-valid-memsafety.i ERROR: EXCEPTION 6.83 2.63 None list-ext-properties/list-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 10.26 3.74 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i ERROR: EXCEPTION 7.73 2.98 None list-ext-properties/simple-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 11.13 4.39 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.36 2.23 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.12 2.02 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 4.18 1.66 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 4.22 1.62 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.59 2.54 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 8.15 2.97 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 11.85 4.52 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 5.21 2.06 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 6.70 2.57 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c ERROR: EXCEPTION 5.81 2.29 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 5.53 2.24 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 5.69 2.25 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 120.63 67.78 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR: EXCEPTION) 121.08 65.00 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.08 2.23 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 5.27 2.15 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.25 2.04 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 5.27 2.21 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 5.22 2.06 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.23 2.20 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c ERROR: EXCEPTION 7.21 2.75 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 9.68 3.52 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 11.60 4.40 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 9.24 3.61 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 12.76 5.06 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 11.30 4.23 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 4.16 1.63 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 4.03 1.67 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 4.16 1.65 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 6.96 2.80 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 6.84 2.80 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 6.88 2.68 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 7.12 2.74 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 7.00 2.68 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 6.92 2.62 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 4.27 1.63 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 31.19 13.03 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 31.54 13.36 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 4.44 1.82 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 4.31 1.81 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 4.15 1.68 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 9.11 3.55 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 25.70 10.80 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.92 2.97 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 6.70 2.53 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 4.85 1.97 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 9.35 3.35 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 7.20 2.68 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 10.15 3.82 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.38 1.76 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.33 1.65 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 4.22 1.60 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.20 1.62 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 4.32 1.69 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 7.46 2.81 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.13 1.60 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.11 1.64 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 70.12 55.64 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 67.61 54.80 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.72 2.88 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.29 2.95 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.50 3.56 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.77 2.32 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.04 1.62 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.15 1.64 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 41.84 18.34 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 21.64 8.14 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 40.59 17.93 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.43 2.80 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.62 2.36 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.44 3.15 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.88 3.30 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.31 3.21 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.85 2.60 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.07 2.50 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.51 2.79 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.05 2.29 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.48 4.12 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.27 1.82 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 9.77 3.82 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 4.37 1.75 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 4.15 1.65 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.40 3.99 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.46 1.84 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 70.47 56.16 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 13.27 5.54 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.88 2.98 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.44 2.79 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.48 2.49 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.20 1.69 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 3.92 1.54 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 28.15 11.46 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 43.49 19.66 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 48.35 23.69 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 4.54 1.81 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 4.33 1.72 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.72 2.97 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.11 3.34 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.69 3.21 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.50 3.08 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.44 3.41 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.42 3.17 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.63 3.15 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 4.07 1.70 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.91 1.54 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.90 1.51 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.82 1.50 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.83 1.51 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.76 1.58 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.74 1.66 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.74 1.48 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.64 1.45 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.83 1.49 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.91 3.37 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.30 1.65 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.12 5.09 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.25 1.63 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 4.01 1.64 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 4.08 1.61 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 8.02 3.20 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 8.54 3.18 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.94 3.03 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.15 2.71 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.10 2.77 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.46 2.73 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 10.40 4.19 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.95 2.90 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 10.08 3.85 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.60 2.95 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.39 1.67 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.36 1.65 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.53 1.69 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.34 1.70 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.27 1.62 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.50 1.70 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.42 1.67 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.55 1.78 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.38 1.68 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.15 1.64 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.41 1.78 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.35 1.68 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.60 1.75 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.31 3.55 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.38 3.56 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.35 3.53 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.84 2.86 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.90 2.89 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.92 3.29 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.21 3.26 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.00 3.13 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.88 4.19 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.60 3.66 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.55 4.24 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.28 3.53 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.26 3.49 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.71 2.85 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.38 2.75 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.59 3.15 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.53 2.78 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.56 2.85 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.18 3.85 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.77 2.92 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 9.18 3.42 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.53 2.83 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 121.09 70.02 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 5.23 1.88 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.53 1.74 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.82 3.01 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.20 2.93 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.91 2.66 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.04 2.60 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.77 2.64 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.34 2.69 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.45 2.71 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.69 2.17 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.17 2.37 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.22 2.36 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.70 1.92 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.71 1.91 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.83 1.97 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.61 1.83 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.78 1.92 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.70 1.87 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.83 1.92 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.76 1.91 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.57 1.78 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.63 1.85 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.93 1.90 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.61 1.76 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.65 1.88 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 3456.37 842.35 - z3.32bitMem Run set 4 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_z3.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i ERROR: EXCEPTION 4.97 1.99 None array-memsafety/bubblesort_unsafe_false-valid-deref.i ERROR: EXCEPTION 4.79 1.91 None array-memsafety/count_down_unsafe_false-valid-deref.i ERROR: EXCEPTION 5.10 1.98 None array-memsafety/cstrcat_unsafe_false-valid-deref.i ERROR: EXCEPTION 4.70 1.91 None array-memsafety/cstrchr_unsafe_false-valid-deref.i ERROR: EXCEPTION 4.71 1.89 None array-memsafety/cstrlen_unsafe_false-valid-deref.i ERROR: EXCEPTION 4.95 2.07 None array-memsafety/cstrncat_unsafe_false-valid-deref.i ERROR: EXCEPTION 4.72 1.92 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i ERROR: EXCEPTION 4.69 1.87 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i ERROR: EXCEPTION 5.00 2.00 None array-memsafety/diff_usafe_false-valid-deref.i ERROR: EXCEPTION 4.77 2.07 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i ERROR: EXCEPTION 5.21 2.10 None array-memsafety/lis_unsafe_false-valid-deref.i ERROR: EXCEPTION 5.20 2.07 None array-memsafety/mult_array_unsafe_false-valid-deref.i ERROR: EXCEPTION 4.87 1.96 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i ERROR: EXCEPTION 5.29 1.98 None array-memsafety/reverse_array_unsafe_false-valid-deref.i ERROR: EXCEPTION 4.92 1.92 None array-memsafety/selectionsort_unsafe_false-valid-deref.i ERROR: EXCEPTION 4.62 1.85 None array-memsafety/stroeder1_unsafe_false-valid-deref.i ERROR: EXCEPTION 4.60 1.80 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.83 1.89 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.80 1.93 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.93 1.96 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.89 2.00 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.93 2.00 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.88 1.95 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.03 1.99 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.06 2.12 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.47 2.34 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.87 1.97 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.95 1.93 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.01 1.97 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.14 2.09 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.37 2.06 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.95 1.98 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.20 2.02 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.13 2.03 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.94 1.97 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.99 1.90 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.04 2.00 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.36 2.05 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.13 2.13 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.74 1.90 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.86 1.92 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.93 1.90 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.80 1.91 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.86 1.94 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.91 2.06 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.03 1.93 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.16 2.01 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.89 1.91 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.02 2.01 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.01 1.99 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.92 2.11 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.08 2.11 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.06 2.00 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.06 1.98 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.60 1.90 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.12 1.99 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.87 1.90 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.52 2.11 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.64 1.93 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.82 1.90 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.83 1.92 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.06 1.99 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.73 1.88 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.21 1.95 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.15 2.08 None array-examples/relax_false-valid-deref.i ERROR: EXCEPTION 5.53 2.15 None array-examples/sanfoundry_24_false-valid-deref.i ERROR: EXCEPTION 4.79 1.94 None array-examples/standard_strcpy_false-valid-deref_ground.i ERROR: EXCEPTION 4.66 1.84 None array-examples/standard_strcpy_original_false-valid-deref.i ERROR: EXCEPTION 4.58 1.88 None memsafety/960521-1_false-valid-deref.i ERROR: EXCEPTION 5.00 1.99 None memsafety/test-0137_false-valid-deref.i ERROR: EXCEPTION 6.07 2.25 None memsafety/test-0235_false-valid-deref.i ERROR: EXCEPTION 6.26 2.38 None memsafety/960521-1_false-valid-free.i ERROR: EXCEPTION 4.90 1.96 None memsafety/test-0158_false-valid-free.i ERROR: EXCEPTION 4.92 1.95 None memsafety/test-0232_false-valid-free.i ERROR: EXCEPTION 5.57 2.13 None memsafety/20020406-1_false-valid-memtrack.i ERROR: EXCEPTION 6.24 2.28 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 5.20 2.06 None memsafety/lockfree-3.1_false-valid-memtrack.i ERROR: EXCEPTION 5.13 1.97 None memsafety/lockfree-3.2_false-valid-memtrack.i ERROR: EXCEPTION 5.30 2.10 None memsafety/lockfree-3.3_false-valid-memtrack.i ERROR: EXCEPTION 5.18 2.13 None memsafety/test-0019_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.88 2.02 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 6.07 2.58 None memsafety/test-0158_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.96 2.01 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 3.95 1.58 None memsafety/test-0232_false-valid-memtrack.i ERROR: EXCEPTION 4.68 1.94 None memsafety/test-0234_false-valid-memtrack.i ERROR: EXCEPTION 5.86 2.24 None memsafety/test-0235_false-valid-memtrack.i ERROR: EXCEPTION 6.20 2.41 None memsafety/960521-1_true-valid-memsafety.i ERROR: EXCEPTION 4.77 1.95 None memsafety/lockfree-3.0_true-valid-memsafety.i ERROR: EXCEPTION 4.77 1.96 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.74 1.86 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 5.49 2.28 None memsafety/test-0134_true-valid-memsafety.i ERROR: EXCEPTION 5.99 2.26 None memsafety/test-0158_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.93 1.93 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.25 1.72 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.16 1.64 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.25 1.66 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 4.15 1.64 None memsafety/test-0232_true-valid-memsafety.i ERROR: EXCEPTION 5.16 2.08 None memsafety/test-0234_true-valid-memsafety.i ERROR: EXCEPTION 6.04 2.33 None memsafety/test-0235_true-valid-memsafety.i ERROR: EXCEPTION 6.26 2.36 None memsafety/test-0236_true-valid-memsafety.i ERROR: EXCEPTION 6.13 2.38 None memsafety/test-0237_true-valid-memsafety.i ERROR: EXCEPTION 6.25 2.38 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 5.54 2.13 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 5.62 2.10 None memsafety/test-0521_true-valid-memsafety.i ERROR: EXCEPTION 6.32 2.49 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.68 1.94 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i ERROR: EXCEPTION 5.00 1.97 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.10 1.63 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.14 1.56 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.43 2.21 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.65 2.13 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i ERROR: EXCEPTION 5.98 2.32 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.82 2.26 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.33 2.15 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 6.42 2.43 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 6.20 2.36 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 5.84 2.31 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 5.64 2.15 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 5.68 2.12 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 6.00 2.28 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 5.68 2.24 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 5.49 2.13 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 5.69 2.26 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 6.62 2.54 None list-ext-properties/960521-1_1_false-valid-deref.i ERROR: EXCEPTION 4.85 1.89 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.28 2.15 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.09 2.04 None list-ext-properties/960521-1_1_false-valid-free.i ERROR: EXCEPTION 4.93 1.96 None list-ext-properties/test-0158_1_false-valid-free.i ERROR: EXCEPTION 5.04 2.03 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.34 2.10 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.06 1.97 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.32 2.16 None list-ext-properties/960521-1_1_true-valid-memsafety.i ERROR: EXCEPTION 4.98 1.97 None list-ext-properties/list-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 5.45 2.13 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i ERROR: EXCEPTION 5.94 2.54 None list-ext-properties/simple-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 5.39 2.27 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.27 2.15 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.09 2.01 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 4.22 1.65 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 4.31 1.65 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.23 2.07 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 5.57 2.19 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 5.73 2.19 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 4.76 2.00 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c ERROR: EXCEPTION 4.82 1.93 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c ERROR: EXCEPTION 4.78 1.94 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c ERROR: EXCEPTION 4.75 1.92 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c ERROR: EXCEPTION 4.99 1.94 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c ERROR: EXCEPTION 4.69 1.94 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c ERROR: EXCEPTION 4.68 1.92 None ldv-memsafety/memset2_false-valid-deref-write.c ERROR: EXCEPTION 4.68 1.86 None ldv-memsafety/memset3_false-valid-deref-write.c ERROR: EXCEPTION 4.75 1.90 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c ERROR: EXCEPTION 4.37 1.81 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c ERROR: EXCEPTION 4.88 1.88 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c ERROR: EXCEPTION 4.58 1.91 None ldv-memsafety/memset_false-valid-deref-write.c ERROR: EXCEPTION 4.63 1.80 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c ERROR: EXCEPTION 4.81 1.92 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 4.69 1.89 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c ERROR: EXCEPTION 4.59 1.85 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 4.73 1.90 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c ERROR: EXCEPTION 4.56 1.89 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 4.80 1.95 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 3.90 1.51 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 4.14 1.79 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 4.24 1.75 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 4.55 1.82 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 4.81 1.85 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 4.74 1.91 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 4.65 1.86 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 4.54 1.82 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 4.50 1.81 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 4.26 1.87 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 5.50 2.13 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 5.66 2.22 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 4.25 1.67 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 4.17 1.59 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 4.10 1.59 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 6.87 2.60 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 5.20 2.05 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 5.08 2.10 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 4.69 1.88 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 4.54 1.87 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 4.95 1.96 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 4.84 1.91 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.31 2.06 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.29 1.65 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.25 1.68 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 4.29 1.68 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.00 1.58 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 4.18 1.61 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 5.92 2.41 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.06 1.66 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.20 1.84 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 5.32 2.31 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 5.67 2.47 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.23 2.24 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.09 2.11 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.13 2.08 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.95 1.99 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.18 1.65 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.09 1.58 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.78 2.19 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.26 2.09 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.65 2.23 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.80 1.87 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.02 2.02 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.54 1.86 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.91 1.97 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.09 2.04 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.07 1.97 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.92 1.89 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.17 2.05 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.96 1.94 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.09 2.03 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.23 1.59 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 6.95 2.54 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 4.18 1.68 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 4.09 1.61 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.79 2.25 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.09 1.58 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.19 2.06 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.31 2.12 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.90 1.98 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.39 2.16 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.85 1.84 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.02 1.57 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.07 1.60 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.37 2.20 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.67 2.10 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.57 2.20 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 4.18 1.73 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 4.29 1.70 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.93 1.95 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.10 1.99 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.91 1.99 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.09 2.02 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.02 1.98 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.64 1.88 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.14 1.97 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.78 1.51 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.60 1.46 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.87 1.60 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.98 1.54 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.78 1.52 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.80 1.57 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.92 1.53 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.92 1.48 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.89 1.57 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.93 1.52 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.25 2.45 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.25 1.70 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.46 3.05 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 3.91 1.76 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 4.13 1.73 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 3.98 1.63 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 5.51 2.13 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 5.81 2.36 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 5.90 2.29 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 5.40 2.16 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.27 2.03 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 5.28 2.07 None list-properties/list_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 5.38 2.18 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 4.96 1.99 None list-properties/simple_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 5.46 2.06 None list-properties/splice_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 5.44 2.18 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.53 1.77 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.57 1.76 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.66 1.75 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.15 1.72 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.54 1.75 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.28 1.65 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.48 1.70 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.60 1.71 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.32 1.70 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.38 1.68 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.46 1.71 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.37 1.73 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.48 1.74 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.06 2.35 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.36 2.10 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.82 2.28 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.97 2.38 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.85 2.32 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.17 2.35 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.63 2.23 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.95 2.36 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.55 2.19 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.77 2.24 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.17 2.33 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.34 2.04 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.78 2.29 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.64 2.23 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.94 2.27 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.58 2.13 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.66 2.21 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.95 2.36 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.46 2.14 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.71 2.21 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.54 2.23 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.66 2.21 None loop-acceleration/array3_false-valid-deref.i ERROR: EXCEPTION 4.48 1.77 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 4.89 1.79 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.36 1.80 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.48 2.87 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.78 3.03 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.46 2.43 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.30 2.82 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.43 2.99 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.72 2.87 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.91 2.81 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.81 2.16 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.44 2.42 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.62 2.38 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.73 1.93 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.78 1.90 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.71 1.84 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.66 1.91 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.94 1.88 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.91 1.95 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.72 1.86 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.90 1.94 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.48 1.83 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.58 1.85 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.91 1.84 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.55 1.80 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.62 1.92 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 1653.56 347.86 - Statistics: 1304 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1304