Tool 2LS 0.7.2-sv-comp19 CBMC CBMC Path 5.10 () CPAchecker 1.7-svn 29852 DepthK 3.1 DIVINE ESBMC version 6.0.0 64-bit x86_64 linux Map2Check v7.2-Flock : Tue Nov 27 22:00:00 -04 2018 PeSCo 1.7-svn b8d6131600+ PredatorHP 3.14 SMACK 1.9.3 symbiotic 6.0.3-77d4af47 ULTIMATE Automizer 0.1.23-635dfa2a ULTIMATE Kojak 0.1.23-635dfa2a ULTIMATE Taipan 0.1.23-635dfa2a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-04 22:44:17 CET 2018-12-04 22:48:40 CET 2018-12-04 22:45:10 CET 2018-12-05 05:46:16 CET 2018-12-05 09:36:33 CET 2018-12-10 10:00:20 CET 2018-12-06 11:06:04 CET 2018-12-06 11:03:31 CET 2018-12-06 12:20:21 CET 2018-12-06 12:44:04 CET 2018-12-07 04:08:42 CET 2018-12-07 19:13:55 CET 2018-12-07 21:42:05 CET 2018-12-08 07:42:40 CET 2018-12-08 11:04:44 CET 2018-12-08 14:19:36 CET
Run set 2ls.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] cbmc.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] cbmc-path.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] cpa-seq.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] depthk.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] divine-explicit.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] divine-smt.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] esbmc-kind.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] map2check.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] pesco.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] predatorhp.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] smack.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] symbiotic.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] uautomizer.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] ukojak.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup] utaipan.[sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup]
Options --graphml-witness witness.graphml --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp19 -heap 10000M -benchmark -timelimit 900s --no-symbolic -s kinduction -svcomp19-pesco -heap 10000M -stack 2048k -benchmark -timelimit 900s --witness error-witness.graphml -w error-witness.graphml --witness witness.graphml --full-output --full-output --full-output
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J)
array-memsafety/add_last_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .17  26 1.5  .11  7.1 .77 .056 8.7 .55 3.7 280 32 .22 34 2.2 8.5   450   100    1.6   200   22     .14  27   1.7   .47 83 5.4 3.6  280 31   .17 36 1.1 3.3  82 38   .21  18 2.4  8.3 340 66 9.0 370 70 9.5 370 77
array-memsafety/bubblesort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .090 24 .68 .11  7.2 .37 .11  7.4 .44 960   12000 9700 .14 33 1.7 8.2   430   96    8.8   430   110     .084 26   .81  .48 83 5.2 920    12000 8700   .15 34 1.5 3.3  86 44   .18  19 2.1  6.8 330 58 9.1 370 68 8.3 370 57
array-memsafety/count_down_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .18  26 1.4  .11  7.5 .99 .061 8.8 .58 3.9 280 36 .22 34 2.2 8.4   450   100    1.6   200   19     .12  30   2.0   .47 83 5.8 3.6  270 32   .16 35 1.6 3.3  83 41   .21  17 2.9  9.5 380 65 8.9 360 68 9.4 380 72
array-memsafety/cstrcat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .083 24 .66 .064 7.1 .58 .098 6.9 .29 2.7 250 23 .14 33 1.7 8.3   430   110    8.3   430   110     .086 26   1.2   .52 83 5.9 2.7  250 23   .15 33 2.0 3.3  87 40   .15  15 1.7  7.7 360 60 7.9 370 68 7.6 350 57
array-memsafety/cstrchr_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .17  26 1.4  .078 7.5 .95 .069 8.7 .58 3.6 280 34 .20 34 2.3 8.3   450   120    1.6   200   22     .13  27   1.9   .48 83 5.1 3.7  280 34   .27 48 1.7 3.4  85 48   .95  17 12    14   570 130 11   460 86 16   590 130
array-memsafety/cstrlen_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .17  26 1.5  .091 7.7 .60 .10  7.1 .49 3.8 280 33 .55 36 6.6 8.4   440   110    1.6   200   23     .17  27   1.9   39    1100 450   3.7  280 34   .14 36 1.4 3.4  85 45   .31  18 3.1  11   440 87 9.4 360 76 11   430 81
array-memsafety/cstrncat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .089 24 .83 .067 7.1 .61 .078 6.8 .31 2.6 250 27 .15 33 1.6 8.1   430   110    8.3   430   100     .084 26   .97  .44 83 6.4 2.9  250 26   .26 48 1.5 3.2  82 38   .17  16 1.7  7.8 360 63 8.8 370 72 7.9 370 62
array-memsafety/cstrncpy_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .084 24 .74 .068 8.0 .72 .059 7.5 .51 2.8 250 27 .14 33 1.6 8.4   430   110    8.5   430   93     .084 26   .78  .46 83 5.4 2.8  250 25   .16 33 1.4 3.3  83 46   .17  18 2.4  7.3 350 63 7.7 350 59 7.3 350 58
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .17  26 1.7  .10  7.5 1.0  .073 7.4 .59 3.5 250 32 .22 34 2.6 8.5   440   120    1.6   200   20     .18  27   1.9   .47 83 5.3 3.7  280 31   .27 49 2.0 3.7  88 53   .76  18 10    23   570 240 13   560 110 23   520 260
array-memsafety/diff_usafe_false-valid-deref.i valid-deref valid-free valid-memtrack .084 24 .71 .074 7.3 .67 .075 7.2 .56 840   9300 7500 .14 33 1.6 8.1   430   97    8.5   430   120     .086 26   .86  .45 83 5.9 900    9900 11000   .17 36 1.4 3.3  84 39   .19  18 2.0  8.2 370 67 8.6 360 65 8.0 370 70
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .17  26 1.7  .65  74   8.2  .086 8.3 .96 4.0 290 35 .28 34 3.9 8.4   440   110    1.6   200   20     .23  27   2.4   .47 83 6.4 3.7  280 36   .23 49 1.9 3.5  89 39   .25  18 4.3  10   390 70 10   370 79 9.6 380 81
array-memsafety/lis_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .18  26 1.5  .11  7.5 .94 .11  7.3 .88 3.7 280 34 .22 34 2.6 8.3   450   120    1.6   200   21     .16  27   2.1   900    1700 9200   3.6  280 33   .15 36 1.3 3.6  120 54   .40  18 5.3  12   480 110 27   810 250 14   510 120
array-memsafety/mult_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .17  26 1.4  .14  15   1.5  .064 7.4 .55 3.6 280 29 .40 38 4.9 8.4   450   110    1.6   200   21     .20  29   2.4   .48 83 5.2 3.7  280 33   19    15000 200   3.4  86 42   .31  21 3.8  9.6 380 72 8.7 360 66 9.9 380 78
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .16  26 1.5  .28  29   3.0  .11  7.5 .64 3.4 250 32 .64 36 8.0 8.5   450   91    1.6   200   21     .23  27   2.5   .46 82 4.9 3.6  270 30   .16 36 2.7 3.4  87 43   .54  18 8.0  11   400 76 12   480 98 9.9 390 81
array-memsafety/reverse_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .16  26 1.9  .24  29   2.8  .062 8.3 .61 3.8 280 30 .20 34 2.3 8.3   450   120    1.6   200   21     .16  27   1.5   .44 83 5.6 3.6  250 34   .15 34 1.5 3.3  87 47   .23  18 3.0  10   370 75 8.5 340 63 9.9 390 78
array-memsafety/selectionsort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .086 24 .70 .065 7.1 .66 .058 7.0 .53 630   7600 6700 .14 33 2.0 8.1   430   98    8.7   430   110     .086 26   .87  .48 83 5.1 900    8900 8300   .16 35 1.5 3.3  84 45   .19  17 1.9  8.0 360 60 8.1 330 65 7.1 330 56
array-memsafety/stroeder1_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .089 24 .76 .077 7.4 .33 .069 6.7 .30 2.8 250 27 .14 34 1.9 8.2   430   120    1.6   200   20     .078 26   1.1   .45 82 5.5 2.8  250 25   .17 35 1.4 3.3  83 34   .18  18 2.3  7.9 360 69 7.5 350 63 7.8 350 56
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.5  710     13000   6100    880     830   10000    3.6 280 35 900    190 12000   8.5   440   120    1.6   200   23     900     460   12000     12    74 170   3.8  280 30   19    15000 210   760    370 7300   .22  19 2.4  900   1000 7700 900   860 7700 900   2500 14000
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.7  830     14000   8900    870     3800   12000    3.6 280 31 900    260 12000   8.3   450   90    1.5   200   22     900     660   12000     230    75 3200   3.6  260 32   19    15000 210   760    550 7600   900     1400 12000    11   450 77 15   660 130 10   450 94
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .15  26 1.9  270     13000   3000    880     11000   12000    3.6 280 31 900    240 13000   8.4   450   100    1.6   200   18     900     530   12000     900    75 9400   3.6  270 32   19    15000 210   760    670 9300   900     6400 13000    11   490 92 15   570 130 12   500 93
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .18  26 1.8  190     14000   2100    880     5600   12000    3.8 280 31 900    770 11000   8.2   450   91    1.6   200   22     900     1200   11000     350    75 4200   3.7  280 33   19    15000 200   760    460 10000   900     1300 10000    12   500 99 64   870 750 13   530 110
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.7  280     13000   3200    840     15000   13000    3.6 280 31 900    1100 9800   8.3   450   120    1.6   200   26     900     1300   10000     18    75 300   3.3  250 32   19    15000 220   760    670 5900   900     130 12000    11   460 87 22   730 170 11   410 89
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.6  850     14000   10000    880     9000   14000    3.6 270 31 900    220 13000   8.3   440   100    1.5   200   22     900     510   13000     900    650 8800   3.5  270 36   19    15000 200   760    230 9200   900     470 7500    13   520 110 34   860 380 14   560 120
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.5  110     14000   1100    .082 8.3 .48 3.5 260 31 300    70 4200   8.4   450   120    1.6   200   20     900     650   13000     900    180 12000   3.8  260 35   .32 49 2.4 760    330 7900   900     320 13000    900   2600 13000 900   870 8000 900   8200 5400
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.6  880     2800   11000    .057 7.9 1.0  3.5 270 32 130    42 1700   8.3   440   100    1.6   200   21     900     800   10000     76    90 1100   3.7  280 32   .17 35 1.3 760    220 8200   900     350 11000    13   500 100 25   610 250 15   610 130
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .18  26 1.3  880     3300   11000    .075 8.5 .57 3.5 250 35 230    75 3300   8.4   450   100    1.6   200   21     900     580   12000     34    75 440   3.8  280 30   .17 33 2.3 760    280 9700   900     470 11000    24   740 230 900   950 10000 35   780 330
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.8  120     13000   1200    .060 8.8 .57 3.4 250 33 150    46 2300   8.3   450   100    1.6   200   23     900     1400   11000     160    89 2200   3.7  280 31   .16 32 1.5 760    250 11000   900     300 13000    19   540 160 100   730 1100 19   650 160
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .18  26 1.3  880     4700   10000    .094 8.0 .56 3.8 280 37 900    190 12000   8.4   450   110    1.6   200   24     900     670   11000     30    75 380   3.6  280 32   .47 49 1.3 760    730 6900   900     380 13000    23   570 220 900   970 9200 160   760 2300
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.3  880     3400   5900    .062 8.3 .51 3.7 270 35 66    42 840   8.3   450   99    1.6   200   20     900     780   12000     16    75 200   3.6  280 31   .36 49 1.4 760    210 11000   900     390 11000    13   520 110 20   710 160 14   580 120
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.9  240     14000   2500    .11  7.6 .57 3.8 280 37 390    62 5200   8.3   450   81    1.6   200   21     900     580   11000     900    210 12000   3.8  280 33   .26 49 2.2 760    310 9400   900     140 9400    900   2100 11000 900   970 7300 900   2200 13000
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.4  880     3400   11000    .069 8.7 .55 3.7 280 35 300    67 4600   8.4   450   110    1.6   200   21     900     890   11000     900    98 11000   3.7  280 33   .28 33 2.1 760    310 7900   900     300 13000    28   780 300 140   760 1400 28   610 240
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .15  26 1.9  360     14000   3800    .067 8.5 .65 3.8 280 36 900    310 11000   8.4   450   110    1.6   200   23     900     3800   10000     43    74 540   3.7  280 35   .17 34 1.5 760    280 8900   900     340 9800    20   550 190 190   950 1700 25   710 190
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.8  880     4700   13000    .085 8.0 .40 3.8 280 31 900    180 12000   8.3   450   120    1.6   200   27     900     700   12000     30    75 410   3.7  280 31   .17 35 1.5 760    730 6300   900     400 11000    45   690 430 900   940 7600 33   820 280
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.8  880     4700   10000    .062 8.8 .72 3.7 280 37 900    180 11000   8.2   450   110    1.6   200   20     900     700   12000     31    75 430   3.7  260 34   .31 49 1.6 760    710 8300   900     390 14000    67   720 820 900   960 7800 61   960 640
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.5  880     12000   5000    880     14000   12000    3.7 280 32 900    200 12000   8.5   450   100    1.6   200   20     900     290   12000     41    75 500   3.9  280 34   20    15000 190   760    180 11000   900     1300 11000    22   670 200 900   1000 9600 20   690 180
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.3  460     14000   5400    870     2000   12000    3.6 270 36 900    270 13000   8.4   450   96    1.6   200   19     900     500   11000     14    75 220   3.7  280 32   19    15000 220   760    520 7800   900     1400 9800    15   510 130 27   630 290 17   650 150
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.4  270     13000   3800    830     15000   13000    3.6 270 34 890    790 9500   8.6   440   110    1.6   200   22     900     1300   10000     18    70 230   3.7  280 29   19    15000 200   760    540 7500   900     880 11000    12   490 100 90   740 790 12   560 98
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.9  800     14000   8800    840     15000   14000    3.8 280 34 900    640 12000   8.2   450   120    1.6   200   22     900     990   10000     18    75 280   3.8  280 40   31    15000 290   750    320 6400   900     460 12000    23   750 190 900   1100 6900 23   550 200
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.6  100     14000   830    880     260   11000    3.3 250 29 370    85 4900   8.4   450   120    1.6   200   22     900     2400   11000     900    2100 7000   3.8  280 35   20    15000 230   760    350 7500   900     1100 12000    23   470 280 130   590 1400 26   510 240
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.2  140     13000   1500    .10  7.5 .42 3.7 280 30 60    40 780   8.3   450   100    1.6   200   20     900     2200   12000     740    87 8600   3.8  280 31   .15 34 1.4 760    360 9700   900     330 10000    14   500 120 30   620 280 16   530 150
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.2  880     1900   9400    .058 8.6 .61 3.7 280 32 77    42 1100   8.4   450   100    1.5   200   23     900     1500   11000     310    180 4300   3.8  280 32   .15 36 1.5 760    390 11000   900     580 13000    14   550 120 900   720 10000 15   590 120
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.5  .079 7.2 .81 .12  6.8 .49 3.7 280 33 130    48 1800   8.5   440   110    1.6   200   20     900     310   12000     320    180 4300   3.7  280 34   .16 35 1.4 760    400 9900   900     270 12000    21   540 220 900   760 12000 17   640 160
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .19  26 1.5  150     13000   1500    .057 8.2 .55 3.6 280 29 58    40 690   8.3   450   130    1.6   200   23     900     2100   13000     180    130 2500   3.4  250 30   .15 35 1.5 760    400 9700   900     1400 11000    14   520 120 20   530 180 13   500 130
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.7  120     13000   1200    .057 7.8 .72 3.7 280 33 150    46 1800   8.3   450   120    1.5   200   22     900     1200   13000     160    88 2000   3.3  250 34   .17 35 1.3 760    260 8700   900     280 10000    17   500 150 45   730 430 26   590 250
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.7  360     14000   3400    .075 7.5 .48 3.8 280 35 900    310 10000   8.4   450   96    1.6   200   20     900     4000   10000     42    75 610   3.7  280 32   .20 36 1.4 760    260 9500   900     520 13000    46   870 400 900   940 10000 89   820 1100
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.5  110     14000   1100    .071 8.1 .59 3.9 280 31 300    75 3600   8.5   450   100    1.6   200   21     900     650   12000     900    180 12000   3.8  280 37   .21 36 2.0 760    320 7800   900     340 13000    900   2600 13000 900   990 8000 900   2200 11000
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .20  26 1.5  880     1800   9900    .089 7.7 .48 3.5 250 34 240    81 2900   8.3   450   92    1.6   200   22     900     830   11000     35    75 470   3.5  250 35   .17 36 2.3 760    270 8100   900     200 11000    26   570 230 190   980 1900 55   720 600
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.5  120     13000   1400    .088 7.6 .41 3.8 280 31 150    46 2000   8.2   450   92    1.6   200   19     900     1200   12000     160    88 1900   3.6  250 31   .29 49 1.7 760    260 9500   900     230 12000    16   520 140 55   940 530 18   680 150
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 2.6  870     310   3600    .092 8.0 .52 3.7 280 34 900    230 11000   8.4   450   110    1.6   200   20     900     1200   13000     48    75 670   3.8  280 31   .20 36 1.7 760    280 8400   900     420 11000    620   1200 9100 900   850 9600 900   1500 14000
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.5  880     8200   6000    .072 8.5 .52 3.6 280 32 900    110 12000   8.5   450   110    1.6   200   21     900     380   13000     41    75 550   3.8  280 38   .21 34 1.5 760    280 9700   900     370 11000    37   690 300 900   940 9300 41   840 400
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.7  880     3400   4400    .063 7.9 .49 3.5 270 28 66    40 850   8.5   450   100    1.6   200   21     900     780   13000     15    75 190   3.7  270 36   .14 34 1.2 760    210 10000   900     350 13000    13   590 96 22   710 160 14   600 120
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.4  230     14000   2400    .066 7.8 1.2  3.9 280 34 370    65 4700   8.2   440   110    1.6   200   18     900     640   11000     900    210 10000   3.8  280 33   .22 36 1.9 760    350 11000   900     140 10000    900   2300 12000 900   860 8900 900   2100 12000
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.6  880     3800   9600    .064 8.5 .58 3.6 280 34 260    75 4000   8.3   450   98    1.5   200   23     900     1200   11000     900    100 14000   3.7  280 31   .23 35 1.4 760    290 9200   900     310 11000    31   810 320 330   1000 3000 38   680 340
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.5  350     14000   4200    .10  7.4 .53 3.6 250 34 900    310 10000   8.4   450   100    1.6   200   20     900     4000   12000     41    75 570   3.7  280 33   .42 49 1.4 760    270 10000   900     490 14000    27   600 270 900   920 12000 31   760 300
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.4  880     1600   9000    .067 8.3 .50 3.7 280 34 71    41 890   8.4   450   100    1.6   200   19     900     810   13000     620    75 7400   3.8  280 33   .38 49 1.5 760    250 8900   900     370 11000    12   500 100 900   810 11000 13   580 110
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.6  880     260   7400    .067 7.7 .64 3.8 280 31 900    190 9700   8.5   450   110    1.6   200   19     900     720   12000     42    75 550   3.4  250 34   .19 36 1.6 760    680 7100   900     330 12000    30   580 380 900   860 8600 170   910 2000
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.7  880     1000   10000    .095 7.5 .56 3.7 280 37 900    160 10000   8.5   450   110    1.6   200   20     900     220   12000     59    75 870   3.7  280 31   .19 37 1.8 760    300 7300   900     360 11000    26   610 240 900   920 10000 35   820 340
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .21  26 1.4  880     4700   4500    .11  7.4 .56 3.8 280 35 900    240 11000   8.5   450   93    1.6   200   20     900     400   14000     53    75 770   3.6  250 31   .30 50 2.3 750    330 7300   900     310 12000    900   1200 11000 900   940 8500 900   1200 13000
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.5  880     5000   7500    .091 7.3 .44 3.7 270 34 .59 36 8.8 8.4   450   110    1.6   200   20     900     990   11000     21    75 290   3.6  280 36   .14 36 1.3 760    310 10000   900     570 11000    13   490 120 25   760 240 14   550 130
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.6  120     14000   1200    880     12000   11000    3.7 280 34 900    220 12000   8.4   450   100    1.6   200   24     900     360   14000     16    75 200   3.7  280 37   19    15000 190   760    510 6400   900     1100 11000    18   680 150 900   1300 11000 17   540 150
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.5  880     2500   3900    880     160   10000    3.9 280 32 78    52 940   8.4   450   110    1.6   200   20     900     3100   11000     15    75 220   3.7  280 30   19    15000 200   760    260 8900   900     1400 13000    11   500 80 13   570 97 12   520 92
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.4  240     13000   2400    870     3300   12000    3.7 280 36 900    160 11000   8.3   450   100    1.6   200   22     900     550   12000     15    74 230   3.4  250 32   20    15000 220   760    670 7400   900     1500 11000    12   510 94 20   550 170 12   490 110
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .18  26 1.4  880     11000   9300    .059 7.8 .54 3.7 280 33 900    230 12000   8.4   440   120    1.6   200   20     900     240   9500     210    140 3000   3.7  280 31   .17 35 2.2 760    160 9100   900     350 12000    18   600 160 900   610 11000 15   590 130
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .16  26 1.7  880     1200   4700    .071 8.2 .66 3.7 280 34 690    110 9000   8.3   450   110    1.6   200   21     900     250   13000     36    75 470   3.5  250 30   .17 35 1.4 760    240 8200   900     430 11000    36   640 420 220   770 2300 26   610 270
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.8  880     5300   9600    .088 9.1 .56 3.7 280 33 900    220 10000   8.4   450   100    1.6   200   20     900     780   10000     36    74 470   3.9  280 32   .18 35 1.3 760    710 5700   900     390 14000    230   870 2900 900   880 8000 200   1200 2900
array-examples/relax_false-valid-deref.i valid-deref valid-free valid-memtrack .16  26 1.8  .13  7.9 .76 .13  7.8 .83 3.5 250 33 .23 35 2.6 8.3   450   100    1.6   200   19     .17  27   1.8   320    4000 2800   3.8  280 32   .14 35 1.1 750    250 9400   .67  18 7.8  9.5 350 81 9.7 370 78 9.3 370 76
array-examples/sanfoundry_24_false-valid-deref.i valid-deref valid-free valid-memtrack .090 24 .73 880     4000   7900    180     15000   1900    900   4800 12000 90    71 1100   8.3   430   88    8.6   430   94     900     1000   8500     900    100 9800   900    4800 13000   900    4200 8700   7.5  100 100   900     1100 11000    900   1000 9100 900   1200 7800 900   860 8600
array-examples/standard_strcpy_false-valid-deref_ground.i valid-deref valid-free valid-memtrack .092 23 1.2  56     15000   750    200     15000   2300    900   5200 11000 66    55 800   8.0   430   110    8.2   430   100     900     220   13000     350    4300 4400   900    5200 12000   900    5500 8600   8.3  100 100   2.0   100 31    900   820 10000 900   1100 6600 900   1100 11000
array-examples/standard_strcpy_original_false-valid-deref.i valid-deref valid-free valid-memtrack .099 23 .57 57     15000   720    410     15000   6300    900   5200 12000 53    54 670   8.2   430   100    8.1   430   98     900     1100   11000     340    4300 3500   900    5200 12000   900    4200 9800   9.6  110 130   2.1   100 29    900   930 7800 900   1100 5600 900   980 9100
array-memsafety-realloc/array-realloc_false-valid-free.i valid-deref valid-free valid-memtrack .18  26 1.4  .11  8.0 1.3  .16  8.5 1.0  3.9 280 35 14    49 210   8.3   450   100    9.0   450   110     .16  26   1.5   .75 39 11   11    460 110   .19 35 1.4 760    290 9000   .24  17 2.3  12   450 92 13   520 130 11   420 82
array-memsafety-realloc/array-realloc_true-valid-memsafety.i valid-deref valid-free valid-memtrack .17  26 1.6  10     1300   140    .15  11   1.3  3.8 280 30 37    74 530   8.4   440   110    9.1   450   130     .16  27   1.7   .74 39 9.2 4.2  290 33   .18 37 1.5 880    240 9800   1.3   19 18    27   690 240 63   950 540 900   1000 12000
memsafety/960521-1_false-valid-deref.i valid-deref valid-free valid-memtrack .17  26 1.9  .84  30   11    3.2   34   44    11   700 85 74    63 970   8.6   450   100    8.6   450   98     5.3   110   82     .47 83 5.9 10    720 85   7.0  140 72   750    330 8600   .19  15 1.9  900   830 11000 900   1000 6700 900   910 10000
memsafety/test-0137_false-valid-deref.i valid-deref valid-free valid-memtrack .18  26 3.9  .27  22   3.5  .15  9.6 1.6  910   4700 8100 .20 34 2.2 8.5   450   110    8.7   450   110     .13  27   1.6   .51 83 6.5 910    4700 8400   .40 35 4.3 4.4  92 50   .25  18 2.7  13   330 100 13   360 110 13   340 110
memsafety/test-0235_false-valid-deref.i valid-deref valid-free valid-memtrack .31  27 2.9  58     2600   500    .13  11   1.8  900   5000 9000 .64 42 10   900     560   8900    900     560   9500     .56  33   7.9   .50 83 6.4 900    5000 8600   900    8200 11000   36    150 460   .33  18 4.4  900   2300 12000 900   890 12000 900   960 12000
memsafety/960521-1_false-valid-free.i valid-deref valid-free valid-memtrack .17  26 1.5  .91  30   11    4.8   45   62    11   720 95 74    62 1000   8.5   450   110    8.6   450   110     5.3   110   69     .43 82 6.1 11    730 110   7.0  170 80   750    330 8800   .18  16 2.4  900   1000 11000 900   1200 8300 900   1000 10000
memsafety/test-0158_false-valid-free.i valid-deref valid-free valid-memtrack .19  27 2.2  .13  9.2 .70 .087 9.0 .70 4.0 290 33 .21 34 2.7 8.2   450   99    8.3   450   89     .14  27   1.6   .46 82 6.4 4.1  280 32   .16 35 1.6 4.6  81 58   .18  16 1.8  10   390 75 13   610 120 10   400 76
memsafety/test-0232_false-valid-free.i valid-deref valid-free valid-memtrack 1.8   71 22    .12  8.1 1.2  .071 7.5 .97 900   4900 8600 .63 36 7.2 8.4   450   100    8.5   450   95     .30  28   4.2   900    160 9500   910    4800 7400   .36 50 1.3 760    270 6400   .22  17 2.7  500   1600 6000 900   950 8400 900   780 11000
memsafety/20020406-1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .33  29 4.4  .15  8.9 1.9  .29  12   3.9  4.6 280 44 5.6  66 84   8.3   450   100    8.8   450   100     4.3   93   55     .54 83 6.1 4.6  290 43   .21 40 1.7 12    100 150   .24  17 2.6  900   2300 12000 900   1200 9000 900   1200 11000
memsafety/20051113-1.c_false-valid-memtrack.i valid-deref valid-free valid-memtrack .18  26 1.5  .22  7.5 3.5  1.9   20   25    4.1 280 34 1.4  36 21   8.5   450   100    8.3   450   120     .40  27   5.3   .45 83 5.5 4.3  280 37   .17 35 1.3 8.6  86 110   .18  15 2.1  900   910 11000 900   1100 7200 910   13000 5200
memsafety/lockfree-3.1_false-valid-memtrack.i valid-deref valid-free valid-memtrack 10     230 140    2.7   120   32    .076 8.5 .50 910   3500 7600 4.8  44 61   8.5   450   110    8.6   450   120     1.0   34   13     900    250 12000   910    5500 5300   .22 37 1.9 840    180 10000   .30  17 3.1  82   1000 670 900   1100 6200 110   1200 960
memsafety/lockfree-3.2_false-valid-memtrack.i valid-deref valid-free valid-memtrack 11     220 110    .096 7.5 1.0  .075 7.9 .54 910   5400 5900 .50 35 6.2 8.3   450   100    8.6   440   100     .16  27   1.6   900    240 10000   920    5700 4800   .17 36 1.7 840    180 11000   .23  17 2.8  23   560 200 25   580 200 24   590 210
memsafety/lockfree-3.3_false-valid-memtrack.i valid-deref valid-free valid-memtrack 10     220 100    2.7   120   35    .073 7.6 .49 920   5300 5900 18    68 220   8.8   450   100    8.7   450   110     4.9   74   59     900    240 11000   910    5400 6900   .20 37 2.1 750    160 8400   .58  26 8.3  130   2500 1200 900   1200 6000 180   4100 1800
memsafety/test-0019_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack .18  26 2.0  .079 8.3 .69 .12  6.7 .66 3.7 270 34 .16 34 1.9 8.4   440   100    8.3   450   120     .13  26   1.2   .46 83 4.7 3.4  260 34   .15 35 1.7 6.3  110 75   .20  16 1.9  27   580 240 39   670 350 25   570 240
memsafety/test-0102_false-valid-memtrack.i valid-deref valid-free valid-memtrack .20  27 1.7  .18  11   2.2  .093 7.8 .85 900   4700 8300 4.1  63 56   8.5   450   110    8.8   440   120     49     190   560     .48 83 6.3 900    4700 9800   33    710 350   750    330 5500   .25  18 3.1  13   360 100 12   330 110 12   330 110
memsafety/test-0158_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack .18  26 1.9  .060 7.0 .67 .064 7.5 .52 3.7 280 31 .15 34 1.6 8.3   450   110    8.3   450   94     .088 27   1.1   .45 83 5.4 3.4  260 34   .15 33 1.5 6.1  76 72   .16  15 1.9  16   340 120 18   380 150 15   340 120
memsafety/test-0220_false-valid-memtrack.i valid-deref valid-free valid-memtrack .18  27 1.8  .21  11   2.0  .094 8.7 .92 900   4800 7700 20    120 240   8.4   450   110    8.6   440   110     68     460   730     900    180 10000   910    4800 8000   .42 38 5.1 750    380 7900   .27  17 2.8  900   1700 12000 900   610 12000 900   1600 11000
memsafety/test-0232_false-valid-memtrack.i valid-deref valid-free valid-memtrack .99  51 12    .093 6.8 1.0  .11  7.0 .55 900   4900 6800 .17 34 1.8 8.3   450   110    8.5   450   100     .11  26   1.2   .49 83 4.5 900    4800 6900   .17 35 1.4 840    320 8400   .21  18 2.5  50   750 510 900   930 10000 58   750 660
memsafety/test-0234_false-valid-memtrack.i valid-deref valid-free valid-memtrack .21  27 2.2  6.4   310   82    .16  11   1.3  900   5000 8500 .49 41 6.1 900     570   8600    900     570   8000     .42  33   5.3   .49 83 7.7 900    5000 11000   3.7  130 40   750    390 7400   .29  18 3.0  900   2200 13000 900   640 12000 900   970 12000
memsafety/test-0235_false-valid-memtrack.i valid-deref valid-free valid-memtrack .27  27 2.8  12     580   150    .14  11   1.5  900   5000 11000 .53 41 5.7 900     570   9700    900     570   10000     .43  33   5.6   .53 83 6.1 900    4900 10000   3.7  130 46   750    380 9600   .32  18 4.2  900   2300 13000 900   770 11000 900   930 13000
memsafety/960521-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .16  26 1.7  93     15000   1300    880     14000   12000    910   8700 10000 72    64 1100   100     6100   1100    100     6100   1000     900     13000   10000     900    120 9600   900    8800 10000   900    6900 7900   770    210 8800   .62  23 9.3  900   1100 12000 900   1600 5900 900   770 11000
memsafety/lockfree-3.0_true-valid-memsafety.i valid-deref valid-free valid-memtrack 10     220 120    880     2000   6200    .090 8.0 .62 900   5400 7300 900    390 11000   900     7000   8000    900     7000   8400     900     710   12000     900    240 12000   920    5800 5900   37    240 340   880    180 12000   900     3700 6100    910   8600 7800 900   1200 6000 900   12000 7700
memsafety/test-0019_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .18  26 2.1  .097 6.9 .78 .13  8.0 1.6  3.5 270 30 .42 35 5.2 8.3   390   100    8.5   390   96     .12  26   1.8   120    4400 1500   3.6  280 32   .14 34 1.4 5.7  74 76   .14  15 1.5  21   670 170 900   1200 11000 18   520 160
memsafety/test-0102_true-valid-memsafety.i valid-deref valid-free valid-memtrack .19  26 2.2  880     4400   11000    .13  7.8 .81 900   4700 8700 900    770 9200   900     500   7900    900     500   7200     900     2400   12000     900    170 10000   900    4700 10000   .64 57 6.2 750    370 5900   900     2900 8200    13   330 94 13   350 100 12   340 94
memsafety/test-0134_true-valid-memsafety.i valid-deref valid-free valid-memtrack .19  26 1.6  880     2500   8200    650     15000   7200    900   4700 11000 900    1300 9200   8.4   450   100    8.6   450   82     900     2600   9800     900    190 11000   910    4700 9800   .74 62 6.7 750    360 6600   900     1500 15000    12   310 100 13   350 120 13   340 110
memsafety/test-0158_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.7  .091 7.1 1.1  .081 7.7 .79 3.6 270 31 .49 35 6.0 8.5   390   100    8.4   390   120     .16  26   2.0   320    4300 3200   3.7  280 33   .27 47 1.7 5.4  75 70   .13  16 1.5  10   390 87 13   560 130 10   390 76
memsafety/test-0214_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack .19  27 2.1  880     2100   8200    .10  9.3 1.2  900   5400 8400 900    6100 7300   900     570   9300    900     570   8400     .36  32   4.6   900    200 10000   910    5500 8100   .58 51 3.7 750    210 6300   230     82 2400    900   2100 12000 900   970 7500 900   13000 7500
memsafety/test-0217_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack .17  27 1.8  50     13000   620    .13  8.3 1.0  900   11000 8500 310    15000 3100   900     640   8400    900     670   8200     .87  82   10     900    220 11000   910    11000 7900   .46 38 5.3 750    290 7000   900     130 8600    900   2400 12000 900   1000 8500 900   3700 12000
memsafety/test-0218_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack .18  27 2.0  880     3900   11000    .11  9.0 1.0  950   11000 9900 260    15000 3300   900     640   8100    900     680   9000     .45  48   6.0   900    220 11000   970    11000 8500   .47 38 5.0 750    280 7800   900     260 12000    900   1100 12000 900   960 8900 900   1100 11000
memsafety/test-0219_true-valid-memsafety.i valid-deref valid-free valid-memtrack .18  27 2.2  880     920   6300    .098 8.4 .99 900   4800 8100 900    1600 10000   900     400   8700    900     400   8800     900     2900   9700     900    180 10000   900    4900 9900   .83 58 8.2 750    430 6500   900     2900 6700    900   2300 14000 900   610 12000 900   1200 12000
memsafety/test-0232_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.0   86 22    880     3300   11000    .075 7.5 .81 900   4900 7200 900    300 11000   900     420   9000    900     420   9500     900     660   10000     900    160 10000   900    4900 8900   .39 35 5.1 880    310 8100   900     940 11000    900   1300 11000 900   1000 10000 900   910 13000
memsafety/test-0234_true-valid-memsafety.i valid-deref valid-free valid-memtrack .23  27 2.1  880     1100   3900    .13  11   1.6  910   5000 11000 900    10000 7900   900     560   8900    900     560   8500     200     15000   2000     900    200 11000   910    4900 11000   .82 65 7.8 750    400 6800   900     2800 6700    900   2300 12000 900   840 13000 900   950 10000
memsafety/test-0235_true-valid-memsafety.i valid-deref valid-free valid-memtrack .29  27 2.8  880     2400   3500    .14  11   1.6  900   5000 11000 900    11000 5700   900     560   9800    900     560   8400     210     15000   2400     900    200 11000   900    5000 9700   3.9  160 38   750    390 7700   900     3000 7900    900   2200 12000 900   770 12000 900   12000 10000
memsafety/test-0236_true-valid-memsafety.i valid-deref valid-free valid-memtrack .23  27 2.3  880     1800   4400    .17  12   1.9  900   4800 9300 900    15000 10000   900     550   8400    900     550   8400     210     15000   2400     900    190 12000   900    4800 10000   .91 63 8.2 750    440 6800   900     2800 6400    900   2400 12000 900   630 14000 900   880 11000
memsafety/test-0237_true-valid-memsafety.i valid-deref valid-free valid-memtrack .23  27 2.7  880     1800   6700    .17  12   1.7  900   4700 11000 800    15000 8800   900     550   9500    900     540   9900     210     15000   3100     900    180 11000   900    4800 9700   .94 66 8.9 750    420 9400   900     2800 4800    900   1200 13000 900   800 12000 900   940 13000
memsafety/test-0504_true-valid-memsafety.i valid-deref valid-free valid-memtrack 190     1800 2200    880     1800   8200    .10  7.8 .60 900   11000 5700 900    570 14000   900     750   7100    900     700   8000     900     620   11000     900    160 11000   910    11000 6100   .72 37 8.9 750    330 6500   900     3200 8400    900   2200 12000 900   1000 6500 900   2100 14000
memsafety/test-0513_true-valid-memsafety.i valid-deref valid-free valid-memtrack 14     290 150    880     1900   10000    .088 8.0 .75 970   11000 5900 890    670 11000   8.5   450   100    8.6   450   100     900     930   11000     900    170 10000   910    11000 5600   .69 36 6.5 750    380 8900   900     1600 12000    900   2400 9400 900   1000 9100 900   900 12000
memsafety/test-0521_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     7100 10000    880     12000   9400    .13  8.2 .92 900   11000 5900 890    1000 9600   900     660   7600    8.7   450   110     900     1900   12000     900    170 10000   940    11000 6400   1.2  58 11   750    420 7200   900     3500 7100    900   2800 9700 900   910 11000 900   2200 12000
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .17  26 1.5  .16  6.8 1.1  .12  8.6 1.4  3.8 250 35 1.8  39 24   8.2   390   120    8.3   380   97     .65  29   8.0   180    4300 1900   3.6  250 32   .14 34 1.6 5.6  74 75   .16  15 2.1  900   970 9000 260   810 2500 900   940 11000
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.5   59 18    880     3800   12000    .080 7.4 .78 920   11000 6400 900    240 13000   900     600   8800    900     640   7600     900     400   11000     900    180 10000   910    11000 6500   900    890 5400   880    220 10000   900     3800 6800    900   1000 9600 900   890 7400 900   790 12000
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack 18     370 200    880     2500   6800    .13  8.7 1.3  970   12000 7400 900    160 13000   900     400   7300    900     400   8100     900     190   13000     900    230 10000   970    12000 7700   900    1800 8700   750    290 5600   900     3000 7900    900   1200 12000 900   1000 10000 900   950 13000
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack 130     1300 1300    870     2300   6600    .13  10   1.5  970   12000 7800 900    190 12000   900     420   7800    900     420   8100     900     250   11000     900    230 11000   970    11000 8000   900    1300 6600   750    350 7800   900     3000 7700    900   2300 12000 900   970 9800 900   880 13000
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack 26     500 240    880     1900   7000    .12  8.8 1.1  920   11000 6100 900    660 10000   900     1800   8300    900     1800   7800     900     800   11000     900    230 10000   930    11000 7000   900    440 5800   750    280 6800   900     190 12000    900   1200 14000 900   1000 8000 900   2100 12000
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack 900     5300 9400    880     2100   9400    .12  9.4 1.3  900   11000 7000 900    500 9900   900     2100   7600    900     2100   7300     900     1500   11000     900    230 12000   900    11000 6500   900    310 6300   750    290 5800   900     150 12000    900   1100 12000 900   930 7500 900   1000 12000
memsafety-ext/tree_of_cslls_true-valid-memsafety.i valid-deref valid-free valid-memtrack 260     3200 2100    880     9400   8900    .15  8.3 .96 940   11000 7100 900    650 10000   900     2700   9000    900     2500   8500     900     690   11000     900    170 10000   910    11000 7400   900    510 6900   750    320 6700   900     550 14000    900   2200 12000 900   1000 7400 900   860 10000
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack 54     900 550    880     1800   8500    .095 8.2 1.2  920   11000 6300 900    400 11000   900     1900   7700    900     1900   8400     900     920   12000     900    230 9800   910    11000 7000   900    480 6200   750    310 7200   900     230 12000    900   800 12000 900   1100 11000 900   1000 13000
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack 33     670 420    880     1800   6400    .11  8.9 1.4  920   11000 6000 900    430 11000   900     1800   8700    900     1800   8200     900     580   11000     900    230 11000   910    11000 6200   900    450 5300   750    310 7100   900     240 10000    900   2100 13000 900   920 7100 900   1500 10000
memsafety-ext2/split_list_test05_false-valid-deref.i valid-deref valid-free valid-memtrack 900     7400 11000    880     12000   9900    .19  9.3 1.3  900   11000 9100 160    15000 1900   8.6   450   100    900     420   8800     99     15000   1100     .49 83 6.4 900    12000 8900   900    1000 6400   750    420 9500   .90  38 12    900   2100 11000 900   1200 9600 910   13000 6600
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i valid-deref valid-free valid-memtrack .25  26 2.5  12     410   130    .11  8.8 1.4  4.6 290 40 900    1500 12000   8.7   450   110    8.5   450   110     900     1700   11000     900    200 11000   4.5  270 38   .33 49 1.8 750    430 6700   .27  18 3.5  900   950 12000 900   950 6300 900   1200 11000
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i valid-deref valid-free valid-memtrack .21  26 2.1  1.3   68   15    .12  10   1.5  970   11000 5900 900    2200 10000   8.2   450   100    8.6   450   120     900     4300   7500     900    160 12000   900    11000 6500   .19 38 1.5 750    430 6900   .32  18 4.2  900   1300 14000 900   1000 9800 900   1900 11000
memsafety-ext2/length_test03_false-valid-memtrack.i valid-deref valid-free valid-memtrack 130     1600 960    .83  20   11    .11  8.5 1.1  910   4800 7100 12    56 130   8.3   450   120    8.6   440   92     3.1   45   41     .46 83 6.2 900    4800 6600   .39 37 4.3 840    320 7200   .26  18 3.0  900   1500 12000 900   1000 8800 900   1800 12000
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i valid-deref valid-free valid-memtrack .17  26 1.7  10     120   120    .086 8.8 .77 900   5100 8300 900    360 10000   900     430   8100    8.6   450   99     900     480   12000     900    190 11000   900    5100 8400   .48 37 4.7 750    350 6500   .32  18 3.8  900   2300 13000 900   1000 9000 900   940 12000
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i valid-deref valid-free valid-memtrack .22  27 2.0  880     1500   8500    .12  9.2 1.2  900   6300 9900 900    1300 9200   8.4   450   99    8.6   450   120     900     1900   8700     900    180 10000   910    6400 9300   900    7200 9900   750    430 9300   900     3100 4600    900   960 11000 900   1000 7000 900   1300 11000
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i valid-deref valid-free valid-memtrack .21  26 2.3  880     1800   8700    .13  9.6 1.4  970   11000 6800 900    1800 10000   8.3   450   110    8.5   450   130     900     4000   8700     900    160 9700   920    11000 6400   900    2500 6800   750    460 8200   900     3100 8800    900   1300 14000 900   1100 8700 900   2000 11000
memsafety-ext2/length_test03_true-valid-memsafety.i valid-deref valid-free valid-memtrack 160     1700 1500    880     2200   9700    .12  8.6 .98 900   4900 6700 900    370 13000   900     420   8600    8.6   450   100     900     580   11000     900    170 9600   910    5000 6600   900    2600 12000   880    320 9200   900     1100 8700    900   2300 11000 900   1100 7100 900   2300 12000
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i valid-deref valid-free valid-memtrack .17  26 1.5  880     4900   8700    .11  7.3 .75 900   5100 7400 890    450 12000   900     430   8600    8.8   450   120     900     450   9900     900    190 12000   910    4200 9300   900    1900 4000   750    350 6100   900     3500 5300    900   2300 11000 900   990 6400 900   950 11000
memsafety-ext2/split_list_test05_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     7800 10000    880     11000   10000    .14  9.0 1.4  950   11000 8600 150    15000 1700   8.5   450   100    900     420   9500     97     15000   1300     900    160 10000   920    11000 9200   900    1000 7700   750    380 7300   900     3400 6400    900   1600 9000 900   1200 7100 900   990 11000
list-ext-properties/960521-1_1_false-valid-deref.i valid-deref valid-free valid-memtrack .18  26 1.8  .10  8.7 1.1  .090 7.9 .57 6.7 340 58 .58 36 8.3 8.4   450   110    8.3   450   110     .19  27   2.3   .45 83 5.1 6.1  330 57   .17 36 1.3 4.0  120 49   .23  18 2.7  13   540 110 12   540 120 14   590 110
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack 22     260 230    .16  12   1.6  .088 7.9 .61 6.4 310 57 .82 36 10   8.5   450   110    8.4   450   110     150     210   1900     .46 83 6.6 6.6  310 54   13    63 140   750    310 8100   .81  19 10    900   2000 11000 900   980 6800 900   1000 9200
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack 2.0   54 24    .13  9.5 1.2  .062 8.5 .81 910   6300 5600 .58 35 8.9 8.3   450   95    9.6   450   120     .26  27   2.6   2.8  75 41   910    6500 4800   .26 50 1.6 3.8  94 50   .37  18 4.6  11   440 77 21   730 180 11   470 93
list-ext-properties/960521-1_1_false-valid-free.i valid-deref valid-free valid-memtrack .18  26 1.5  .11  9.0 1.3  .067 7.9 .61 6.5 280 50 .59 35 7.5 8.6   450   120    8.3   440   100     .19  27   2.5   .48 83 5.5 6.8  350 54   .16 36 1.5 220    240 3400   .25  18 2.6  14   490 100 23   710 190 19   600 160
list-ext-properties/test-0158_1_false-valid-free.i valid-deref valid-free valid-memtrack .19  25 2.0  .12  8.2 .61 .076 9.1 .81 3.7 280 30 .19 34 2.8 8.4   450   100    8.6   440   110     .14  26   1.7   .44 83 6.5 3.5  250 29   .18 35 1.4 4.7  110 55   .20  18 2.1  10   410 74 20   550 190 9.9 390 80
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack .20  26 1.9  .096 7.7 .91 .093 7.5 .80 3.5 250 35 .16 34 1.8 8.4   450   100    8.2   450   92     .10  27   1.3   .45 83 5.0 3.8  280 34   .15 35 1.4 6.5  110 78   .18  15 1.9  140   930 1800 250   970 2900 120   920 1300
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack .18  26 1.7  .070 6.5 .43 .061 8.1 .67 3.8 280 37 .15 34 1.6 8.4   450   120    8.4   450   100     .088 26   1.1   .46 82 6.3 3.7  280 33   .26 49 1.8 6.2  83 71   .19  18 2.2  18   380 140 22   470 190 16   350 120
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack 1.2   55 17    .15  7.2 1.2  .086 7.3 .68 6.3 290 54 .16 34 1.9 8.4   450   120    8.6   450   110     .10  26   .92  .49 83 6.1 6.1  300 53   .16 34 1.4 840    340 8400   .21  17 2.9  71   800 830 900   830 11000 69   780 710
list-ext-properties/960521-1_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .17  26 2.0  36     1000   460    .11  7.3 .48 11   680 95 30    51 460   8.9   390   120    8.9   390   110     6.2   37   77     900    4300 8500   11    690 93   1.1  58 8.5 260    260 4100   .37  17 5.1  900   1000 12000 630   1100 5600 900   1100 12000
list-ext-properties/list-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack 22     260 200    76     240   1000    .082 7.9 .80 36   1900 290 400    220 5400   9.0   390   100    9.3   390   100     170     200   2500     900    4400 5900   38    1900 340   2.5  64 25   880    340 7300   .42  19 4.8  900   2200 10000 900   1000 8100 900   920 9700
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.4   45 17    37     110   450    .095 7.1 .45 900   6900 5400 130    95 1800   8.4   450   110    900     580   6600     51     120   610     900    4400 7200   930    7400 5800   900    470 5300   880    290 7700   600     3100 5700    900   2100 11000 900   1000 8700 900   1200 11000
list-ext-properties/simple-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .97  39 13    32     200   410    330     15000   4800    24   880 200 520    160 6100   8.6   390   100    8.8   390   120     270     180   3400     900    4400 9200   20    860 160   230    1700 2300   880    280 9200   .42  19 5.4  900   2100 9400 900   1100 6000 900   1000 9900
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .20  26 1.7  .10  7.9 1.2  .21  8.7 2.6  4.1 280 35 .44 35 5.4 8.3   390   110    8.4   380   100     .13  26   1.3   120    4400 1400   3.8  280 38   .16 35 1.2 5.9  77 88   .14  15 1.6  34   660 270 260   1000 2400 34   830 270
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack .18  26 1.9  .10  6.3 .62 .11  8.2 1.1  3.5 280 33 .53 35 6.7 8.4   390   110    8.6   380   120     .15  26   2.0   330    4300 4000   3.5  280 31   .14 33 1.2 5.5  74 68   .16  16 1.7  11   390 85 25   730 260 10   390 78
list-ext-properties/test-0214_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .18  27 1.8  570     490   4600    .10  8.7 1.1  910   5700 6200 210    310 2700   21     550   220    21     550   240     .36  27   4.5   35    4400 250   960    2500 8500   11    560 120   750    330 6200   1.6   22 21    900   1600 13000 900   1000 7900 900   1200 12000
list-ext-properties/test-0217_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .19  28 1.6  450     380   4500    .11  8.0 .95 910   5800 7100 190    240 2700   14     440   140    14     440   150     .51  32   7.3   900    300 9400   910    5400 6100   3.2  130 33   750    370 6400   3.4   24 43    900   2600 12000 900   1000 6500 900   1000 11000
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack 9.5   130 110    2.8   37   35    .094 7.7 .70 9.2 480 71 250    230 3100   8.5   390   100    8.5   390   120     120     240   1800     900    4300 11000   8.9  480 79   1.3  38 15   880    330 8900   .31  18 3.8  900   1400 12000 900   1000 9900 900   860 11000
list-ext-properties/test-0504_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack 110     1100 1200    3.3   59   49    .082 7.6 .80 910   5700 5200 900    2200 8200   9.6   390   130    9.8   390   110     270     190   3500     900    4300 9400   900    5900 4900   900    5200 5200   750    390 6400   1.4   39 17    900   1000 12000 900   1000 10000 900   1700 11000
list-ext-properties/test-0513_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack 34     400 270    4.3   140   56    .094 7.8 1.0  5.1 290 47 93    1800 1400   8.4   390   120    8.6   390   110     18     210   210     900    4300 7700   4.8  280 43   .24 38 2.2 190    260 2000   .22  17 2.8  900   2100 9700 900   1100 7200 900   820 11000
memory-alloca/c.03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .20  26 1.9  880     1300   8300    880     9100   11000    900   1000 13000 280    70 4000   8.3   450   96    1.6   200   22     900     510   10000     900    75 9500   900    940 11000   .49 35 4.3 7.1  82 83   .15  16 2.0  12   480 90 440   810 4700 12   450 93
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c valid-deref valid-free valid-memtrack .089 24 .62 .095 7.3 1.0  .067 7.2 .50 2.8 250 29 .18 33 2.0 8.2   430   120    8.2   430   100     .12  26   1.4   .46 82 6.6 2.9  250 28   .16 34 1.3 5.0  85 57   .20  16 1.7  9.0 350 69 9.5 360 76 9.3 370 69
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c valid-deref valid-free valid-memtrack .094 24 .89 .069 7.7 .61 .058 7.8 .63 2.7 250 28 .15 33 1.6 8.4   430   96    8.3   430   99     .10  26   .75  .48 83 5.7 2.8  250 24   .36 49 1.3 5.2  88 56   .18  15 2.0  9.4 380 75 9.8 410 81 9.6 390 89
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c valid-deref valid-free valid-memtrack .087 24 .78 .075 7.8 .43 .073 7.6 .42 2.8 250 26 .15 33 2.5 8.3   430   110    8.3   430   110     .081 26   .79  .44 82 6.1 2.9  250 25   .18 36 1.3 4.9  86 57   .17  15 1.9  8.5 370 69 8.3 370 59 7.5 350 53
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c valid-deref valid-free valid-memtrack .090 24 .81 .084 7.4 .40 .089 7.9 .48 2.9 240 26 .14 33 1.6 8.2   430   100    8.2   430   110     .080 26   .80  .44 83 5.1 2.8  240 27   .24 49 1.8 6.0  120 74   .17  16 2.5  7.1 340 58 9.2 370 62 8.2 350 59
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c valid-deref valid-free valid-memtrack .12  24 .75 1.3   20   17    1.5   26   21    9.3 380 68 87    220 1000   8.5   430   99    8.5   430   120     1.7   38   26     350    4300 3400   9.6  440 80   1.4  44 14   750    530 8400   .21  15 2.4  650   5000 9100 900   1200 7900 730   5200 8700
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c valid-deref valid-free valid-memtrack .087 24 .96 1.3   21   20    1.5   26   20    10   490 92 92    220 1100   8.5   430   110    8.8   430   120     1.7   37   25     .50 83 5.3 9.7  490 89   3.5  60 39   750    500 6800   .18  16 1.9  600   4900 8300 900   1200 6600 660   5100 8200
ldv-memsafety/memset2_false-valid-deref-write.c valid-deref valid-free valid-memtrack .17  25 1.3  .075 7.6 .52 .13  7.7 .54 2.8 240 23 11    37 140   8.2   430   97    8.3   430   100     1.3   41   17     .75 39 10   2.7  250 25   .24 48 1.5 2.8  74 36   .16  15 2.0  7.1 350 58 8.1 370 56 7.2 340 60
ldv-memsafety/memset3_false-valid-deref-write.c valid-deref valid-free valid-memtrack .16  25 1.4  .093 7.6 .53 .081 8.3 .62 2.7 250 23 46    40 660   8.2   430   100    8.3   430   110     14     340   220     .74 39 10   2.7  250 22   .14 33 1.4 2.8  73 31   .16  16 1.7  7.3 340 62 7.8 370 57 8.2 370 68
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c valid-deref valid-free valid-memtrack .17  25 1.8  .12  8.1 .52 .075 8.8 .65 2.8 250 26 11    38 160   8.3   430   110    8.2   430   98     1.3   41   21     .75 39 10   2.9  240 23   .36 48 1.2 2.8  73 35   .16  15 1.9  7.9 360 61 7.7 360 59 7.9 370 70
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c valid-deref valid-free valid-memtrack .15  25 1.6  .10  8.2 .56 .077 7.8 .58 2.9 250 24 46    40 670   8.3   430   100    7.9   430   99     14     340   190     .75 39 9.9 2.9  250 27   .18 33 1.3 2.8  74 32   .17  17 1.9  7.9 370 60 8.2 360 57 8.3 370 65
ldv-memsafety/memsetNonZero_false-valid-deref-write.c valid-deref valid-free valid-memtrack .16  25 1.8  .12  8.0 .53 .075 7.7 .62 2.9 250 24 46    40 660   8.2   430   100    8.3   430   110     14     340   210     .74 39 9.4 2.8  240 26   .14 33 1.2 2.8  74 31   .15  16 2.1  8.2 370 66 8.9 380 68 8.2 370 60
ldv-memsafety/memset_false-valid-deref-write.c valid-deref valid-free valid-memtrack .20  25 1.6  .082 8.6 .53 .082 7.6 .55 2.8 240 25 46    40 670   8.2   430   110    8.2   430   120     14     340   190     .74 39 9.6 2.7  250 27   .31 48 1.0 2.8  74 39   .16  16 2.0  8.4 370 67 8.0 370 56 8.3 350 61
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c valid-deref valid-free valid-memtrack .094 24 .71 880     4100   6200    870     4300   9400    84   4500 960 900    970 9600   12     380   130    12     380   160     900     2300   11000     900    74 9700   92    4700 960   900    1600 6800   760    380 7500   290     15000 4100    900   2400 12000 900   1000 6800 900   5500 11000
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack .088 23 .71 1.3   18   17    1.9   26   23    9.5 760 97 41    140 490   8.5   370   120    8.4   370   100     .75  27   9.5   510    4300 5300   9.6  700 100   2.1  77 24   760    710 6000   .18  15 1.7  25   500 250 900   1200 7200 18   660 140
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c valid-deref valid-free valid-memtrack .092 24 .90 1.2   13   19    1.5   18   19    7.8 400 61 79    190 1000   8.3   370   110    8.4   370   100     1.7   37   20     420    4300 4500   7.6  470 69   2.9  53 34   750    530 9100   .15  15 1.7  19   650 160 900   1300 7600 30   680 330
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack .084 23 .75 1.4   18   16    1.9   26   26    10   800 110 41    140 520   8.6   370   110    8.4   370   100     .78  27   11     530    4300 5300   9.6  790 88   2.1  79 23   760    710 8500   .15  15 1.8  17   640 130 900   1600 6900 27   530 300
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c valid-deref valid-free valid-memtrack .12  24 .75 6.2   67   95    22     140   180    51   4000 440 900    1000 11000   9.9   370   100    9.9   380   120     48     660   670     900    1600 11000   50    3800 460   210    700 3400   760    390 7700   .18  15 1.7  17   640 150 900   1100 7100 21   660 200
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack .087 24 .78 1.3   13   18    1.6   18   20    7.6 470 62 89    210 1100   8.2   370   110    8.3   370   96     1.9   39   27     340    4300 2900   7.6  470 68   3.0  58 33   750    400 9800   .17  15 1.6  18   530 140 900   1300 7400 18   650 150
ldv-memsafety/StructInitialization1_true-valid-memsafety.c valid-deref valid-free valid-memtrack .11  24 .80 .093 6.4 .28 .11  6.2 .31 3.2 270 26 .88 66 8.7 8.0   370   110    8.1   370   100     .11  27   1.2   330    4300 3400   3.2  270 26   .32 46 1.1 5.4  76 61   .14  16 1.6  11   420 76 30   640 260 11   420 91
ldv-memsafety/StructInitialization2_true-valid-memsafety.c valid-deref valid-free valid-memtrack .10  24 .75 .097 6.2 .33 .057 6.8 .47 3.0 240 24 .89 65 11   8.1   370   94    8.1   370   98     .10  27   1.3   330    4300 3500   3.3  270 30   .16 30 1.2 5.4  76 66   .15  15 1.6  11   400 80 31   620 250 11   400 80
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack .10  24 .86 .050 7.5 .48 .077 6.1 .34 3.1 280 28 .83 67 8.3 8.2   370   100    8.4   370   91     .085 26   .97  460    4300 5700   3.0  270 28   .15 32 1.8 5.2  71 59   .13  16 1.6  7.0 340 60 7.6 350 56 8.0 360 68
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack .15  25 1.3  .15  6.8 .55 .084 8.5 .80 2.6 240 26 .82 67 8.8 8.2   430   110    8.1   430   110     .084 26   .96  .74 39 9.4 2.7  240 25   .16 33 1.2 5.2  72 70   .13  16 1.5  10   380 86 48   710 390 10   400 77
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack .17  25 1.5  .15  7.1 .69 .081 8.0 .65 2.7 250 23 .82 66 8.4 8.3   430   100    8.1   430   99     .083 26   1.0   .73 39 9.9 2.7  250 23   .14 32 1.3 5.3  72 63   .16  14 1.5  9.3 380 88 99   960 810 9.8 390 79
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack .19  25 1.5  .095 7.9 .63 .10  7.8 .61 2.7 250 26 11    69 180   8.2   430   87    8.1   430   110     1.4   42   17     .74 39 9.8 2.7  240 25   .14 33 1.2 5.3  72 65   .13  16 1.4  10   390 86 48   900 360 10   400 94
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack .15  25 1.9  .080 7.1 .83 .12  7.8 .69 2.8 250 26 46    67 670   8.4   430   97    8.2   430   100     15     350   190     .76 39 9.7 2.7  250 23   .13 33 1.5 5.3  72 69   .14  16 1.5  9.8 390 88 110   1100 990 9.2 370 78
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack .16  25 1.6  .084 7.5 .77 .089 8.5 .57 2.7 240 25 46    69 470   8.1   430   99    8.2   430   120     15     350   220     .74 39 9.3 2.8  240 27   .15 33 1.7 5.3  72 60   .15  16 1.7  9.2 370 81 81   1200 840