BENCHMARK INFORMATION benchmark definition: ../benchexec/equality-vmcai19-memsafety-dumppp.xml name: equality-vmcai19-memsafety-dumppp run sets: AutomizerCInline.32bitMem date: Wed, 2018-10-10 14:41:19 CEST tool: ULTIMATE Automizer 0.1.23-c5b19547 tool executable: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/Ultimate.py options: --traceabstraction.dump.automata.to.the.following.directory dump --rcfgbuilder.size.of.a.code.block SingleStatement --cacsl2boogietranslator.bitprecise.bitfields false parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 600 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: struebli os: Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz ram: 135158.484992 MB ------------------------------------------------------------ AutomizerCInline.32bitMem Run set 1 of 1 with options '--traceabstraction.dump.automata.to.the.following.directory dump --rcfgbuilder.size.of.a.code.block SingleStatement --cacsl2boogietranslator.bitprecise.bitfields false -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-DerefFreeMemtrack-32bit-Automizer_Default.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 11.36 6.44 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 9.54 5.34 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 12.85 7.09 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 8.21 4.59 None array-memsafety/cstrchr_unsafe_false-valid-deref.i ERROR: EXCEPTION 6.46 3.60 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 16.32 9.63 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 8.60 4.82 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 9.30 5.18 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 21.27 13.31 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 9.43 5.69 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 14.70 8.61 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 44.29 28.51 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 13.57 8.06 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 22.08 13.46 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 12.84 7.24 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 9.80 5.51 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 7.89 4.49 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 43.77 27.44 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 25.12 15.90 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 26.03 16.55 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 27.31 16.96 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 35.84 22.76 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 26.86 16.81 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 36.06 22.61 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.27 3.34 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 24.95 14.87 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 55.89 39.28 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 26.81 16.87 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 29.26 19.11 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 43.17 27.87 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 27.41 16.87 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 70.84 52.12 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 26.55 16.41 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 26.47 16.55 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 76.24 51.08 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 22.63 14.32 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 39.95 26.20 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 95.09 70.26 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 33.46 21.59 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 25.99 17.33 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 25.33 16.25 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 57.64 46.89 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 26.03 16.69 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 42.17 28.38 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 141.02 108.35 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 32.02 19.94 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 74.40 50.86 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 44.03 29.20 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 53.67 36.99 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 75.02 51.92 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 30.27 19.14 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 42.66 28.02 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 73.92 50.27 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 79.31 58.03 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.27 9.76 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 52.52 35.34 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 55.96 38.57 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 86.05 60.22 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 25.56 15.87 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 58.85 40.58 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 21.15 13.01 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 29.28 18.94 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 38.38 25.18 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 28.99 17.86 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 31.33 19.36 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 14.73 8.32 None array-examples/sanfoundry_24_false-valid-deref.i unknown 17.37 10.33 None array-examples/standard_strcpy_false-valid-deref_ground.i unknown 32.12 20.47 None array-examples/standard_strcpy_original_false-valid-deref.i unknown 32.52 20.85 None memsafety/960521-1_false-valid-deref.i unknown 23.93 14.92 None memsafety/test-0137_false-valid-deref.i ERROR: EXCEPTION 6.05 3.25 None memsafety/test-0235_false-valid-deref.i TIMEOUT 600.49 553.73 None memsafety/960521-1_false-valid-free.i unknown 23.19 14.44 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 23.74 14.54 None memsafety/test-0232_false-valid-free.i ERROR: EXCEPTION 5.89 3.16 None memsafety/20020406-1_false-valid-memtrack.i ERROR: EXCEPTION 5.77 3.15 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 175.41 126.64 None memsafety/lockfree-3.1_false-valid-memtrack.i ERROR: EXCEPTION 23.38 12.88 None memsafety/lockfree-3.2_false-valid-memtrack.i ERROR: EXCEPTION 20.89 11.70 None memsafety/lockfree-3.3_false-valid-memtrack.i ERROR: EXCEPTION 22.97 12.65 None memsafety/test-0019_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 41.91 28.90 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 6.73 3.57 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 16.46 9.79 None memsafety/test-0220_false-valid-memtrack.i unknown 431.43 373.61 None memsafety/test-0232_false-valid-memtrack.i ERROR: EXCEPTION 6.46 3.40 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT 600.78 532.18 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT 600.26 556.28 None memsafety/960521-1_true-valid-memsafety.i unknown 24.19 14.82 None memsafety/lockfree-3.0_true-valid-memsafety.i ERROR: EXCEPTION 21.21 11.85 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 156.22 129.86 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 6.83 3.61 None memsafety/test-0134_true-valid-memsafety.i ERROR: EXCEPTION 6.60 3.50 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 25.78 16.98 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 126.84 92.90 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 385.80 312.76 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 279.66 224.04 None memsafety/test-0219_true-valid-memsafety.i unknown 416.64 361.44 None memsafety/test-0232_true-valid-memsafety.i ERROR: EXCEPTION 6.08 3.23 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT 600.60 543.27 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT 600.83 537.88 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT 601.17 531.72 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT 600.49 552.84 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 6.24 3.30 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 6.02 3.19 None memsafety/test-0521_true-valid-memsafety.i ERROR: EXCEPTION 235.37 186.66 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT 601.02 571.50 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 260.99 211.06 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 340.44 279.44 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 443.68 375.89 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.26 3.34 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.92 3.17 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i ERROR: EXCEPTION 369.37 300.30 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.20 3.31 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.94 3.17 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 5.91 3.21 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 6.27 3.31 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 6.22 3.31 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 73.45 51.82 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i unknown 127.20 93.95 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 6.46 3.39 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 6.07 3.25 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 74.45 51.80 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i unknown 126.63 93.87 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 6.43 3.41 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 22.94 14.49 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 55.44 37.94 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 40.96 26.55 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 41.77 27.58 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 25.56 15.42 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 122.62 95.20 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 18.67 11.22 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.12 3.27 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 37.61 23.86 None list-ext-properties/list-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 60.08 40.45 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i ERROR: EXCEPTION 48.83 31.59 None list-ext-properties/simple-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 33.41 20.96 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 294.73 254.59 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 28.63 18.00 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 86.10 60.73 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 83.08 57.54 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.99 3.24 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 6.61 3.46 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 6.35 3.36 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 50.95 33.69 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 13.13 7.44 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 19.54 11.52 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 9.08 5.12 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 9.33 5.24 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 30.04 18.39 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 20.03 11.61 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 8.89 4.96 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 9.54 5.30 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 9.19 5.10 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 9.23 5.19 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 9.63 5.24 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 9.21 5.17 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 67.72 45.80 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 17.43 9.94 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 34.59 21.02 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 18.27 10.62 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 32.87 20.66 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 24.46 14.50 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 126.23 89.36 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 122.28 86.61 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 8.90 4.99 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 13.67 7.97 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 14.04 8.20 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 14.05 8.13 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 14.16 8.24 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 13.73 7.89 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 13.84 8.05 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 6.93 3.64 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 6.63 3.55 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 6.58 3.49 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 6.50 3.46 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 6.79 3.58 None ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 6.77 3.58 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 6.60 3.56 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 6.91 3.66 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 6.94 3.66 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 7.17 3.77 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 6.67 3.55 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 6.72 3.58 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 6.90 3.62 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 6.85 3.64 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 6.72 3.55 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 7.24 3.83 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 5.94 3.25 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 6.50 3.47 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 6.79 3.61 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 6.73 3.61 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 6.98 3.71 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 6.61 3.48 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 6.61 3.55 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 6.62 3.53 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 6.89 3.68 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 6.50 3.49 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 6.73 3.56 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 6.66 3.52 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 6.29 3.38 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 6.65 3.50 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 6.64 3.49 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 6.56 3.49 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 6.79 3.60 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 6.62 3.55 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 6.76 3.57 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 6.80 3.60 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 6.78 3.56 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 6.79 3.60 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 6.59 3.50 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 6.42 3.46 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 6.76 3.62 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 6.70 3.58 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 6.71 3.55 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i unknown 7.02 3.71 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 6.99 3.69 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 6.60 3.54 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 6.46 3.43 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 6.74 3.57 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 6.52 3.43 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 6.56 3.51 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 7.14 3.74 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 6.75 3.60 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 6.62 3.48 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 6.90 3.65 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 6.39 3.40 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown 6.31 3.41 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 6.42 3.51 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 6.63 3.51 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 6.63 3.58 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 6.80 3.59 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.88 3.63 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 6.86 3.61 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 6.92 3.66 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 6.93 3.62 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 6.59 3.67 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 6.90 3.61 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 6.83 3.63 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 6.78 3.62 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 18.37 10.99 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 78.44 54.24 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i FALSE(valid-deref) 252.16 221.17 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 32.14 19.10 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 33.75 20.19 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 17.44 10.45 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT 600.19 546.89 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 15.94 9.14 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 34.22 20.49 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT 600.35 476.91 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.47 3.42 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.45 3.42 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 183.83 140.41 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i TIMEOUT 600.48 520.06 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.29 3.35 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 6.17 3.31 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.21 3.32 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.21 3.34 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.31 3.36 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 227.04 177.42 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 389.65 320.75 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 26.70 16.74 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 49.43 33.04 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 18.93 11.03 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 30.62 18.60 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 17.98 10.66 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.71 3.55 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.91 3.65 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 6.73 3.57 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.99 3.70 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.07 3.74 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.22 3.81 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 6.48 3.49 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.04 3.72 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.74 3.61 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.46 3.91 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.98 3.67 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.65 3.56 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 6.81 3.61 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.20 3.33 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.44 3.41 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.29 3.33 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.31 3.42 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.22 3.31 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.33 3.38 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.14 3.26 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.29 3.35 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.50 3.43 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.52 3.47 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unknown 531.64 449.49 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.56 3.51 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.98 3.21 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.00 3.26 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 47.21 30.36 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 54.58 35.86 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.32 3.37 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.65 3.46 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.09 3.24 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.34 3.34 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.30 3.34 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 55.26 36.99 None loop-acceleration/array3_false-valid-deref.i unknown 17.41 10.12 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 7.67 4.04 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 6.84 3.64 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 23.18 13.93 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 25.91 15.08 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 18.13 10.53 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.60 7.95 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.38 8.47 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.93 9.36 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.38 9.12 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.95 6.19 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.68 8.26 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.24 7.09 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.94 4.55 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.12 4.59 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.38 4.73 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.64 4.89 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.23 4.68 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.31 4.67 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.53 4.85 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.65 4.86 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.05 4.43 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.01 4.45 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.76 4.32 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.80 4.36 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.80 4.40 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 14170.76 1313.35 - Statistics: 326 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 326