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: Thu, 2018-04-12 10:02:10 CEST tool: ULTIMATE Automizer 0.1.23-408c70d5 tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 900 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 6000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: hetzner os: Linux-4.4.0-112-generic-x86_64-with-Ubuntu-16.04-xenial cpu: Intel Core i7-4770 CPU @ 3.40GHz - cores: 8 - max frequency: 3900.0 MHz - turbo boost enabled: True ram: 33593.495552 MB ------------------------------------------------------------ Camel.32bitMem Run set 1 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 7.20 3.06 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.64 2.54 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 7.30 2.78 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.44 2.38 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 12.32 5.43 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 9.11 3.57 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.63 2.34 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 5.66 2.29 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 11.86 5.03 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 5.71 2.48 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 7.98 3.07 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 12.29 4.87 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 7.18 2.95 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 8.57 3.25 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 7.73 3.04 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.15 2.54 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 5.40 2.31 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 906.12 825.70 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 9.24 3.65 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 10.53 4.03 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 10.97 4.47 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 9.39 3.64 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 13.54 5.60 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.31 831.18 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 56.54 47.88 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 22.92 11.78 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 15.76 6.89 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 32.76 20.52 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 12.31 5.47 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i OUT OF MEMORY 475.17 337.43 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 23.30 11.77 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 21.88 10.95 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 53.69 35.63 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 50.45 34.20 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 16.93 6.93 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 14.94 6.09 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 10.38 4.00 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 25.08 12.15 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 37.63 31.12 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 12.03 5.35 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 12.04 5.11 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 37.77 28.21 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 12.03 4.88 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TRUE 15.51 6.78 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TRUE 61.01 36.56 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i OUT OF MEMORY 302.12 217.96 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 26.10 14.30 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 19.72 8.90 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 31.34 20.36 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 41.34 20.65 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.41 5.01 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.70 858.31 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 26.46 12.95 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 26.60 13.44 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 12.46 5.30 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 22.34 11.21 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 27.47 14.57 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 906.01 844.94 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 905.59 892.23 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 11.60 4.82 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 10.46 4.19 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 10.27 4.33 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 16.68 7.87 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 33.79 21.19 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 132.82 111.86 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 8.13 3.14 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 900.45 744.84 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 901.24 765.01 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 900.58 748.47 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 905.75 872.32 None memsafety/test-0137_false-valid-deref.i unknown 4.75 1.95 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 902.81 889.11 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 905.89 862.40 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 8.39 3.19 None memsafety/test-0232_false-valid-free.i unknown 4.45 1.86 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 905.60 891.50 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 17.32 6.79 None memsafety/lockfree-3.1_false-valid-memtrack.i FALSE(valid-memtrack) 36.27 14.35 None memsafety/lockfree-3.2_false-valid-memtrack.i FALSE(valid-memtrack) 13.63 4.86 None memsafety/lockfree-3.3_false-valid-memtrack.i FALSE(valid-memtrack) 52.64 22.72 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.98 4.31 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 5.00 2.06 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.12 2.84 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT (ERROR (143)) 900.71 881.65 None memsafety/test-0232_false-valid-memtrack.i unknown 4.74 1.99 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 900.53 880.32 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 901.82 884.56 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 905.67 889.84 None memsafety/lockfree-3.0_true-valid-memsafety.i OUT OF MEMORY 330.70 185.75 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 12.13 5.21 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 5.39 2.22 None memsafety/test-0134_true-valid-memsafety.i unknown 4.77 2.04 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 8.40 3.18 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.12 2.06 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.06 2.11 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.10 2.08 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.26 882.31 None memsafety/test-0232_true-valid-memsafety.i unknown 4.55 1.91 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.38 883.28 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.90 884.21 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.42 882.08 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.71 880.43 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.86 850.32 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.50 827.41 None memsafety/test-0521_true-valid-memsafety.i unknown 4.80 1.96 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 257.60 238.37 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.07 832.50 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 4.85 2.01 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 4.82 2.04 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 901.96 870.72 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 903.56 870.54 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.64 825.99 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 900.12 836.21 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 901.33 862.86 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 564.92 531.17 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 208.63 147.31 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 326.05 262.23 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 110.63 83.41 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 289.35 251.45 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 147.12 86.17 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.98 825.95 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.51 862.06 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 351.47 307.01 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.74 865.49 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 11.71 4.65 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 900.52 798.11 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 10.00 3.91 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 12.66 4.99 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 8.23 3.03 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 14.98 6.61 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.02 2.75 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 4.57 1.92 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 904.14 819.91 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 904.65 812.88 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.89 808.94 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.98 846.07 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 16.37 7.04 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 8.72 3.47 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.04 2.09 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.08 2.08 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 4.86 2.03 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.81 854.18 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.11 804.25 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 11.84 4.64 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 7.13 2.78 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 7.80 3.05 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 5.97 2.57 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 6.27 2.63 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c FALSE(valid-deref) 625.78 523.63 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c FALSE(valid-deref) 449.01 360.05 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.41 2.43 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 6.13 2.56 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.84 2.42 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 6.13 2.49 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 5.86 2.42 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.85 2.50 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 906.16 843.02 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 9.70 3.75 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 10.84 4.37 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 9.67 3.81 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 11.64 4.54 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 9.85 4.02 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 6.65 2.78 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 6.96 2.77 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 5.98 2.53 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 7.59 3.00 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 7.75 3.08 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 7.80 3.11 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 7.81 3.10 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 7.54 3.04 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 7.88 3.06 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.58 2.17 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i TIMEOUT (ERROR (143)) 905.95 866.56 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 660.04 627.68 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.06 2.08 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.01 2.03 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.18 2.12 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 5.06 2.05 None ldv-memsafety/memleaks_test17_2_false-valid-free.i TIMEOUT (ERROR (143)) 902.88 864.91 None ldv-memsafety/memleaks_test19_false-valid-free.i FALSE(valid-free) 122.38 95.00 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 9.93 3.64 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 8.87 3.35 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 17.39 6.62 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 10.44 3.94 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 201.89 179.41 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.93 1.97 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 17.12 6.99 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i FALSE(valid-memtrack) 58.34 28.77 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.31 2.14 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 5.40 2.25 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 286.95 230.02 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.86 4.07 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.10 3.36 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 46.20 33.07 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 493.24 460.34 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 59.97 50.59 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 902.06 867.63 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 172.39 150.91 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.24 3.39 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.26 3.55 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.60 3.50 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 98.39 70.70 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 43.16 26.82 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 94.94 69.91 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.70 3.90 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.41 3.42 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.73 3.63 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 15.56 5.59 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 14.23 5.27 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 12.81 4.66 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.15 3.51 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.27 3.92 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.49 3.48 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 158.44 134.13 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.10 2.15 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 5.26 2.23 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i TRUE 68.55 35.11 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.44 2.15 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 754.67 704.17 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i TRUE 12.35 5.06 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 901.58 871.67 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.65 840.15 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 884.94 850.96 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 67.27 35.21 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 10.64 4.01 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i TRUE 12.58 4.72 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i TRUE 11.47 4.30 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 171.19 142.14 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.62 859.54 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.66 865.42 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 4.84 1.93 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.38 2.30 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 10.39 3.99 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 16.42 6.39 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 12.28 4.64 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TRUE 19.27 7.38 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 17.84 6.77 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 11.33 4.19 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 11.40 4.23 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 7.27 2.86 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 47.14 35.61 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i FALSE(valid-deref) 36.33 24.75 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 177.77 161.97 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 518.62 484.72 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 6.97 2.83 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TRUE 59.61 41.51 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 7.64 3.03 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i ERROR: EXCEPTION 245.30 233.34 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i FALSE(valid-free) 114.47 88.38 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.25 2.12 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 905.59 891.97 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 4.90 1.97 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.06 2.05 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 4.94 2.00 None heap-manipulation/tree_false-valid-deref.i unknown 5.04 2.02 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 905.58 892.03 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 22.80 9.00 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 701.11 676.81 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 39.90 21.47 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.04 815.60 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 8.39 3.20 None list-properties/list_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 11.15 4.53 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 8.81 3.37 None list-properties/simple_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 10.86 4.23 None list-properties/splice_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 8.51 3.29 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.69 2.19 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.81 2.27 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.56 2.16 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.63 2.26 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.73 2.25 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.95 2.33 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.48 2.19 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.77 2.31 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.56 2.19 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.86 2.30 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.68 2.23 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.83 2.18 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.89 2.18 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.04 832.60 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.49 859.02 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.64 794.24 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.16 798.23 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.45 833.92 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.96 825.75 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.53 879.52 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.81 875.37 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 905.96 805.66 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.06 835.09 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.50 822.58 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.06 820.10 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.62 843.29 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.48 844.99 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.75 801.21 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.40 805.82 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.75 849.15 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.80 858.64 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.39 819.37 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 61.30 35.31 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 30.75 12.60 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 43.96 22.15 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 900.85 816.91 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 6.37 2.58 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 5.86 2.28 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.31 3.68 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.96 3.51 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.47 3.08 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.11 3.02 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.94 2.99 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.19 3.30 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.38 3.41 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.61 2.59 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.01 3.10 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.79 2.97 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.71 2.34 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.53 2.38 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.49 2.29 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.50 2.35 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.77 2.38 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.78 2.38 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.37 2.35 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.59 2.44 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.28 2.29 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.37 2.28 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.31 2.26 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.29 2.29 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.37 2.38 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 34363.08 34970.92 - SmtInterpolCraig.32bitMem Run set 2 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_Array.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 7.33 2.97 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.08 2.43 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 7.24 2.77 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.65 2.39 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 11.03 4.30 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 9.19 3.70 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.76 2.51 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 5.67 2.43 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 10.91 4.44 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 6.14 2.53 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 8.25 3.23 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 11.74 4.55 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 6.86 2.71 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 8.76 3.60 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 8.04 3.00 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.34 2.59 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 5.75 2.29 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.37 786.30 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 9.10 3.63 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 9.48 3.78 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 9.77 3.90 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 9.30 3.63 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 12.38 4.80 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.74 796.32 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 11.22 4.52 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 19.05 8.38 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 14.43 6.09 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 17.81 7.42 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 10.20 4.19 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.15 796.59 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 19.82 8.45 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 16.46 7.10 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 19.69 8.32 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 20.22 8.35 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 14.07 5.47 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 13.07 5.13 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 9.82 3.84 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 19.51 8.67 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 6.68 2.66 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 11.69 4.69 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 10.82 4.23 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 19.23 12.13 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 10.26 4.16 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TRUE 13.30 5.34 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TRUE 45.53 22.92 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.70 802.55 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 20.17 8.55 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 13.94 5.68 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 18.02 7.83 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 39.87 17.26 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 10.71 4.40 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.79 804.33 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 21.55 9.19 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 21.53 8.75 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.95 4.82 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 18.39 8.17 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 20.63 9.82 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 901.01 763.18 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 905.57 892.44 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.93 771.04 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 9.13 3.72 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 9.51 3.72 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 11.61 4.46 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 22.91 9.77 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 26.44 11.68 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 8.24 3.25 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 901.09 761.92 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 900.59 747.38 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 900.96 762.70 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 900.36 783.93 None memsafety/test-0137_false-valid-deref.i unknown 4.93 2.29 None memsafety/test-0235_false-valid-deref.i unknown 9.75 3.73 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 900.59 777.49 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 8.67 3.28 None memsafety/test-0232_false-valid-free.i unknown 4.98 2.03 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 905.59 891.82 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 16.01 6.17 None memsafety/lockfree-3.1_false-valid-memtrack.i FALSE(valid-memtrack) 36.83 12.84 None memsafety/lockfree-3.2_false-valid-memtrack.i FALSE(valid-memtrack) 11.95 4.44 None memsafety/lockfree-3.3_false-valid-memtrack.i FALSE(valid-memtrack) 47.02 17.62 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.36 4.45 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 5.50 2.16 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.76 2.98 None memsafety/test-0220_false-valid-memtrack.i unknown 8.50 3.21 None memsafety/test-0232_false-valid-memtrack.i unknown 4.99 2.03 None memsafety/test-0234_false-valid-memtrack.i unknown 9.26 3.51 None memsafety/test-0235_false-valid-memtrack.i unknown 9.78 3.72 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.31 785.97 None memsafety/lockfree-3.0_true-valid-memsafety.i OUT OF MEMORY 600.19 349.51 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 12.50 5.28 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 5.38 2.20 None memsafety/test-0134_true-valid-memsafety.i unknown 5.31 2.27 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 8.36 3.34 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.09 2.04 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.41 2.08 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.09 2.05 None memsafety/test-0219_true-valid-memsafety.i unknown 8.65 3.32 None memsafety/test-0232_true-valid-memsafety.i unknown 4.95 2.03 None memsafety/test-0234_true-valid-memsafety.i unknown 9.37 3.48 None memsafety/test-0235_true-valid-memsafety.i unknown 9.59 3.70 None memsafety/test-0236_true-valid-memsafety.i unknown 9.43 3.71 None memsafety/test-0237_true-valid-memsafety.i unknown 9.36 3.66 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.89 764.68 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.69 774.07 None memsafety/test-0521_true-valid-memsafety.i unknown 5.06 2.02 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TRUE 18.66 7.65 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.49 775.39 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 5.16 2.06 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 5.10 2.15 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 900.48 732.16 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 901.28 739.37 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.96 763.37 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 900.92 747.22 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 901.29 724.59 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 900.57 812.96 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i FALSE(valid-memtrack) 143.53 83.29 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i FALSE(valid-memtrack) 357.58 281.14 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 905.78 851.85 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 900.36 776.88 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.64 799.28 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.98 801.78 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.56 829.95 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.18 776.64 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.63 818.27 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 11.14 4.12 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR: EXCEPTION) 900.77 768.79 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 11.41 4.43 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 12.04 4.38 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 8.64 3.37 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 17.16 7.16 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 8.32 3.36 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 5.20 2.11 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.43 813.18 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.91 763.42 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.89 769.08 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.68 767.57 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 17.15 7.29 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 8.99 3.35 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.15 2.07 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.20 2.02 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 4.72 1.98 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 16.67 6.43 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.63 770.12 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 11.81 4.53 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 7.38 2.86 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 7.89 3.15 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 6.19 2.55 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 6.27 2.65 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c FALSE(valid-deref) 287.34 215.28 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c FALSE(valid-deref) 244.82 174.98 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.81 2.48 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 5.90 2.59 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.84 2.49 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 6.00 2.46 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 5.92 2.44 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 6.08 2.41 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 904.39 754.25 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 262.00 204.16 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 528.69 420.83 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 260.58 202.53 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 905.47 760.96 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 665.85 555.63 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 7.25 2.86 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 7.24 2.74 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 6.64 2.57 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 28.44 13.48 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 87.73 57.59 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 27.83 13.55 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 87.60 56.97 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 92.72 58.96 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 87.37 57.94 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.80 2.24 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i FALSE(valid-deref) 51.94 23.44 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i FALSE(valid-deref) 50.01 23.04 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.37 2.06 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.37 2.12 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.46 2.20 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 5.68 2.18 None ldv-memsafety/memleaks_test17_2_false-valid-free.i FALSE(valid-free) 74.09 36.00 None ldv-memsafety/memleaks_test19_false-valid-free.i FALSE(valid-free) 45.20 19.47 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 10.39 4.00 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 9.21 3.54 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 17.53 6.67 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 11.24 4.28 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 63.66 30.38 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.64 2.20 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 18.18 7.45 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i FALSE(valid-memtrack) 51.23 25.66 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.88 2.36 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 5.95 2.31 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i FALSE(valid-memtrack) 728.91 598.00 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.82 4.13 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.79 3.60 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i FALSE(valid-memtrack) 399.83 304.84 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i FALSE(valid-memtrack) 433.73 350.15 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 12.88 4.80 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 308.56 237.13 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 25.37 10.22 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.39 3.53 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.22 3.72 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.27 3.61 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 41.52 16.03 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 20.32 7.43 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 42.09 16.82 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.67 3.88 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.32 3.45 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.48 3.67 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 15.44 5.65 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 14.84 5.41 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 14.04 5.10 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.50 3.47 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.54 4.24 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.85 3.72 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TRUE 105.67 61.30 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.22 2.10 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 5.36 2.10 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i TRUE 58.97 29.57 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.96 2.25 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TRUE 204.27 136.71 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i TRUE 12.64 4.73 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.44 767.69 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 901.05 761.97 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 901.16 783.88 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i TRUE 48.79 21.11 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 11.16 4.09 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i TRUE 12.62 4.68 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i TRUE 12.67 4.63 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TRUE 60.01 28.12 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TRUE 68.82 34.85 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TRUE 71.09 37.36 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 5.39 2.07 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.20 2.24 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 10.87 4.09 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 14.61 5.60 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 12.64 4.54 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TRUE 19.08 7.51 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 17.30 6.44 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 11.88 4.21 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 10.84 3.97 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 6.95 2.76 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 10.37 3.93 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i FALSE(valid-deref) 12.84 5.04 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TRUE 25.33 11.28 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i FALSE(valid-deref) 29.01 13.81 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 6.85 2.79 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TRUE 20.42 8.46 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 8.05 3.10 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i FALSE(valid-deref) 26.64 12.23 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i FALSE(valid-free) 16.27 6.62 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.40 2.14 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 905.59 892.29 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.20 2.12 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.15 2.19 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 5.18 2.13 None heap-manipulation/tree_false-valid-deref.i unknown 5.28 2.12 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 905.55 891.91 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 21.07 8.13 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 33.17 15.43 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 28.92 12.86 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.59 767.16 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 8.48 3.27 None list-properties/list_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 11.31 4.44 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 8.60 3.39 None list-properties/simple_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 10.14 3.89 None list-properties/splice_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 8.50 3.21 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.59 2.13 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.32 2.05 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.61 2.21 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.44 2.16 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.64 2.14 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.57 2.14 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.72 2.22 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.51 2.11 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.59 2.28 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.81 2.36 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.38 2.12 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.67 2.31 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.58 2.28 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.87 764.02 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.66 767.09 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.02 758.45 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.72 770.86 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.80 770.03 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.08 766.73 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.77 769.48 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.75 772.22 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.75 770.87 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.78 759.07 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.18 758.00 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.95 766.42 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.01 760.17 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.07 770.45 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 900.73 767.01 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.91 763.68 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.75 765.23 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.47 761.34 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.42 773.87 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 36.47 18.06 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 25.31 11.07 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 27.35 12.33 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 901.08 800.38 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 6.37 2.44 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 6.10 2.27 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.23 3.83 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.30 3.53 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.23 3.08 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.98 2.93 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.20 3.03 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.44 3.40 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.11 3.34 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.55 2.66 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.14 2.99 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.93 2.87 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.70 2.24 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.66 2.32 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.63 2.21 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.85 2.35 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.83 2.45 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.76 2.51 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.67 2.34 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.89 2.31 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.71 2.30 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.24 2.32 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.48 2.30 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.57 2.37 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.54 2.41 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 63700.82 28488.34 - SmtInterpolNoArray.32bitMem Run set 3 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_NoArray.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 7.53 2.93 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.18 2.56 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 7.66 2.97 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.99 2.48 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 12.89 5.66 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 4.42 1.83 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.91 2.55 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 6.08 2.53 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 11.75 4.88 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 6.23 2.58 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 8.78 3.41 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 11.40 4.48 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 6.93 2.85 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 8.83 3.53 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 7.93 3.18 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.34 2.55 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 6.01 2.33 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.78 766.10 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 9.81 3.89 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 11.17 4.58 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 11.26 4.50 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 9.87 3.96 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 13.06 5.31 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i OUT OF MEMORY 374.88 233.41 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 13.59 5.77 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 30.92 16.04 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 580.52 472.81 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 24.29 11.86 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 12.29 5.11 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.66 778.51 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 26.16 11.39 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.58 768.09 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 70.45 49.62 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 43.47 29.92 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 19.50 7.78 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 15.28 6.37 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 11.16 4.36 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 21.10 9.27 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 7.12 2.80 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 16.28 8.33 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 14.06 6.01 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 24.02 15.53 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 13.96 5.90 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.69 776.89 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.98 810.47 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i OUT OF MEMORY 398.62 298.48 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 30.63 13.97 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.74 768.80 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 23.46 10.91 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 73.63 36.79 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 12.75 5.30 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 905.77 869.80 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 35.09 16.30 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.83 833.89 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 15.46 6.54 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 25.53 12.36 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 29.26 14.33 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 901.06 763.88 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 905.55 891.88 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 14.75 5.73 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 11.79 5.02 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 11.36 4.59 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 14.18 5.91 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 60.73 42.42 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 54.95 34.68 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 8.98 3.66 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 900.52 743.80 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 900.39 744.69 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 900.33 749.68 None memsafety/960521-1_false-valid-deref.i FALSE(valid-deref) 855.62 709.41 None memsafety/test-0137_false-valid-deref.i unknown 5.28 2.12 None memsafety/test-0235_false-valid-deref.i unknown 9.74 3.69 None memsafety/960521-1_false-valid-free.i FALSE(valid-free) 847.04 705.85 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 9.78 3.61 None memsafety/test-0232_false-valid-free.i unknown 5.08 1.95 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 905.55 891.65 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 18.73 7.08 None memsafety/lockfree-3.1_false-valid-memtrack.i FALSE(valid-memtrack) 36.76 12.77 None memsafety/lockfree-3.2_false-valid-memtrack.i FALSE(valid-memtrack) 12.91 4.58 None memsafety/lockfree-3.3_false-valid-memtrack.i FALSE(valid-memtrack) 47.08 19.16 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 12.54 5.07 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 5.43 2.15 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.66 2.94 None memsafety/test-0220_false-valid-memtrack.i unknown 8.57 3.32 None memsafety/test-0232_false-valid-memtrack.i unknown 5.25 1.98 None memsafety/test-0234_false-valid-memtrack.i unknown 9.32 3.63 None memsafety/test-0235_false-valid-memtrack.i unknown 9.67 3.54 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.34 748.89 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.93 727.28 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 13.15 5.53 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 5.29 2.11 None memsafety/test-0134_true-valid-memsafety.i unknown 5.06 1.96 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 9.06 3.66 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.09 2.05 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.22 2.03 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.06 2.06 None memsafety/test-0219_true-valid-memsafety.i unknown 8.66 3.28 None memsafety/test-0232_true-valid-memsafety.i unknown 4.74 1.91 None memsafety/test-0234_true-valid-memsafety.i unknown 8.90 3.32 None memsafety/test-0235_true-valid-memsafety.i unknown 9.31 3.54 None memsafety/test-0236_true-valid-memsafety.i unknown 9.03 3.55 None memsafety/test-0237_true-valid-memsafety.i unknown 9.34 3.40 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.08 868.42 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.02 840.82 None memsafety/test-0521_true-valid-memsafety.i unknown 5.12 2.08 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TRUE 467.39 447.21 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.08 848.51 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 5.17 2.01 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 5.10 2.06 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 902.49 856.62 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 900.66 833.85 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.33 844.94 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 901.38 822.88 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 900.72 838.44 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 524.28 476.62 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 900.83 808.85 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 618.96 542.10 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 900.95 861.65 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 623.59 553.23 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.26 828.30 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.24 798.32 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 658.84 624.13 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 354.94 316.81 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.43 859.58 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 11.78 4.41 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 900.97 816.22 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 11.13 4.44 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 12.54 4.66 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 9.21 3.57 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 19.19 7.97 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.52 2.96 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 5.00 2.05 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.21 867.66 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.12 824.42 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 904.39 812.39 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.95 858.69 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 25.64 14.62 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 8.82 3.42 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 4.98 1.93 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.00 2.02 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 4.77 2.04 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 18.90 7.18 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.03 847.21 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 12.09 4.71 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 7.55 2.93 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 8.44 3.43 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 5.94 2.36 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 6.31 2.77 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c FALSE(valid-deref) 776.27 641.26 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c FALSE(valid-deref) 581.45 464.89 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 6.31 2.64 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 6.16 2.78 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.97 2.50 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 6.47 2.62 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 6.10 2.44 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 6.20 2.50 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 900.26 795.74 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 9.77 3.79 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 11.43 4.55 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 9.57 3.62 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 11.07 4.38 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 10.14 3.99 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 6.75 2.69 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 6.66 2.72 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 6.24 2.63 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 7.40 2.87 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 7.69 2.96 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 7.45 2.89 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 7.69 3.02 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 7.29 2.87 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 7.55 2.87 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.75 2.22 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 598.71 564.86 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i FALSE(valid-deref) 352.23 320.14 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.29 2.09 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.29 2.10 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.52 2.25 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 5.40 2.10 None ldv-memsafety/memleaks_test17_2_false-valid-free.i TIMEOUT (ERROR (143)) 901.34 863.37 None ldv-memsafety/memleaks_test19_false-valid-free.i FALSE(valid-free) 187.52 159.50 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 10.01 3.63 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 9.47 3.47 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 155.82 142.32 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 10.50 4.09 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 900.74 849.48 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.52 2.20 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 84.23 70.57 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i FALSE(valid-memtrack) 540.48 506.98 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.85 2.30 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 6.03 2.35 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i OUT OF MEMORY 788.34 688.75 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.06 4.10 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.44 3.42 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 902.71 865.93 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 901.08 834.97 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 57.95 49.49 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 900.67 836.56 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 901.32 863.14 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.04 3.30 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.35 3.44 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.42 3.48 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 49.18 25.79 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 23.36 8.49 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 51.58 26.91 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.42 3.88 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.45 3.36 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.84 3.61 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 107.35 96.81 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 147.76 137.24 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 70.00 60.01 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.48 3.55 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.75 3.89 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.48 3.47 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 901.06 838.92 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.45 2.15 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 5.38 2.27 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.78 872.39 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.91 2.26 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 905.94 841.14 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i TRUE 12.38 4.64 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.75 805.51 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.90 858.18 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.75 842.90 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i TRUE 228.29 195.38 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 11.41 4.16 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i TRUE 13.40 5.09 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i TRUE 11.70 4.45 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TRUE 541.40 507.63 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TRUE 479.78 437.97 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TRUE 381.41 336.74 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 5.36 2.23 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.45 2.29 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 11.05 4.30 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 15.18 6.22 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 12.87 4.83 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 34.39 25.12 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 83.84 69.54 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 11.59 4.55 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 11.63 4.14 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 6.87 2.91 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.25 791.70 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i FALSE(valid-deref) 62.02 48.97 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 307.17 290.07 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 282.95 266.10 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 7.25 2.87 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TRUE 46.41 31.22 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 8.29 3.28 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i ERROR: EXCEPTION 333.57 317.17 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 900.77 797.18 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.35 2.18 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 905.59 892.22 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.02 2.02 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.24 2.13 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 5.16 2.10 None heap-manipulation/tree_false-valid-deref.i unknown 5.03 2.05 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 905.61 892.19 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 28.76 11.37 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 253.13 224.84 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 56.00 30.45 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.52 823.17 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 8.34 3.32 None list-properties/list_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 11.65 4.40 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 8.70 3.46 None list-properties/simple_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 10.65 4.06 None list-properties/splice_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 8.72 3.29 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.66 2.19 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.69 2.15 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.57 2.24 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.52 2.14 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.58 2.28 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.64 2.42 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.77 2.28 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.67 2.25 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.55 2.24 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.46 2.20 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.74 2.30 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.14 2.17 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.56 2.13 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.27 841.62 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.34 826.15 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.12 819.63 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.88 871.95 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.77 827.26 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.59 833.35 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.14 859.96 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.00 823.69 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.70 831.60 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.18 812.45 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.04 841.79 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.23 809.36 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.50 835.13 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.90 838.70 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.43 805.67 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 904.60 816.68 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.55 798.80 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.58 800.80 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.10 837.55 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 142.82 112.40 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 78.82 58.12 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 53.18 27.50 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 900.75 769.48 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 6.41 2.58 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 5.98 2.23 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.20 3.73 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.59 3.70 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.70 3.18 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.43 3.05 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.64 3.22 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.32 3.28 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.41 3.32 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.75 2.57 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.31 3.02 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.07 2.88 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.91 2.34 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.98 2.44 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.75 2.36 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.82 2.52 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.00 2.54 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.16 2.37 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.99 2.44 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.98 2.46 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.52 2.33 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.81 2.30 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.66 2.23 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.78 2.36 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.65 2.36 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 67479.70 37101.46 - z3.32bitMem Run set 4 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_z3.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 8.17 3.18 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.87 2.77 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 8.17 3.17 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.88 2.42 None array-memsafety/cstrchr_unsafe_false-valid-deref.i ERROR: EXCEPTION 7.84 3.08 None array-memsafety/cstrlen_unsafe_false-valid-deref.i ERROR: EXCEPTION 8.51 3.17 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.91 2.52 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 5.86 2.37 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i ERROR: EXCEPTION 9.99 3.78 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 7.17 2.66 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i ERROR: EXCEPTION 7.19 2.76 None array-memsafety/lis_unsafe_false-valid-deref.i ERROR: EXCEPTION 8.70 3.34 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 8.15 3.19 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 15.36 7.06 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 8.71 3.38 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 7.00 2.78 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 5.90 2.37 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.73 3.11 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.97 3.05 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.81 3.30 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.66 3.41 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.05 3.48 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.45 3.33 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.50 3.38 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.94 3.04 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.32 3.01 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.67 3.37 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.22 3.18 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.48 3.83 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.40 4.03 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.27 3.22 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.69 3.24 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.24 3.22 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.21 3.15 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.37 2.79 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.13 3.07 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.14 3.55 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.37 3.18 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.41 3.13 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.38 3.25 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.23 3.25 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.53 3.30 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 40.31 31.39 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.86 3.28 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.44 3.16 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.87 3.00 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.30 3.08 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.97 3.07 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.62 2.95 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.02 3.00 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.69 3.30 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.67 3.48 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.33 3.16 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.55 3.20 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.24 3.49 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.90 2.96 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.86 3.28 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.55 3.56 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 905.55 891.79 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.77 3.81 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.64 3.26 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.49 3.21 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.17 3.41 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.05 3.08 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.97 3.03 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 8.93 3.42 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 900.54 755.52 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 900.71 746.77 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 900.84 749.33 None memsafety/960521-1_false-valid-deref.i ERROR: EXCEPTION 9.28 3.83 None memsafety/test-0137_false-valid-deref.i unknown 5.13 2.13 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 904.45 779.53 None memsafety/960521-1_false-valid-free.i ERROR: EXCEPTION 9.78 3.57 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 10.60 3.80 None memsafety/test-0232_false-valid-free.i unknown 5.01 1.94 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 905.59 891.95 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 9.92 3.68 None memsafety/lockfree-3.1_false-valid-memtrack.i ERROR: EXCEPTION 10.92 4.00 None memsafety/lockfree-3.2_false-valid-memtrack.i ERROR: EXCEPTION 11.21 4.10 None memsafety/lockfree-3.3_false-valid-memtrack.i ERROR: EXCEPTION 11.30 4.15 None memsafety/test-0019_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.80 3.85 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 5.57 2.22 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 8.02 3.18 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 21.39 9.17 None memsafety/test-0232_false-valid-memtrack.i unknown 5.12 2.06 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 905.70 784.46 None memsafety/test-0235_false-valid-memtrack.i ERROR: EXCEPTION 851.66 734.07 None memsafety/960521-1_true-valid-memsafety.i ERROR: EXCEPTION 9.87 3.53 None memsafety/lockfree-3.0_true-valid-memsafety.i ERROR: EXCEPTION 22.61 8.26 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.56 3.41 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 5.46 2.06 None memsafety/test-0134_true-valid-memsafety.i unknown 5.06 2.17 None memsafety/test-0158_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.12 3.38 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.17 2.04 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.29 2.23 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.08 2.14 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 19.82 9.00 None memsafety/test-0232_true-valid-memsafety.i unknown 5.07 2.11 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 905.53 786.01 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.79 818.19 None memsafety/test-0236_true-valid-memsafety.i TRUE 48.86 28.17 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.03 786.47 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 12.59 4.81 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 14.50 5.47 None memsafety/test-0521_true-valid-memsafety.i unknown 4.73 1.88 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.82 7.80 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i ERROR: EXCEPTION 9.90 3.72 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 4.83 1.94 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 5.01 2.17 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 11.03 4.12 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 12.09 4.39 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i ERROR: EXCEPTION 12.71 4.81 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 12.12 4.49 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 11.45 4.22 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 19.76 7.70 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 21.19 13.52 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 19.36 11.65 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 14.21 5.66 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 11.63 4.22 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 13.04 4.89 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 12.19 4.91 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 15.61 5.89 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 12.50 4.56 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 19.38 7.65 None list-ext-properties/960521-1_1_false-valid-deref.i ERROR: EXCEPTION 10.83 4.06 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.96 3.00 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 8.93 3.37 None list-ext-properties/960521-1_1_false-valid-free.i ERROR: EXCEPTION 11.81 4.23 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 10.67 3.88 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.63 3.76 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 8.93 3.28 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 5.28 2.02 None list-ext-properties/960521-1_1_true-valid-memsafety.i ERROR: EXCEPTION 11.71 4.26 None list-ext-properties/list-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 8.00 3.09 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i ERROR: EXCEPTION 9.17 3.50 None list-ext-properties/simple-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 8.45 3.13 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.02 3.68 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.15 3.70 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.29 2.17 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.46 2.05 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 5.33 2.12 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 14.29 5.45 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 18.73 7.07 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 6.55 2.60 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 8.88 3.56 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c ERROR: EXCEPTION 7.12 2.85 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 6.49 2.64 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 6.89 2.79 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c ERROR: EXCEPTION 7.01 2.78 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c ERROR: EXCEPTION 7.70 3.05 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 6.21 2.55 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 6.51 2.63 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 6.50 2.77 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 6.45 2.56 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 6.46 2.53 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 6.10 2.38 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c ERROR: EXCEPTION 9.14 3.64 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 6.91 2.80 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c ERROR: EXCEPTION 8.19 3.24 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.23 2.79 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c ERROR: EXCEPTION 9.15 3.67 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.62 2.96 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 8.40 3.08 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 8.19 3.26 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 7.20 2.81 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 35.89 22.61 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 140.26 110.86 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 35.91 22.74 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 138.57 109.57 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 140.26 110.08 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 142.23 113.20 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.85 2.34 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 13.33 4.85 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 13.58 5.04 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.06 2.14 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.52 2.26 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.60 2.14 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 5.44 2.21 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 14.31 5.36 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 11.53 4.28 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 12.07 4.48 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 9.84 3.58 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 16.34 6.44 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 13.85 4.95 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 14.29 5.45 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.45 2.17 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 262.83 255.06 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 13.62 5.28 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.80 2.36 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 5.97 2.34 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 72.68 42.12 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 13.52 5.28 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.80 3.72 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 13.72 5.21 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 13.54 5.15 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 18.69 8.49 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 32.16 23.57 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 12.56 4.72 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.63 3.88 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.47 4.15 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.74 4.03 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 12.97 4.85 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 12.46 4.83 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 13.36 4.99 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 13.43 4.92 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.16 3.80 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.90 4.43 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 16.63 6.57 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 13.84 5.47 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 12.47 4.62 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.54 3.91 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 13.33 4.75 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.99 4.09 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 13.80 5.52 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.52 2.06 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 5.70 2.22 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 13.31 4.80 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 6.00 2.29 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 20.87 8.53 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 15.12 5.76 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 14.37 5.38 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 13.11 4.85 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 15.77 6.18 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.68 4.40 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.37 4.40 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 17.54 7.29 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.34 7.10 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 14.03 5.14 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 13.55 5.15 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 14.12 5.25 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 5.62 2.28 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.55 2.08 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 14.11 5.31 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 15.66 6.14 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 15.52 6.16 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 21.54 10.97 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 14.08 5.24 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 14.08 5.47 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 15.12 5.72 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 9.13 3.52 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 25.93 17.69 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TRUE 20.11 10.45 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TRUE 21.48 9.92 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TRUE 20.22 9.16 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 9.80 3.87 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i ERROR: EXCEPTION 14.26 5.78 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 11.56 4.41 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TRUE 20.23 9.99 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i ERROR: EXCEPTION 27.07 18.49 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.22 2.15 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 905.56 892.27 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.35 2.13 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.32 2.17 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 5.36 2.08 None heap-manipulation/tree_false-valid-deref.i unknown 5.47 2.26 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 905.51 892.09 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 15.65 5.96 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 12.75 4.69 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 11.60 4.44 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.36 3.48 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 8.90 3.56 None list-properties/list_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 9.41 3.44 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 10.22 3.84 None list-properties/simple_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 8.50 3.28 None list-properties/splice_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 8.68 3.37 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.71 2.26 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.02 2.23 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 6.25 2.31 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.65 2.22 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.92 2.29 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.94 2.36 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.88 2.23 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.94 2.35 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.71 2.39 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.61 2.13 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.91 2.37 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.81 2.26 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.83 2.32 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.16 4.98 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.39 4.65 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.82 5.00 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.85 5.52 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.17 4.85 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 16.23 6.27 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.87 4.96 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.29 5.15 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.25 4.53 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.14 4.79 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.02 4.49 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.82 4.08 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.11 4.29 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.80 4.69 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.04 4.40 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.60 5.23 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.36 4.54 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.06 4.87 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.77 3.95 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 12.18 4.65 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 11.91 4.54 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 12.02 4.29 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 900.77 753.70 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 7.03 2.80 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 6.20 2.38 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.60 3.71 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.60 3.75 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.67 3.20 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.15 2.96 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.35 3.11 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.58 3.36 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.21 3.26 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.66 2.59 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.33 2.98 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.91 2.95 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.77 2.36 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.85 2.42 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.92 2.47 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.73 2.35 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.99 2.37 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.11 2.45 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.12 2.38 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.91 2.42 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.59 2.29 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.66 2.33 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.85 2.45 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.73 2.38 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.84 2.44 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 12556.18 7028.14 - Statistics: 1304 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1304