Tool 2LS 0.5.0 CBMC 5.6 Ceagle Ceagle 1.3 @ 53cfa89 CPAchecker 1.6.1-svn 24048 DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 ESBMC ESBMC version 3.1 64-bit x86_64 linux Predator-HP SMACK+Corral 1.7.2 symbiotic KLEE:7f3c74aa-dg:96e851cf-symbiotic:69a1d8e6-minisat:3db58943-stp:39fa956f-LLVMInstrumentation:f750b24a ULTIMATE Automizer f7c3ed31 ULTIMATE Kojak f7c3ed31 ULTIMATE Taipan f7c3ed31
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-11 09:48:02 CET [[ 2017-01-14 21:34:09 CET ]] [[ 2017-01-14 21:49:16 CET ]] [[ 2017-01-14 21:34:25 CET ]] [[ 2017-01-14 21:52:20 CET ]] 2017-01-11 10:20:18 CET [[ 2017-01-14 21:14:41 CET ]] [[ 2017-01-14 21:35:33 CET ]] [[ 2017-01-14 21:19:46 CET ]] [[ 2017-01-14 21:37:38 CET ]] 2017-01-11 09:49:51 CET [[ 2017-01-14 20:52:01 CET ]] [[ 2017-01-14 21:02:28 CET ]] [[ 2017-01-14 20:57:34 CET ]] [[ 2017-01-14 21:06:31 CET ]] 2017-01-11 10:43:32 CET [[ 2017-01-14 21:41:35 CET ]] [[ 2017-01-14 21:45:05 CET ]] [[ 2017-01-14 21:43:06 CET ]] [[ 2017-01-14 21:46:49 CET ]] 2017-01-13 04:38:11 CET [[ 2017-01-14 23:48:17 CET ]] [[ 2017-01-14 23:57:43 CET ]] [[ 2017-01-14 23:52:59 CET ]] [[ 2017-01-15 00:03:21 CET ]] 2017-01-13 04:51:53 CET [[ 2017-01-15 00:05:22 CET ]] [[ 2017-01-15 00:31:32 CET ]] [[ 2017-01-15 00:11:25 CET ]] [[ 2017-01-15 00:39:18 CET ]] 2017-01-13 04:52:43 CET [[ 2017-01-15 00:23:14 CET ]] [[ 2017-01-15 00:35:58 CET ]] [[ 2017-01-15 00:29:47 CET ]] [[ 2017-01-15 00:40:29 CET ]] 2017-01-13 05:20:12 CET [[ 2017-01-15 00:51:08 CET ]] [[ 2017-01-15 01:00:54 CET ]] [[ 2017-01-15 00:55:05 CET ]] [[ 2017-01-15 01:06:26 CET ]] 2017-01-13 05:51:33 CET [[ 2017-01-15 01:19:13 CET ]] [[ 2017-01-15 01:22:10 CET ]] [[ 2017-01-15 01:20:47 CET ]] [[ 2017-01-15 01:23:25 CET ]] 2017-01-13 06:35:22 CET [[ 2017-01-15 01:30:25 CET ]] [[ 2017-01-15 01:30:43 CET ]] [[ 2017-01-15 01:30:33 CET ]] [[ 2017-01-15 01:30:54 CET ]] 2017-01-13 12:06:28 CET [[ 2017-01-15 02:02:31 CET ]] [[ 2017-01-15 02:04:15 CET ]] [[ 2017-01-15 02:04:05 CET ]] [[ 2017-01-15 02:06:30 CET ]] 2017-01-14 05:56:27 CET [[ 2017-01-15 04:08:20 CET ]] [[ 2017-01-15 04:18:47 CET ]] [[ 2017-01-15 04:12:29 CET ]] [[ 2017-01-15 04:25:58 CET ]] 2017-01-14 11:37:51 CET [[ 2017-01-15 04:18:56 CET ]] [[ 2017-01-15 04:38:06 CET ]] [[ 2017-01-15 04:27:27 CET ]] [[ 2017-01-15 04:45:45 CET ]] 2017-01-14 06:16:04 CET [[ 2017-01-15 05:34:44 CET ]] [[ 2017-01-15 05:49:53 CET ]] [[ 2017-01-15 05:35:06 CET ]] [[ 2017-01-15 05:51:11 CET ]] 2017-01-14 06:29:29 CET [[ 2017-01-15 05:44:30 CET ]] [[ 2017-01-15 05:59:35 CET ]] [[ 2017-01-15 05:44:48 CET ]] [[ 2017-01-15 06:00:32 CET ]] 2017-01-14 16:15:06 CET [[ 2017-01-15 05:45:52 CET ]] [[ 2017-01-15 06:00:59 CET ]] [[ 2017-01-15 05:46:10 CET ]] [[ 2017-01-15 06:02:27 CET ]]
Run set 2ls.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] cbmc.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] ceagle.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] cpa-kind.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] cpa-seq.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] depthk.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] esbmc.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] esbmc-falsi.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] esbmc-incr.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] esbmc-kind.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] predatorhp.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] smack.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] symbiotic4.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] uautomizer.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] ukojak.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] utaipan.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]
Options --graphml-witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/2ls.2017-01-11_0948.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/2ls.2017-01-11_0948.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/2ls.2017-01-11_0948.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/2ls.2017-01-11_0948.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] --graphml-witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cbmc.2017-01-11_1020.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cbmc.2017-01-11_1020.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cbmc.2017-01-11_1020.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cbmc.2017-01-11_1020.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] --compiler clang-3.7 [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ceagle.2017-01-11_0949.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ceagle.2017-01-11_0949.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ceagle.2017-01-11_0949.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ceagle.2017-01-11_0949.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -sv-comp17-k-induction -heap 10000M -disable-java-assertions [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-kind.2017-01-11_1043.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-kind.2017-01-11_1043.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-kind.2017-01-11_1043.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-kind.2017-01-11_1043.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -sv-comp17 -heap 10000M -disable-java-assertions [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-seq.2017-01-13_0438.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-seq.2017-01-13_0438.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-seq.2017-01-13_0438.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-seq.2017-01-13_0438.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-13_0451.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-13_0451.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-13_0451.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-13_0451.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -s fixed [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc.2017-01-13_0452.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc.2017-01-13_0452.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc.2017-01-13_0452.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc.2017-01-13_0452.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -s falsi [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-falsi.2017-01-13_0520.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-falsi.2017-01-13_0520.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-falsi.2017-01-13_0520.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-falsi.2017-01-13_0520.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -s incr [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-incr.2017-01-13_0551.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-incr.2017-01-13_0551.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-incr.2017-01-13_0551.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-incr.2017-01-13_0551.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -s kinduction [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-kind.2017-01-13_0635.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-kind.2017-01-13_0635.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-kind.2017-01-13_0635.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-kind.2017-01-13_0635.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] --witness error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -w error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/smack.2017-01-14_0556.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/smack.2017-01-14_0556.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/smack.2017-01-14_0556.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/smack.2017-01-14_0556.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] --witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-14_0616.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-14_0616.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-14_0616.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-14_0616.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/utaipan.2017-01-14_1615.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/utaipan.2017-01-14_1615.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/utaipan.2017-01-14_1615.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/utaipan.2017-01-14_1615.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../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 error (8) .19  26 1.4  false(valid-deref) .19 20 1.8  false(valid-deref) .028 8.0 .17 error (1) .42 40 3.4 error 2.4 210 22 false(valid-deref) .50 29 6.9 false(valid-deref) 130    3300 1500   false(valid-deref) .21  24 2.2  false(valid-deref) .20  24 2.1  false(valid-deref) .21  24 2.2  unknown .11  23 1.7 false(valid-deref) 1.8 79 22 false(valid-deref) .22 10   2.8 false(valid-deref) 6.2 340 47 false(valid-deref) 6.6 320 53 false(valid-deref) 6.1 320 49
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) .13  25 .87 false(valid-deref) .11 17 .98 false(valid-deref) .022 7.9 .15 error (1) .42 40 4.1 timeout 920   11000 7300 false(valid-deref) .36 28 3.8 timeout 900    12000 5500   false(valid-deref) .10  23 1.1  false(valid-deref) .096 23 .91 false(valid-deref) .093 23 1.0  false(valid-deref) .16  22 1.9 false(valid-deref) 1.9 73 24 false(valid-deref) .24 11   2.7 false(valid-deref) 6.5 360 50 false(valid-deref) 5.9 330 49 false(valid-deref) 6.2 320 45
array-memsafety/count_down_unsafe_false-valid-deref.i error (8) .17  26 1.4  false(valid-deref) .25 24 2.3  false(valid-deref) .029 7.8 .18 error (1) .44 40 3.9 error 2.5 220 21 false(valid-deref) .55 29 6.3 out of memory 230    15000 2900   false(valid-deref) .21  24 1.9  false(valid-deref) .20  24 2.1  false(valid-deref) .20  24 2.0  unknown .11  23 1.8 false(valid-deref) 1.9 79 25 false(valid-deref) .23 11   2.8 false(valid-deref) 7.2 370 55 false(valid-deref) 6.8 320 52 false(valid-deref) 6.4 350 49
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) .13  23 .86 false(valid-deref) .11 20 1.1  false(valid-deref) .027 7.5 .11 error (1) .41 38 4.3 false(valid-deref) 2.2 230 19 false(valid-deref) .33 28 4.1 false(valid-deref) 15    850 170   false(valid-deref) .12  23 .96 false(valid-deref) .089 23 .99 false(valid-deref) .094 23 .91 false(valid-deref) .12  21 1.9 false(valid-deref) 1.8 86 23 false(valid-deref) .63 12   6.1 false(valid-deref) 5.7 340 44 false(valid-deref) 5.7 320 47 false(valid-deref) 5.9 330 43
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) .12  25 1.2  false(valid-deref) .12 19 1.1  false(valid-deref) .064 33   .48 error (1) .42 37 3.6 error 2.6 220 25 false(valid-deref) .36 29 4.2 false(valid-deref) 3.4  280 44   false(valid-deref) .13  24 1.2  false(valid-deref) .11  24 1.2  false(valid-deref) .10  24 1.2  unknown .14  23 1.7 false(valid-deref) 2.0 84 22 error .41 10   5.2 false(valid-deref) 12   490 95 false(valid-deref) 9.9 490 83 false(valid-deref) 14   490 120
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) .19  26 1.4  false(valid-deref) .21 20 1.7  false(valid-deref) .027 8.0 .16 error (1) .39 37 3.5 error 2.5 220 25 false(valid-deref) .37 29 4.3 false(valid-deref) 1.9  180 26   false(valid-deref) .10  24 1.2  false(valid-deref) .097 24 1.1  false(valid-deref) .14  24 1.1  unknown .14  23 1.8 false(valid-deref) 1.9 84 26 error .60 11   7.3 false(valid-deref) 7.6 400 61 false(valid-deref) 11   480 85 false(valid-deref) 7.9 380 61
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) .11  23 1.2  false(valid-deref) .12 21 1.1  false(valid-deref) .035 8.0 .13 error (1) .39 37 3.5 false(valid-deref) 2.2 230 18 false(valid-deref) .36 28 3.8 false(valid-deref) 20    1600 260   false(valid-deref) .13  23 1.0  false(valid-deref) .11  23 1.1  false(valid-deref) .11  23 1.1  false(valid-deref) .13  22 1.8 false(valid-deref) 1.9 81 22 false(valid-deref) 1.2  12   11   false(valid-deref) 5.5 320 48 false(valid-deref) 5.7 320 42 false(valid-deref) 5.8 320 43
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) .10  23 .91 false(valid-deref) .12 21 1.3  false(valid-deref) .026 7.7 .12 error (1) .40 38 4.0 false(valid-deref) 2.3 230 20 false(valid-deref) .36 28 3.8 false(valid-deref) 890    9100 7000   false(valid-deref) .12  23 .98 false(valid-deref) .095 23 1.1  false(valid-deref) .094 23 1.2  false(valid-deref) .12  21 1.9 false(valid-deref) 1.9 85 26 false(valid-deref) 1.3  12   13   false(valid-deref) 5.7 320 45 false(valid-deref) 6.6 350 50 false(valid-deref) 6.0 340 50
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) .12  26 1.3  false(valid-deref) .13 20 1.3  false(valid-deref) .043 8.0 .21 error (1) .43 37 3.9 error 2.6 220 21 false(valid-deref) .35 29 4.5 timeout 900    5700 7700   false(valid-deref) .12  24 1.3  false(valid-deref) .099 24 1.4  false(valid-deref) .11  24 1.3  unknown .11  24 1.6 false(valid-deref) 2.2 85 25 error .36 11   3.8 false(valid-deref) 9.7 400 73 false(valid-deref) 11   480 83 false(valid-deref) 180   690 2000
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) .12  23 1.1  false(valid-deref) .11 20 1.1  false(valid-deref) .035 7.9 .13 error (1) .42 38 3.7 false(valid-deref) 2.4 240 21 false(valid-deref) .35 28 3.7 timeout 900    7200 9100   false(valid-deref) .12  23 .95 false(valid-deref) .094 23 1.1  false(valid-deref) .098 23 1.0  false(valid-deref) .15  23 2.4 false(valid-deref) 1.8 80 25 false(valid-deref) .25 12   2.6 false(valid-deref) 6.1 320 45 false(valid-deref) 6.2 320 49 false(valid-deref) 6.1 330 46
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) .22  30 2.6  false(valid-deref) .39 39 3.7  false(valid-deref) .029 8.0 .15 error (1) .43 40 4.0 error 10   220 14 false(valid-deref) .88 29 12   out of memory 540    15000 3400   false(valid-deref) .29  24 3.5  false(valid-deref) .30  25 3.5  false(valid-deref) .30  24 3.8  unknown .21  34 1.7 false(valid-deref) 2.0 86 24 false(valid-deref) .30 13   2.9 false(valid-deref) 9.5 380 71 false(valid-deref) 8.1 380 58 false(valid-deref) 11   380 90
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) .29  34 2.8  false(valid-deref) .24 20 1.8  false(valid-deref) .034 7.8 .21 error (1) .42 38 3.6 error 2.5 220 23 false(valid-deref) .73 29 7.9 out of memory 32    15000 380   false(valid-deref) .27  24 3.3  false(valid-deref) .26  24 3.4  false(valid-deref) .29  25 3.5  unknown .12  23 1.7 false(valid-deref) 2.2 95 27 unknown .29 14   3.6 false(valid-deref) 10   410 75 false(valid-deref) 41   700 440 false(valid-deref) 18   460 150
array-memsafety/mult_array_unsafe_false-valid-deref.i error (8) .19  28 1.4  false(valid-deref) .25 27 2.8  false(valid-deref) .039 8.1 .19 error (1) .41 40 4.3 error 2.6 220 21 false(valid-deref) .64 29 8.8 false(valid-deref) 20    1300 240   false(valid-deref) .28  27 3.9  false(valid-deref) .28  26 3.3  false(valid-deref) .31  26 3.4  unknown .13  23 1.7 false(valid-deref) 1.9 82 24 false(valid-deref) .36 17   4.5 false(valid-deref) 6.6 330 50 false(valid-deref) 7.1 320 59 false(valid-deref) 7.2 330 63
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) .27  33 2.7  false(valid-deref) .32 33 3.0  false(valid-deref) .052 43   .74 error (1) .39 38 3.4 error 2.4 210 20 false(valid-deref) 1.8  29 25   timeout 900    4200 11000   false(valid-deref) .51  25 7.3  false(valid-deref) .51  27 6.7  false(valid-deref) .51  27 6.7  unknown .12  23 1.9 false(valid-deref) 2.0 84 22 false(valid-deref) .40 11   4.3 false(valid-deref) 8.0 360 62 false(valid-deref) 11   510 89 false(valid-deref) 7.0 360 55
array-memsafety/reverse_array_unsafe_false-valid-deref.i error (8) .21  38 1.9  false(valid-deref) .70 83 9.5  false(valid-deref) .027 7.9 .20 error (1) .42 39 4.0 error 2.6 220 21 false(valid-deref) .59 29 8.1 timeout 900    2000 11000   false(valid-deref) .20  24 2.5  false(valid-deref) .19  24 2.8  false(valid-deref) .21  24 2.5  unknown .11  25 2.0 false(valid-deref) 1.9 81 28 false(valid-deref) .23 11   2.5 false(valid-deref) 7.0 370 50 false(valid-deref) 7.5 350 64 false(valid-deref) 7.1 350 53
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) .15  26 .95 false(valid-deref) .11 18 1.0  false(valid-deref) .021 7.8 .10 error (1) .44 37 3.3 false(valid-deref) 2.4 230 22 false(valid-deref) .36 28 4.1 timeout 900    7200 8000   false(valid-deref) .13  23 .85 false(valid-deref) .13  23 1.0  false(valid-deref) .11  23 1.2  false(valid-deref) .12  24 1.8 false(valid-deref) 1.9 73 23 false(valid-deref) .22 11   2.9 false(valid-deref) 6.7 340 49 false(valid-deref) 6.7 330 47 false(valid-deref) 6.1 330 55
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) .12  22 .79 false(valid-deref) .12 17 .88 false(valid-deref) .067 43   .45 error (1) .40 37 3.8 false(valid-deref) 2.3 230 20 false(valid-deref) .35 27 3.9 false(valid-deref) 2.9  310 33   false(valid-deref) .093 23 1.0  false(valid-deref) .090 23 1.1  false(valid-deref) .10  23 1.1  false(valid-deref) .17  21 1.8 false(valid-deref) 1.8 82 21 false(valid-deref) .58 11   6.7 false(valid-deref) 5.7 320 48 false(valid-deref) 5.6 320 41 false(valid-deref) 6.6 350 54
array-memsafety/add_last-alloca_true-valid-memsafety.i false(valid-deref) .27  31 2.6  error (134) 120    13000 1200    true .030 8.2 .17 error (1) .40 38 3.7 error 2.5 210 21 unknown 900    69 2100   true 890    4100 11000   timeout 900     2700 9500    timeout 900     4600 11000    timeout 900     5800 11000    unknown .11  22 1.8 true 750   330 8200 true .26 10   3.2 timeout 900   1600 11000 timeout 900   860 14000 timeout 900   4700 9600
array-memsafety/array01-alloca_true-valid-memsafety.i true .37  28 3.7  error (42) 850    8900 6300    true .028 8.1 .19 error (1) .39 37 3.5 error 2.5 220 21 unknown 890    280 10000   out of memory 230    15000 2500   out of memory 850     15000 9200    timeout 900     380 10000    timeout 900     430 9000    unknown .15  23 1.6 true 750   500 7800 timeout (timeout) 900    790   12000   true 10   430 82 true 15   540 150 true 10   450 86
array-memsafety/array02-alloca_true-valid-memsafety.i true .47  30 5.3  error (1) 470    14000 3700    true .026 7.9 .23 error (1) .40 38 3.7 error 2.6 220 25 unknown 890    280 9300   out of memory 300    15000 2300   timeout 900     10000 8400    timeout 900     390 8800    timeout 900     410 12000    unknown .15  23 1.7 true 760   580 7200 timeout (timeout) 900    950   11000   true 9.2 420 71 true 19   530 180 true 11   480 90
array-memsafety/array03-alloca_true-valid-memsafety.i true .38  29 3.7  error (134) 510    14000 3700    true .041 44   .94 error (1) .39 38 3.7 error 2.5 210 23 unknown 890    280 1700   out of memory 50    15000 570   timeout 900     13000 9000    timeout 900     800 7200    timeout 900     880 7700    unknown .12  23 1.6 true 750   390 7000 timeout (timeout) 900    760   9700   true 9.1 430 77 timeout 900   1000 12000 true 11   500 99
array-memsafety/bubblesort-alloca_true-valid-memsafety.i timeout 900     13000 5300    error (42) 850    2700 6600    true .066 44   .40 error (1) .41 37 3.8 error 2.5 210 23 unknown 890    310 8600   out of memory 330    15000 3000   timeout 900     4200 2200    timeout 900     460 11000    timeout 900     530 8100    unknown .11  24 1.9 true 750   510 6600 true .24 11   2.9 true 10   400 76 true 38   880 380 true 11   440 85
array-memsafety/count_down-alloca_true-valid-memsafety.i true .55  30 5.7  error (42) 850    9000 5400    true .029 7.9 .21 error (1) .42 38 4.2 error 2.6 230 25 unknown 890    300 11000   out of memory 250    15000 2300   out of memory 380     15000 4500    timeout 900     380 8200    timeout 900     390 9200    unknown .11  23 1.7 true 750   210 8500 timeout (timeout) 900    570   11000   true 12   490 95 true 46   700 550 true 13   500 100
array-memsafety/cstrcat-alloca_true-valid-memsafety.i false(valid-deref) .26  29 2.4  error (134) 110    14000 1100    true .030 8.1 .18 error (1) .41 42 3.9 error 2.6 220 24 unknown 900    84 12000   true 390    1600 4700   timeout 900     1300 12000    timeout 900     2800 13000    unknown .23  24 2.6  unknown .14  23 1.8 true 750   280 8800 true 1.2  13   13   timeout 900   3000 13000 timeout 900   1300 15000 timeout 900   2900 11000
array-memsafety/cstrchr-alloca_true-valid-memsafety.i false(valid-deref) .22  26 1.8  error (42) 850    4600 6700    true .028 7.9 .18 error (1) .44 40 3.6 error 2.4 210 23 unknown 170    46 2400   true 20    490 210   timeout 900     4000 13000    timeout 900     8900 12000    timeout 900     12000 12000    unknown .11  22 1.9 true 750   170 10000 true .23 11   2.3 true 13   490 100 true 27   580 300 true 15   520 130
array-memsafety/cstrcmp-alloca_true-valid-memsafety.i false(valid-deref) .26  27 2.2  error (42) 850    1800 9700    true .028 7.8 .20 error (1) .42 40 3.6 error 2.5 220 20 unknown 39    35 520   true 320    850 1100   timeout 900     1200 2100    timeout 900     6200 12000    timeout 900     8600 13000    unknown .16  33 1.8 true 750   210 8300 true 3.3  20   36   true 27   680 260 true 230   1000 3400 true 44   830 420
array-memsafety/cstrcpy-alloca_true-valid-memsafety.i false(valid-deref) .24  28 2.5  error (134) 83    13000 940    true .059 8.0 .15 error (1) .43 40 4.0 error 2.6 220 23 unknown 140    48 1600   true 21    860 260   timeout 900     7800 11000    out of memory 640     15000 7600    unknown .16  24 1.9  unknown .21  33 1.6 true 750   220 9100 true .37 11   4.0 timeout 900   1200 13000 timeout 900   1800 12000 timeout 900   1200 13000
array-memsafety/cstrcspn-alloca_true-valid-memsafety.i false(valid-deref) .37  33 3.3  error (42) 850    9000 7300    true .028 8.3 .20 error (1) .42 40 4.0 error 2.4 210 22 unknown 900    170 12000   timeout 900    10000 8800   timeout 900     500 11000    timeout 900     990 11000    timeout 900     1600 12000    unknown .11  24 1.8 true 750   610 7600 timeout (timeout) 900    550   9900   true 24   550 250 timeout 900   1500 13000 true 36   610 340
array-memsafety/cstrlen-alloca_true-valid-memsafety.i false(valid-deref) .21  26 1.7  error (42) 850    3900 4500    true .030 7.9 .16 error (1) .42 38 3.5 error 2.7 220 21 unknown 100    30 1300   true 11    290 140   out of memory 690     15000 8400    out of memory 480     15000 6700    out of memory 520     15000 7600    unknown .13  24 1.7 true 750   150 9300 true .23 10   2.6 true 13   500 91 true 17   520 160 true 14   500 110
array-memsafety/cstrncat-alloca_true-valid-memsafety.i false(valid-deref) .45  32 4.7  error (134) 380    14000 3600    true .039 8.0 .17 error (1) .43 40 3.7 error 2.6 220 22 unknown 900    150 10000   true 890    3100 12000   timeout 900     650 12000    timeout 900     790 11000    timeout 900     1000 12000    unknown .11  24 1.8 true 750   260 8700 true 2.7  17   31   timeout 900   1000 11000 timeout 900   1400 11000 timeout 900   1600 11000
array-memsafety/cstrncmp-alloca_true-valid-memsafety.i false(valid-deref) .32  29 3.1  error (42) 850    2000 8500    true .079 43   .55 error (1) .40 40 3.3 error 2.6 220 24 unknown 62    79 870   true 210    3700 2700   timeout 900     3200 12000    timeout 900     7800 13000    unknown .23  24 2.7  unknown .15  22 1.6 true 750   240 8000 true 5.4  22   65   true 29   540 300 true 410   1300 5000 true 37   770 420
array-memsafety/cstrncpy-alloca_true-valid-memsafety.i false(valid-deref) 1.9   120 22    error (134) 220    14000 3000    true .027 7.8 .19 error (1) .39 38 3.4 error 2.5 210 20 timeout 900    960 11000   out of memory 170    15000 1900   out of memory 720     15000 7400    out of memory 590     15000 4100    unknown .20  24 1.9  unknown .11  24 1.8 true 750   240 7100 true 4.3  28   56   timeout 900   1600 14000 timeout 900   2600 14000 timeout 900   1500 12000
array-memsafety/cstrpbrk-alloca_true-valid-memsafety.i false(valid-deref) .34  46 3.7  error (42) 850    9200 8600    true .029 7.9 .17 error (1) .40 37 3.9 error 2.6 220 22 unknown 900    140 11000   timeout 900    10000 7900   timeout 900     360 11000    timeout 900     680 13000    timeout 900     1100 12000    unknown .14  24 1.7 true 750   550 6500 timeout (timeout) 900    500   7000   true 43   730 450 timeout 900   1600 12000 true 61   880 650
array-memsafety/cstrspn-alloca_true-valid-memsafety.i false(valid-deref) .33  33 3.7  error (42) 850    9100 7400    true .082 43   .47 error (1) .42 38 3.4 error 10   220 14 unknown 900    150 12000   timeout 900    10000 11000   timeout 900     390 11000    timeout 900     760 12000    timeout 900     1200 11000    unknown .11  23 1.7 true 750   510 6100 timeout (timeout) 900    510   8300   true 45   690 510 timeout 900   1600 13000 true 62   700 740
array-memsafety/diff-alloca_true-valid-memsafety.i timeout 900     6200 5200    error (42) 850    6500 3400    true .038 8.0 .19 error (1) .45 40 4.0 error 2.6 220 20 unknown 890    180 7800   timeout 900    12000 11000   timeout 900     340 9500    timeout 900     500 10000    timeout 900     700 10000    unknown .12  24 1.6 true 750   150 11000 true .28 13   3.0 true 16   530 130 timeout 900   1000 12000 true 33   690 340
array-memsafety/insertionsort-alloca_true-valid-memsafety.i out of memory 750     15000 5200    error (42) 850    9000 3700    true .026 8.0 .15 error (1) .45 38 4.2 error 2.6 220 22 unknown 890    180 9000   timeout 900    8300 8100   timeout 900     710 6800    timeout 900     360 9100    timeout 900     400 10000    unknown .11  24 1.7 true 750   440 6100 true .22 11   2.6 true 12   480 90 true 30   610 270 true 15   500 110
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety.i true .52  30 5.9  error (42) 850    2800 6500    true .023 8.2 .17 error (1) .45 38 3.8 error 2.5 220 21 unknown 890    300 8900   out of memory 550    15000 2600   timeout 900     8900 10000    timeout 900     480 9400    timeout 900     510 8800    unknown .12  23 1.7 true 750   460 8100 true .23 11   2.5 true 9.7 400 76 true 32   670 380 true 11   440 78
array-memsafety/lis-alloca_true-valid-memsafety.i timeout 900     340 10000    error (42) 850    2500 5700    true .030 8.1 .18 error (1) .41 37 3.2 error 2.6 220 20 unknown 890    190 10000   out of memory 150    15000 400   out of memory 440     15000 5500    timeout 900     360 8600    timeout 900     490 8500    unknown .11  24 1.8 true 750   350 6500 true .24 12   3.0 true 15   500 130 timeout 900   1400 11000 timeout 900   790 9200
array-memsafety/mult_array-alloca_true-valid-memsafety.i timeout 900     190 10000    error (134) 110    14000 1300    true .040 8.1 .16 error (1) .42 38 3.9 error 2.6 220 21 unknown 320    89 3600   true 25    1300 260   timeout 900     6100 10000    timeout 900     13000 9600    timeout 900     13000 9600    unknown .15  23 2.0 true 750   370 7700 true .52 15   6.8 true 18   510 180 timeout 900   740 13000 true 65   530 800
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety.i timeout 900     11000 8800    error (1) 83    13000 1100    true .081 44   .65 error (1) .40 37 3.9 error 2.5 220 22 unknown 100    33 1300   true 5.2  450 57   timeout 900     9100 13000    out of memory 490     15000 6500    unknown .13  24 1.6  unknown .10  24 2.2 true 750   320 11000 true .79 12   9.7 true 12   480 94 true 18   540 180 true 15   570 110
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety.i timeout 900     3400 9700    error (42) 850    1300 5900    true .026 8.2 .23 error (1) .39 37 3.3 error 2.5 220 21 unknown 110    43 1300   true 42    1000 130   out of memory 710     15000 9400    out of memory 280     15000 4000    unknown .13  24 1.7  unknown .14  23 1.6 true 750   410 11000 true 1.2  15   14   true 12   540 90 true 12   480 100 true 14   510 110
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety.i false(valid-deref) .18  26 1.5  error (42) 850    1000 3900    true .030 7.8 .15 error (1) .42 38 3.6 error 2.6 210 21 unknown 32    34 410   unknown 5.9  840 83   unknown .14  24 1.3  unknown .14  24 1.3  unknown .13  24 1.4  unknown .14  24 1.6 true 750   450 8900 true 1.6  15   18   true 16   530 140 true 12   480 120 true 27   530 260
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety.i error (8) .19  26 1.5  error (1) 84    13000 870    true .030 7.8 .16 error (1) .40 37 3.4 error 2.5 220 20 unknown 93    32 1200   true 4.9  410 64   out of memory 800     15000 10000    out of memory 310     15000 4300    unknown .13  24 1.5  unknown .11  24 1.8 true 750   410 8400 true .30 11   3.9 true 11   470 100 true 12   490 110 true 14   500 120
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety.i false(valid-deref) .27  28 2.4  error (1) 93    13000 1000    true .027 8.2 .23 error (1) .41 37 3.5 error 2.7 220 22 unknown 130    45 2000   true 20    760 210   timeout 900     7900 9700    out of memory 660     15000 8700    unknown .16  24 1.7  unknown .15  22 1.6 true 750   270 8500 true .37 11   4.3 timeout 900   1100 12000 timeout 900   1600 12000 timeout 900   1500 12000
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety.i false(valid-deref) 2.5   120 24    error (134) 220    14000 2600    true .042 8.3 .18 error (1) .39 37 3.5 error 2.6 230 22 timeout 900    940 13000   out of memory 170    15000 2200   out of memory 640     15000 7900    out of memory 260     15000 3700    unknown .18  24 2.3  unknown .12  25 2.0 true 750   230 7100 true 4.2  28   53   timeout 900   900 12000 timeout 900   1100 14000 timeout 910   9900 7700
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety.i false(valid-deref) .23  28 3.0  error (134) 110    14000 1300    true .029 7.9 .18 error (1) .42 40 4.0 error 2.4 210 23 unknown 900    85 13000   true 380    1600 4000   timeout 900     1200 11000    timeout 900     2700 10000    unknown .21  24 2.9  unknown .11  24 2.0 true 750   290 8100 true 1.5  13   15   timeout 900   2600 11000 timeout 900   1400 11000 timeout 900   3100 11000
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety.i false(valid-deref) .29  31 2.5  error (42) 850    2200 8900    true .031 7.9 .15 error (1) .39 37 3.3 error 2.6 210 22 unknown 270    81 3800   true 84    2300 1000   timeout 900     5200 11000    timeout 900     12000 11000    unknown .22  24 2.3  unknown .11  23 1.7 true 750   230 8500 true 3.2  20   38   true 34   560 320 true 350   1200 4800 true 67   620 770
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety.i false(valid-deref) .23  28 2.4  error (134) 96    13000 1100    true .080 44   .49 error (1) .41 37 4.2 error 2.5 220 22 unknown 130    45 1600   true 20    760 240   timeout 900     7900 11000    out of memory 680     15000 9400    unknown .16  25 1.8  unknown .10  24 1.9 true 750   230 9000 true .36 11   3.5 timeout 900   1000 12000 timeout 900   1800 12000 timeout 900   1700 12000
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety.i false(valid-deref) .31  30 3.0  error (42) 850    380 2600    true .065 44   .49 error (1) .40 37 3.7 error 2.7 220 23 unknown 900    1100 12000   timeout 900    14000 6600   timeout 900     1600 2100    timeout 900     9500 12000    unknown .20  25 1.9  unknown .11  23 1.7 true 750   230 8100 timeout (timeout) 900    620   12000   timeout 900   1600 14000 timeout 900   1600 12000 timeout 900   1500 11000
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety.i false(valid-deref) .36  30 3.6  error (42) 850    13000 4600    true .032 8.0 .16 error (1) .42 38 3.5 error 2.6 220 21 unknown 900    95 9500   true 890    4400 8600   timeout 900     790 13000    timeout 900     1700 11000    unknown .22  25 2.8  unknown .14  24 1.8 true 750   250 10000 true 1.3  13   12   timeout 900   1200 15000 timeout 900   1200 11000 timeout 900   930 12000
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety.i false(valid-deref) .21  26 1.8  error (42) 850    4700 5100    true .027 8.0 .19 error (1) .40 37 3.7 error 11   220 12 unknown 390    30 760   true 46    290 91   out of memory 510     15000 7300    out of memory 260     15000 3100    out of memory 300     15000 3700    unknown .14  24 1.6 true 750   150 9100 true .21 10   2.4 true 12   470 92 true 16   590 140 true 14   550 120
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety.i false(valid-deref) .43  32 4.2  error (134) 430    14000 2500    true .040 8.3 .20 error (1) .43 40 3.7 error 2.5 220 20 unknown 900    64 11000   true 680    2700 9400   timeout 900     500 11000    timeout 900     1000 12000    unknown .37  25 5.2  unknown .15  23 1.6 true 750   260 11000 true 2.8  16   25   timeout 900   1400 10000 timeout 900   1300 11000 timeout 900   11000 5900
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety.i false(valid-deref) .32  31 3.4  error (42) 850    2100 8800    true .041 7.9 .16 error (1) .42 38 3.7 error 2.8 220 20 unknown 220    120 2600   true 100    4700 1400   timeout 900     13000 14000    out of memory 340     15000 4100    unknown .19  24 2.2  unknown .11  24 1.7 true 750   210 8400 true 4.1  20   58   true 32   570 300 true 310   1300 4400 true 94   800 1100
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety.i false(valid-deref) 2.1   120 25    error (134) 200    14000 2400    true .032 8.0 .17 error (1) .43 40 3.9 error 2.6 220 20 timeout 900    970 10000   out of memory 170    15000 2200   out of memory 570     15000 7500    out of memory 260     15000 3000    unknown .18  24 2.1  unknown .13  23 1.7 true 750   230 8800 true 3.4  24   44   timeout 900   1100 12000 timeout 900   1600 11000 timeout 900   910 12000
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety.i false(valid-deref) .32  28 2.9  error (42) 850    2100 4700    true .030 8.2 .21 error (1) .43 40 3.4 error 2.6 220 24 unknown 110    32 1500   true 13    340 180   timeout 900     12000 8000    out of memory 490     15000 6700    out of memory 490     15000 6600    unknown .13  24 1.6 true 750   180 9300 true 1.6  15   21   true 13   530 110 true 27   580 280 true 16   640 130
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety.i false(valid-deref) .42  37 6.0  error (42) 850    300 3900    true .039 8.0 .18 error (1) .40 37 3.7 error 2.5 220 23 unknown 900    370 10000   timeout 900    9700 7200   timeout 900     3100 13000    timeout 900     7000 11000    unknown .17  25 2.0  unknown .11  23 1.8 true 750   600 6900 timeout (timeout) 900    580   12000   true 31   530 320 timeout 900   1400 13000 true 49   720 540
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety.i timeout 900     27 11000    error (42) 850    920 4900    true .078 44   .44 error (1) .43 37 3.8 error 2.7 220 22 unknown 890    120 9900   out of memory 38    15000 460   timeout 900     170 11000    timeout 900     230 10000    unknown .18  24 2.2  unknown .11  23 1.8 true 750   320 7500 timeout (timeout) 900    800   9900   true 39   720 420 timeout 900   1700 12000 true 85   660 1100
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety.i timeout 900     27 13000    error (42) 850    7600 3100    true .029 8.2 .19 error (1) .43 40 3.6 error 2.7 220 24 unknown 900    590 14000   out of memory 45    15000 530   unknown .18  25 1.3  unknown .15  24 1.7  unknown .16  25 1.9  unknown .13  25 1.8 timeout 750   290 7400 timeout (timeout) 900    800   7600   timeout 900   900 14000 timeout 900   1500 12000 timeout 900   1200 10000
array-memsafety/rec_strlen-alloca_true-valid-memsafety.i error (5) .20  38 1.8  error (42) 850    8300 5000    true .033 8.1 .14 error (1) .39 40 3.6 error 10   220 14 true 1.1  29 13   true 15    510 180   timeout 900     14000 12000    out of memory 550     15000 7000    out of memory 480     15000 5700    unknown .14  23 1.6 true 750   240 9200 true .23 10   2.4 true 23   510 200 true 17   510 150 true 19   510 170
array-memsafety/selectionsort-alloca_true-valid-memsafety.i out of memory 510     15000 3600    error (134) 63    14000 640    true .023 8.1 .16 error (1) .43 38 3.7 error 2.5 220 21 unknown 890    310 6500   timeout 900    12000 6400   timeout 900     680 6500    timeout 900     570 11000    timeout 900     610 8200    unknown .11  23 1.8 true 750   470 6600 true .24 11   2.4 true 13   490 99 timeout 900   2100 12000 true 14   570 110
array-memsafety/stroeder1-alloca_true-valid-memsafety.i timeout 900     5700 8100    error (134) 76    14000 1000    true .029 7.9 .16 error (1) .41 37 4.0 error 2.5 220 21 unknown 100    53 1400   true 4.3  400 50   out of memory 320     15000 3800    out of memory 190     15000 2400    out of memory 190     15000 2400    unknown .13  22 1.7 true 750   180 8200 true .23 10   2.8 true 9.4 470 73 true 9.9 480 88 true 10   470 80
array-memsafety/stroeder2-alloca_true-valid-memsafety.i error (8) .17  26 1.6  error (134) 61    14000 560    true .040 8.2 .18 error (1) .44 40 3.9 error 2.5 220 22 unknown 890    270 8800   timeout 900    14000 1800   timeout 900     3500 9200    timeout 900     360 12000    timeout 900     440 10000    unknown .15  25 2.0 true 760   660 6000 true 1.2  13   15   true 10   490 79 true 21   710 200 true 12   480 83
array-memsafety/strreplace-alloca_true-valid-memsafety.i false(valid-deref) .32  29 3.1  error (134) 220    14000 1300    true .052 43   .44 error (1) .41 40 3.8 error 2.5 220 22 unknown 890    59 10000   timeout 900    1000 11000   timeout 900     150 14000    timeout 900     370 11000    timeout 900     460 14000    unknown .14  24 1.7 true 750   130 9100 true .22 11   2.6 true 20   500 180 true 26   590 240 true 19   590 140
array-memsafety/subseq-alloca_true-valid-memsafety.i false(valid-deref) .24  27 2.6  error (42) 850    1900 4700    true .031 8.0 .15 error (1) .39 37 3.7 error 2.5 220 23 unknown 890    59 13000   true 890    2200 9400   timeout 900     340 12000    timeout 900     620 13000    timeout 900     820 11000    unknown .10  24 1.8 true 750   210 8600 timeout (timeout) 900    570   6900   true 60   590 730 true 470   1600 5900 true 91   730 1000
array-memsafety/substring-alloca_true-valid-memsafety.i false(valid-deref) .25  29 2.5  error (42) 850    10000 6500    true .030 8.2 .17 error (1) .40 37 3.5 error 2.5 220 22 unknown 900    220 12000   out of memory 41    15000 560   timeout 900     650 13000    timeout 900     1400 12000    timeout 900     2000 11000    unknown .11  27 1.8 true 750   510 6600 timeout (timeout) 900    760   9700   true 61   620 770 timeout 900   1500 11000 true 50   820 520
array-examples/relax_false-valid-deref.i false(valid-deref) .23  27 2.2  false(valid-deref) .20 20 1.9  unknown .028 8.0 .16 error (1) .41 40 4.0 error 2.7 220 22 false(valid-deref) .63 29 7.4 false(valid-deref) 900    5400 1900   false(valid-deref) .26  25 2.9  false(valid-deref) .25  25 3.0  false(valid-deref) .28  25 3.3  unknown .15  24 1.7 true 750   220 8800 timeout (timeout) 900    2300   7400   false(valid-deref) 6.1 330 44 false(valid-deref) 23   340 200 false(valid-deref) 6.4 320 53
array-examples/sanfoundry_24_false-valid-deref.i out of memory 320     15000 2800    error (42) 850    6200 5200    false(valid-deref) .027 7.9 .15 error (1) .41 38 3.4 timeout 900   2900 1700 unknown 440    100 830   true 61    590 120   timeout 900     680 10000    out of memory 630     15000 9200    out of memory 370     15000 4800    timeout 900     2600 5300   false(valid-deref) 6.2 92 79 timeout (timeout) 900    3500   6500   timeout 900   1500 15000 timeout 900   1300 14000 timeout 900   1700 14000
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 900     14000 10000    out of memory 74    15000 930    false(valid-deref) .024 7.9 .13 error (1) .41 37 3.8 timeout 900   3700 12000 unknown 67    31 920   true 5.4  620 63   timeout 900     1100 9400    out of memory 870     15000 5400    unknown .11  23 .66 timeout 900     6000 9100   false(valid-deref) 8.4 95 100 timeout (timeout) 900    1600   9100   timeout 900   2000 12000 timeout 900   1400 13000 timeout 900   1900 14000
array-examples/standard_strcpy_original_false-valid-deref.i timeout 900     14000 9800    out of memory 74    15000 960    false(valid-deref) .023 7.8 .11 error (1) .39 38 3.7 timeout 900   3700 11000 unknown 67    31 710   true 5.4  620 65   timeout 900     1100 11000    out of memory 470     15000 4900    unknown .11  23 .69 timeout 900     5300 10000   false(valid-deref) 11   100 160 timeout (timeout) 900    1800   11000   timeout 900   1400 14000 timeout 900   1500 13000 timeout 900   1700 14000
memsafety/960521-1_false-valid-deref.i timeout 900     9600 5100    false(valid-deref) 2.7  51 28    unknown .029 8.1 .19 error (1) .40 37 3.7 false(valid-deref) 17   2300 170 unknown 440    75 1000   false(valid-deref) 48    70 600   false(valid-deref) 41     260 590    false(valid-deref) 44     520 530    false(valid-deref) 110     2300 1300    false(valid-deref) 8.0   170 83   timeout 880   440 8700 false(valid-deref) .32 13   4.0 timeout 900   920 12000 timeout 900   1700 11000 false(valid-deref) 440   4800 6800
memsafety/test-0137_false-valid-deref.i false(valid-deref) .26  31 2.4  error (1) .21 20 2.3  unknown .035 8.1 .29 error (1) .42 37 3.9 false(valid-deref) 3.6 270 29 false(valid-deref) .51 29 6.9 out of memory 81    15000 750   false(valid-deref) .14  25 1.4  false(valid-deref) .13  25 1.7  false(valid-deref) .13  25 1.4  false(valid-deref) 1.1   50 14   false(valid-deref) 2.8 85 33 false(valid-deref) .38 31   5.4 false(valid-deref) 69   790 750 false(valid-deref) 170   1600 2100 timeout 910   13000 3100
memsafety/test-0235_false-valid-deref.i error (8) .87  63 8.4  error (1) 1.0  33 12    unknown .063 8.3 .39 error (1) .43 38 3.9 false(valid-deref) 5.0 270 39 unknown 600    510 6600   timeout 900    150 12000   out of memory 540     15000 3400    out of memory 550     15000 4000    unknown .13  26 1.2  false(valid-deref) 4.2   120 44   false(valid-deref) 37   130 430 false(valid-deref) .72 36   9.2 timeout 900   610 11000 timeout 900   530 12000 error 200   950 2500
memsafety/960521-1_false-valid-free.i true .26  27 2.8  false(valid-free) 2.7  40 30    unknown .029 7.8 .15 error (1) .43 40 4.1 false(valid-free) 17   2500 160 unknown 110    77 1500   false(valid-free) 48    71 550   false(valid-free) 40     270 480    false(valid-free) 43     510 610    false(valid-free) 100     2300 1200    false(valid-free) 8.0   180 87   timeout 880   430 11000 false(valid-free) .31 13   4.0 timeout 900   1000 13000 timeout 900   1700 12000 false(valid-free) 440   3900 5800
memsafety/test-0158_false-valid-free.i false(valid-free) .19  26 1.5  false(valid-free) .20 20 1.5  unknown .026 8.0 .18 error (1) .39 38 3.5 false(valid-free) 3.5 260 27 false(valid-deref) 16    490 110   false(valid-free) 7.1  3300 61   false(valid-free) .77  25 1.5  false(valid-free) .22  25 2.6  false(valid-free) .19  25 2.2  false(valid-free) .13  23 1.9 false(valid-free) 2.7 77 32 false(valid-free) .21 11   2.7 false(valid-free) 8.5 430 71 false(valid-free) 15   500 120 false(valid-free) 8.8 470 77
memsafety/test-0232_false-valid-free.i false(valid-deref) .27  28 2.5  false(valid-free) .21 21 2.2  unknown .033 7.9 .20 error (1) .40 38 3.2 false(valid-free) 3.4 260 28 false(valid-deref) 1.4  29 16   out of memory 47    15000 590   false(valid-free) .30  24 4.1  false(valid-free) .33  24 3.8  false(valid-free) .33  24 4.0  false(valid-free) .14  24 1.8 false(valid-free) 750   280 6600 false(valid-free) .30 16   3.4 false(valid-free) 190   900 2000 timeout 900   1800 11000 timeout 900   2100 7400
memsafety/20020406-1_false-valid-memtrack.i error (5) .35  29 3.0  error (134) 46    13000 550    unknown .055 8.3 .42 error (1) .38 38 3.6 error 2.6 210 23 unknown 890    4800 6600   out of memory 150    15000 2000   timeout 900     1900 7200    timeout 900     1900 7300    unknown .21  27 2.1  false(valid-memtrack) .16  27 2.1 false(valid-memtrack) 7.9 95 97 false(valid-memtrack) .44 39   4.7 timeout 900   3500 11000 timeout 900   1100 12000 timeout 900   3200 7300
memsafety/20051113-1.c_false-valid-memtrack.i error (8) .19  26 1.8  false(valid-memtrack) 3.3  85 44    unknown .031 8.0 .17 error (1) .41 37 3.9 false(valid-memtrack) 3.6 270 30 unknown 530    170 6600   false(valid-memtrack) 26    1000 340   false(valid-memtrack) 6.0   200 87    false(valid-memtrack) 9.5   400 130    false(valid-memtrack) 270     5100 2900    false(valid-memtrack) .14  24 1.9 false(valid-memtrack) 5.3 86 67 false(valid-memtrack) .27 14   2.7 timeout 900   1700 11000 timeout 900   2200 12000 timeout 900   1100 6800
memsafety/lockfree-3.1_false-valid-memtrack.i error (134) 430     490 3000    false(valid-memtrack) 3.6  150 49    unknown .034 8.3 .20 error (1) .41 40 3.8 timeout 900   4800 11000 false(valid-memtrack) 7.3  40 88   timeout 900    13000 10000   false(valid-memtrack) .84  49 11    false(valid-memtrack) 1.7   74 25    false(valid-memtrack) 1.7   100 19    false(valid-memtrack) .19  24 2.6 false(valid-memtrack) 840   210 8300 false(valid-memtrack) .55 18   6.3 unknown 71   1300 630 timeout 900   3100 12000 unknown 170   1400 1800
memsafety/lockfree-3.2_false-valid-memtrack.i error (134) .34  30 3.6  false(valid-memtrack) .21 23 2.0  unknown .032 7.9 .24 error (1) .38 37 3.9 timeout 900   4800 10000 false(valid-memtrack) 1.2  29 14   timeout 900    13000 11000   false(valid-memtrack) .15  24 2.0  false(valid-memtrack) .16  24 1.6  false(valid-memtrack) .18  24 1.8  false(valid-memtrack) .18  24 2.0 false(valid-memtrack) 830   200 11000 false(valid-memtrack) .32 16   4.4 unknown 21   520 190 unknown 23   540 220 unknown 70   1400 910
memsafety/lockfree-3.3_false-valid-memtrack.i error (134) 270     380 2300    false(valid-memtrack) 3.8  160 43    unknown .030 8.2 .30 error (1) .38 38 3.5 timeout 910   4700 8200 false(valid-memtrack) 42    83 530   timeout 900    13000 9500   false(valid-memtrack) 14     140 170    false(valid-memtrack) 22     230 270    false(valid-memtrack) 26     340 380    false(valid-memtrack) .23  26 2.3 false(valid-memtrack) 850   200 8800 false(valid-memtrack) 2.1  56   28   unknown 120   4900 1000 timeout 900   4000 12000 unknown 550   2700 6100
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) .19  26 1.6  false(valid-memtrack) .19 20 1.7  unknown .033 8.1 .18 error (1) .41 37 3.7 false(valid-memtrack) 2.9 260 24 false(valid-memtrack) .54 29 6.7 false(valid-memtrack) .21 24 2.2 false(valid-memtrack) .17  24 1.4  false(valid-memtrack) .13  24 1.6  false(valid-memtrack) .14  24 1.6  false(valid-memtrack) .20  33 2.0 false(valid-memtrack) 3.7 78 46 false(valid-memtrack) .23 13   3.0 unknown 21   490 190 unknown 42   600 450 unknown 22   610 200
memsafety/test-0102_false-valid-memtrack.i false(valid-deref) .29  30 2.7  false(valid-memtrack) .27 23 3.1  unknown .039 8.2 .21 error (1) .41 37 3.5 false(valid-memtrack) 3.8 260 33 false(valid-memtrack) 11    110 130   timeout 900    8500 6800   false(valid-memtrack) 7.2   110 79    false(valid-memtrack) 4.9   120 54    false(valid-memtrack) 4.8   120 51    false(valid-memtrack) 40     770 400   false(valid-memtrack) 830   320 7000 false(valid-memtrack) .32 22   3.9 timeout 900   2900 13000 timeout 900   2000 12000 timeout 900   1600 11000
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) .21  33 1.7  false(valid-memtrack) .21 22 1.7  unknown .028 8.0 .18 error (1) .39 37 3.5 false(valid-memtrack) 2.9 250 22 false(valid-memtrack) 1.7  29 3.4 false(valid-memtrack) .16 24 2.2 false(valid-memtrack) .12  24 1.2  false(valid-memtrack) .098 24 1.2  false(valid-memtrack) .10  24 1.2  false(valid-memtrack) .15  23 1.7 false(valid-memtrack) 3.5 76 42 false(valid-memtrack) .20 11   2.6 unknown 12   330 96 unknown 16   460 140 unknown 13   350 97
memsafety/test-0220_false-valid-memtrack.i error (8) .21  27 2.0  error (1) .20 21 2.2  unknown .039 8.0 .23 error (1) .44 40 3.6 timeout 960   11000 5100 unknown 900    8300 4500   out of memory 830    15000 7700   timeout 900     3400 4900    timeout 900     3500 5700    unknown .12  25 1.4  false(valid-memtrack) 1.1   50 13   false(valid-memtrack) 830   350 7200 false(valid-memtrack) .38 19   4.1 timeout 900   580 12000 timeout 900   760 11000 timeout 910   12000 6400
memsafety/test-0232_false-valid-memtrack.i false(valid-deref) .29  28 3.5  false(valid-memtrack) .18 20 2.7  unknown .031 8.0 .22 error (1) .41 40 3.9 false(valid-memtrack) 3.0 260 23 false(valid-memtrack) 2.2  29 4.4 out of memory 420    15000 3400   false(valid-memtrack) .19  24 1.8  false(valid-memtrack) .15  24 1.9  false(valid-memtrack) .19  24 1.7  false(valid-memtrack) .13  23 2.4 false(valid-memtrack) 830   330 7000 false(valid-memtrack) .28 15   3.6 unknown 48   670 450 unknown 400   1700 5300 timeout 900   5200 6600
memsafety/test-0234_false-valid-memtrack.i error (8) .34  27 3.2  error (1) .67 21 6.8  unknown .047 7.9 .32 error (1) .39 38 4.5 false(valid-memtrack) 3.9 270 33 unknown 630    520 5300   timeout 900    150 13000   out of memory 550     15000 3400    out of memory 530     15000 4000    unknown .11  25 1.3  false(valid-memtrack) 3.6   120 39   false(valid-memtrack) 830   370 6800 false(valid-memtrack) .47 29   6.8 timeout 900   610 11000 timeout 900   600 11000 error 450   1000 4500
memsafety/test-0235_false-valid-memtrack.i error (8) .65  51 7.3  error (1) .77 22 8.7  unknown .046 7.9 .41 error (1) .40 37 4.1 false(valid-memtrack) 4.1 270 36 unknown 600    510 5400   timeout 900    150 12000   out of memory 540     15000 4100    out of memory 530     15000 4100    unknown .13  25 1.3  false(valid-memtrack) 3.7   130 44   false(valid-memtrack) 830   430 7300 false(valid-memtrack) .61 36   7.7 timeout 900   710 11000 timeout 900   570 13000 error 170   870 1900
memsafety/960521-1_true-valid-memsafety.i true .34  27 3.5  out of memory 140    15000 1900    unknown .026 8.2 .13 error (1) .41 37 3.6 timeout 900   4000 12000 unknown 440    72 1600   true 1.7  67 21   out of memory 440     15000 5000    out of memory 300     15000 3700    timeout 900     13000 7100    timeout 900     8600 8000   timeout 900   220 10000 true 14    64   190   timeout 900   900 13000 timeout 900   1400 12000 timeout 900   1900 11000
memsafety/lockfree-3.0_true-valid-memsafety.i error (134) 450     460 3200    error (42) 850    2100 6200    unknown .035 8.0 .18 error (1) .45 40 3.7 timeout 900   4700 12000 unknown 890    200 9800   timeout 900    13000 11000   timeout 900     280 2100    timeout 900     770 10000    timeout 900     1100 11000    true 40     240 360   true 880   200 10000 timeout (timeout) 900    2600   4900   timeout 900   8100 8400 timeout 900   4000 14000 timeout 900   11000 9300
memsafety/test-0019_true-valid-memsafety.i true .19  26 1.8  true .35 20 3.0  unknown .098 43   .49 error (1) .41 40 3.7 true 2.9 250 24 true .88 29 8.9 true .18 24 1.9 out of memory 88     15000 1200    true .10  24 .95 true .081 24 .84 true .11  23 1.7 true 3.4 70 45 true .24 13   2.9 true 13   510 98 true 35   760 400 true 62   550 680
memsafety/test-0102_true-valid-memsafety.i false(valid-deref) .31  31 2.9  error (1) 16    270 230    unknown .033 8.1 .26 error (1) .41 39 3.8 timeout 960   11000 5000 unknown 890    550 8500   timeout 900    8500 5200   timeout 900     2000 10000    timeout 900     690 8800    unknown 12     160 140    true 2.2   130 23   timeout 880   340 9000 timeout (timeout) 900    5000   10000   timeout 900   930 11000 timeout 900   2300 13000 timeout 900   1600 11000
memsafety/test-0134_true-valid-memsafety.i false(valid-memtrack) .57  39 5.7  error (1) .21 20 2.3  unknown .036 7.9 .33 error (1) .43 40 3.6 timeout 910   8300 11000 unknown 890    290 12000   out of memory 80    15000 730   timeout 900     410 12000    timeout 900     510 10000    unknown .83  53 10    true 2.6   110 28   timeout 880   360 6800 timeout (timeout) 900    2900   8800   timeout 900   830 10000 timeout 900   1600 12000 timeout 900   2500 12000
memsafety/test-0158_true-valid-memsafety.i true .18  27 1.5  true .33 20 3.5  unknown .054 43   .60 error (1) .41 38 3.9 true 11   250 14 true 3.5  29 13   true .22 24 2.5 out of memory 150     15000 1900    true .098 24 1.3  true .099 24 1.1  true .10  23 1.8 true 3.2 70 46 true .22 11   2.4 true 8.1 440 64 true 11   480 91 true 9.4 490 75
memsafety/test-0214_true-valid-memsafety.i false(valid-deref) 6.6   150 50    error (42) 850    1800 5400    unknown .039 8.6 .33 error (1) .45 40 3.9 timeout 900   11000 6100 unknown 890    2000 7800   out of memory 280    15000 3300   timeout 900     500 7500    timeout 900     520 9600    unknown 7.1   65 85    true 1.2   34 15   timeout 880   230 10000 timeout (timeout) 900    240   7300   timeout 900   840 11000 timeout 900   1000 12000 timeout 900   3800 5300
memsafety/test-0217_true-valid-memsafety.i error (134) .28  35 2.8  error (1) 42    13000 560    unknown .040 8.4 .31 error (1) .44 39 3.7 timeout 920   6600 1100 unknown 890    1900 6000   out of memory 52    15000 630   timeout 900     240 11000    timeout 900     250 8500    timeout 900     250 8600    true 1.2   45 14   timeout 880   280 7800 timeout (timeout) 900    280   8000   timeout 900   1500 13000 timeout 900   1100 12000 timeout 900   1200 10000
memsafety/test-0218_true-valid-memsafety.i error (134) .25  32 2.8  error (42) 850    4100 5300    unknown .099 33   .44 error (1) .40 38 3.5 timeout 920   11000 6000 unknown 890    1900 5800   out of memory 52    15000 610   timeout 900     230 9600    timeout 900     210 6900    timeout 900     220 8100    true 1.2   44 15   timeout 880   280 7900 timeout (timeout) 900    230   7400   error 830   2800 11000 timeout 900   1600 12000 timeout 910   12000 6300
memsafety/test-0219_true-valid-memsafety.i error (8) .22  27 2.4  error (1) .22 20 2.0  unknown .036 8.0 .26 error (1) .44 40 4.4 timeout 960   11000 5400 unknown 900    8500 5600   out of memory 860    15000 4500   timeout 900     3500 6500    timeout 900     3500 5000    unknown .11  25 1.1  true 2.4   95 26   timeout 880   360 7500 timeout (timeout) 900    4100   8600   timeout 900   590 12000 timeout 900   710 11000 timeout 900   13000 5700
memsafety/test-0232_true-valid-memsafety.i false(valid-deref) .28  35 2.3  error (1) 29    190 370    unknown .035 8.0 .26 error (1) .43 37 3.7 timeout 900   6700 7800 unknown 890    260 9500   timeout 900    7300 7900   timeout 900     2800 10000    timeout 900     1600 8900    unknown .12  24 1.3  true 1.1   26 14   true 880   310 9200 timeout (timeout) 900    1900   11000   timeout 900   1100 9800 timeout 900   2000 13000 timeout 900   2700 9100
memsafety/test-0234_true-valid-memsafety.i error (8) .32  27 3.5  error (1) .74 22 7.4  unknown .044 7.8 .27 error (1) .42 37 3.6 timeout 970   11000 4800 unknown 590    510 6500   timeout 900    150 11000   out of memory 540     15000 3000    out of memory 840     15000 3400    unknown .11  25 1.3  true 2.5   120 25   timeout 880   380 7400 timeout (timeout) 900    4900   8200   timeout 900   790 10000 timeout 900   520 12000 error 650   1200 9500
memsafety/test-0235_true-valid-memsafety.i error (8) .75  56 8.3  error (1) .97 26 11    unknown .057 8.0 .38 error (1) .43 40 3.6 timeout 970   11000 4700 unknown 590    510 6400   timeout 900    150 13000   out of memory 560     15000 3300    out of memory 550     15000 3100    unknown .12  25 1.3  true 5.8   160 55   timeout 880   410 8900 timeout (timeout) 900    5000   9400   timeout 900   640 11000 timeout 900   510 12000 error 380   1100 4500
memsafety/test-0236_true-valid-memsafety.i error (8) .34  28 3.7  error (1) .82 23 8.5  unknown .065 8.0 .30 error (1) .39 37 3.2 timeout 970   11000 5000 unknown 690    510 5700   timeout 900    150 12000   out of memory 530     15000 3800    out of memory 530     15000 3600    unknown .11  25 1.3  true 2.5   94 23   timeout 880   440 8400 timeout (timeout) 900    4900   12000   timeout 900   690 10000 timeout 900   540 12000 error 160   840 1700
memsafety/test-0237_true-valid-memsafety.i error (8) .35  27 3.7  error (1) .80 23 11    unknown .11  44   .64 error (1) .41 38 3.9 timeout 970   11000 4800 unknown 660    510 5600   timeout 900    150 13000   out of memory 840     15000 3100    out of memory 530     15000 4500    unknown .11  25 1.2  true 2.5   110 24   timeout 880   390 8000 timeout (timeout) 900    4900   9400   timeout 900   830 11000 timeout 900   570 11000 error 420   1100 5600
memsafety/test-0504_true-valid-memsafety.i error (8) .41  34 4.0  error (1) 310    670 3900    unknown .035 8.1 .21 error (1) .42 40 3.9 timeout 900   8000 9000 unknown 890    380 9800   timeout 900    9200 5100   timeout 900     460 12000    timeout 900     490 11000    unknown .22  29 2.7  true 2.2   42 21   timeout 880   380 7900 timeout (timeout) 900    3100   7400   timeout 900   980 10000 timeout 900   2200 14000 timeout 900   1100 11000
memsafety/test-0513_true-valid-memsafety.i true 180     1300 1500    error (42) 850    1900 5600    unknown .036 8.3 .23 error (1) .46 39 3.6 timeout 900   4500 13000 unknown 890    250 11000   out of memory 120    15000 1400   timeout 900     390 9200    timeout 900     530 9600    unknown .17  26 1.8  true 2.2   29 24   timeout 880   440 8600 timeout (timeout) 900    1300   9700   timeout 900   1100 11000 timeout 900   1500 11000 timeout 910   14000 3200
memsafety/test-0521_true-valid-memsafety.i true 43     1000 460    error (134) 150    14000 1800    unknown .037 8.1 .25 error (1) .38 38 3.4 timeout 900   4700 11000 unknown 890    750 11000   out of memory 10    15000 140   timeout 900     1200 10000    timeout 900     910 10000    unknown .52  48 6.0  true 2.3   34 23   timeout 880   370 7600 timeout (timeout) 900    2500   6600   timeout 900   2800 11000 timeout 900   1900 12000 timeout 900   1000 11000
memsafety/test-memleak_nexttime_true-valid-memsafety.i false(valid-memtrack) .36  30 3.9  error (1) .18 21 1.9  unknown .070 44   .47 error (1) .39 38 3.7 true 3.2 260 29 unknown 890    630 6900   true 7.9  3300 56   timeout 900     500 2600    true 1.8   28 22    true 1.9   31 26    true .11  25 1.9 true 3.3 69 47 true .22 11   3.1 true 57   670 640 true 110   890 1400 timeout 900   900 11000
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i false(valid-free) .33  30 3.2  error (1) 78    300 960    unknown .033 7.9 .21 error (1) .38 38 4.1 timeout 900   8700 9200 unknown 890    220 12000   out of memory 80    15000 870   timeout 900     650 12000    timeout 900     380 7600    unknown .20  27 2.1  timeout 900     890 5600   true 880   230 10000 timeout (timeout) 900    3300   7000   timeout 900   860 11000 timeout 900   1900 12000 timeout 900   1200 9800
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error (134) .38  32 3.8  error (42) 850    420 8000    unknown .036 8.1 .22 error (1) .42 40 3.8 timeout 900   9500 9500 unknown 890    93 9900   out of memory 53    15000 550   timeout 900     140 12000    timeout 900     200 10000    unknown .18  24 2.4  timeout 900     1600 7900   timeout 880   280 8400 timeout (timeout) 900    2800   6400   timeout 900   740 12000 timeout 900   1700 10000 timeout 900   13000 3700
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error (134) .56  36 5.8  error (42) 850    630 8300    unknown .044 7.9 .23 error (1) .41 40 3.7 timeout 900   9700 9100 unknown 890    110 12000   out of memory 54    15000 630   timeout 900     150 12000    timeout 900     210 11000    unknown .24  25 2.8  timeout 900     1200 8500   timeout 880   280 6900 timeout (timeout) 900    2700   7100   timeout 900   980 12000 timeout 900   1800 12000 timeout 910   14000 5400
memsafety-ext/tree_cnstr_true-valid-memsafety.i error (134) .37  34 3.5  error (42) 850    2100 4900    unknown .034 8.0 .21 error (1) .43 40 4.1 timeout 920   11000 5400 unknown 890    160 10000   out of memory 95    15000 970   timeout 900     190 12000    timeout 900     220 9900    unknown .50  33 5.5  timeout 900     460 6000   timeout 880   290 9000 timeout (timeout) 900    3400   6400   timeout 900   790 13000 timeout 900   1200 13000 timeout 900   3200 9100
memsafety-ext/tree_dsw_true-valid-memsafety.i error (134) .45  39 5.6  error (42) 850    1700 4100    unknown .034 8.1 .27 error (1) .43 37 3.4 timeout 920   11000 4800 unknown 890    340 10000   out of memory 97    15000 1000   timeout 900     210 11000    timeout 900     330 11000    unknown .74  43 10    timeout 900     280 7100   timeout 880   270 9200 timeout (timeout) 900    3700   7000   timeout 900   1900 11000 timeout 900   1500 13000 timeout 900   1000 12000
memsafety-ext/tree_of_cslls_true-valid-memsafety.i false(valid-deref) 2.2   110 25    error (42) 850    1000 8100    unknown .045 44   .90 error (1) .40 37 4.0 timeout 910   11000 6100 unknown 890    520 11000   out of memory 580    15000 4400   timeout 900     420 9800    timeout 900     440 11000    unknown 4.0   75 47    timeout 900     500 5500   timeout 880   360 7200 timeout (timeout) 900    4000   8700   timeout 900   1100 12000 timeout 900   1600 14000 timeout 910   11000 6500
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i error (134) .46  38 4.9  error (42) 850    2000 5800    unknown .033 8.0 .26 error (1) .40 38 3.4 timeout 930   11000 5300 unknown 890    270 12000   out of memory 120    15000 1500   timeout 900     310 12000    timeout 900     380 10000    unknown 2.2   50 26    timeout 900     440 6300   timeout 880   300 7500 timeout (timeout) 900    3900   6300   timeout 900   1000 12000 timeout 900   1700 12000 timeout 900   2400 8100
memsafety-ext/tree_stack_true-valid-memsafety.i error (134) .43  33 4.9  error (42) 850    1400 4900    unknown .043 7.9 .24 error (1) .40 38 3.8 timeout 940   11000 5200 unknown 890    330 12000   out of memory 93    15000 1000   timeout 900     200 5700    timeout 900     280 12000    unknown .96  40 12    timeout 900     430 6800   timeout 880   280 7300 timeout (timeout) 900    4300   6700   timeout 900   1100 13000 timeout 900   1900 13000 timeout 900   3400 6800
memsafety-ext2/split_list_test05_false-valid-deref.i false(valid-deref) 10     290 97    out of memory 310    15000 4100    unknown .12  43   .61 error (1) .40 40 4.3 false(valid-deref) 5.5 290 45 unknown 900    15000 10000   timeout 900    7300 6300   out of memory 220     15000 1700    out of memory 230     15000 1500    out of memory 230     15000 1800    timeout 900     970 8800   timeout 880   430 8400 false(valid-deref) 29    320   370   timeout 900   1200 12000 timeout 900   2000 11000 timeout 900   2600 10000
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error (134) .74  54 8.5  false(valid-memtrack) 17    630 190    unknown .10  44   .56 error (1) .42 38 4.2 timeout 900   10000 7700 unknown 890    550 6800   timeout 900    8900 5000   timeout 900     4300 6100    timeout 900     1400 7500    unknown .88  40 11    false(valid-memtrack) .17  25 2.5 false(valid-memtrack) 840   450 6800 false(valid-memtrack) .44 28   5.8 timeout 900   3500 13000 timeout 900   1500 13000 timeout 900   1500 7700
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i error (134) 1.2   72 14    false(valid-memtrack) 1.9  110 25    unknown .040 8.0 .28 error (1) .40 39 3.7 timeout 930   11000 5500 unknown 890    490 7200   out of memory 750    15000 7000   false(valid-memtrack) 780     500 6100    timeout 900     520 6500    unknown .41  40 5.5  false(valid-memtrack) .15  25 1.8 false(valid-memtrack) 830   380 10000 false(valid-memtrack) .45 28   5.5 timeout 900   3100 12000 timeout 900   1600 12000 timeout 900   1500 6400
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-deref) 2.0   67 21    false(valid-memtrack) 1.4  34 16    unknown .11  43   .54 error (1) .40 40 4.1 false(valid-memtrack) 3.9 260 31 false(valid-memtrack) 10    48 130   out of memory 550    15000 5100   false(valid-memtrack) 3.4   64 40    false(valid-memtrack) 2.4   81 30    unknown .17  25 1.5  false(valid-memtrack) .97  31 10   false(valid-memtrack) 830   320 8200 false(valid-memtrack) .36 22   4.8 timeout 910   14000 4200 timeout 900   1500 10000 timeout 900   2000 11000
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i error (134) .35  31 3.7  false(valid-memtrack) 16    280 200    unknown .032 7.9 .28 error (1) .41 37 3.7 timeout 900   11000 5700 false(valid-deref) .82 29 9.6 out of memory 140    15000 1100   false(valid-free) .36  24 4.1  false(valid-free) .33  25 4.5  false(valid-free) .33  24 4.1  false(valid-memtrack) 1.0   25 12   false(valid-memtrack) 830   410 7100 false(valid-memtrack) .41 20   4.6 timeout 900   1100 8700 timeout 900   2000 12000 timeout 900   2000 7600
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error (134) .62  50 7.2  error (42) 850    2500 10000    unknown .038 8.1 .21 error (1) .41 37 3.7 timeout 960   10000 8800 unknown 890    640 7100   timeout 900    8900 4300   timeout 900     4300 6200    timeout 900     1200 6500    unknown .49  40 5.5  timeout 900     1800 7100   timeout 880   440 7400 timeout (timeout) 900    4100   9500   timeout 900   3400 13000 timeout 900   1600 12000 timeout 900   1300 8100
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i error (134) 1.2   85 14    error (1) 52    480 600    unknown .038 8.0 .27 error (1) .39 38 3.9 timeout 910   11000 5400 unknown 890    500 6600   out of memory 770    15000 4900   timeout 900     490 6700    false(valid-memtrack) 770     520 5900    unknown .61  41 6.8  timeout 900     1900 5400   timeout 880   440 10000 timeout (timeout) 900    3800   7800   timeout 900   3400 9600 timeout 900   1800 11000 timeout 900   1400 8300
memsafety-ext2/length_test03_true-valid-memsafety.i false(valid-deref) 1.8   62 23    error (42) 850    2000 4200    unknown .039 7.9 .27 error (1) .44 40 4.0 timeout 900   8000 8300 unknown 890    190 9200   timeout 900    4400 6800   timeout 900     1100 9200    timeout 900     1200 11000    unknown .17  25 1.7  timeout 900     2500 11000   true 880   320 8400 true .34 22   4.3 timeout 910   14000 4400 timeout 900   1600 10000 timeout 900   1700 11000
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error (134) .47  36 5.9  error (1) 200    800 2100    unknown .034 7.8 .25 error (1) .42 38 4.1 timeout 910   11000 5000 false(valid-deref) .79 29 11   out of memory 140    15000 1100   false(valid-free) .33  25 4.1  false(valid-free) .33  24 4.2  false(valid-free) .33  24 3.9  timeout 900     1800 5100   timeout 880   420 8400 timeout (timeout) 900    3300   7100   timeout 900   1000 9100 timeout 900   2000 12000 timeout 900   1400 11000
memsafety-ext2/split_list_test05_true-valid-memsafety.i false(valid-deref) 10     310 83    out of memory 210    15000 2500    unknown .046 8.0 .36 error (1) .40 37 3.8 timeout 900   6600 7500 unknown 900    15000 10000   timeout 900    7200 6200   out of memory 230     15000 2000    out of memory 220     15000 2400    out of memory 230     15000 1900    timeout 900     890 8800   timeout 880   320 7600 timeout (timeout) 900    3700   8300   timeout 900   1600 11000 timeout 900   1600 10000 timeout 900   2600 10000
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) .38  32 4.4  false(valid-deref) .20 20 1.8  unknown .035 8.0 .25 error (1) .41 37 3.8 false(valid-deref) 3.2 260 28 false(valid-deref) 1.5  29 19   false(valid-deref) 20    1900 280   false(valid-deref) .31  24 4.2  false(valid-deref) .32  24 4.6  false(valid-deref) .36  24 3.6  false(valid-deref) .16  23 1.8 false(valid-deref) 2.5 83 31 false(valid-deref) .29 14   3.2 false(valid-deref) 11   420 83 false(valid-deref) 17   480 150 false(valid-deref) 15   510 120
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 1.1   39 12    false(valid-deref) 100    390 1100    unknown .036 7.9 .20 error (1) .41 40 4.8 false(valid-deref) 3.3 250 28 false(valid-deref) 1.3  30 19   false(valid-deref) 470    2700 4700   false(valid-deref) .22  25 2.5  false(valid-deref) .20  26 2.5  false(valid-deref) .20  26 2.7  false(valid-deref) 4.1   55 33   timeout 880   290 7500 false(valid-deref) 1.8  24   23   timeout 900   730 12000 timeout 900   1500 12000 timeout 900   3200 8600
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-free) .48  31 5.3  false(valid-deref) .26 21 1.9  unknown .040 8.3 .26 error (1) .45 40 3.8 false(valid-deref) 3.2 260 26 false(valid-deref) 1.3  29 15   out of memory 460    15000 3900   false(valid-deref) .19  24 2.3  false(valid-deref) .19  25 2.7  false(valid-deref) .19  24 2.4  false(valid-deref) .15  23 2.0 false(valid-deref) 2.3 91 27 false(valid-deref) .31 18   3.7 false(valid-deref) 8.4 400 67 false(valid-deref) 38   720 410 false(valid-deref) 9.2 400 69
list-ext-properties/960521-1_1_false-valid-free.i true .34  28 3.5  false(valid-free) .20 20 2.1  unknown .034 7.9 .20 error (1) .42 37 3.8 false(valid-free) 2.9 250 26 unknown 1.5  29 21   false(valid-free) 41    1900 470   false(valid-free) .32  24 3.7  false(valid-free) .36  24 4.7  false(valid-free) .35  24 5.0  false(valid-free) .12  24 2.1 false(valid-free) 640   330 7000 false(valid-free) .29 13   3.3 false(valid-free) 12   490 98 false(valid-free) 32   610 330 false(valid-free) 16   550 160
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) .21  26 1.6  false(valid-free) .18 20 1.8  unknown .039 7.9 .20 error (1) .44 40 3.5 false(valid-free) 3.0 250 23 false(valid-deref) .57 29 6.6 false(valid-free) .25 25 2.8 false(valid-free) .25  24 2.8  false(valid-free) .24  24 3.1  false(valid-free) .26  24 3.5  false(valid-free) .12  22 1.8 false(valid-free) 2.8 73 37 false(valid-free) .24 12   2.7 false(valid-free) 8.6 400 73 false(valid-free) 26   660 250 false(valid-free) 8.4 430 66
list-ext-properties/test-0019_1_false-valid-memtrack.i error (134) .19  26 1.8  false(valid-memtrack) .21 20 1.6  unknown .032 7.9 .17 error (1) .40 38 3.6 false(valid-memtrack) 3.0 260 27 false(valid-memtrack) .52 29 5.9 false(valid-memtrack) .20 25 2.3 false(valid-memtrack) .17  25 1.7  false(valid-memtrack) .17  24 1.8  false(valid-memtrack) .14  24 1.6  false(valid-memtrack) .13  23 2.0 false(valid-memtrack) 3.9 84 49 false(valid-memtrack) .23 14   3.0 unknown 240   1100 2600 unknown 220   1000 2600 timeout 900   4600 15000
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) .17  26 1.5  false(valid-memtrack) .21 20 1.5  unknown .032 8.0 .18 error (1) .41 37 3.7 false(valid-memtrack) 2.9 260 26 false(valid-memtrack) .47 29 5.8 false(valid-memtrack) .16 24 1.8 false(valid-memtrack) .13  24 1.1  false(valid-memtrack) .10  24 1.2  false(valid-memtrack) .12  24 1.1  false(valid-memtrack) .12  23 1.8 false(valid-memtrack) 3.7 80 46 false(valid-memtrack) .25 11   2.6 unknown 13   330 99 unknown 23   510 210 unknown 13   340 110
list-ext-properties/test-0232_1_false-valid-memtrack.i false(valid-deref) .21  26 1.6  false(valid-memtrack) .23 20 2.1  unknown .031 7.9 .23 error (1) .38 37 3.5 false(valid-memtrack) 3.1 250 27 false(valid-memtrack) .57 29 6.7 false(valid-memtrack) 34    1600 350   false(valid-memtrack) .14  24 1.5  false(valid-memtrack) .14  24 1.6  false(valid-memtrack) .18  24 1.9  false(valid-memtrack) .13  24 1.9 false(valid-memtrack) 830   350 8000 false(valid-memtrack) .29 15   3.1 unknown 42   670 420 unknown 250   1200 3200 unknown 50   650 480
list-ext-properties/960521-1_1_true-valid-memsafety.i true .37  30 4.9  true 56    850 730    unknown .042 8.2 .23 error (1) .41 40 3.9 true 40   690 50 unknown 890    110 10000   true 26    1200 320   timeout 900     260 11000    timeout 900     300 10000    unknown .19  24 1.9  true .88  35 9.0 true 830   320 9500 true .59 14   7.7 timeout 900   2000 11000 timeout 900   1500 11000 timeout 900   840 11000
list-ext-properties/list-ext_1_true-valid-memsafety.i error (134) .76  50 8.3  true 110    290 1200    unknown .037 7.9 .20 error (1) .39 37 3.9 true 25   1800 220 unknown 890    220 10000   true 270    2300 2400   timeout 900     760 11000    timeout 900     850 9900    timeout 900     830 10000    true 2.9   56 26   true 880   350 8100 true 3.2  27   39   timeout 900   820 12000 timeout 900   1400 13000 timeout 910   9800 8600
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i error (134) .52  32 5.8  true 45    150 650    unknown .032 8.0 .24 error (1) .41 38 3.7 timeout 900   4800 11000 unknown 890    200 9600   true 110    3500 1400   timeout 900     1700 9200    true 210     680 2500    timeout 900     860 8000    timeout 900     480 5800   true 880   240 8400 timeout (timeout) 900    2200   7200   timeout 900   950 12000 timeout 900   1300 14000 timeout 910   10000 7800
list-ext-properties/simple-ext_1_true-valid-memsafety.i error (134) .41  31 4.3  true 48    270 550    unknown .035 8.1 .19 error (1) .42 38 3.9 true 47   810 59 unknown 890    190 10000   true 900    4700 7600   timeout 900     1400 9100    true 680     1300 7300    timeout 900     930 9600    true 310     2000 2600   true 880   290 11000 true 1.2  18   17   timeout 900   1100 13000 timeout 900   1700 11000 timeout 900   12000 5500
list-ext-properties/test-0019_1_true-valid-memsafety.i error (134) .21  26 1.6  true .33 20 3.2  unknown .025 8.0 .24 error (1) .40 37 3.4 true 2.8 250 23 true .84 29 10   true .21 24 2.1 out of memory 110     15000 1300    true .084 24 .88 true .082 24 1.1  true .11  23 1.7 true 3.6 74 41 true .23 14   2.8 true 30   730 320 true 74   890 940 timeout 910   13000 2800
list-ext-properties/test-0158_1_true-valid-memsafety.i true .18  26 1.4  true .33 20 2.9  unknown .061 8.0 .17 error (1) .44 40 3.6 true 3.0 250 27 true 1.1  29 12   true .21 24 2.5 timeout 900     3100 2600    true .22  24 2.8  true .22  24 2.9  true .11  21 1.8 true 3.3 66 41 true .23 12   2.5 true 8.1 430 65 true 23   690 240 true 9.1 480 72
list-ext-properties/test-0214_1_true-valid-memsafety.i error (134) 15     180 120    true 430    460 3300    unknown .046 8.4 .29 error (1) .41 37 3.9 timeout 900   5900 9400 unknown 890    870 2700   timeout 900    5400 2000   timeout 900     330 11000    timeout 900     320 6600    timeout 900     330 5600    true 12     530 160   timeout 880   270 6900 timeout (timeout) 900    170   6700   timeout 900   940 11000 timeout 900   1400 10000 timeout 900   1000 11000
list-ext-properties/test-0217_1_true-valid-memsafety.i error (134) .28  35 2.6  true 400    390 3400    unknown .042 8.2 .30 error (1) .42 37 3.5 timeout 900   5300 11000 unknown 890    1100 5300   timeout 900    5100 6800   timeout 900     720 7700    timeout 900     740 8300    timeout 900     760 9700    true 3.9   120 38   timeout 880   360 8700 timeout (timeout) 900    190   9100   timeout 900   860 13000 timeout 900   1400 11000 timeout 900   980 13000
list-ext-properties/test-0232_1_true-valid-memsafety.i false(valid-deref) .21  28 1.9  true 6.1  62 88    unknown .087 44   .64 error (1) .43 37 3.5 true 33   390 33 true 190    150 2100   true 59    1600 680   timeout 900     5000 12000    true 190     820 2400    unknown .13  24 1.4  true 1.6   25 18   true 880   340 8100 true .58 16   6.5 timeout 900   840 9500 timeout 900   2200 10000 error 720   1200 8900
list-ext-properties/test-0504_1_true-valid-memsafety.i error (8) .69  39 7.6  true 4.6  87 64    unknown .030 7.8 .26 error (1) .40 37 3.4 timeout 900   5400 9000 unknown 890    440 8100   timeout 900    8000 2400   timeout 900     600 10000    true 590     420 5700    timeout 900     560 6900    timeout 900     6100 5200   timeout 880   380 7300 true 29    170   350   timeout 900   920 10000 timeout 900   1900 13000 timeout 900   1600 10000
list-ext-properties/test-0513_1_true-valid-memsafety.i true 3.7   150 36    true 10    290 110    unknown .035 7.9 .25 error (1) .39 37 4.0 true 4.7 290 34 unknown 890    2600 8900   out of memory 99    15000 1200   timeout 900     460 2600    true 360     430 3800    true 230     460 2500    true .26  25 2.8 true 370   310 3100 true .41 23   4.7 timeout 900   1200 13000 timeout 900   1700 13000 timeout 910   13000 4700
memory-alloca/c.03-alloca_true-valid-memsafety.i true .22  28 1.6  error (42) 850    2100 6900    unknown .037 8.0 .22 error (1) .40 37 3.7 timeout 900   8000 10000 unknown 160    71 1800   true 18    1300 210   out of memory 890     15000 2700    out of memory 280     15000 3300    out of memory 230     15000 2800    true 1.2   45 14   true 4.1 81 47 timeout (timeout) 900    290   11000   true 12   520 86 true 210   1300 3000 true 41   500 450
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) .20  34 1.9  false(valid-deref) .15 18 .97 unknown .025 7.9 .14 error (1) .40 37 3.5 false(valid-deref) 2.4 240 23 false(valid-deref) .39 28 4.7 false(valid-deref) 440    930 6200   false(valid-deref) .43  23 1.6  false(valid-deref) .11  23 1.3  false(valid-deref) .11  23 1.4  false(valid-deref) .16  23 1.7 false(valid-deref) 3.9 83 50 false(valid-deref) .22 12   2.7 false(valid-deref) 6.8 340 51 false(valid-deref) 7.7 360 56 false(valid-deref) 7.0 340 50
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) .23  34 1.8  false(valid-deref) .15 18 .92 unknown .027 7.9 .16 error (1) .41 38 3.6 false(valid-deref) 2.4 240 21 unknown .36 28 4.2 false(valid-deref) 440    930 5500   false(valid-deref) .11  23 .63 false(valid-deref) .072 23 .80 false(valid-deref) .087 23 .85 false(valid-deref) .16  25 1.9 false(valid-deref) 3.5 84 45 false(valid-deref) .23 11   2.3 false(valid-deref) 8.3 390 57 false(valid-deref) 8.6 440 68 false(valid-deref) 8.1 440 71
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) .18  33 1.7  false(valid-deref) .14 18 .94 unknown .026 7.8 .14 error (1) .41 38 3.4 false(valid-deref) 2.2 230 20 unknown .36 27 4.0 false(valid-deref) 4.7  82 61   false(valid-deref) .073 23 .81 false(valid-deref) .078 23 .83 false(valid-deref) .097 23 .88 false(valid-deref) .16  23 1.7 false(valid-deref) 3.2 82 39 false(valid-deref) .22 11   2.1 false(valid-deref) 6.7 340 51 false(valid-deref) 6.2 340 56 false(valid-deref) 6.3 310 53
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) .22  47 2.6  false(valid-deref) .12 18 .90 unknown .026 7.7 .14 error (1) .42 40 4.2 false(valid-deref) 2.2 230 19 unknown .37 27 4.3 false(valid-deref) 4.6  39 63   false(valid-deref) .090 23 .89 false(valid-deref) .086 23 .90 false(valid-deref) .076 23 .79 false(valid-deref) .16  22 1.8 false(valid-deref) 4.1 95 63 false(valid-deref) .22 11   2.2 false(valid-deref) 5.9 330 53 false(valid-deref) 6.3 350 45 false(valid-deref) 6.3 330 51
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 43     1400 430    false(valid-deref) 1.7  26 17    unknown .028 8.2 .13 error (1) .41 40 3.8 false(valid-deref) 12   740 98 false(valid-deref) 610    570 5600   false(valid-deref) .79 23 11   false(valid-deref) 2.5   23 30    false(valid-deref) 4.8   58 58    false(valid-deref) 470     2300 4300    false(valid-deref) 1.6   39 20   timeout 750   480 7500 false(valid-deref) .81 24   9.9 false(valid-deref) 540   4900 7000 timeout 900   1200 14000 false(valid-deref) 870   5300 11000
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 42     1400 400    false(valid-deref) 1.7  26 19    unknown .027 7.8 .14 error (1) .44 40 4.2 false(valid-deref) 12   740 87 unknown 900    430 1900   false(valid-deref) 3.0  23 6.8 false(valid-deref) 2.5   23 36    false(valid-deref) 4.7   58 53    false(valid-deref) 420     2300 3900    false(valid-deref) 3.8   53 46   timeout 750   420 6900 false(valid-deref) .88 26   11   false(valid-deref) 470   4800 7400 timeout 900   1000 13000 false(valid-deref) 730   5100 10000
ldv-memsafety/memset2_false-valid-deref-write.c timeout 900     1600 9800    false(valid-deref) 2.0  19 22    unknown .026 7.7 .13 error (1) .46 40 4.1 false(valid-deref) 2.4 230 21 unknown 75    29 930   false(valid-deref) .44 23 5.6 false(valid-deref) 3.1   23 43    false(valid-deref) 6.0   58 72    false(valid-deref) 6.8   150 110    false(valid-deref) .14  21 1.9 false(valid-deref) 1.7 73 23 false(valid-deref) .19 9.6 1.8 false(valid-deref) 5.8 330 41 false(valid-deref) 5.9 320 47 false(valid-deref) 5.7 320 44
ldv-memsafety/memset3_false-valid-deref-write.c timeout 900     1100 11000    false(valid-deref) 2.1  19 20    unknown .026 7.6 .13 error (1) .40 37 3.5 false(valid-deref) 2.4 240 20 unknown 270    39 3100   false(valid-deref) 1.6  23 23   false(valid-deref) 31     24 390    false(valid-deref) 61     370 950    false(valid-deref) 65     700 790    false(valid-deref) .12  21 1.8 false(valid-deref) 1.6 73 23 false(valid-deref) .17 9.9 2.2 false(valid-deref) 6.3 340 50 false(valid-deref) 5.7 320 49 false(valid-deref) 5.8 320 44
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c timeout 900     1600 10000    false(valid-deref) 2.0  19 21    unknown .028 7.8 .12 error (1) .41 38 3.6 false(valid-deref) 9.5 240 11 unknown 75    28 960   false(valid-deref) .44 23 5.5 false(valid-deref) 3.1   23 38    false(valid-deref) 6.0   58 85    false(valid-deref) 6.7   150 82    false(valid-deref) .15  23 1.8 false(valid-deref) 1.6 82 21 false(valid-deref) .18 9.7 2.0 false(valid-deref) 5.9 320 53 false(valid-deref) 6.2 320 43 false(valid-deref) 5.9 340 46
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c timeout 900     1100 13000    false(valid-deref) 2.1  19 21    unknown .025 7.9 .13 error (1) .40 38 4.1 false(valid-deref) 2.3 240 19 unknown 270    38 3600   false(valid-deref) 1.7  23 22   false(valid-deref) 31     24 480    false(valid-deref) 62     380 860    false(valid-deref) 65     700 720    false(valid-deref) .11  22 1.7 false(valid-deref) 1.6 82 22 false(valid-deref) .20 9.8 1.9 false(valid-deref) 5.8 320 45 false(valid-deref) 5.7 320 46 false(valid-deref) 5.8 330 49
ldv-memsafety/memsetNonZero_false-valid-deref-write.c timeout 900     1100 10000    false(valid-deref) 2.1  18 21    unknown .024 7.8 .13 error (1) .43 37 3.8 false(valid-deref) 2.3 230 21 unknown 270    39 3400   false(valid-deref) 1.7  23 23   false(valid-deref) 31     24 390    false(valid-deref) 62     380 780    false(valid-deref) 65     700 800    false(valid-deref) .16  32 1.9 false(valid-deref) 1.6 73 21 false(valid-deref) .17 9.9 2.2 false(valid-deref) 5.9 320 46 false(valid-deref) 6.0 330 50 false(valid-deref) 5.8 320 46
ldv-memsafety/memset_false-valid-deref-write.c timeout 900     1100 12000    false(valid-deref) 2.1  19 20    unknown .023 7.8 .15 error (1) .43 41 3.9 false(valid-deref) 2.2 230 18 unknown 270    39 3500   false(valid-deref) 1.6  23 24   false(valid-deref) 31     24 400    false(valid-deref) 61     370 830    false(valid-deref) 65     700 760    false(valid-deref) .11  22 1.7 false(valid-deref) 1.6 76 20 false(valid-deref) .19 10   2.0 false(valid-deref) 5.9 330 42 false(valid-deref) 6.3 340 55 false(valid-deref) 6.3 330 49
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c false(valid-deref) 7.4   88 83    error (42) 850    5500 4300    unknown .024 7.9 .19 error (1) .44 38 4.0 true 76   4100 820 unknown 900    1800 9500   true 8.4  100 110   timeout 900     3300 12000    timeout 900     8000 11000    timeout 900     11000 12000    true 770     1800 6900   true 760   340 7400 timeout (timeout) 900    4800   12000   timeout 900   3700 8600 timeout 900   1600 13000 error 260   1100 3500
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c true .28  34 3.0  true 2.0  19 25    unknown .026 8.2 .13 error (1) .44 41 4.3 true 14   2300 100 unknown 900    690 6400   true .99 23 12   timeout 900     3500 12000    true 1.3   28 14    timeout 900     2300 9200    true 2.0   73 20   true 750   560 6700 true 1.0  12   13   true 8.1 380 58 timeout 900   1700 13000 true 8.9 370 69
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true .86  33 10    true 1.7  19 19    unknown .026 7.9 .14 error (1) .42 38 4.3 true 8.7 470 63 true 670    590 5500   true .63 23 7.7 timeout 900     3700 11000    true 4.5   57 54    true 500     2200 4400    true 3.2   47 36   timeout 750   400 10000 true .75 11   11   true 10   450 86 timeout 900   1000 13000 true 11   550 82
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c true .31  46 2.9  true 2.0  19 25    unknown .037 7.9 .15 error (1) .40 37 3.3 true 15   2300 130 unknown 900    800 8600   true .99 23 11   timeout 900     3500 10000    true 1.3   28 18    timeout 900     2100 8900    true 2.0   73 21   true 750   540 6500 true 1.2  12   13   true 8.6 420 63 timeout 900   1300 12000 true 8.5 350 64
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 4.0   45 43    true 6.1  67 80    unknown .025 7.8 .14 error (1) .43 40 4.1 true 47   3900 390 unknown 900    640 7000   true 4.2  38 63   timeout 900     3200 10000    true 140     1000 1800    timeout 900     1700 6400    true 200     690 2400   true 760   330 7800 true 16    65   230   true 11   450 88 timeout 900   920 12000 true 13   500 120
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c true .83  32 9.3  true 1.7  19 20    unknown .024 8.2 .19 error (1) .42 37 3.9 true 7.7 480 53 true 660    620 5600   true .68 23 8.0 timeout 900     3700 11000    true 4.9   59 59    true 420     2200 3900    true 3.5   51 37   timeout 750   460 8300 true .75 11   12   true 8.6 430 75 timeout 900   940 15000 true 9.2 390 64
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true .10  23 .97 true .18 17 2.1  unknown .047 43   .51 error (1) .42 37 3.6 true 2.3 230 21 true 3.7  230 36   true .21 25 2.2 timeout 900     200 3200    true .14  24 1.1  true .11  24 1.3  true .10  22 1.6 true 3.1 71 38 true .18 9.8 2.2 error 4.8 300 38 error 5.1 320 38 error 4.7 300 34
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true .10  22 .88 true .19 17 1.6  unknown .027 8.1 .16 error (1) .45 40 3.8 true 2.4 240 19 true 3.7  250 36   true .20 25 2.3 timeout 900     760 13000    true .12  25 1.4  true .12  24 1.2  true .099 22 1.7 true 3.2 67 41 true .18 9.6 1.9 error 5.1 310 41 error 5.4 320 41 error 5.2 310 41
ldv-memsafety/StructInitialization_true-valid-memsafety.c true .089 22 .82 true .19 17 1.9  unknown .026 7.8 .15 error (1) .40 37 3.6 true 2.2 230 18 true 3.2  230 29   true .16 23 1.7 timeout 900     1900 11000    true .097 23 .86 true .084 23 .93 true .13  21 1.5 true 3.0 70 33 true .17 9.4 2.2 true 5.1 310 42 true 5.9 350 46 true 5.3 320 39
ldv-memsafety/memset2_true-valid-memsafety.c true .18  24 1.6  true 2.2  19 24    unknown .026 7.7 .12 error (1) .42 37 3.9 true 2.3 240 20 true 40    240 530   true .42 23 5.5 timeout 900     340 13000    true 6.1   57 78    true 7.0   150 90    true .10  22 1.6 true 3.1 73 34 true .20 9.7 2.2 true 6.9 340 50 true 32   900 320 true 7.1 350 57
ldv-memsafety/memset3_true-valid-memsafety.c true .22  27 1.5  true 2.2  19 22    unknown .025 7.8 .13 error (1) .40 38 3.9 true 2.3 240 19 true 230    250 3400   true 1.6  23 18   timeout 900     150 13000    true 62     370 780    true 66     710 780    true .13  21 1.6 true 3.1 69 36 true .18 9.9 2.4 true 6.9 350 55 true 92   1000 1100 true 6.8 350 54
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true .18  24 1.5  true 2.2  19 22    unknown .023 7.8 .17 error (1) .45 38 3.7 true 2.2 230 17 true 40    250 550   true .41 23 5.0 timeout 900     330 10000    true 6.2   57 89    true 7.0   150 92    true .13  21 1.6 true 3.0 67 38 true .17 9.6 2.0 true 7.6 360 58 true 30   720 340 true 7.8 370 59
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true .18  25 1.5  true 2.3  21 19    unknown .064 43   .50 error (1) .43 38 3.4 true 2.3 240 20 true 230    250 3200   true 1.6  23 22   timeout 900     150 11000    true 62     370 880    true 66     700 920    true .10  21 1.7 true 3.1 68 37 true .19 9.9 1.8 true 6.9 360 56 true 95   1200 1300 true 7.2 360 53
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true .18  25 1.6  true 2.2  19 24    unknown .025 7.7 .16 error (1) .41 37 3.4 true 2.2 220 21 true 230    250 3000   true 1.7  23 21   timeout 900     150 11000    true 62     370 940    true 66     700 820    true .13  21 1.7 true 3.1 71 37 true .18 9.7 1.9 true 7.9 370 58 true 93   1000 1300 true 7.1 360 54
ldv-memsafety/memset_true-valid-memsafety.c true .19  25 1.5  true 2.1  19 28    unknown .026 7.6 .12 error (1) .42 37 3.9 true 2.2 230 20 true 230    240 3100   true 1.6  23 19   timeout 900     150 11000    true 62     370 820    true 66     700 880    true .10  22 1.6 true 3.0 71 33 true .20 9.9 2.0 true 7.0 350 54 true 93   1000 1100 true 6.9 370 59
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error (134) .24  29 1.9  false(valid-deref) .26 26 2.3  unknown .035 8.6 .18 error (1) .40 37 3.5 false(valid-deref) 3.7 260 33 false(valid-deref) .81 35 10   out of memory 470    15000 4400   false(valid-deref) .31  26 3.1  false(valid-deref) .27  26 3.4  false(valid-deref) .30  26 3.2  false(valid-deref) .20  28 2.1 false(valid-deref) 2.7 93 35 false(valid-deref) .48 24   6.0 false(valid-deref) 140   600 1700 false(valid-deref) 730   1100 10000 false(valid-deref) 220   860 3200
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) .63  35 8.1  false(valid-deref) 1.5  28 15    unknown .043 8.1 .17 error (1) .40 38 3.8 false(valid-deref) 3.8 260 33 false(valid-deref) 34    36 470   false(valid-deref) .40 26 4.6 false(valid-deref) 1.0   56 12    false(valid-deref) 1.1   89 13    false(valid-deref) 11     160 170    false(valid-deref) .21  27 2.1 false(valid-deref) 2.7 82 34 false(valid-deref) .44 21   5.8 false(valid-deref) 280   730 3600 timeout 900   1300 12000 timeout 900   3200 12000
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) .65  35 7.2  false(valid-deref) 1.5  27 19    unknown .034 8.3 .20 error (1) .40 37 3.6 false(valid-deref) 3.9 260 32 false(valid-deref) 140    36 320   false(valid-deref) .42 26 5.5 false(valid-deref) .84  54 9.7  false(valid-deref) 1.1   89 14    false(valid-deref) 11     150 160    false(valid-deref) .21  27 2.2 false(valid-deref) 2.8 83 31 false(valid-deref) .45 21   5.4 false(valid-deref) 220   960 2800 timeout 900   1300 10000 timeout 900   3200 12000
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error (134) .89  130 9.9  false(valid-deref) 10    220 120    unknown .031 8.3 .21 error (1) .42 40 3.7 false(valid-deref) 3.6 260 30 false(valid-deref) 560    350 5500   out of memory 600    15000 5400   false(valid-deref) 220     270 1800    false(valid-deref) 240     300 2000    unknown .15  27 1.7  unknown .18  30 2.4 false(valid-deref) 3.8 93 47 false(valid-deref) .78 76   9.8 timeout 900   900 11000 timeout 900   1400 12000 timeout 900   8800 9700
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error (134) .87  130 10    false(valid-deref) 10    220 110    unknown .034 8.3 .22 error (1) .41 40 4.4 false(valid-deref) 4.1 260 33 false(valid-deref) 600    330 6200   out of memory 800    15000 6100   false(valid-deref) 310     270 2700    false(valid-deref) 200     280 1700    unknown .15  27 1.7  unknown .17  29 2.6 false(valid-deref) 3.4 89 43 false(valid-deref) .71 74   9.3 timeout 900   710 12000 timeout 900   1500 12000 error 850   2600 10000
ldv-memsafety/memleaks_test11_1_false-valid-free.i error (134) .26  30 2.6  false(valid-free) .25 27 2.8  unknown .031 8.2 .20 error (1) .43 37 3.8 false(valid-free) 3.8 260 30 false(valid-deref) 1.7  36 23   false(valid-free) .76 28 8.8 false(valid-deref) .82  31 10    false(valid-deref) .82  30 11    false(valid-deref) .85  31 9.7  false(valid-free) .20  28 2.9 false(valid-free) 3.6 82 45 false(valid-free) .51 20   5.8 false(valid-free) 370   660 5200 timeout 900   590 13000 false(valid-free) 740   1400 10000
ldv-memsafety/memleaks_test12_false-valid-free.i error (8) .45  63 4.7  error (1) .37 36 3.9  unknown .046 8.2 .21 error (1) .40 37 4.0 false(valid-free) 22   280 23 unknown 260    210 3300   unknown 240    10000 2800   unknown .70  46 9.9  unknown 4.5   82 53    unknown 52     170 580    false(valid-free) .26  32 2.9 false(valid-free) 20   110 270 false(valid-free) 1.4  150   17   timeout 900   820 12000 timeout 900   790 12000 timeout 900   1700 9900
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-deref) 3.9   92 40    false(valid-free) 1.6  53 17    unknown .042 8.3 .20 error (1) .43 40 4.3 false(valid-free) 4.1 270 32 unknown 890    310 8900   false(valid-free) 71    2100 660   false(valid-free) 440     320 4300    false(valid-free) 530     330 5000    timeout 900     450 8500    false(valid-free) .50  30 5.3 false(valid-free) 40   140 560 false(valid-free) .48 16   6.1 timeout 900   2100 13000 timeout 900   1400 11000 timeout 900   900 10000
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) .24  27 2.0  false(valid-free) .21 23 2.0  unknown .034 8.7 .21 error (1) .41 37 3.4 false(valid-free) 3.8 260 32 false(valid-deref) .74 30 9.1 false(valid-free) .30 26 3.1 false(valid-free) .26  26 3.7  false(valid-free) .26  26 3.6  false(valid-free) .29  26 3.4  false(valid-free) .21  28 2.3 false(valid-free) 3.3 80 39 false(valid-free) .47 16   5.9 false(valid-free) 220   590 2600 timeout 900   940 11000 false(valid-free) 550   1500 8400
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) .19  27 1.9  false(valid-free) .21 23 1.6  unknown .053 44   .76 error (1) .40 40 3.6 false(valid-free) 3.5 260 32 false(valid-deref) .52 30 8.0 false(valid-free) .21 26 2.5 false(valid-free) .15  26 1.9  false(valid-free) .17  26 1.6  false(valid-free) .17  26 1.8  false(valid-free) .16  27 2.3 false(valid-free) 2.6 82 40 false(valid-free) .43 12   4.9 false(valid-free) 7.0 350 58 false(valid-free) 6.7 320 52 false(valid-free) 7.1 360 51
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) .19  27 1.7  false(valid-free) .22 21 1.7  unknown .029 8.0 .20 error (1) .42 38 3.5 false(valid-free) 3.6 250 31 false(valid-deref) .38 30 4.6 false(valid-free) .21 26 1.9 false(valid-free) .41  26 1.1  false(valid-free) .14  26 1.1  false(valid-free) .14  26 1.1  false(valid-free) .21  28 2.1 false(valid-free) 2.6 83 34 false(valid-free) .44 11   5.4 false(valid-free) 5.8 320 40 false(valid-free) 5.6 330 46 false(valid-free) 6.1 330 44
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) .21  27 1.6  false(valid-free) .23 21 1.8  unknown .029 8.2 .25 error (1) .40 37 3.5 false(valid-free) 3.7 260 31 false(valid-deref) .57 30 7.4 false(valid-free) .22 26 2.7 false(valid-free) .19  26 2.0  false(valid-free) .16  26 1.8  false(valid-free) .16  26 2.1  false(valid-free) .22  29 2.1 false(valid-free) 2.9 76 36 false(valid-free) .44 15   5.5 false(valid-free) 170   520 2100 false(valid-free) 130   850 1600 false(valid-free) 230   1000 2700
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) .20  27 1.5  false(valid-free) .20 20 2.0  unknown .034 8.4 .18 error (1) .41 38 4.1 false(valid-free) 3.6 260 28 false(valid-deref) .55 30 7.5 false(valid-free) .20 26 2.9 false(valid-free) .15  26 2.2  false(valid-free) .17  26 1.6  false(valid-free) .17  26 1.6  false(valid-free) .19  27 2.2 false(valid-free) 2.9 78 38 false(valid-free) .42 12   5.2 false(valid-free) 8.1 380 69 false(valid-free) 7.6 380 63 false(valid-free) 7.3 340 57
ldv-memsafety/memleaks_test10_false-valid-memtrack.i error (134) .28  38 1.9  false(valid-memtrack) .25 22 2.3  unknown .033 8.2 .18 error (1) .45 40 3.8 false(valid-memtrack) 15   260 17 false(valid-deref) .75 31 9.8 false(valid-deref) .56 26 6.8 false(valid-memtrack) .46  26 5.7  false(valid-memtrack) .43  26 6.0  false(valid-memtrack) .45  26 4.8  false(valid-memtrack) .19  28 2.6 false(valid-memtrack) 4.4 74 54 false(valid-memtrack) .45 15   5.5 timeout 900   1000 11000 timeout 900   1200 13000 timeout 900   1800 13000
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i error (134) .24  29 2.0  false(valid-memtrack) .26 25 2.5  unknown .083 44   .54 error (1) .44 40 3.7 false(valid-memtrack) 3.9 270 29 false(valid-deref) 1.2  32 14   false(valid-deref) .61 26 8.1 false(valid-deref) .63  27 7.9  false(valid-deref) .63  27 7.7  false(valid-deref) .66  27 9.2  false(valid-memtrack) .21  29 2.1 false(valid-memtrack) 4.7 85 67 false(valid-memtrack) .51 20   5.2 timeout 900   1200 12000 timeout 900   630 9900 timeout 900   2100 13000
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i error (134) .21  27 1.4  false(valid-memtrack) .20 21 2.0  unknown .031 8.0 .17 error (1) .43 40 3.9 false(valid-memtrack) 3.7 260 30 false(valid-memtrack) .50 30 6.1 false(valid-memtrack) .80 26 2.9 false(valid-memtrack) .66  26 1.7  false(valid-memtrack) .17  26 2.1  false(valid-memtrack) .17  26 2.2  false(valid-memtrack) .19  27 2.1 false(valid-memtrack) 3.9 81 42 false(valid-memtrack) .44 15   5.2 unknown 180   570 2400 error 140   860 1500 unknown 170   560 2000
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error (134) .21  27 1.9  false(valid-memtrack) .29 35 2.6  unknown .041 8.8 .21 error (1) .44 40 3.8