Tool CPAchecker 1.6.1-svn 23084
Limits timelimit: 300 s, memlimit: 8000 MB, CPU core limit: 4
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.4.0-34-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135148 MB
Date of execution 2016-09-03 19:27:14 CEST 2016-09-04 20:44:51 CEST
Run set predicate_base.[pred-bitvectors.Loops_false; pred-bitvectors.x64_false; pred-bitvectors.Other_true; pred-bitvectors.Other_false; pred-bitvectors.Loops_true; pred-bitvectors.x64_true] predicate_bitprecise_interpol_kind.[RF_interpol-abs-pf.Loops_false; RF_interpol-abs-pf.x64_false; RF_interpol-abs-pf.Other_true; RF_interpol-abs-pf.Other_false; RF_interpol-abs-pf.Loops_true; RF_interpol-abs-pf.x64_true] predicate_bitprecise_interpol_kind.[RF_interpol-abs-prec-pf.Loops_false; RF_interpol-abs-prec-pf.x64_false; RF_interpol-abs-prec-pf.Other_true; RF_interpol-abs-prec-pf.Other_false; RF_interpol-abs-prec-pf.Loops_true; RF_interpol-abs-prec-pf.x64_true] predicate_bitprecise_interpol_kind.[RF_interpol-abs-prec.Loops_false; RF_interpol-abs-prec.x64_false; RF_interpol-abs-prec.Other_true; RF_interpol-abs-prec.Other_false; RF_interpol-abs-prec.Loops_true; RF_interpol-abs-prec.x64_true] predicate_bitprecise_interpol_kind.[RF_interpol-abs.Loops_false; RF_interpol-abs.x64_false; RF_interpol-abs.Other_true; RF_interpol-abs.Other_false; RF_interpol-abs.Loops_true; RF_interpol-abs.x64_true] predicate_bitprecise_interpol_kind.[RF_interpol-pf.Loops_false; RF_interpol-pf.x64_false; RF_interpol-pf.Other_true; RF_interpol-pf.Other_false; RF_interpol-pf.Loops_true; RF_interpol-pf.x64_true] predicate_bitprecise_interpol_kind.[RF_interpol-prec-pf.Loops_false; RF_interpol-prec-pf.x64_false; RF_interpol-prec-pf.Other_true; RF_interpol-prec-pf.Other_false; RF_interpol-prec-pf.Loops_true; RF_interpol-prec-pf.x64_true] predicate_bitprecise_interpol_kind.[RF_interpol-prec.Loops_false; RF_interpol-prec.x64_false; RF_interpol-prec.Other_true; RF_interpol-prec.Other_false; RF_interpol-prec.Loops_true; RF_interpol-prec.x64_true]
Options -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -predicateAnalysis-bitprecise -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -predicateAnalysis-bitprecise -setprop cpa.predicate.invariants.appendToPathFormula=true -setprop cpa.predicate.invariants.appendToAbstractionFormula=true -setprop cpa.predicate.invariants.generationStrategy=RF_INTERPOLANT_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -predicateAnalysis-bitprecise -setprop cpa.predicate.invariants.appendToPathFormula=true -setprop cpa.predicate.invariants.addToPrecision=true -setprop cpa.predicate.invariants.appendToAbstractionFormula=true -setprop cpa.predicate.invariants.generationStrategy=RF_INTERPOLANT_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -predicateAnalysis-bitprecise -setprop cpa.predicate.invariants.addToPrecision=true -setprop cpa.predicate.invariants.appendToAbstractionFormula=true -setprop cpa.predicate.invariants.generationStrategy=RF_INTERPOLANT_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -predicateAnalysis-bitprecise -setprop cpa.predicate.invariants.appendToAbstractionFormula=true -setprop cpa.predicate.invariants.generationStrategy=RF_INTERPOLANT_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -predicateAnalysis-bitprecise -setprop cpa.predicate.invariants.appendToPathFormula=true -setprop cpa.predicate.invariants.generationStrategy=RF_INTERPOLANT_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -predicateAnalysis-bitprecise -setprop cpa.predicate.invariants.addToPrecision=true -setprop cpa.predicate.invariants.appendToPathFormula=true -setprop cpa.predicate.invariants.generationStrategy=RF_INTERPOLANT_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -predicateAnalysis-bitprecise -setprop cpa.predicate.invariants.addToPrecision=true -setprop cpa.predicate.invariants.generationStrategy=RF_INTERPOLANT_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties
test/programs/benchmarks/ status cputime (s) memUsage (MB) invTime invSucc invTries (s) status cputime (s) memUsage (MB) invTime (s) invSucc invTries (s) status cputime (s) memUsage (MB) invTime (s) invSucc invTries (s) status cputime (s) memUsage (MB) invTime (s) invSucc invTries (s) status cputime (s) memUsage (MB) invTime (s) invSucc invTries (s) status cputime (s) memUsage (MB) invTime (s) invSucc invTries (s) status cputime (s) memUsage (MB) invTime (s) invSucc invTries (s) status cputime (s) memUsage (MB) invTime (s) invSucc invTries (s)
loop-acceleration/array_false-unreach-call1.i 302    2040 156     302    1560 229     0 34.7   302    1530 223     0 33.5   302    1410 224     0 32.1   302    1500 231     0 34.7   302    1570 232     0 33.6   302    1500 224     0 32.0   302    1510 225     0 32.2  
loop-acceleration/array_false-unreach-call2.i 302    1440 210     302    1350 224     0 44.8   301    1440 216     0 42.9   301    1420 214     0 43.7   302    1280 224     0 44.0   301    1370 224     0 43.3   301    1310 216     0 43.1   302    1420 215     0 43.1  
loop-acceleration/array_false-unreach-call3.i 302    2530 75.3   302    2170 197     0 28.6   302    2030 197     0 27.5   302    2140 195     0 28.5   302    2160 197     0 29.0   302    2060 198     0 28.0   302    2060 197     0 28.2   301    2150 194     0 27.8  
loop-acceleration/const_false-unreach-call1.i 302    2990 71.4   302    2400 176     0 33.8   301    2450 174     0 32.3   302    2450 174     0 34.9   302    2440 174     0 34.7   304    2470 177     0 35.2   302    2340 174     0 33.9   302    2100 174     0 34.2  
loop-acceleration/diamond_false-unreach-call1.i 75.1  1110 38.9   139    1710 59.2   0 35.0   141    1580 60.2   0 34.8   135    1500 57.5   0 33.7   133    1590 57.8   0 34.1   139    1520 59.6   0 35.0   146    1630 61.6   0 36.3   142    1670 60.2   0 35.2  
loop-acceleration/functions_false-unreach-call1.i 302    1820 39.5   302    1810 184     0 19.6   301    1770 186     0 18.7   302    1750 185     0 18.5   305    1940 188     0 18.2   302    1820 185     0 19.9   302    1930 185     0 18.2   301    1940 183     0 19.2  
loop-acceleration/multivar_false-unreach-call1.i 4.62 208 0.002 5.45 297 0.353 0 0.003 5.67 303 0.406 0 0.003 5.25 297 0.328 0 0.001 5.21 301 0.321 0 0.003 5.67 298 0.377 0 0.004 5.50 299 0.390 0 0.003 5.71 308 0.368 0 0.003
loop-acceleration/nested_false-unreach-call1.i 302    3740 123     302    1850 227     0 30.0   302    1740 224     0 30.0   301    1840 219     0 31.2   301    1810 224     0 31.6   301    1780 225     0 31.3   302    1850 224     0 29.3   302    1750 225     0 30.0  
loop-acceleration/phases_false-unreach-call1.i 303    819 11.7   302    986 169     0 6.95  302    978 169     0 6.56  302    970 168     0 6.78  302    970 168     0 6.59  302    998 169     0 6.91  302    979 165     0 6.58  302    986 169     0 6.42 
loop-acceleration/phases_false-unreach-call2.i 4.30 213 0.002 5.93 295 0.419 0 0.003 5.44 296 0.375 0 0.004 5.50 301 0.394 0 0.003 5.35 302 0.361 0 0.001 5.72 304 0.367 0 0.005 5.69 301 0.371 0 0.004 5.34 298 0.369 0 0.001
loop-acceleration/simple_false-unreach-call1.i 302    2790 68.2   302    2460 173     0 34.2   303    2350 171     0 35.4   302    2350 170     0 33.9   304    2250 174     0 33.9   302    2230 173     0 33.3   302    2260 170     0 34.6   302    2330 171     0 34.1  
loop-acceleration/simple_false-unreach-call2.i 4.02 206 0.003 5.34 294 0.157 0 0.003 5.57 297 0.153 0 0.002 5.46 299 0.146 0 0.001 5.62 299 0.149 0 0.003 5.63 302 0.156 0 0.003 5.43 295 0.160 0 0.002 5.40 295 0.168 0 0.001
loop-acceleration/simple_false-unreach-call3.i 4.32 211 0.001 6.03 301 0.160 0 0.004 5.63 305 0.383 0 0.002 5.94 301 0.151 0 0.002 5.60 295 0.390 0 0.001 5.59 300 0.159 0 0.003 5.72 296 0.171 0 0.004 5.24 301 0.156 0 0.002
loop-acceleration/simple_false-unreach-call4.i 302    2590 72.4   301    2250 172     0 34.0   303    2350 173     0 33.4   302    2130 170     0 33.7   302    2370 172     0 34.5   302    2310 170     0 35.2   302    2300 172     0 34.3   302    2270 170     0 33.9  
loop-acceleration/underapprox_false-unreach-call1.i 4.85 225 0.178 8.21 373 1.14  0 0.172 7.63 375 1.05  0 0.164 7.77 362 1.08  0 0.159 8.39 364 1.28  0 0.176 8.55 376 1.21  0 0.176 8.37 377 1.23  0 0.167 8.16 366 1.08  0 0.183
loop-acceleration/underapprox_false-unreach-call2.i 5.18 231 0.151 7.87 353 0.996 0 0.111 7.75 359 0.965 0 0.134 7.64 356 0.941 0 0.122 7.76 353 1.03  0 0.118 7.47 362 0.966 0 0.120 7.65 358 1.02  0 0.111 7.74 353 1.01  0 0.111
loop-invgen/id_trans_false-unreach-call.i 4.65 221 0.030 6.50 324 0.674 0 0.028 6.17 323 0.626 0 0.027 6.19 317 0.674 0 0.026 6.31 321 0.600 0 0.027 5.92 316 0.600 0 0.029 6.11 320 0.612 0 0.023 6.11 318 0.645 0 0.024
loops/array_false-unreach-call.i 5.06 299 0.039 6.71 331 0.748 0 0.047 6.42 328 0.711 0 0.040 6.67 327 0.766 0 0.041 6.67 323 0.759 0 0.037 6.38 328 0.722 0 0.040 7.10 333 0.834 0 0.038 6.29 318 0.693 0 0.042
loops/bubble_sort_false-unreach-call.i 8.99 340 0.396 26.0  669 5.31  1 0.417 30.9  846 7.60  2 0.336 30.0  854 7.49  2 0.376 26.7  656 5.75  1 0.398 26.7  647 5.44  1 0.390 32.1  826 7.99  2 0.369 30.2  825 7.21  2 0.375
loops/count_up_down_false-unreach-call_true-termination.i 4.32 207 0.001 5.33 292 0.368 0 0.002 5.64 296 0.389 0 0.003 5.69 298 0.419 0 0.002 5.38 305 0.350 0 0.001 5.63 299 0.335 0 0.002 5.55 301 0.371 0 0.002 5.68 295 0.416 0 0.001
loops/eureka_01_false-unreach-call.i 302    601 291     301    857 19.0   1 259     302    881 24.9   2 255     301    906 25.6   2 253     302    868 18.0   1 265     302    834 19.5   1 262     302    860 24.6   2 256     301    874 26.1   2 252    
loops/for_bounded_loop1_false-unreach-call_true-termination.i 4.81 214 0.040 7.18 336 0.815 0 0.037 6.43 329 0.702 0 0.035 6.36 329 0.689 0 0.031 6.71 331 0.798 0 0.032 6.14 326 0.631 0 0.038 6.90 337 0.805 0 0.038 6.69 342 0.840 0 0.034
loops/insertion_sort_false-unreach-call.i 301    1130 286     302    1470 29.2   0 243     301    1330 29.2   0 239     301    1460 30.0   0 235     302    1580 27.2   0 245     301    1500 28.6   0 244     302    1410 30.7   0 238     302    1260 29.0   0 241    
loops/invert_string_false-unreach-call.i 302    1020 271     301    1240 157     0 117     301    1260 155     0 115     301    1370 152     0 117     302    1340 158     0 112     301    1360 156     0 117     301    1330 154     0 114     301    1330 156     0 111    
loops/linear_search_false-unreach-call.i 5.86 292 0.217 7.55 329 1.25  0 0.227 8.13 343 1.34  0 0.201 8.30 335 1.38  0 0.248 8.04 342 1.33  0 0.224 7.81 345 1.28  0 0.208 8.14 337 1.33  0 0.207 8.53 337 1.46  0 0.212
loops/ludcmp_false-unreach-call.i 313    410 313    419 313    436 313    428 313    434 313    417 313    429 313    426
loops/matrix_false-unreach-call_true-termination.i 33.3  818 2.42  68.4  928 35.8   0 2.23  73.1  945 36.6   0 2.22  74.7  922 38.0   0 2.32  76.3  925 38.2   0 2.32  73.4  955 37.3   0 2.26  69.6  939 35.4   0 2.23  71.0  941 35.8   0 2.24 
loops/n.c24_false-unreach-call.i 302    2050 74.8   302    1630 229     0 16.0   302    1570 212     0 16.0   302    1780 215     0 15.9   302    1800 231     0 16.5   302    1630 227     0 16.5   301    1690 212     0 16.0   301    1760 213     0 15.6  
loops/nec11_false-unreach-call.i 4.31 208 0.001 5.88 303 0.473 0 0.002 5.40 306 0.350 0 0.002 5.49 308 0.377 0 0.003 5.70 309 0.379 0 0.001 5.52 300 0.375 0 0.003 5.73 306 0.409 0 0.002 5.97 300 0.447 0 0.005
loops/nec20_false-unreach-call.i 6.18 299 0.111 6.62 333 0.703 0 0.104 7.11 326 0.744 0 0.109 7.15 338 0.745 0 0.110 6.77 334 0.678 0 0.099 6.74 327 0.695 0 0.115 6.92 333 0.700 0 0.107 6.64 334 0.678 0 0.100
loops/s3_false-unreach-call.i 20.6  559 3.04  39.2  909 8.31  0 3.17  35.6  872 8.11  0 3.08  40.7  918 8.41  0 3.10  35.1  875 8.07  0 2.86  34.4  871 7.99  0 2.97  35.8  868 7.99  0 3.08  37.2  871 8.13  0 3.12 
loops/string_false-unreach-call.i 8.78 336 0.584 33.7  858 9.66  0 0.572 36.7  917 9.87  0 0.565 33.8  852 9.31  0 0.560 36.5  880 9.89  0 0.642 34.3  865 9.68  0 0.581 34.2  855 9.56  0 0.524 33.2  834 9.19  0 0.539
loops/sum01_bug02_false-unreach-call_true-termination.i 7.82 325 0.368 10.1  382 1.60  0 0.316 9.93 379 1.61  0 0.280 9.76 383 1.60  0 0.312 10.2  385 1.61  0 0.314 9.70 385 1.64  0 0.292 10.4  388 1.70  0 0.279 10.0  376 1.68  0 0.278
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i 6.39 291 0.158 8.37 356 1.13  0 0.135 7.88 353 1.09  0 0.122 8.47 363 1.15  0 0.114 8.15 340 1.05  0 0.132 8.30 363 1.14  0 0.125 8.05 361 1.09  0 0.112 7.94 350 1.06  0 0.117
loops/sum01_false-unreach-call_true-termination.i 9.54 359 0.803 15.2  475 2.48  0 0.854 14.9  482 2.50  0 0.743 14.9  463 2.43  0 0.752 15.6  470 2.59  0 0.816 15.5  464 2.62  0 0.774 14.9  463 2.50  0 0.764 14.2  473 2.42  0 0.728
loops/sum03_false-unreach-call_true-termination.i 8.81 347 0.654 14.1  447 2.52  0 0.603 14.0  457 2.48  0 0.538 13.5  445 2.54  0 0.567 14.6  451 2.58  0 0.584 14.0  461 2.63  0 0.578 14.3  456 2.67  0 0.564 14.4  459 2.54  0 0.590
loops/sum04_false-unreach-call_true-termination.i 7.50 311 0.341 10.7  400 1.69  0 0.264 10.2  395 1.62  0 0.256 10.8  398 1.66  0 0.271 10.6  404 1.62  0 0.285 9.86 399 1.58  0 0.258 10.4  403 1.66  0 0.247 10.9  406 1.66  0 0.275
loops/sum_array_false-unreach-call.i 8.91 348 0.889 18.1  410 6.85  0 0.775 17.9  411 6.71  0 0.739 17.9  416 6.66  0 0.726 16.6  394 6.68  0 0.754 17.4  415 6.78  0 0.739 17.5  406 6.57  0 0.749 17.5  420 6.56  0 0.765
loops/terminator_01_false-unreach-call_false-termination.i 4.35 212 0.001 5.56 302 0.378 0 0.003 4.95 292 0.274 0 0.003 5.60 300 0.379 0 0.001 5.56 300 0.417 0 0.001 5.54 295 0.445 0 0.004 5.55 296 0.438 0 0.003 5.14 297 0.339 0 0.004
loops/terminator_02_false-unreach-call_true-termination.i 4.09 203 0.002 5.40 295 0.368 0 0.003 5.30 300 0.362 0 0.003 5.42 295 0.440 0 0.003 6.00 297 0.459 0 0.001 5.21 300 0.328 0 0.004 5.50 301 0.389 0 0.003 5.28 297 0.347 0 0.002
loops/terminator_03_false-unreach-call_true-termination.i 5.09 212 0.017 5.71 327 0.482 0 0.011 6.36 325 0.620 0 0.010 6.36 318 0.696 0 0.009 6.40 332 0.598 0 0.008 6.56 324 0.644 0 0.013 6.06 325 0.534 0 0.015 5.74 315 0.565 0 0.008
loops/trex01_false-unreach-call_true-termination.i 4.36 209 0.001 5.46 302 0.374 0 0.002 5.79 310 0.448 0 0.004 5.59 304 0.412 0 0.002 5.98 302 0.469 0 0.001 5.56 296 0.442 0 0.002 5.59 300 0.394 0 0.003 5.33 304 0.380 0 0.001
loops/trex02_false-unreach-call_true-termination.i 4.30 213 0.002 5.77 299 0.400 0 0.003 5.49 296 0.158 0 0.007 5.25 301 0.369 0 0.003 5.34 298 0.360 0 0.002 5.61 299 0.336 0 0.003 5.55 294 0.450 0 0.002 5.72 294 0.468 0 0.001
loops/trex03_false-unreach-call_true-termination.i 4.86 215 0.002 6.08 302 0.432 0 0.005 5.67 300 0.427 0 0.005 5.63 306 0.410 0 0.002 5.79 303 0.434 0 0.003 6.18 301 0.458 0 0.005 5.43 302 0.341 0 0.006 5.81 308 0.429 0 0.001
loops/verisec_NetBSD-libc__loop_false-unreach-call.i 4.33 216 0.002 5.51 299 0.391 0 0.003 5.63 305 0.389 0 0.002 5.78 300 0.415 0 0.001 6.05 307 0.446 0 0.002 5.66 298 0.352 0 0.005 5.73 297 0.412 0 0.003 5.79 305 0.430 0 0.002
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.i 6.66 302 0.147 10.4  364 1.99  0 0.133 11.0  376 2.08  0 0.139 11.2  374 2.15  0 0.127 10.7  370 2.05  0 0.153 10.8  370 2.13  0 0.120 11.2  361 2.07  0 0.129 11.0  365 2.13  0 0.121
loops/vogal_false-unreach-call.i 60.8  730 37.9   133    1260 58.4   1 36.2   137    1280 59.9   2 39.1   136    1250 59.3   2 36.9   138    1250 60.3   1 36.8   132    1260 57.5   1 37.3   136    1260 59.8   2 37.3   136    1220 59.3   2 37.7  
loops/while_infinite_loop_4_false-unreach-call_true-termination.i 4.52 211 0.004 5.51 297 0.139 0 0.003 5.37 296 0.368 0 0.002 5.61 301 0.408 0 0.003 5.94 300 0.160 0 0.002 5.76 302 0.412 0 0.004 5.90 302 0.158 0 0.002 5.18 300 0.157 0 0.002
busybox-1.22.0/basename_false-unreach-call.i 7.90 317 0.001 7.79 341 0.247 0 0.002 8.43 341 0.292 0 0.003 8.28 346 0.269 0 0.003 7.71 338 0.267 0 0.002 7.82 340 0.277 0 0.003 7.97 336 0.260 0 0.003 8.04 349 0.286 0 0.001
busybox-1.22.0/cal_false-unreach-call.i 23.6  658 0.024 302    982 283     0 0.017 302    993 284     0 0.017 302    983 284     0 0.017 302    962 283     0 0.015 302    998 280     0 0.015 302    981 284     0 0.020 302    989 283     0 0.023
busybox-1.22.0/cat_false-unreach-call.i 18.7  510 0.019 26.1  536 5.39  0 0.031 25.6  532 5.22  0 0.023 24.4  526 5.16  0 0.009 25.2  532 5.24  0 0.017 25.2  529 5.26  0 0.027 24.7  520 5.17  0 0.011 27.2  525 5.59  0 0.023
busybox-1.22.0/chgrp-incomplete_false-unreach-call.i 302    1560 50.8   301    2090 232     11 1.51  302    2150 229     12 1.73  301    1950 233     12 1.83  302    2220 242     11 1.59  302    2090 244     11 1.56  301    2160 229     12 1.81  302    2060 232     12 1.86 
busybox-1.22.0/chmod_false-unreach-call.i 301    904 14.2   17.8  510 18.0  519 18.6  527 16.9  512 18.1  510 16.9  520 18.3  516
busybox-1.22.0/chown-incomplete_false-unreach-call.i 301    1370 245     302    1310 174     0 76.1   302    1420 174     0 71.6   301    1170 171     0 74.5   302    1350 174     0 75.0   302    1350 173     0 75.7   302    1360 171     0 73.2   302    1290 171     0 74.6  
busybox-1.22.0/chroot-incomplete_false-unreach-call.i 13.2  461 0.617 30.7  676 7.10  0 0.590 28.6  663 6.54  0 0.570 29.6  677 6.68  0 0.553 28.6  674 6.69  0 0.565 29.0  664 6.88  0 0.565 29.6  678 6.75  0 0.562 29.1  689 6.51  0 0.540
busybox-1.22.0/cp-incomplete_false-unreach-call.i 19.6  595 0.017 32.8  611 12.3   0 0.029 32.9  608 12.9   0 0.014 33.9  607 13.1   0 0.022 32.5  606 12.2   0 0.015 32.1  621 12.3   0 0.023 31.3  607 11.6   0 0.017 32.5  615 12.2   0 0.014
busybox-1.22.0/cut_false-unreach-call.i 21.9  614 0.020 30.7  640 6.68  0 0.030 29.4  632 6.38  0 0.025 29.2  634 6.43  0 0.020 30.6  645 6.14  0 0.026 29.2  622 6.67  0 0.033 30.2  640 6.54  0 0.024 30.3  643 6.76  0 0.014
busybox-1.22.0/date_false-unreach-call.i 302    1900 180     302    1150 246     0 15.0   302    1210 244     0 14.1   302    1190 246     0 13.9   302    1180 248     0 14.0   302    1280 248     0 15.0   301    1160 245     0 13.9   302    1200 244     0 14.0  
busybox-1.22.0/dos2unix_false-unreach-call.i 11.6  478 0.001 15.1  509 1.75  0 0.004 15.6  522 1.86  0 0.002 15.1  521 1.74  0 0.001 15.8  522 1.82  0 0.002 16.0  509 1.83  0 0.003 16.1  510 1.89  0 0.004 15.1  534 1.85  0 0.001
busybox-1.22.0/du_false-unreach-call.i 21.4  584 0.019 32.7  623 10.9   0 0.023 33.9  636 11.9   0 0.017 36.5  616 12.5   0 0.027 35.5  632 11.5   0 0.018 35.1  619 13.0   0 0.028 33.4  634 11.2   0 0.016 35.5  627 11.9   0 0.022
busybox-1.22.0/echo_false-unreach-call.i 11.5  408 0.579 61.7  1380 21.4   0 0.570 60.0  1260 21.4   0 0.548 60.2  1170 21.4   0 0.567 60.2  1320 21.4   0 0.503 60.8  1350 21.5   0 0.565 59.8  1230 21.4   0 0.544 62.1  1160 21.5   0 0.555
busybox-1.22.0/expand_false-unreach-call.i 20.1  494 0.005 25.5  535 2.64  0 0.004 26.0  540 2.77  0 0.005 25.8  542 2.70  0 0.002 24.3  544 2.57  0 0.003 24.5  537 2.60  0 0.003 24.5  526 2.61  0 0.003 23.1  535 2.41  0 0.001
busybox-1.22.0/expr_false-unreach-call.i 11.5  454 0.693 19.8  502 3.73  0 0.694 21.0  512 3.70  0 0.692 19.6  507 3.56  0 0.628 20.3  500 3.67  0 0.667 20.1  512 3.66  0 0.667 21.0  517 3.79  0 0.688 21.1  512 3.77  0 0.686
busybox-1.22.0/fold_false-unreach-call.i 12.8  465 0.003 16.1  497 2.17  0 0.011 15.6  502 2.21  0 0.003 16.5  492 2.35  0 0.006 16.3  493 2.31  0 0.004 16.2  500 2.28  0 0.007 16.8  501 2.27  0 0.004 16.5  491 2.31  0 0.002
busybox-1.22.0/head_false-unreach-call.i 10.9  436 0.001 13.7  469 1.78  0 0.004 14.2  463 1.80  0 0.003 13.3  465 1.72  0 0.002 13.9  470 1.68  0 0.002 13.7  472 1.68  0 0.002 13.9  459 1.80  0 0.005 13.7  464 1.65  0 0.001
busybox-1.22.0/id-incomplete_false-unreach-call.i 10.7  439 0.001 14.4  478 1.54  0 0.003 14.8  480 1.61  0 0.003 14.2  488 1.58  0 0.003 14.6  485 1.52  0 0.003 14.5  475 1.62  0 0.007 14.8  492 1.54  0 0.004 14.4  471 1.55  0 0.001
busybox-1.22.0/ln_false-unreach-call.i 18.9  547 0.020 27.3  573 6.13  0 0.015 27.1  572 5.98  0 0.024 27.5  568 6.05  0 0.014 26.9  584 5.95  0 0.014 26.1  554 5.71  0 0.022 28.2  571 6.01  0 0.021 27.3  563 5.98  0 0.017
busybox-1.22.0/ls-incomplete_false-unreach-call.i 302    2130 142     302    1200 263     0 5.98  302    1170 257     0 5.97  302    1180 256     0 6.14  302    1220 268     0 3.48  302    1200 262     0 5.98  302    1210 265     0 3.50  302    1180 257     0 6.05 
busybox-1.22.0/mkdir_false-unreach-call.i 302    1950 184     302    1300 227     0 17.3   302    1370 226     0 15.9   302    1320 218     0 17.5   302    1470 226     0 17.9   302    1360 228     0 16.7   302    1390 221     0 17.3   302    1410 220     0 17.5  
busybox-1.22.0/mkfifo-incomplete_false-unreach-call.i 8.61 365 0.004 9.63 382 0.527 0 0.002 9.26 386 0.499 0 0.002 9.55 389 0.492 0 0.001 9.70 385 0.524 0 0.002 9.22 387 0.526 0 0.002 9.42 388 0.499 0 0.002 9.66 386 0.523 0 0.001
busybox-1.22.0/mv-incomplete_false-unreach-call.i 302    1360 239     302    1250 242     0 15.3   302    1180 240     0 14.7   301    1210 236     0 14.6   302    1140 244     0 14.5   302    1130 243     0 14.6   302    1200 240     0 15.2   302    1210 241     0 14.2  
busybox-1.22.0/od_false-unreach-call.i 302    1570 216     302    1090 278     0 0.026 302    1070 279     0 0.026 302    1070 279     0 0.044 302    1060 279     0 0.021 302    1060 279     0 0.029 302    1090 278     0 0.042 302    1070 279     0 0.020
busybox-1.22.0/printf_false-unreach-call.i 11.3  444 0.002 14.1  501 1.71  0 0.004 15.1  498 1.81  0 0.003 14.0  490 1.64  0 0.001 14.9  503 1.69  0 0.002 14.1  491 1.80  0 0.004 15.5  497 1.73  0 0.004 14.3  493 1.62  0 0.006
busybox-1.22.0/pwd_false-unreach-call.i 22.6  557 0.146 68.9  636 46.1   0 0.134 69.2  651 44.5   0 0.133 72.3  623 47.4   0 0.152 67.8  644 44.3   0 0.142 68.1  625 45.7   0 0.124 68.1  633 44.9   0 0.137 69.3  645 45.7   0 0.135
busybox-1.22.0/realpath_false-unreach-call.i 301    1200 266     302    2530 163     0 84.8   302    2500 162     0 77.8   302    2380 160     0 81.6   302    2370 161     0 82.0   302    2400 163     0 86.1   301    2630 163     0 80.8   301    2250 162     0 80.6  
busybox-1.22.0/rm_false-unreach-call.i 17.8  544 0.011 32.1  554 13.4   0 0.022 34.8  578 13.7   0 0.019 32.9  560 13.6   0 0.021 34.5  570 14.0   0 0.018 30.9  557 12.7   0 0.026 32.1  581 12.3   0 0.027 34.1  566 14.1   0 0.018
busybox-1.22.0/rmdir_false-unreach-call.i 302    1410 242     302    1280 268     0 1.05  302    1250 271     0 1.02  302    1180 270     0 1.13  302    1280 264     0 1.10  302    1210 273     0 1.18  302    1370 263     0 1.04  302    1260 269     0 1.09 
busybox-1.22.0/seq_false-unreach-call.i 18.1  491 0.007 24.7  523 4.53  0 0.014 24.5  513 4.57  0 0.023 25.0  525 4.59  0 0.019 24.4  525 4.54  0 0.023 23.8  520 4.39  0 0.021 23.3  526 4.34  0 0.029 25.0  512 4.67  0 0.020
busybox-1.22.0/sleep_false-unreach-call.i 14.3  485 1.46  57.8  1270 21.6   0 1.44  61.9  1200 21.5   0 1.38  64.0  1190 21.5   0 1.40  61.6  1210 21.6   0 1.42  60.3  1310 21.5   0 1.35  62.7  1410 21.6   0 1.39  62.5  1190 21.5   0 1.40 
busybox-1.22.0/stty_false-unreach-call.i 54.6  815 0.002 158    847 103     0 0.003 160    872 103     0 0.004 161    884 104     0 0.002 163    869 104     0 0.002 159    852 103     0 0.004 161    870 103     0 0.005 160    851 103     0 0.003
busybox-1.22.0/tac_false-unreach-call.i 18.3  506 0.037 28.5  527 9.44  0 0.027 29.7  541 10.0   0 0.023 29.2  534 10.0   0 0.022 29.0  532 9.87  0 0.015 31.2  554 10.5   0 0.017 28.5  519 9.71  0 0.021 29.1  525 10.1   0 0.019
busybox-1.22.0/tail_false-unreach-call.i 13.4  505 0.001 16.8  555 2.20  0 0.002 17.7  559 2.26  0 0.002 17.3  545 2.28  0 0.001 17.8  554 2.32  0 0.002 18.2  552 2.27  0 0.005 17.1  556 2.28  0 0.003 17.0  551 2.26  0 0.001
busybox-1.22.0/tee_false-unreach-call.i 66.5  1120 16.7   302    1270 243     0 13.6   302    1270 246     0 14.3   302    1230 245     0 13.9   302    1200 249     0 14.0   302    1330 246     0 13.4   302    1220 244     0 14.3   302    1220 244     0 14.2  
busybox-1.22.0/test-incomplete_false-unreach-call.i 13.2  500 0.002 16.5  527 2.75  0 0.003 16.8  517 2.80  0 0.003 16.3  522 2.70  0 0.003 16.9  516 2.78  0 0.003 16.4  514 2.78  0 0.004 16.1  527 2.65  0 0.004 16.6  530 2.73  0 0.002
busybox-1.22.0/touch_false-unreach-call.i 302    1440 239     301    1260 176     0 70.5   302    1410 169     0 75.3   301    1320 172     0 71.6   302    1390 170     0 74.0   301    1270 175     0 66.2   302    1450 176     0 62.9   302    1300 171     0 70.2  
busybox-1.22.0/uudecode_false-unreach-call.i 20.6  529 0.013 32.4  566 9.18  0 0.019 31.5  584 9.01  0 0.036 33.1  565 9.73  0 0.022 34.3  574 10.1   0 0.019 33.5  582 9.32  0 0.024 31.2  561 9.03  0 0.019 32.3  563 9.54  0 0.016
busybox-1.22.0/uuencode_false-unreach-call.i 23.2  702 0.023 39.5  720 15.8   0 0.023 38.7  732 15.4   0 0.022 35.9  737 13.6   0 0.018 37.6  736 15.1   0 0.016 39.1  734 15.5   0 0.020 37.5  715 15.2   0 0.026 37.8  721 14.9   0 0.023
busybox-1.22.0/wc_false-unreach-call.i 18.0  504 0.021 25.4  564 3.94  0 0.020 24.3  547 3.82  0 0.027 26.1  568 3.94  0 0.017 23.9  552 3.86  0 0.029 24.1  559 3.81  0 0.019 24.2  559 3.91  0 0.026 24.7  558 3.96  0 0.015
busybox-1.22.0/yes_false-unreach-call.i 9.50 393 0.001 11.2  418 1.08  0 0.003 11.2  410 1.10  0 0.002 11.3  418 1.09  0 0.002 11.0  422 1.09  0 0.001 11.4  408 1.11  0 0.005 11.4  410 1.14  0 0.003 11.7  426 1.14  0 0.003
ldv-challenges/linux-3.8-rc1-32_7a-drivers--net--ethernet--broadcom--bnx2x--bnx2x.ko-ldv_main3_sequence_infinite_withcheck_stateful_false-unreach-call.cil.out.c 302    2300 218     312    2310 313    2240 313    2240 313    2240 313    2240 313    2230 313    2240
ldv-commit-tester/m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13-1.c 15.8  484 0.446 21.9  521 2.31  0 0.435 22.4  529 2.50  0 0.436 23.0  511 2.44  0 0.471 22.2  517 2.34  0 0.477 22.7  511 2.47  0 0.490 21.7  519 2.44  0 0.417 22.6  517 2.32  0 0.455
ldv-commit-tester/m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13.c 17.2  485 0.484 22.5  510 2.35  0 0.384 21.4  521 2.33  0 0.338 22.3  506 2.29  0 0.410 22.7  524 2.42  0 0.367 22.3  513 2.28  0 0.433 21.9  514 2.33  0 0.383 22.0  513 2.38  0 0.385
ldv-commit-tester/m0_false-unreach-call_drivers-hwmon-s3c-hwmon-ko--130_7a--af3071a-1.c 10.2  365 0.002 10.8  387 0.642 0 0.005 10.5  379 0.631 0 0.004 11.1  387 0.678 0 0.004 10.8  376 0.671 0 0.003 10.2  371 0.652 0 0.006 10.8  385 0.654 0 0.005 11.1  380 0.661 0 0.004
ldv-commit-tester/m0_false-unreach-call_drivers-media-rc-imon--32_7a--a9e7fb5-1.c 302    1720 224     313    1150 302    1160 211     0 53.8   302    1170 211     0 53.3   312    1160 312    1180 302    1170 212     0 52.9   302    1180 211     0 53.5  
ldv-commit-tester/m0_false-unreach-call_drivers-net-slip-ko--108_1a--1b0b0ac-1.c 26.2  592 0.022 29.4  629 1.92  0 0.023 28.5  610 1.74  0 0.015 29.5  621 1.82  0 0.012 29.9  624 1.89  0 0.006 26.0  616 1.76  0 0.013 30.0  630 2.07  0 0.015 31.0  627 2.03  0 0.022
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_6527-ko--107_1a--adbbc36-1.c 13.1  409 0.015 13.6  415 0.360 0 0.005 13.5  399 0.361 0 0.011 13.5  414 0.355 0 0.014 13.8  439 0.388 0 0.009 13.6  414 0.357 0 0.010 13.8  392 0.393 0 0.012 14.3  417 0.412 0 0.004
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_65xx-ko--107_1a--adbbc36-1.c 27.4  620 0.019 34.1  665 6.67  0 0.020 34.0  649 6.60  0 0.029 34.5  655 6.62  0 0.008 33.9  634 6.60  0 0.011 35.8  667 6.57  0 0.022 33.5  638 6.63  0 0.016 34.7  658 6.56  0 0.014
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36-1.c 48.9  632 0.042 68.3  655 19.3   0 0.046 66.8  658 19.2   0 0.042 68.6  638 19.5   0 0.042 66.0  637 19.3   0 0.032 69.1  658 19.4   0 0.043 68.6  666 19.3   0 0.068 66.4  660 19.4   0 0.035
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_670x-ko--107_1a--adbbc36-1.c 12.5  402 0.008 13.3  407 0.437 0 0.010 12.9  420 0.416 0 0.022 13.2  408 0.434 0 0.012 13.2  408 0.431 0 0.013 13.6  418 0.431 0 0.011 13.4  402 0.454 0 0.013 12.6  401 0.400 0 0.008
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c-1.c 62.4  1320 1.27  129    1960 53.6   0 1.05  134    2010 54.3   0 1.11  130    2190 54.0   0 1.11  130    2120 54.5   0 1.09  128    1990 54.2   0 1.10  134    2060 55.1   0 1.10  131    1990 54.7   0 1.07 
ldv-commit-tester/m0_false-unreach-call_sound-oss-opl3-ko--111_1a--42f9f8d-1.c 313    1140 313    1400 313    1240 313    1490 313    1400 313    1370 313    1370 313    1500
ldv-commit-tester/main0_false-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1.c 313    958 313    937 313    970 313    957 313    945 313    943 313    922 313    962
ldv-commit-tester/main0_false-unreach-call_drivers-net-wireless-ath-carl9170-carl9170-ko--32_7a--8a9f335-1.c 313    1090 313    1140 313    1110 313    1140 313    1120 313    1120 313    1120 313    1130
ldv-commit-tester/main3_false-unreach-call_drivers-staging-usbip-vhci-hcd-ko--132_1a--927c3fa.c 42.8  657 5.73  78.1  671 35.0   0 5.82  75.9  649 34.6   0 5.71  77.3  662 34.7   0 6.00  79.8  659 35.1   0 6.00  78.8  654 35.0   0 6.01  79.1  672 35.2   0 5.86  80.9  690 35.4   0 6.06 
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--ata--libata.ko-ldv_main4_sequence_infinite_withcheck_stateful.cil.out.c 313    1190 313    1290 313    1250 313    1240 313    1230 313    1250 313    1240 313    1220
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out.c 313    1200 313    1240 313    1190 312    1220 313    1200 313    1220 313    1200 313    1220
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--media--dvb-frontends--stv090x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 302    2490 64.8   302    2430 123     0 62.5   302    2440 122     0 62.2   302    2420 122     0 62.4   302    2480 123     0 62.2   302    2450 121     0 61.7   302    2420 123     0 62.7   302    2450 122     0 62.4  
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--mmc--host--vub300.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 22.5  607 0.435 65.1  1110 20.0   0 0.420 65.6  1100 20.1   0 0.453 66.8  1100 20.1   0 0.462 68.6  1120 20.1   0 0.487 66.8  1130 20.0   0 0.436 66.3  1090 20.0   0 0.438 66.0  1120 20.0   0 0.426
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--net--can--softing--softing.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 47.9  850 1.46  115    1590 52.8   0 1.09  115    1450 52.8   0 1.03  113    1560 52.8   0 1.02  114    1500 52.8   0 1.04  112    1580 52.8   0 1.05  114    1280 52.7   0 1.06  113    1570 52.7   0 1.04 
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--net--wireless--zd1211rw--zd1211rw.ko-ldv_main7_sequence_infinite_withcheck_stateful.cil.out.c 313    957 313    970 313    938 312    949 313    958 313    971 313    951 313    960
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--usb--core--usbcore.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 302    1740 229     312    1650 313    1590 313    1640 313    1650 313    1610 313    1610 313    1630
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-fs--ceph--ceph.ko-ldv_main11_sequence_infinite_withcheck_stateful.cil.out.c 313    1150 313    1160 313    1180 313    1160 313    1180 312    1190 313    1190 313    1180
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-fs--hfs--hfs.ko-ldv_main6_sequence_infinite_withcheck_stateful.cil.out.c 53.9  857 15.9   157    2420 70.0   0 14.9   156    2430 70.0   0 16.4   155    2380 70.0   0 16.1   155    2430 70.0   0 16.2   153    2410 70.0   0 15.3   159    2410 70.0   0 17.3   158    2400 70.0   0 16.6  
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-fs--ubifs--ubifs.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out.c 175    1550 85.0   302    2380 130     0 86.5   301    2440 126     0 80.3   301    2460 138     0 65.9   301    2450 129     0 80.9   301    2410 131     0 86.7   302    2420 131     0 81.8   301    2440 145     0 67.3  
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-fs--ubifs--ubifs.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c 304    2540 81.4   303    2450 140     0 64.5   302    2450 140     0 71.7   302    2430 140     0 82.0   302    2410 140     0 90.7   302    2460 140     0 67.9   303    2470 140     0 68.8   303    2460 140     0 71.1  
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--hwmon--abituguru3.ko-main.cil.out.c 313    959 313    950 313    943 313    979 313    969 313    949 313    966 313    915
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--media--rc--rc-core.ko-main.cil.out.c 54.5  939 6.16  196    1680 118     0 5.92  192    1770 109     0 5.73  208    1900 120     0 5.98  192    1770 116     0 5.77  190    1900 117     0 5.67  198    1870 115     0 5.69  210    1770 119     0 6.00 
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--pcmcia--pcmcia_rsrc.ko-main.cil.out.c 45.8  846 5.74  220    2750 145     0 4.57  224    2780 145     0 4.73  224    2830 145     0 4.76  219    2750 145     0 4.78  225    2760 145     0 5.09  224    2770 145     0 5.00  224    2820 145     0 4.97 
ldv-consumption/linux-3.8-rc1-32_7a-drivers--net--wireless--mwl8k.ko-ldv_main0_false-unreach-call.cil.out.c 74.3  1090 25.3   258    1060 193     0 21.9   257    1080 189     0 25.9   265    1040 191     0 29.8   264    1120 192     0 26.9   269    1100 192     0 30.3   269    1120 193     0 26.7   263    1100 190     0 26.1  
ldv-consumption/linux-3.8-rc1-32_7a-drivers--scsi--mpt3sas--mpt3sas.ko-ldv_main4_false-unreach-call.cil.out.c 313    1100 313    1070 313    1100 313    1120 313    1080 313    1060 313    1070 313    1080
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i 148    1120 46.9   311    1280 221     0 40.3   313    1170 313    1200 309    1260 205     0 51.0   312    1150 313    1240 313    1160
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i 144    1330 66.4   271    2480 110     0 64.9   262    2740 110     0 57.5   274    2430 111     0 63.7   270    2620 110     0 63.9   264    2490 110     0 61.5   269    2480 109     0 62.2   280    2500 110     0 65.6  
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i 301    720 135     313    711 313    686 313    719 313    709 313    704 313    714 313    704
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i 302    1290 240     308    1100 177     0 77.4   306    1150 176     0 77.1   302    1150 167     0 77.1   306    1120 178     0 75.1   303    1130 177     0 74.4   308    1180 184     0 70.6   309    1140 177     0 77.7  
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i 32.2  812 0.626 47.8  887 8.15  0 0.560 50.8  857 8.33  0 0.650 46.7  848 7.59  0 0.548 49.3  893 8.21  0 0.583 49.7  858 8.22  0 0.614 48.3  869 8.18  0 0.581 49.5  829 8.11  0 0.598
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i 302    2150 184     302    2860 161     0 39.8   302    2750 160     0 37.9   302    2740 160     0 36.3   302    2760 162     0 38.8   302    2810 163     0 39.9   301    2850 160     0 37.2   302    2850 160     0 42.0  
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i 303    2970 19.2   302    2760 64.2   0 12.0   303    2850 69.1   0 12.1   302    2860 63.4   0 12.2   303    2830 65.9   0 12.2   302    2940 66.8   0 12.1   303    2800 61.1   0 12.1   304    2770 64.0   0 12.2  
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i 104    1050 66.2   153    1150 40.3   0 67.2   157    1180 40.8   0 68.5   147    1160 39.0   0 62.6   150    1190 40.4   0 67.0   143    1170 38.5   0 62.3   154    1190 40.9   0 65.5   158    1190 41.2   0 69.0  
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i 302    2010 205     94.3  1380 44.4   4 3.54  108    1530 54.0   4 4.06  95.3  1380 45.2   4 3.08  82.5  1300 34.3   3 2.58  97.3  1470 47.1   4 3.85  108    1530 53.7   4 4.03  302    1870 217     4 14.4  
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i 32.2  671 3.43  77.7  1110 25.5   0 3.05  78.4  1080 25.5   0 3.24  77.2  1110 25.3   0 2.76  76.7  1010 25.4   0 3.07  77.5  1130 25.5   0 3.07  76.6  1080 25.5   0 3.13  79.3  1100 25.4   0 3.08 
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i 303    2050 148     302    2800 229     0 5.69  302    2790 224     0 5.76  302    2640 228     0 5.53  301    2780 227     0 5.73  301    2860 227     0 5.77  301    2660 226     0 5.72  302    2810 224     0 5.66 
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i 54.2  762 11.7   241    1030 173     0 11.1   245    1040 172     0 11.0   243    1080 173     0 10.7   244    1020 173     0 11.1   239    1030 171     0 10.8   244    1010 173     0 10.9   249    1030 174     0 11.2  
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i 302    1870 241     313    1200 313    1100 312    1210 313    1240 313    1240 312    1220 304    1230 226     0 31.1  
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i 292    1520 143     305    1490 210     0 34.5   302    1500 211     0 29.3   302    1520 205     0 30.6   303    1500 211     0 31.9   302    1430 211     0 33.9   302    1430 220     0 24.1   303    1550 196     0 38.4  
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--input--misc--ims-pcu.ko-entry_point_false-unreach-call.cil.out.c 313    980 312    918 313    921 313    893 313    911 312    917 313    911 312    921
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--input--tablet--gtco.ko-entry_point_false-unreach-call.cil.out.c 313    982 313    1970 313    1960 313    2040 313    1960 313    1790 313    1920 313    1880
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--input--touchscreen--usbtouchscreen.ko-entry_point_false-unreach-call.cil.out.c 313    583 313    591 313    591 313    597 313    605 313    624 312    632 313    605
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--isdn--hisax--hisax_st5481.ko-entry_point_false-unreach-call.cil.out.c 313    658 313    673 313    710 313    693 313    700 313    714 313    686 313    682
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point_false-unreach-call.cil.out.c 313    2620 312    2400 313    2470 313    2390 312    2320 313    2450 312    2390 313    2410
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--s2255--s2255drv.ko-entry_point_false-unreach-call.cil.out.c 313    1140 312    1090 313    1140 313    1110 313    1150 313    1100 313    987 313    1160
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--ttusb-dec--ttusb_dec.ko-entry_point_false-unreach-call.cil.out.c 141    678 114     313    743 313    741 313    685 313    736 313    721 312    709 313    735
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--usb--smsc95xx.ko-entry_point_false-unreach-call.cil.out.c 313    2260 313    2080 313    2310 313    2310 313    2160 313    2240 313    2390 313    2400
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--wireless--p54--p54usb.ko-entry_point_false-unreach-call.cil.out.c 313    582 313    595 313    646 313    613 313    629 313    589 313    611 313    622
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--staging--media--go7007--go7007-loader.ko-entry_point_false-unreach-call.cil.out.c 313    488 313    1040 313    1020 313    923 313    931 313    1000 313    943 317    1060
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--usb--misc--idmouse.ko-entry_point_false-unreach-call.cil.out.c 312    581 313    2070 313    2430 313    1850 313    2500 313    2520 313    2120 313    2520
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--usb--wusbcore--wusb-cbaf.ko-entry_point_false-unreach-call.cil.out.c 313    615 313    593 313    563 313    578 313    577 313    574 313    589 313    564
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--arcnet--rfc1201.ko-entry_point_false-unreach-call.cil.out.c 313    605 313    1440 313    1500 312    1130 313    1280 313    1230 313    1360 313    1410
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ethernet--micrel--ks8842.ko-entry_point_false-unreach-call.cil.out.c 312    631 312    640 313    629 313    637 313    650 313    635 312    659 313    660
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ieee802154--mrf24j40.ko-entry_point_false-unreach-call.cil.out.c 302    2850 169     311    2440 181     0 1.00  303    2630 172     0 0.987 303    2520 170     0 1.05  312    2200 302    2660 171     0 0.998 303    2390 171     0 1.07  303    2710 170     0 0.902
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--phy--dp83640.ko-entry_point_false-unreach-call.cil.out.c 313    1030 313    1840 313    1830 313    1750 313    1740 313    2100 313    1640 313    1860
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ppp--ppp_async.ko-entry_point_false-unreach-call.cil.out.c 307    1410 240     313    1000 313    1040 313    993 313    1010 313    1050 313    888 313    921
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ppp--ppp_synctty.ko-entry_point_false-unreach-call.cil.out.c 303    1180 233     313    968 313    944 313    945 313    948 313    967 313    942 313    949
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--team--team.ko-entry_point_false-unreach-call.cil.out.c 313    1000 313    926 313    966 313    928 313    953 312    941 313    935 313    976
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--cdc_ncm.ko-entry_point_false-unreach-call.cil.out.c 313    2210 313    2350 313    2370 313    2470 313    2190 313    2270 313    2170 313    2130
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--cx82310_eth.ko-entry_point_false-unreach-call.cil.out.c 313    965 305    1450 220     0 29.6   303    1400 220     0 29.4   313    1400 303    1460 221     0 29.6   304    1430 222     0 29.2   304    1490 222     0 29.4   304    1280 220     0 29.8  
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--gl620a.ko-entry_point_false-unreach-call.cil.out.c 313    606 313    607 312    628 312    625 313    627 312    615 312    631 313    614
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--hdlc_cisco.ko-entry_point_false-unreach-call.cil.out.c 313    901 313    824 312    829 313    835 313    860 313    854 313    846 312    868
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--ath--ath6kl--ath6kl_usb.ko-entry_point_false-unreach-call.cil.out.c 313    1730 313    1260 313    1280 313    1320 313    1270 313    1340 313    1360 313    1310
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--hostap--hostap_plx.ko-entry_point_false-unreach-call.cil.out.c 313    976 313    902 313    879 313    927 313    951 313    861 313    923 313    908
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--libertas--usb8xxx.ko-entry_point_false-unreach-call.cil.out.c 307    907 269     313    1830 313    1900 313    1930 313    1770 313    1990 313    1840 313    1810
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwifiex--mwifiex_sdio.ko-entry_point_false-unreach-call.cil.out.c 313    1780 302    2130 212     0 13.7   302    2290 217     0 13.7   302    2450 221     0 12.0   302    2300 215     0 14.0   302    2130 212     0 15.7   302    2100 210     0 14.5   302    2320 214     0 12.1  
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwifiex--mwifiex_usb.ko-entry_point_false-unreach-call.cil.out.c 311    2430 191     303    2060 176     0 24.0   303    2050 163     0 41.5   303    2090 183     0 18.3   312    2130 303    2070 189     0 12.9   303    2110 157     0 40.2   313    2040
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rsi--rsi_91x.ko-entry_point_false-unreach-call.cil.out.c 313    765 313    797 313    774 312    776 313    768 313    799 313    774 312    800
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--media--platform--timblogiw.ko-entry_point_false-unreach-call.cil.out.c 313    1000 313    689 313    689 313    691 313    685 313    681 313    668 313    674
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--iwlwifi--iwlwifi.ko-entry_point_false-unreach-call.cil.out.c 313    1560 313    1520 313    1530 313    1520 313    1520 313    1500 313    1520 313    1520
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--orinoco--orinoco_usb.ko-entry_point_false-unreach-call.cil.out.c 111    737 85.1   313    712 313    721 312    714 312    718 313    729 313    735 313    740
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--megaraid--megaraid_mm.ko-entry_point_false-unreach-call.cil.out.c 313    588 313    1100 313    1150 313    1020 313    1190 313    1140 313    1090 313    1130
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--usb--host--max3421-hcd.ko-entry_point_false-unreach-call.cil.out.c 313    711 313    1730 313    1700 313    1700 313    1670 313    1700 313    1710 313    1710
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-net--atm--lec.ko-entry_point_false-unreach-call.cil.out.c 125    907 92.3   313    863 313    839 313    870 313    832 312    849 313    875 313    834
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-net--unix--unix.ko-entry_point_false-unreach-call.cil.out.c 313    1220 313    1110 312    1080 313    1090 313    1090 313    1090 313    1090 313    1080
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 111    1430 30.5   304    1920 227     0 30.6   302    2010 216     0 29.8   302    1960 215     0 30.7   302    2040 223     0 30.7   302    1940 216     0 29.0   302    1940 219     0 29.4   302    1830 217     0 29.7  
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mousedev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 307    838 272     313    1210 313    1370 313    1450 313    1170 313    1330 313    1240 313    1170
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--isdn--capi--kernelcapi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c 288    1150 0.009 313    1070 312    1040 313    1020 312    1070 313    1070 313    1010 313    1100
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 313    2600 313    2400 313    2530 313    2380 313    2420 313    2400 313    2400 313    2400
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 313    652 313    630 313    664 313    670 313    669 313    649 313    668 313    652
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--vivi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 302    1400 107     303    1650 184     0 63.6   302    1700 171     0 73.1   302    1660 162     0 83.6   302    1690 181     0 63.8   302    1670 166     0 83.0   302    1690 161     0 82.9   302    1680 177     0 68.8  
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 30.3  847 0.481 56.4  1210 10.9   0 0.426 57.2  1180 10.9   0 0.450 57.0  1230 11.0   0 0.453 54.4  1180 10.8   0 0.400 54.8  1170 10.9   0 0.507 55.3  1160 10.9   0 0.480 54.5  1260 10.8   0 0.410
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--phy--dp83640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 36.1  756 1.47  76.1  1220 24.6   0 1.37  74.6  1220 24.4   0 1.24  75.0  1230 24.4   0 1.22  74.9  1250 24.5   0 1.29  74.4  1230 24.4   0 1.35  77.2  1210 24.7   0 1.30  73.8  1230 24.5   0 1.25 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c 313    1380 313    1390 313    1390 313    1370 313    1390 313    1400 313    1340 313    1390
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--staging--keucr--keucr.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 313    970 313    1010 313    1000 313    985 313    998 313    1000 313    984 313    1000
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 19.0  535 0.003 23.5  533 3.29  0 0.003 23.4  525 3.24  0 0.004 23.3  532 3.24  0 0.002 23.4  536 3.22  0 0.002 24.4  531 3.27  0 0.004 23.3  547 3.23  0 0.003 23.9  541 3.22  0 0.005
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 313    1050 313    1080 313    1090 313    1070 313    1090 313    1100 313    1090 313    1070
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 42.8  933 2.64  75.2  1520 14.2   0 2.75  75.4  1480 14.2   0 2.65  76.5  1490 14.2   0 2.75  74.3  1500 14.5   0 2.78  79.1  1490 14.2   0 3.04  77.4  1520 13.3   0 2.79  76.0  1500 14.3   0 2.70 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 302    2150 195     313    1330 313    1330 313    1350 313    1360 311    1340 202     0 47.5   313    1380 302    1380 181     0 50.8  
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c 47.0  1380 3.58  313    1170 313    1190 313    1170 313    1190 313    1200 313    1180 313    1190
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--net--wireless--orinoco--orinoco_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 27.3  770 1.02  48.0  978 8.14  0 0.793 50.7  988 8.42  0 0.796 47.3  964 7.72  0 0.747 50.3  982 8.25  0 0.786 46.9  980 8.03  0 0.837 50.5  994 8.35  0 0.813 48.6  974 7.96  0 0.829
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 302    4330 61.1   302    2980 207     0 18.6   302    3050 197     0 17.5   302    2440 227     0 11.2   302    2990 201     0 18.9   302    2970 209     0 18.1   302    2970 199     0 17.2   302    2990 189     0 18.7  
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--megaraid--megaraid_mm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 83.5  823 6.73  276    1040 192     0 4.72  277    997 193     0 4.16  293    1010 205     0 5.60  289    976 205     0 4.32  280    1030 190     0 4.14  276    1010 189     0 5.34  290    968 205     0 5.57 
ldv-linux-3.7.3/main0_false-unreach-call_drivers--media--dvb-frontends--stv090x-ko---32_7a--linux-3.7.3.c 302    2410 76.0   302    2060 147     0 75.0   303    1930 147     0 75.2   302    1970 147     0 75.1   302    1950 147     0 75.7   302    1990 147     0 75.1   302    1960 147     0 75.0   302    1930 147     0 75.2  
ldv-linux-3.7.3/main0_false-unreach-call_drivers-vhost-tcm_vhost-ko--32_7a--linux-3.7.3.c 57.8  891 10.5   110    1610 33.3   0 9.50  116    1840 33.2   0 9.73  116    1830 33.4   0 10.1   110    1830 33.3   0 9.45  110    1820 33.4   0 9.95  112    1840 33.4   0 9.81  112    1450 33.3   0 9.68 
ldv-linux-3.7.3/main11_false-unreach-call_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3.c 302    1680 230     313    1600 313    1530 313    1570 313    1560 313    1620 313    1600 313    1560
ldv-linux-3.7.3/main15_false-unreach-call_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3.c 302    1380 243     313    1360 313    1330 313    1380 313    1350 313    1350 313    1360 313    1350
ldv-linux-3.7.3/main17_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c 313    1090 313    1110 313    1100 312    1110 313    1090 313    1100 312    1120 313    1130
ldv-linux-3.7.3/main1_false-unreach-call_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3.c 302    1750 228     312    1650 313    1630 313    1640 313    1620 313    1640 313    1620 313    1620
ldv-linux-3.7.3/main1_false-unreach-call_drivers-vhost-vhost_net-ko--32_7a--linux-3.7.3.c 27.5  752 0.215 59.1  1080 11.8   0 0.199 61.0  1160 11.4   0 0.196 60.3  1200 11.3   0 0.196 61.8  1150 11.4   0 0.216 59.5  1170 11.4   0 0.235 61.6  1150 11.4   0 0.209 58.7  1190 11.4   0 0.220
ldv-linux-3.7.3/main4_false-unreach-call_drivers-scsi-mpt2sas-mpt2sas-ko--32_7a--linux-3.7.3.c 302    1060 248     313    1090 313    1070 313    1050 313    1070 313    1050 313    1050 313    1090
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--atm--atmtcp.ko-entry_point_false-unreach-call.cil.out.c 302    1480 250     313    717 313    788 313    746 313    753 313    731 313    742 313    727
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--block--loop.ko-entry_point_false-unreach-call.cil.out.c 313    924 313    964 313    952 313    1010 313    975 313    968 313    968 313    995
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--char--raw.ko-entry_point_false-unreach-call.cil.out.c 313    886 312    1190 311    1130 313    1120 313    1110 313    1090 311    1120 198     0 77.6   313    1130
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--accel--kxcjk-1013.ko-entry_point_false-unreach-call.cil.out.c 313    853 313    841 313    843 313    838 313    831 312    827 313    835 313    831
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--imu--inv_mpu6050--inv-mpu6050.ko-entry_point_false-unreach-call.cil.out.c 313    717 313    687 313    709 313    698 313    713 313    672 313    681 313    684
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--trigger--iio-trig-interrupt.ko-entry_point_false-unreach-call.cil.out.c 190    528 39.4   257    921 55.0   1 39.1   259    968 55.4   1 39.1   256    904 54.9   1 39.4   260    953 55.6   1 39.5   260    969 55.4   1 39.1   259    955 55.7   1 38.7   257    902 55.2   1 39.1  
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--input--gameport--gameport.ko-entry_point_false-unreach-call.cil.out.c 313    548 313    583 312    531 313    558 313    570 312    540 313    581 312    564
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--md--dm-cache.ko-entry_point_false-unreach-call.cil.out.c 65.1  1530 1.07  78.6  1040 10.0   0 1.19  77.3  1480 10.1   0 1.03  77.2  1460 10.0   0 1.04  76.4  1490 10.0   0 1.10  78.0  1490 10.0   0 1.30  78.3  1490 10.0   0 1.10  77.9  1510 10.0   0 1.05 
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--md--md-cluster.ko-entry_point_false-unreach-call.cil.out.c 313    1060 313    1700 313    1680 313    1740 313    1730 313    1730 313    1720 313    1730
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--mtd--mtd.ko-entry_point_false-unreach-call.cil.out.c 313    1620 313    1630 313    1590 313    1640 313    1630 313    1610 313    1640 313    1630
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--xen-netback--xen-netback.ko-entry_point_false-unreach-call.cil.out.c 313    1600 302    1080 242     0 2.69  302    1260 238     0 5.92  301    1070 237     0 2.64  302    1260 238     0 5.14  302    1090 239     0 2.78  302    1270 239     0 5.20  301    1080 237     0 2.73 
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--staging--lustre--lustre--llite--llite_lloop.ko-entry_point_false-unreach-call.cil.out.c 302    1840 255     313    725 313    758 313    742 313    732 313    740 313    726 312    758
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--usb--gadget--libcomposite.ko-entry_point_false-unreach-call.cil.out.c 302    1690 232     313    1560 313    1540 312    1570 313    1580 313    1580 313    1560 313    1530
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--watchdog--it87_wdt.ko-entry_point_false-unreach-call.cil.out.c 303    1560 181     302    1930 65.5   0 179     303    1940 56.4   0 182     303    1970 59.9   0 179     302    1930 63.2   0 180     302    1930 59.5   0 181     302    1930 54.3   0 180     302    1930 59.9   0 180    
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--watchdog--pc87413_wdt.ko-entry_point_false-unreach-call.cil.out.c 302    1340 203     302    2350 110     0 131     302    2380 109     0 131     302    2210 101     0 135     302    2370 108     0 133     302    2360 106     0 133     302    2430 101     0 136     302    2430 103     0 133    
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--ast--ast.ko-entry_point_false-unreach-call.cil.out.c 302    3190 63.8   302    1030 240     0 19.5   302    1040 245     0 12.2   301    1070 237     0 18.6   302    1090 233     0 21.8   302    1030 240     0 22.1   313    1030 302    1050 238     0 13.1  
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--mgag200--mgag200.ko-entry_point_false-unreach-call.cil.out.c 313    2780 313    1340 313    1180 313    1350 313    1360 313    1350 313    1350 313    1350
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--qxl--qxl.ko-entry_point_false-unreach-call.cil.out.c 313    1220 313    1230 302    1250 171     0 88.3   302    1250 172     0 87.6   302    1240 170     0 88.2   313    1220 313    1240 313    1210
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--hwmon--abituguru3.ko-entry_point_false-unreach-call.cil.out.c 313    1010 313    928 313    960 313    944 313    951 313    939 313    915 313    964
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--input--mousedev.ko-entry_point_false-unreach-call.cil.out.c 313    647 313    672 313    664 313    638 313    666 313    681 313    627 313    664
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--md--dm-crypt.ko-entry_point_false-unreach-call.cil.out.c 313    1500 312    1410 313    1450 313    1420 313    1500 313    1430 313    1420 313    1470
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--md--dm-raid.ko-entry_point_false-unreach-call.cil.out.c 302    3060 76.2   302    2920 110     0 10.3   302    2950 112     0 10.7   302    3010 113     0 10.3   302    3040 112     0 10.8   302    2960 127     0 10.3   302    2940 111     0 10.6   302    2880 112     0 10.7  
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--md--raid456.ko-entry_point_false-unreach-call.cil.out.c 313    1070 313    1070 313    1090 313    1040 313    1070 313    1080 313    1080 313    1120
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--hdpvr--hdpvr.ko-entry_point_false-unreach-call.cil.out.c 313    881 313    884 313    870 313    789 313    789 313    872 313    812 313    768
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--v4l2-core--videodev.ko-entry_point_false-unreach-call.cil.out.c 302    1350 252     305    1350 254     0 0.013 310    1370 262     0 0.012 306    1360 255     0 0.022 302    1360 250     0 0.020 305    1370 252     0 0.011 305    1370 255     0 0.014 307    1340 257     0 0.008
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--mwl8k.ko-entry_point_false-unreach-call.cil.out.c 313    998 312    996 313    1010 313    979 313    998 313    982 313    981 313    983
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--ti--wl12xx--wl12xx.ko-entry_point_false-unreach-call.cil.out.c 313    1420 312    1350 313    1410 313    1370 313    1390 313    1400 313    1460 312    1390
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--pcmcia--pcmcia_rsrc.ko-entry_point_false-unreach-call.cil.out.c 313    1190 312    2080 309    2100 157     0 92.4   303    2110 156     0 88.1   313    2090 313    2070 307    1990 157     0 91.9   309    2180 157     0 91.7  
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--mdc--mdc.ko-entry_point_false-unreach-call.cil.out.c 313    3260 312    1710 313    1650 313    1660 313    1690 313    1690 313    1650 313    1700
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--misc--sgi-xp--xpc.ko-entry_point_false-unreach-call.cil.out.c 313    1180 313    1080 313    1110 313    1090 313    1090 313    1120 313    1110 313    1120
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--megaraid--megaraid_mm.ko-entry_point_false-unreach-call.cil.out.c 313    803 313    1330 312    1300 313    1390 313    1270 313    1470 313    1370 313    1280
ldv-validator-v0.6/linux-stable-1b0b0ac-1-108_1a-drivers--net--slip.ko-entry_point_false-unreach-call.cil.out.c 313    1410 313    1050 313    1060 313    1030 313    1040 313    1030 313    1000 313    1030
ldv-validator-v0.6/linux-stable-1dfa93a-1-100_1a-drivers--usb--serial--kobil_sct.ko-entry_point_false-unreach-call.cil.out.c 313    994 312    1970 313    1990 313    2010 312    2210 313    2150 312    2240 313    2000
ldv-validator-v0.6/linux-stable-2b9ec6c-1-106_1a-drivers--usb--gadget--g_printer.ko-entry_point_false-unreach-call.cil.out.c 101    1460 18.8   144    1600 35.0   0 17.0   145    1530 34.9   0 17.2   147    1590 35.4   0 17.6   145    1700 36.0   0 18.3   139    1770 34.2   0 16.4   144    1590 35.5   0 17.8   138    1520 34.3   0 17.1  
ldv-validator-v0.6/linux-stable-39a1d13-1-101_1a-drivers--block--virtio_blk.ko-entry_point_false-unreach-call.cil.out.c 12.2  431 0.106 18.8  489 1.80  0 0.118 17.0  487 1.65  0 0.094 17.4  483 1.64  0 0.088 17.5  482 1.63  0 0.088 17.3  480 1.62  0 0.093 17.6  476 1.69  0 0.093 18.4  488 1.79  0 0.102
ldv-validator-v0.6/linux-stable-42f9f8d-1-111_1a-sound--oss--opl3.ko-entry_point_false-unreach-call.cil.out.c 313    1460 312    1390 313    1240 313    1430 313    1380 313    1440 313    1230 313    1430
ldv-validator-v0.6/linux-stable-4a349aa-1-32_7a-drivers--media--video--tlg2300--poseidon.ko-entry_point_false-unreach-call.cil.out.c 313    1030 312    1050 312    1010 313    1020 313    1030 313    978 313    983 313    1060
ldv-validator-v0.6/linux-stable-4ed3cba-1-100_1a-drivers--usb--serial--qcserial.ko-entry_point_false-unreach-call.cil.out.c 313    518 313    566 313    559 313    552 313    532 313    580 313    549 313    565
ldv-validator-v0.6/linux-stable-5742d35-1-136_1a-drivers--usb--serial--ti_usb_3410_5052.ko-entry_point_false-unreach-call.cil.out.c 313    1650 313    1650 313    1480 312    1660 313    1550 313    1500 313    1710 313    1500
ldv-validator-v0.6/linux-stable-8a9f335-1-32_7a-drivers--net--wireless--ath--carl9170--carl9170.ko-entry_point_false-unreach-call.cil.out.c 312    1220 313    1160 313    1150 313    1130 313    1180 313    1150 313    1130 313    1130
ldv-validator-v0.6/linux-stable-90a4845-1-110_1a-drivers--char--ipmi--ipmi_si.ko-entry_point_false-unreach-call.cil.out.c 71.9  955 29.5   305    1130 272     0 0.020 310    1110 276     0 0.022 313    1120 313    1120 313    1120 313    1130 313    1110
ldv-validator-v0.6/linux-stable-9ec4f65-1-110_1a-drivers--rtc--rtc-tegra.ko-entry_point_false-unreach-call.cil.out.c 313    615 313    2480 302    2790 90.2   0 156     313    2520 313    2830 312    2340 313    2840 313    2810
ldv-validator-v0.6/linux-stable-a9e7fb5-1-32_7a-drivers--media--rc--imon.ko-entry_point_false-unreach-call.cil.out.c 302    1700 224     312    1200 313    1140 313    1140 313    1240 313    1120 313    1150 312    1210
ldv-validator-v0.6/linux-stable-af3071a-1-130_7a-drivers--hwmon--s3c-hwmon.ko-entry_point_false-unreach-call.cil.out.c 313    408 313    925 313    915 313    913 313    910 313    900 313    859 313    904
ldv-validator-v0.6/linux-stable-c0cc359-104_1a-drivers--usb--serial--qcserial.ko-entry_point_false-unreach-call.cil.out.c 313    488 312    489 313    526 313    545 313    542 312    466 313    521 313    547
ldv-validator-v0.6/linux-stable-d47b389-1-32_7a-drivers--media--video--cx88--cx88-blackbird.ko-entry_point_false-unreach-call.cil.out.c 308    2930 197     313    726 313    738 313    735 313    737 313    735 313    748 313    757
ldv-validator-v0.8/linux-stable-1b0b0ac-1-108_1a-drivers--net--slip.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 313    1370 312    1740 313    1560 313    1590 313    1610 313    1610 313    1560 313    1730
ldv-validator-v0.8/linux-stable-1dfa93a-1-100_1a-drivers--usb--serial--kobil_sct.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 313    977 313    1970 313    2080 313    2130 312    1940 313    2050 313    2150 313    2020
ldv-validator-v0.8/linux-stable-2b9ec6c-1-106_1a-drivers--usb--gadget--g_printer.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 93.0  1680 11.1   134    1510 33.7   0 11.0   138    1720 34.4   0 10.9   131    1710 33.2   0 10.3   133    1680 33.3   0 10.4   135    1780 33.7   0 10.9   131    1680 32.9   0 10.4   137    1550 33.5   0 10.6  
ldv-validator-v0.8/linux-stable-39a1d13-1-101_1a-drivers--block--virtio_blk.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 12.5  412 0.142 16.3  465 1.57  0 0.130 16.1  456 1.65  0 0.125 16.5  459 1.65  0 0.140 16.0  459 1.55  0 0.129 16.0  453 1.62  0 0.121 16.7  461 1.64  0 0.129 16.0  440 1.59  0 0.126
ldv-validator-v0.8/linux-stable-42f9f8d-1-111_1a-sound--oss--opl3.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 313    1440 313    1320 313    1390 312    1150 313    1440 313    1450 313    1330 313    1340
ldv-validator-v0.8/linux-stable-468e4e3-1-204_8a-drivers--net--jme.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 313    1650 313    937 313    972 313    956 313    960