Tool CPAchecker 1.6.1-svn 23084
Limits timelimit: 300 s, memlimit: 8000 MB, CPU core limit: 4 timelimit: 600 s, memlimit: 8000 MB, CPU core limit: 4 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-03 13:53:55 CEST 2016-09-04 11:53:06 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_base_longtimeout.[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_CNF_KIND.[CNF_KIND-abs-path.Loops_false; CNF_KIND-abs-path.x64_false; CNF_KIND-abs-path.Other_true; CNF_KIND-abs-path.Other_false; CNF_KIND-abs-path.Loops_true; CNF_KIND-abs-path.x64_true] predicate_bitprecise_CNF_KIND.[CNF_KIND-abs.Loops_false; CNF_KIND-abs.x64_false; CNF_KIND-abs.Other_true; CNF_KIND-abs.Other_false; CNF_KIND-abs.Loops_true; CNF_KIND-abs.x64_true] predicate_bitprecise_CNF_KIND.[CNF_KIND-path.Loops_false; CNF_KIND-path.x64_false; CNF_KIND-path.Other_true; CNF_KIND-path.Other_false; CNF_KIND-path.Loops_true; CNF_KIND-path.x64_true] predicate_bitprecise_CNF_KIND.[CNF_KIND-prec-abs-path.Loops_false; CNF_KIND-prec-abs-path.x64_false; CNF_KIND-prec-abs-path.Other_true; CNF_KIND-prec-abs-path.Other_false; CNF_KIND-prec-abs-path.Loops_true; CNF_KIND-prec-abs-path.x64_true] predicate_bitprecise_CNF_KIND.[CNF_KIND-prec-abs.Loops_false; CNF_KIND-prec-abs.x64_false; CNF_KIND-prec-abs.Other_true; CNF_KIND-prec-abs.Other_false; CNF_KIND-prec-abs.Loops_true; CNF_KIND-prec-abs.x64_true] predicate_bitprecise_CNF_KIND.[CNF_KIND-prec-path.Loops_false; CNF_KIND-prec-path.x64_false; CNF_KIND-prec-path.Other_true; CNF_KIND-prec-path.Other_false; CNF_KIND-prec-path.Loops_true; CNF_KIND-prec-path.x64_true] predicate_bitprecise_CNF_KIND.[CNF_KIND-prec.Loops_false; CNF_KIND-prec.x64_false; CNF_KIND-prec.Other_true; CNF_KIND-prec.Other_false; CNF_KIND-prec.Loops_true; CNF_KIND-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.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.generationStrategy=PF_CNF_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties -setprop cpa.predicate.invariants.appendToPathFormula=true -setprop cpa.predicate.invariants.appendToAbstractionFormula=true -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.generationStrategy=PF_CNF_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties -setprop cpa.predicate.invariants.appendToAbstractionFormula=true -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.generationStrategy=PF_CNF_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties -setprop cpa.predicate.invariants.appendToPathFormula=true -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.generationStrategy=PF_CNF_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties -setprop cpa.predicate.invariants.addToPrecision=true -setprop cpa.predicate.invariants.appendToPathFormula=true -setprop cpa.predicate.invariants.appendToAbstractionFormula=true -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.generationStrategy=PF_CNF_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties -setprop cpa.predicate.invariants.addToPrecision=true -setprop cpa.predicate.invariants.appendToAbstractionFormula=true -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.generationStrategy=PF_CNF_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties -setprop cpa.predicate.invariants.addToPrecision=true -setprop cpa.predicate.invariants.appendToPathFormula=true -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.generationStrategy=PF_CNF_KIND -setprop invariantChecker.kInductionConfig=config/bmc-invgen-bitprecise.properties -setprop cpa.predicate.invariants.addToPrecision=true
test/programs/benchmarks/ status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB)
loop-acceleration/array_false-unreach-call1.i 302    2040 602    2780 87.9  8000 86.8  8000 84.5  8000 88.7  8000 97.2  8000 96.3  8000 94.6  8000
loop-acceleration/array_false-unreach-call2.i 302    1440 602    2120 126    8000 123    8000 126    8000 141    8000 143    8000 142    8000 136    8000
loop-acceleration/array_false-unreach-call3.i 302    2530 602    3780 65.0  8000 59.4  8000 63.9  8000 64.5  8000 66.4  8000 63.3  8000 65.3  8000
loop-acceleration/const_false-unreach-call1.i 302    2990 602    4180 64.3  8000 62.9  8000 61.4  8000 58.6  8000 64.7  8000 66.9  8000 67.7  8000
loop-acceleration/diamond_false-unreach-call1.i 75.1  1110 71.9  1040 83.8  8000 85.7  8000 88.9  8000 89.2  8000 85.3  8000 88.2  8000 86.4  8000
loop-acceleration/functions_false-unreach-call1.i 302    1820 602    2640 68.7  8000 67.5  8000 65.1  8000 68.4  8000 69.7  8000 67.1  8000 69.0  8000
loop-acceleration/multivar_false-unreach-call1.i 4.62 208 4.44 214 5.29 300 5.37 296 5.71 302 5.29 297 5.59 297 5.55 301 5.46 295
loop-acceleration/nested_false-unreach-call1.i 302    3740 602    6280 52.6  8000 53.0  8000 51.4  8000 53.7  8000 48.1  8000 50.8  8000 50.3  8000
loop-acceleration/phases_false-unreach-call1.i 303    819 605    976 302    7560 303    7060 302    7060 302    7050 302    7570 302    7270 302    7550
loop-acceleration/phases_false-unreach-call2.i 4.30 213 4.62 210 5.62 296 5.48 301 5.74 299 5.80 296 5.69 298 5.64 294 5.77 302
loop-acceleration/simple_false-unreach-call1.i 302    2790 602    4200 55.4  8000 55.4  8000 55.6  8000 55.9  8000 61.1  8000 62.9  8000 60.1  8000
loop-acceleration/simple_false-unreach-call2.i 4.02 206 4.33 208 5.47 300 4.96 294 5.75 298 5.43 300 5.80 291 5.70 297 5.22 297
loop-acceleration/simple_false-unreach-call3.i 4.32 211 4.18 208 5.72 301 5.49 295 5.81 295 5.24 298 5.00 292 5.83 289 5.48 296
loop-acceleration/simple_false-unreach-call4.i 302    2590 602    3930 56.0  8000 64.5  8000 62.2  8000 57.1  8000 56.9  8000 54.4  8000 56.2  8000
loop-acceleration/underapprox_false-unreach-call1.i 4.85 225 5.61 227 9.19 526 9.21 542 9.63 555 10.4  536 9.99 539 8.95 541 9.93 533
loop-acceleration/underapprox_false-unreach-call2.i 5.18 231 5.06 225 8.96 481 8.80 466 9.27 470 9.22 475 8.90 482 9.22 475 9.00 481
loop-invgen/id_trans_false-unreach-call.i 4.65 221 4.73 217 5.74 324 5.61 321 6.24 316 6.13 313 5.79 318 5.69 309 6.01 324
loops/array_false-unreach-call.i 5.06 299 5.81 290 6.28 338 6.00 333 6.59 336 6.27 339 5.84 340 6.53 335 6.26 340
loops/bubble_sort_false-unreach-call.i 8.99 340 8.98 336 12.4  418 12.8  425 13.2  421 11.9  416 12.9  427 13.1  402 12.5  421
loops/count_up_down_false-unreach-call_true-termination.i 4.32 207 4.22 207 5.53 293 5.72 302 5.13 300 5.87 301 5.29 293 5.60 292 5.39 296
loops/eureka_01_false-unreach-call.i 302    601 602    745 301    1050 301    1040 301    1040 302    1030 301    1020 301    1050 302    1040
loops/for_bounded_loop1_false-unreach-call_true-termination.i 4.81 214 4.72 214 6.37 343 7.25 353 6.18 344 6.33 342 6.61 347 6.12 341 5.86 340
loops/insertion_sort_false-unreach-call.i 301    1130 601    895 301    2250 302    2260 302    2270 302    2270 302    2340 302    2340 302    2320
loops/invert_string_false-unreach-call.i 302    1020 601    1300 302    7520 302    7660 302    7320 302    7650 302    7910 302    7650 302    7670
loops/linear_search_false-unreach-call.i 5.86 292 6.36 291 7.36 366 7.43 357 7.26 359 7.42 367 7.18 352 7.41 365 7.50 365
loops/ludcmp_false-unreach-call.i 313    410 611    413 313    438 313    445 313    427 313    448 313    439 313    435 313    450
loops/matrix_false-unreach-call_true-termination.i 33.3  818 37.2  822 39.6  906 41.0  911 39.3  900 38.5  897 36.8  907 36.4  905 38.7  904
loops/n.c24_false-unreach-call.i 302    2050 602    2560 65.8  8000 74.1  8000 68.7  8000 75.5  8000 76.2  8000 70.4  8000 79.7  8000
loops/nec11_false-unreach-call.i 4.31 208 4.74 213 5.98 313 6.13 306 5.54 306 6.05 300 5.77 302 5.83 302 5.88 307
loops/nec20_false-unreach-call.i 6.18 299 6.15 294 6.82 343 6.66 337 6.26 340 6.86 341 6.67 346 6.69 328 7.17 342
loops/s3_false-unreach-call.i 20.6  559 21.4  543 24.8  735 25.0  733 25.8  727 25.7  735 25.4  733 25.3  733 26.8  729
loops/string_false-unreach-call.i 8.78 336 8.61 334 22.3  1800 22.6  1840 22.4  1800 24.2  1800 22.6  1830 24.2  1800 24.3  1810
loops/sum01_bug02_false-unreach-call_true-termination.i 7.82 325 7.57 315 11.4  563 10.8  547 11.5  566 10.6  557 10.6  544 10.7  543 9.92 540
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i 6.39 291 6.44 299 8.92 446 9.35 430 8.61 413 8.56 432 8.75 433 8.80 437 9.00 433
loops/sum01_false-unreach-call_true-termination.i 9.54 359 9.12 354 15.8  982 16.4  999 16.1  990 15.5  988 16.5  992 16.3  983 15.8  980
loops/sum03_false-unreach-call_true-termination.i 8.81 347 8.61 334 16.5  983 15.6  973 16.6  1010 16.0  991 15.0  969 16.3  988 16.9  1000
loops/sum04_false-unreach-call_true-termination.i 7.50 311 7.40 322 12.7  723 12.7  732 12.5  730 12.2  729 12.4  728 11.9  718 11.7  727
loops/sum_array_false-unreach-call.i 8.91 348 9.59 359 12.2  513 12.8  523 12.5  513 13.0  515 13.4  510 13.1  507 12.9  515
loops/terminator_01_false-unreach-call_false-termination.i 4.35 212 4.60 209 6.04 293 5.30 294 5.67 298 5.69 300 5.72 298 5.40 299 6.05 301
loops/terminator_02_false-unreach-call_true-termination.i 4.09 203 4.63 218 5.62 296 5.76 297 5.86 299 5.88 297 5.78 293 5.47 297 5.53 294
loops/terminator_03_false-unreach-call_true-termination.i 5.09 212 4.58 217 5.46 309 5.64 303 6.09 312 5.80 305 5.38 307 5.82 310 5.60 310
loops/trex01_false-unreach-call_true-termination.i 4.36 209 4.50 215 5.75 304 5.65 294 5.85 306 5.99 300 5.77 308 5.20 296 5.90 303
loops/trex02_false-unreach-call_true-termination.i 4.30 213 4.08 212 6.21 298 5.04 302 5.36 304 5.51 303 5.49 305 5.68 296 5.58 299
loops/trex03_false-unreach-call_true-termination.i 4.86 215 4.62 211 5.53 294 5.95 304 5.85 303 5.92 300 5.86 302 5.90 302 5.51 298
loops/verisec_NetBSD-libc__loop_false-unreach-call.i 4.33 216 4.64 214 5.19 307 5.40 303 5.51 298 5.99 299 5.52 302 5.29 302 5.95 299
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.i 6.66 302 7.06 309 9.31 414 9.54 422 9.33 416 9.83 405 8.98 404 9.42 397 9.61 412
loops/vogal_false-unreach-call.i 60.8  730 60.4  728 86.3  6500 86.1  6470 88.1  6330 91.1  6630 89.7  6460 86.5  6290 88.6  6440
loops/while_infinite_loop_4_false-unreach-call_true-termination.i 4.52 211 4.20 211 5.22 291 5.70 296 5.96 295 5.47 298 5.48 306 5.37 297 5.15 294
busybox-1.22.0/basename_false-unreach-call.i 7.90 317 8.08 323 8.07 348 7.99 342 8.32 341 7.99 340 7.87 349 8.13 347 8.24 349
busybox-1.22.0/cal_false-unreach-call.i 23.6  658 24.9  649 31.4  897 29.6  892 29.4  894 29.9  895 31.1  895 29.7  881 31.0  890
busybox-1.22.0/cat_false-unreach-call.i 18.7  510 18.0  505 25.4  683 23.0  640 25.1  689 23.6  636 25.6  674 24.4  676 22.6  631
busybox-1.22.0/chgrp-incomplete_false-unreach-call.i 302    1560 602    1810 99.4  8000 90.0  8000 79.0  8000 115    8000 102    8000 116    8000 113    8000
busybox-1.22.0/chmod_false-unreach-call.i 301    904 602    1120 155    8000 154    8000 151    8000 215    8000 202    8000 205    8000 180    8000
busybox-1.22.0/chown-incomplete_false-unreach-call.i 301    1370 602    1570 301    3870 302    3890 302    3860 302    3700 302    3800 302    3760 302    3670
busybox-1.22.0/chroot-incomplete_false-unreach-call.i 13.2  461 13.2  455 16.5  515 17.3  515 16.8  480 16.7  483 18.6  514 18.8  511 18.0  491
busybox-1.22.0/cp-incomplete_false-unreach-call.i 19.6  595 20.3  570 28.5  871 26.6  870 27.6  868 28.0  877 29.5  889 28.4  864 29.2  875
busybox-1.22.0/cut_false-unreach-call.i 21.9  614 21.0  599 28.3  842 28.9  843 26.9  831 27.2  847 26.5  837 26.0  836 28.4  857
busybox-1.22.0/date_false-unreach-call.i 302    1900 601    2090 302    6300 302    6200 302    6220 302    6480 302    6170 302    5960 301    6030
busybox-1.22.0/dos2unix_false-unreach-call.i 11.6  478 12.6  479 13.8  507 14.1  497 14.1  491 14.4  504 13.8  500 14.3  518 14.4  501
busybox-1.22.0/du_false-unreach-call.i 21.4  584 21.8  603 27.8  758 25.6  752 28.0  754 27.4  764 27.7  772 26.3  750 28.0  760
busybox-1.22.0/echo_false-unreach-call.i 11.5  408 11.2  433 15.1  511 16.4  490 15.6  509 15.5  518 15.8  519 15.5  486 16.1  478
busybox-1.22.0/expand_false-unreach-call.i 20.1  494 21.8  499 24.4  521 25.5  523 24.5  524 23.9  536 25.1  526 24.3  521 22.8  533
busybox-1.22.0/expr_false-unreach-call.i 11.5  454 11.5  452 13.3  488 11.7  489 12.9  487 13.0  493 12.8  478 12.7  494 12.8  479
busybox-1.22.0/fold_false-unreach-call.i 12.8  465 13.0  457 15.7  496 15.9  501 15.9  495 15.4  504 15.4  497 15.7  497 16.1  499
busybox-1.22.0/head_false-unreach-call.i 10.9  436 11.4  434 12.1  458 12.6  464 12.7  459 12.9  454 13.0  456 13.3  461 12.4  464
busybox-1.22.0/id-incomplete_false-unreach-call.i 10.7  439 12.0  445 13.9  471 13.9  482 13.9  475 14.2  472 14.1  476 14.6  484 13.5  483
busybox-1.22.0/ln_false-unreach-call.i 18.9  547 20.3  548 24.7  711 24.4  716 25.3  730 26.2  752 25.7  729 24.5  719 24.2  711
busybox-1.22.0/ls-incomplete_false-unreach-call.i 302    2130 602    2040 302    6260 302    6260 302    5850 301    5790 302    5460 302    5790 301    5720
busybox-1.22.0/mkdir_false-unreach-call.i 302    1950 602    1820 272    8000 252    8000 215    8000 267    8000 282    8010 287    8000 291    8000
busybox-1.22.0/mkfifo-incomplete_false-unreach-call.i 8.61 365 8.41 359 9.38 374 9.42 381 9.17 374 8.68 365 8.85 379 9.16 382 9.02 379
busybox-1.22.0/mv-incomplete_false-unreach-call.i 302    1360 601    1620 302    3860 302    3680 302    3930 302    3720 302    3860 302    3920 302    3700
busybox-1.22.0/od_false-unreach-call.i 302    1570 602    1750 302    2970 301    3040 302    3040 302    3100 301    3180 301    3000 301    3020
busybox-1.22.0/printf_false-unreach-call.i 11.3  444 11.5  445 14.0  493 13.8  484 13.5  480 14.0  489 14.3  501 13.5  494 13.9  483
busybox-1.22.0/pwd_false-unreach-call.i 22.6  557 21.5  568 31.9  1050 32.0  1040 31.8  1040 34.4  1080 35.0  1080 34.3  1080 33.8  1060
busybox-1.22.0/realpath_false-unreach-call.i 301    1200 602    1440 302    2850 302    3000 302    2810 302    2890 301    3020 301    2950 302    2830
busybox-1.22.0/rm_false-unreach-call.i 17.8  544 19.6  554 24.5  654 25.1  696 25.2  687 25.5  684 26.1  683 24.9  655 24.3  659
busybox-1.22.0/rmdir_false-unreach-call.i 302    1410 602    1650 302    4220 302    4200 302    4140 302    3750 302    3980 301    3950 302    4030
busybox-1.22.0/seq_false-unreach-call.i 18.1  491 18.7  502 22.9  602 25.2  648 23.8  611 24.4  636 22.7  604 24.8  623 22.9  612
busybox-1.22.0/sleep_false-unreach-call.i 14.3  485 14.3  503 18.5  558 17.8  560 18.1  541 18.9  571 18.0  550 19.3  567 19.3  549
busybox-1.22.0/stty_false-unreach-call.i 54.6  815 54.4  808 58.5  848 57.9  843 59.2  845 58.5  830 57.9  836 60.3  859 59.3  846
busybox-1.22.0/tac_false-unreach-call.i 18.3  506 18.2  504 23.5  654 23.6  668 24.0  660 23.3  661 24.6  646 23.6  660 23.4  658
busybox-1.22.0/tail_false-unreach-call.i 13.4  505 13.2  509 15.1  539 16.0  541 15.6  541 15.4  531 17.2  544 16.6  548 16.7  540
busybox-1.22.0/tee_false-unreach-call.i 66.5  1120 62.9  1120 80.2  2200 77.1  2200 78.8  2210 86.8  2270 82.1  2210 82.9  2260 85.0  2180
busybox-1.22.0/test-incomplete_false-unreach-call.i 13.2  500 13.4  496 14.4  509 14.3  510 14.1  509 14.7  508 14.4  503 14.3  505 14.6  516
busybox-1.22.0/touch_false-unreach-call.i 302    1440 602    1660 301    3750 302    3780 302    4030 302    3840 302    3940 302    4040 302    3910
busybox-1.22.0/uudecode_false-unreach-call.i 20.6  529 20.7  523 27.8  773 26.5  790 26.2  741 26.2  754 25.7  746 26.4  760 24.9  755
busybox-1.22.0/uuencode_false-unreach-call.i 23.2  702 23.0  697 29.3  876 28.0  895 29.2  875 26.7  888 28.7  887 27.9  877 27.2  884
busybox-1.22.0/wc_false-unreach-call.i 18.0  504 21.0  534 24.0  662 25.1  680 25.0  683 24.8  671 25.0  675 25.0  656 25.1  683
busybox-1.22.0/yes_false-unreach-call.i 9.50 393 9.15 399 10.0  415 10.1  397 10.5  413 10.0  409 10.1  411 10.1  403 9.67 403
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 613    2290 302    2300 302    2310 302    2300 302    2310 302    2340 302    2370 302    2300
ldv-commit-tester/m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13-1.c 15.8  484 16.7  485 17.8  517 17.1  514 17.4  515 16.5  519 17.4  497 18.0  517 19.3  516
ldv-commit-tester/m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13.c 17.2  485 16.9  489 17.9  512 18.9  513 18.9  506 18.3  517 18.2  510 17.9  521 18.1  510
ldv-commit-tester/m0_false-unreach-call_drivers-hwmon-s3c-hwmon-ko--130_7a--af3071a-1.c 10.2  365 8.84 357 10.7  383 10.7  381 10.5  381 10.1  390 10.8  373 10.9  394 10.5  382
ldv-commit-tester/m0_false-unreach-call_drivers-media-rc-imon--32_7a--a9e7fb5-1.c 302    1720 384    1650 302    2350 302    2170 302    2230 302    2240 302    2270 302    2200 301    2200
ldv-commit-tester/m0_false-unreach-call_drivers-net-slip-ko--108_1a--1b0b0ac-1.c 26.2  592 23.8  588 28.4  644 28.5  629 27.8  624 29.8  634 31.8  637 28.1  628 29.5  636
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_6527-ko--107_1a--adbbc36-1.c 13.1  409 13.6  410 13.9  406 13.3  411 14.1  408 13.2  414 13.5  414 13.7  417 13.6  402
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_65xx-ko--107_1a--adbbc36-1.c 27.4  620 26.9  619 28.3  638 27.7  650 27.2  654 27.4  655 27.7  634 27.9  640 27.5  646
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36-1.c 48.9  632 47.6  638 47.9  664 51.8  670 51.7  692 49.7  662 50.1  655 51.8  653 50.4  671
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_670x-ko--107_1a--adbbc36-1.c 12.5  402 12.5  401 13.3  409 13.2  409 13.3  401 12.9  405 13.4  408 12.6  410 13.4  413
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c-1.c 62.4  1320 60.0  1350 63.5  1380 62.0  1400 62.3  1370 63.0  1330 64.0  1350 59.4  1340 61.9  1340
ldv-commit-tester/m0_false-unreach-call_sound-oss-opl3-ko--111_1a--42f9f8d-1.c 313    1140 613    1110 313    1570 313    1620 313    1590 313    1550 313    1550 313    1630 313    1520
ldv-commit-tester/main0_false-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1.c 313    958 613    939 313    958 313    940 313    960 313    990 313    956 313    972 313    968
ldv-commit-tester/main0_false-unreach-call_drivers-net-wireless-ath-carl9170-carl9170-ko--32_7a--8a9f335-1.c 313    1090 612    1110 313    1620 313    1630 313    1630 313    1640 313    1760 313    1640 313    1630
ldv-commit-tester/main3_false-unreach-call_drivers-staging-usbip-vhci-hcd-ko--132_1a--927c3fa.c 42.8  657 43.1  668 46.4  673 46.1  663 47.9  686 47.2  691 46.2  687 47.1  680 46.2  671
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 613    1200 313    1210 313    1270 313    1250 313    1230 313    1270 312    1210 313    1240
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 613    1220 313    1230 312    1200 313    1210 313    1220 313    1250 313    1250 313    1210
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 603    2560 302    2490 302    2470 303    2510 303    2490 303    2450 303    2460 302    2460
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 21.5  594 26.4  643 26.4  631 23.8  607 26.7  630 25.6  627 26.1  633 25.4  636
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 45.6  838 73.3  1970 79.2  2000 79.1  2020 84.7  1980 82.6  1950 66.1  2250 81.6  2190
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 613    963 313    952 313    982 313    966 312    974 313    1020 313    995 313    995
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 613    1710 302    1950 302    1970 302    1970 302    2010 302    2010 302    1990 302    1940
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 613    1150 312    1180 313    1210 313    1170 312    1150 313    1150 313    1170 313    1140
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 55.6  838 56.6  892 57.1  887 59.3  889 59.3  933 61.1  916 62.9  920 60.7  894
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 197    1570 228    2420 240    2490 236    2490 225    2580 242    2260 236    2580 248    2580
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 606    2870 302    2390 303    2450 304    2430 302    2430 303    2400 302    2440 304    2460
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--hwmon--abituguru3.ko-main.cil.out.c 313    959 613    968 313    961 313    970 313    984 313    971 313    963 313    995 313    972
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 52.5  949 72.2  2520 65.5  2470 75.0  2600 84.5  2410 84.8  2490 80.7  2510 84.4  2490
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--pcmcia--pcmcia_rsrc.ko-main.cil.out.c 45.8  846 50.3  869 71.7  1830 70.9  1830 68.6  1740 73.6  1810 75.0  1910 74.6  1830 75.3  1860
ldv-consumption/linux-3.8-rc1-32_7a-drivers--net--wireless--mwl8k.ko-ldv_main0_false-unreach-call.cil.out.c 74.3  1090 67.6  972 72.2  1410 76.9  1390 73.8  1430 78.7  1410 78.0  1410 82.2  1240 81.3  1420
ldv-consumption/linux-3.8-rc1-32_7a-drivers--scsi--mpt3sas--mpt3sas.ko-ldv_main4_false-unreach-call.cil.out.c 313    1100 335    1140 313    1110 313    1130 313    1140 313    1110 313    1140 313    1100 313    1110
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i 148    1120 164    1130 154    1400 170    1370 167    1240 165    1250 165    1230 172    1220 175    1400
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i 144    1330 147    1350 188    2440 185    2700 186    2630 194    2680 187    2480 192    2650 189    2660
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i 301    720 584    2490 307    1140 306    1180 313    1110 301    975 302    979 301    990 306    992
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i 302    1290 602    2120 302    1880 302    1910 302    1940 302    1930 302    1870 301    1880 302    1890
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i 32.2  812 29.1  755 37.9  914 39.4  906 37.3  893 36.9  877 37.9  879 37.3  898 36.0  878
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i 302    2150 602    2660 302    5080 302    4940 301    5120 302    4740 302    5110 301    4830 301    4980
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i 303    2970 603    3410 304    2960 302    3090 304    3020 303    3040 303    3000 303    3020 303    3230
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i 104    1050 103    1020 109    1190 107    1200 107    1190 109    1200 110    1220 111    1190 113    1200
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i 302    2010 602    2580 131    8000 127    8000 129    8000 138    8000 140    8000 144    8000 144    8000
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 32.6  668 39.4  919 37.0  901 37.4  916 38.3  917 38.5  914 39.5  928 38.4  920
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i 303    2050 602    2150 195    8000 204    8010 197    8000 221    8000 200    8000 222    8000 234    8000
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i 54.2  762 55.7  754 65.5  1440 63.5  1360 61.3  1290 68.2  1380 64.0  1280 66.5  1340 67.4  1370
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i 302    1870 602    2290 302    2460 302    2410 302    2560 302    2410 302    2620 302    2450 302    2500
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i 292    1520 295    1460 288    3360 286    3520 286    3490 306    3330 311    3480 309    3350 305    3510
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 613    997 313    1010 313    1020 313    1010 313    1020 313    1030 313    1010 313    1040
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 553    1050 313    1120 313    1120 313    1130 313    1110 313    1130 313    1120 313    1110
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 476    580 313    602 313    610 313    614 313    611 301    636 313    624 313    629
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 428    672 313    688 313    691 313    678 313    691 313    702 313    690 313    691
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 613    2140 313    2620 313    2670 313    2570 313    2570 313    2510 313    2580 313    2120
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 613    1110 313    1110 313    1150 313    1130 313    1250 313    1190 313    1150 313    1230
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 141    655 144    791 142    774 143    776 148    792 147    783 145    773 148    779
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 607    3240 313    2280 313    2310 313    2460 313    2160 313    2330 313    2290 313    2450
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 613    583 313    603 313    586 313    610 313    638 313    590 313    610 313    591
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 548    512 313    704 313    721 313    720 313    725 313    710 313    708 313    720
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 613    582 313    801 313    786 313    795 313    791 313    788 313    809 313    788
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 613    633 313    631 313    640 313    652 313    656 313    641 313    630 313    646
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 613    663 313    715 313    705 313    703 313    712 313    719 312    725 312    726
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 613    633 313    678 313    670 313    668 313    664 313    670 313    698 313    669
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 602    2870 302    2870 302    3000 302    2860 302    2950 302    3140 302    3010 302    3020
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 613    1030 313    1370 313    1390 313    1390 313    1250 313    1240 313    1370 313    1270
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 613    1630 313    1480 313    1490 313    1370 313    1340 313    1230 313    1500 313    1490
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 613    1730 302    1220 303    1520 302    1570 302    1360 302    1370 302    1500 302    1210
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 613    998 313    997 313    1010 313    994 313    994 313    1010 313    999 313    1000
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 613    2250 313    2150 313    2550 313    2540 313    2260 313    2640 313    2240 313    2330
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 613    975 313    1270 312    1180 313    1250 313    1150 313    1200 313    1260 313    1180
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 613    605 313    740 312    748 313    753 313    751 313    746 313    740 313    730
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 613    886 313    903 313    917 313    866 313    891 313    909 313    894 313    893
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 613    1640 313    1680 313    2020 313    2020 313    2000 313    1940 313    1930 313    1960
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 613    909 313    895 313    925 313    953 313    896 313    943 313    883 313    947
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 613    1120 311    1010 311    1000 313    1000 313    981 313    1030 312    979 312    1010
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 613    1780 313    2110 313    2080 313    2090 313    2110 313    2100 313    2100 313    2210
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 603    2820 308    2710 304    2630 304    2630 302    2640 302    2860 302    2720 309    2670
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 613    772 313    802 313    808 313    770 313    796 313    796 313    804 313    777
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 613    988 313    1080 313    1070 312    1060 313    1090 313    1090 313    1080 313    1080
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 613    1530 313    1520 313    1490 313    1490 313    1550 313    1540 313    1540 313    1530
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 111    713 118    793 116    771 118    784 121    805 120    792 117    809 116    791
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 613    758 313    824 313    837 313    816 313    855 313    844 313    816 313    826
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 613    770 313    788 313    803 313    788 313    807 313    804 313    782 313    814
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 124    868 128    875 127    872 125    868 127    873 126    848 127    886 126    869
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 613    1190 313    1290 313    1280 313    1260 313    1300 313    1280 313    1300 313    1310
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 106    1410 114    1640 110    1560 106    1600 122    1610 123    1600 117    1590 119    1580
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 388    982 313    1050 313    1050 313    1040 313    1060 313    1070 313    1060 313    1060
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 317    1550 284    1590 313    1020 289    1630 307    1040 294    1620 287    1630 290    1620
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 612    2570 313    2640 313    2550 313    2550 313    2550 313    2610 313    2550 313    2590
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 414    653 313    673 313    647 313    640 313    669 313    675 313    669 313    674
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 603    1500 302    1580 303    1570 302    1550 302    1570 302    1600 302    1600 302    1570
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 28.7  854 34.3  870 33.7  869 31.9  861 34.1  852 30.4  840 31.8  869 33.5  863
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 39.0  749 44.3  951 45.3  951 44.2  944 46.6  955 44.5  959 47.6  962 44.4  940
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 602    1410 313    1380 313    1380 313    1390 313    1370 313    1440 313    1400 313    1420
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 613    997 313    987 313    1010 313    989 313    1000 313    1010 313    990 313    1010
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 19.3  535 21.4  542 20.3  536 20.3  531 20.3  536 20.9  531 21.1  533 21.8  556
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 613    1040 313    1070 313    1040 313    1050 313    1050 313    1060 313    1060 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 47.3  932 58.3  1470 54.6  1470 56.6  1470 55.7  1460 57.5  1420 56.9  1440 53.9  1430
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 605    4980 301    3320 302    3450 302    3280 302    3220 302    3230 302    3230 302    3250
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 45.9  1330 51.9  1430 53.0  1450 53.2  1480 52.0  1490 49.7  1470 50.6  1480 55.8  1480
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 25.9  754 33.4  833 30.2  829 32.3  822 29.5  832 34.8  845 28.2  823 31.5  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 603    4410 302    4450 303    4560 303    4400 302    4490 302    4320 302    4460 302    4320
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 83.2  832 88.3  1410 91.1  1470 156    1530 99.9  1400 151    1510 108    1390 100    1420
ldv-linux-3.7.3/main0_false-unreach-call_drivers--media--dvb-frontends--stv090x-ko---32_7a--linux-3.7.3.c 302    2410 603    2570 303    2470 303    2470 302    2490 303    2490 302    2460 302    2480 303    2450
ldv-linux-3.7.3/main0_false-unreach-call_drivers-vhost-tcm_vhost-ko--32_7a--linux-3.7.3.c 57.8  891 55.4  883 63.1  1290 60.7  1260 63.8  1290 64.1  1310 64.2  948 63.8  973 64.8  1320
ldv-linux-3.7.3/main11_false-unreach-call_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3.c 302    1680 613    1640 302    2060 302    2050 302    2000 302    2050 302    2030 302    1990 302    2040
ldv-linux-3.7.3/main15_false-unreach-call_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3.c 302    1380 613    1370 302    1420 302    1430 302    1410 302    1440 302    1420 302    1420 302    1400
ldv-linux-3.7.3/main17_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c 313    1090 613    1080 313    1130 313    1090 313    1110 313    1100 313    1150 313    1140 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 613    1690 302    2000 302    1950 302    2000 302    1940 302    1990 302    1980 302    2010
ldv-linux-3.7.3/main1_false-unreach-call_drivers-vhost-vhost_net-ko--32_7a--linux-3.7.3.c 27.5  752 29.3  740 36.6  872 36.0  860 36.9  854 38.0  878 39.0  882 37.9  849 40.3  877
ldv-linux-3.7.3/main4_false-unreach-call_drivers-scsi-mpt2sas-mpt2sas-ko--32_7a--linux-3.7.3.c 302    1060 557    1080 302    1310 302    1240 302    1120 305    1080 302    1320 302    1320 302    1180
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 613    2080 307    1650 306    1660 305    1710 303    1510 306    1590 309    1490 310    1670
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 613    989 313    1290 313    1290 313    1100 313    1360 313    1130 313    1300 313    1240
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 613    861 313    1030 313    1010 313    1040 313    1020 313    1050 313    1030 313    1010
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 613    863 313    938 313    935 313    927 313    934 313    959 313    944 313    945
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 613    728 313    764 313    769 313    756 313    801 313    775 313    768 313    750
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 194    495 196    628 198    623 195    640 195    601 194    637 195    612 195    629
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 613    546 313    602 313    607 313    621 312    611 313    626 313    600 313    616
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 67.0  1490 68.0  1490 66.8  1480 68.9  1530 62.4  1500 69.7  1500 67.7  1500 69.7  1520
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 613    1030 313    1140 313    1150 313    1140 313    1150 313    1130 313    1150 313    1130
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 613    1580 313    1620 313    1650 313    1650 313    1630 313    1580 312    1600 313    1610
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 613    1660 313    2260 313    2230 313    2230 313    2340 313    2240 313    2250 313    2270
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 602    1760 302    2140 301    2180 301    2300 302    2260 302    2240 302    2250 302    2210
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 546    2640 302    1900 302    1860 302    1890 302    1850 302    1820 302    1860 302    1850
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 603    1580 303    1760 303    1810 303    1740 303    1780 303    1810 303    1730 303    1700
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 603    1460 305    1730 302    1650 310    1640 311    1610 309    1590 312    1540 311    1480
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 604    3250 302    3450 303    3610 309    3430 302    3620 309    3490 307    3400 302    3370
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 603    2990 302    3110 302    3120 313    3130 302    2990 302    3060 302    2950 302    3010
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 613    1200 313    1270 313    1290 313    1290 313    1340 313    1350 313    1320 313    1330
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 613    943 313    1000 313    1010 313    970 313    971 313    982 313    981 313    1010
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 613    632 313    677 313    665 313    657 313    663 313    640 312    683 313    667
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 603    2910 313    2110 313    1890 313    1850 313    1840 313    1880 313    1910 313    1880
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 602    3050 302    3780 302    3800 302    3780 302    3810 302    3810 302    3720 302    3750
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 613    1070 312    1590 313    1550 313    1570 313    1600 313    1630 313    1610 313    1610
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 613    821 313    813 312    839 313    810 313    831 313    826 313    848 313    914
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 602    1350 302    1360 302    1380 302    1360 302    1390 302    1350 302    1370 302    1420
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 613    963 313    963 313    996 313    976 313    1010 313    959 313    994 313    998
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 613    1340 313    1470 313    1550 313    1500 313    1510 312    1520 313    1520 313    1570
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 613    1170 313    2000 313    1970 313    1980 313    1960 312    1830 313    2000 313    1950
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 613    3280 313    3840 313    3800 313    3800 313    3900 313    3800 313    3890 313    3900
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 613    1210 313    1240 313    1260 313    1260 313    1240 313    1250 313    1280 313    1270
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 613    1050 313    1140 313    1130 313    1130 313    1150 313    1160 313    1130 313    1150
ldv-validator-v0.6/linux-stable-1b0b0ac-1-108_1a-drivers--net--slip.ko-entry_point_false-unreach-call.cil.out.c 313    1410 613    1430 312    1670 313    1710 313    1760 313    1720 313    1720 313    1740 313    1730
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 613    984 313    1090 313    1080 313    1070 313    1080 313    1090 313    1100 313    1070
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 107    1700 99.1  1770 99.8  1680 100    1600 94.6  1640 104    1780 99.6  1670 101    1680
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 12.7  434 13.1  450 13.5  456 14.3  459 13.9  448 13.2  449 13.2  452 13.2  450
ldv-validator-v0.6/linux-stable-42f9f8d-1-111_1a-sound--oss--opl3.ko-entry_point_false-unreach-call.cil.out.c 313    1460 613    1460 313    1190 313    1240 313    1490 313    1410 313    1480 313    1440 313    1440
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 613    1060 312    1100 313    1070 313    1070 313    1050 312    1110 312    1050 313    1050
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 613    535 313    516 312    543 313    520 313    517 312    552 313    506 313    515
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 613    1720 313    1700 313    1690 313    1800 312    1760 313    1600 313    1800 313    1690
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 613    1210 313    1390 313    1370 313    1330 313    1380 313    1330 313    1390 313    1340
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 71.1  931 78.9  1080 80.9  1120 81.7  1100 86.1  1110 88.7  1090 81.6  1100 82.6  1090
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 613    715 302    1030 303    1050 313    1050 313    1030 304    1020 305    1030 302    1040
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 613    2090 302    1950 302    1950 302    1650 302    1630 302    1950 302    2070 302    1910
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 613    615 313    476 313    478 313    462 313    485 312    488 313    455 313    460
ldv-validator-v0.6/linux-stable-c0cc359-104_1a-drivers--usb--serial--qcserial.ko-entry_point_false-unreach-call.cil.out.c 313    488 613    596 313    480 313    489 313    491 313    503 313    486 313    493 313    491
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 456    3230 313    3180 313    3290 313    3080 313    3160 313    3230 313    3120 313    3140
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 613    1340 313    1820 313    1830 312    1780 313    1760 313    1610 313    1760 313    1690
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 613    1010 313    1060 313    1050 313    1060 313    1090 313    1060 313    1030 313    1050
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 90.5  1630 89.9  1720 94.3  1640 93.0  1650 94.9  1710 96.8  1700 95.5  1690 95.7  1650
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 11.9  418 13.8  445 12.9  426 13.5  441 12.2  439 12.3  430 13.1  444 12.9  431
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 613    1460 313    1400 313    1320 313    1300 313    1280 313    1250 313    1290 313    1500
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 611    1670 313    3330 313    3420 313    3390 313    3340 313    3370 313    3170 313    3410
ldv-validator-v0.8/linux-stable-4a349aa-1-32_7a-drivers--media--video--tlg2300--poseidon.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 312    1980 613    1930 313    2060 313    2060 313    2060 313    2080 313    2020 313    2080 313    2030
ldv-validator-v0.8/linux-stable-4ee267b-1-130_7a-drivers--hwmon--ibmaem.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 313    757 613    705 313    816 313    788 313    821 313    802 313    820 313    802 313    820
ldv-validator-v0.8/linux-stable-5742d35-1-136_1a-drivers--usb--serial--ti_usb_3410_5052.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 313    1630 613    2540 313    1690 313    1640 313    1710 313    1750 313    1630 313    1720 313    1730
ldv-validator-v0.8/linux-stable-8a9f335-1-32_7a-drivers--net--wireless--ath--carl9170--carl9170.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 313    1230 613    1200 313    1320 313    1350 313    1300 313    1320 313    1340 313    1340 313    1340
ldv-validator-v0.8/linux-stable-90a4845-1-110_1a-drivers--char--ipmi--ipmi_si.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 59.2  962 60.7  963 66.3  1140 71.8  1120 74.4  1130 70.2  1100 68.8  1120 67.8  1130 74.2  1130
ldv-validator-v0.8/linux-stable-a450319-1-144_1a-drivers--input--tablet--acecad.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 313    536 490    590 313    671 313    673 313    651 313    659 313    676 313    668 313    695
ldv-validator-v0.8/linux-stable-a450319-1-144_2a-drivers--input--tablet--acecad.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 313    627 613    705 313    751 313    759 313    755 313    757 313    764 313    759 313    747
ldv-validator-v0.8/linux-stable-a9e7fb5-1-32_7a-drivers--media--rc--imon.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 302    1730 613    2070 302    2020 302    2120 302    2100 302    1770 302    1990 302    2100 302    2080
ldv-validator-v0.8/linux-stable-af3071a-1-130_7a-drivers--hwmon--s3c-hwmon.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 313    414 613    608 313    466 313    464 313    457 313    470 313    448 313    440 313    453
ldv-validator-v0.8/linux-stable-c0cc359-1-104_1a-drivers--usb--serial--qcserial.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 303    480 613    582 302    501 303    500 302    486 304    503 302    506 302    485 301    498
array-examples/sanfoundry_10_true-unreach-call_ground.i 302    1080 602    1570 302    4440 302    3920 302    4200 302    4410 302    4220 302    4500 302    4340
eca-rers2012/Problem01_label00_true-unreach-call.c 30.6  683 36.1  728 33.7  754 35.3  740 31.9  744 35.4  747 29.4  697 33.6  730 30.8  754
eca-rers2012/Problem01_label01_true-unreach-call.c 32.2  763 35.6  782 34.3  832 32.0  806 30.9  858 36.3  869 33.8  829 32.4  838 32.9  826
eca-rers2012/Problem01_label02_true-unreach-call.c 37.4  876 37.0  910 34.2  891 33.4  851 33.0  839 32.4  859 30.0  842 38.5  907 30.9  870
eca-rers2012/Problem01_label03_true-unreach-call.c 33.1  740 36.4  759 37.3  829 34.8  862 36.4  839 37.6  840 38.1  851 35.7  829 34.2  837
eca-rers2012/Problem01_label04_true-unreach-call.c 36.1  834 37.5  831 39.7  897 37.3  860 37.4  869 40.2  891 33.9  841 36.8  867 38.1  893
eca-rers2012/Problem01_label05_true-unreach-call.c 35.5  848 37.7  882 34.1  865 33.1  852 37.0  909 34.7  857 30.3  841 29.6  846 35.3  850
eca-rers2012/Problem01_label06_true-unreach-call.c 32.5  673 35.2  726 31.8  723 34.4  755 28.2  705 33.4  742 30.5  762 33.7  747 28.9  742
eca-rers2012/Problem01_label07_true-unreach-call.c 36.1  710 28.5  644 33.7  743 31.8  705 31.4  698 34.3  723 33.1  725 34.4  735 30.3  702
eca-rers2012/Problem01_label08_true-unreach-call.c 38.6  854 33.4  821 34.9  871 33.8  859 36.4  885 34.9  861 38.7  876 39.5  860 34.0  842
eca-rers2012/Problem01_label09_true-unreach-call.c 32.5  798 32.0  799 35.4  872 34.4  849 34.1  842 35.0  864 34.3  831 34.7  839 33.1  826
eca-rers2012/Problem01_label10_true-unreach-call.c 32.2  833 34.3  859 37.3  863 34.8  825 34.3  842 31.7  823 33.5  832 32.9  848 33.9  837
eca-rers2012/Problem01_label11_true-unreach-call.c 25.5  708 33.2  757 36.9  853 36.5  832 37.2  833 33.9  832 33.9  782 36.7  833 37.4  851
eca-rers2012/Problem01_label12_true-unreach-call.c 31.4  674 26.7  672 27.0  698 28.1  691 32.7  736 35.0  768 31.8  725 33.8  732 32.0  750
eca-rers2012/Problem01_label13_true-unreach-call.c 30.2  792 35.2  824 37.7  857 34.5  835 30.8  898 34.6  846 38.3  882 32.6  831 33.7  824
eca-rers2012/Problem01_label14_true-unreach-call.c 35.1  809 33.1  822 29.1  821 38.5  856 37.1  878 35.2  839 34.6  854 38.6  853 34.9  866
eca-rers2012/Problem01_label16_true-unreach-call.c 34.2  844 34.8  844 37.4  873 33.1  826 35.0  835 34.7  838 37.2  873 34.3  836 38.8  828
eca-rers2012/Problem01_label17_true-unreach-call.c 34.6  731 28.2  668 36.1  747 33.0  731 36.2  728 34.3  744 35.1  724 32.7  729 33.3  756
eca-rers2012/Problem01_label18_true-unreach-call.c 29.2  701 29.8  685 34.6  723 32.3  718 29.5  744 31.1  740 31.5  744 32.1  725 31.5  721
eca-rers2012/Problem01_label19_true-unreach-call.c 34.7  832 28.6  756 32.4  851 33.1  837 29.5  813 33.5  854 29.9  804 34.1  831 34.6  835
eca-rers2012/Problem01_label22_true-unreach-call.c 36.0  873 33.7  848 36.2  854 35.2  866 35.9  857 33.0  854 38.3  872 38.6  884 35.6  845
eca-rers2012/Problem01_label23_true-unreach-call.c 31.9  708 30.0  670 35.4  765 32.0  743 33.5  733 30.1  733 34.8  752 31.8  741 36.7  778
eca-rers2012/Problem01_label24_true-unreach-call.c 37.4  805 31.1  779 39.2  885 34.2  834 34.2  829 33.1  837 35.8  818 38.5  871 33.9  841
eca-rers2012/Problem01_label25_true-unreach-call.c 31.0  686 34.3  704 32.8  724 36.3  727 34.1  729 29.2  721 34.1  750 31.2  756 30.3  734
eca-rers2012/Problem01_label26_true-unreach-call.c 32.5  781 29.8  776 37.5  863 31.0  831 33.3  825 34.8  837 39.9  868 31.7  830 31.4  819
eca-rers2012/Problem01_label27_true-unreach-call.c 36.8  866 36.4  876 35.5  865 36.5  901 35.7  864 34.7  846 34.5  882 34.8  868 37.0  912
eca-rers2012/Problem01_label28_true-unreach-call.c 33.4  778 34.7  835 31.7  811 30.2  834 30.9  862 29.2  818 34.0  827 34.6  800 30.8  827
eca-rers2012/Problem01_label29_true-unreach-call.c 36.2  845 36.5  840 35.8  854 37.7  853 36.3  857 36.3  853 37.6  860 36.8  878 34.8  835
eca-rers2012/Problem01_label30_true-unreach-call.c 34.5  746 31.4  741 37.1  851 36.8  871 33.1  808 32.7  838 33.8  825 35.9  869 37.3  851
eca-rers2012/Problem01_label31_true-unreach-call.c 31.7  828 35.0  824 33.6  840 38.2  868 31.8  837 33.2  841 37.3  869 27.9  816 34.9  838
eca-rers2012/Problem01_label34_true-unreach-call.c 36.3  869 34.3  856 36.0  869 40.1  887 35.9  864 39.0  870 34.0  870 33.0  863 36.8  874
eca-rers2012/Problem01_label36_true-unreach-call.c 37.7  831 36.1  803 34.6  842 39.6  895 34.1  850 36.4  881 39.0  870 36.8  868 35.1  870
eca-rers2012/Problem01_label39_true-unreach-call.c 41.1  856 40.9  849 38.8  866 37.8  867 40.3  902 37.8  890 42.2  892 37.3  872 38.4  865
eca-rers2012/Problem01_label40_true-unreach-call.c 30.9  728 32.6  761 33.0  779 29.0  809 33.3  831 33.8  805 30.6  811 31.5  812 31.2  791
eca-rers2012/Problem01_label41_true-unreach-call.c 31.1  661 32.5  671 31.4  734 32.7  742 34.2  753 28.7  721 32.6  785 30.2  730 31.8  732
eca-rers2012/Problem01_label42_true-unreach-call.c 34.2  693 31.4  698 31.4  756 30.8  757 31.2  743 33.3  749 30.0  754 35.1  753 38.2  765
eca-rers2012/Problem01_label43_true-unreach-call.c 32.2  697 29.9  658 33.1  755 33.9  777 34.9  767 33.8  785 36.3  773 33.8  755 34.8  781
eca-rers2012/Problem01_label45_true-unreach-call.c 36.1  843 41.3  868 41.3  885 45.2  896 42.6  903 36.1  873 38.4  889 37.6  875 38.3  891
eca-rers2012/Problem01_label46_true-unreach-call.c 29.4  732 34.1  732 34.2  817 33.5  801 31.6  801 33.5  812 30.4  796 34.9  844 32.9  815
eca-rers2012/Problem01_label48_true-unreach-call.c 33.9  809 36.7  848 44.1  957 42.9  965 39.0  924 37.5  926 40.5  971 39.9  908 36.9  908
eca-rers2012/Problem01_label49_true-unreach-call.c 36.9  895 36.2  843 36.9  899 32.4  870 37.1  878 35.4  849 34.0  866 38.2  898 37.1  889
eca-rers2012/Problem01_label51_true-unreach-call.c 31.6  825 36.9  822 35.7  870 37.8  858 38.7  878 35.0  856 35.3  862 39.1  881 36.5  850
eca-rers2012/Problem01_label52_true-unreach-call.c 31.9  794 34.3  818 37.4  854 36.1  852 34.9  846 32.5  863 38.3  857 34.4  831 33.5  845
eca-rers2012/Problem01_label53_true-unreach-call.c 35.6  799 35.2  839 36.5  870 36.2  884 34.4  850 33.3  821 33.9  833 33.6  837 37.2  897
eca-rers2012/Problem01_label54_true-unreach-call.c 34.8  826 30.8  768 34.0  855 38.7  879 34.8  852 35.8  860 38.0  880 33.7  831 34.5  835
eca-rers2012/Problem01_label55_true-unreach-call.c 34.0  682 30.3  674 34.6  756 30.4  735 30.7  749 29.8  727 34.8  773 33.8  769 36.3  777
eca-rers2012/Problem01_label58_true-unreach-call.c 34.7  823 31.2  827 37.5  886 36.2  871