ToolCPAchecker 1.1-svn
Limitstimelimit: 120 s, memlimit: 3000 MB
Systemhost: pc-wehr-serv1
os: Linux 3.0.0-15-generic x86_64
cpu: Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
cores: 4, frequency: 3401 MHz, ram: 16408608 kB
Date of run12-02-17.0927
Test setintegration-predicateAnalysis
branch-r5637
Options-noout
-predicateAnalysis
-heap 2000m
-setprop cpa.conditions.global.time.wall=1min
test/programs/benchmarks/statuscputimewalltimetotalcpa time
total files2232901.652150.761834.7081488.852
correct results137943.31673.90625.606393.788
false negatives25105.6053.5146.05517.850
false positives1426.9615.0411.3181.909
score (223 files, max score: 361)104
pthread/fib_bench_BUG.cil.csafe1.720.970.692s0.043s
pthread/fib_bench_longer_BUG.cil.csafe1.700.970.647s0.029s
pthread/queue_BUG.cil.csafe2.021.160.898s0.140s
pthread/reorder_5_BUG.cil.cunknown2.071.290.909s0.108s
pthread/twostage_3_BUG.cil.cunknown1.911.060.803s0.129s
pthread/fib_bench.cil.csafe1.600.920.655s0.033s
pthread/fib_bench_longer.cil.csafe1.741.010.699s0.032s
pthread/queue_ok.cil.csafe2.001.110.801s0.105s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.csafe6.643.863.511s2.542s
ntdrivers-simplified/floppy_simpl3_BUG.cil.csafe4.112.141.849s1.166s
ntdrivers-simplified/floppy_simpl4_BUG.cil.csafe5.593.012.610s1.662s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.csafe4.252.221.807s0.924s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe6.513.723.313s2.429s
ntdrivers-simplified/diskperf_simpl1.cil.csafe4.682.922.626s1.955s
ntdrivers-simplified/floppy_simpl3.cil.csafe3.922.332.039s1.168s
ntdrivers-simplified/floppy_simpl4.cil.csafe4.632.382.094s1.333s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe2.811.491.119s0.516s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe3.491.881.525s0.767s
ntdrivers/cdaudio.BUG.i.cil.csafe8.244.313.993s2.277s
ntdrivers/diskperf.BUG.i.cil.csafe5.743.323.045s1.971s
ntdrivers/floppy.BUG.i.cil.csafe7.954.183.875s2.449s
ntdrivers/kbfiltr.BUG.i.cil.csafe4.402.191.900s1.020s
ntdrivers/parport.BUG.i.cil.cunknown91.7872.7362.724s61.272s
ntdrivers/cdaudio.i.cil.csafe7.463.853.518s2.028s
ntdrivers/diskperf.i.cil.csafe6.113.333.039s2.024s
ntdrivers/floppy.i.cil.csafe8.014.103.804s2.399s
ntdrivers/parport.i.cil.cunknown87.1470.2861.236s59.978s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe5.323.052.679s1.466s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe5.503.202.844s1.535s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe5.252.832.499s1.313s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe5.993.353.009s1.721s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.741.421.142s0.367s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe7.834.484.141s2.412s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe8.084.484.148s2.322s
ssh-simplified/s3_srvr_14_BUG.cil.cunsafe3.661.971.636s0.731s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe4.742.442.118s1.221s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe4.412.362.031s1.036s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe2.281.270.984s0.063s
ssh-simplified/s3_clnt_1.cil.csafe17.2513.8713.443s10.160s
ssh-simplified/s3_clnt_2.cil.csafe25.8024.5523.072s18.433s
ssh-simplified/s3_clnt_3.cil.csafe11.6711.1510.737s4.632s
ssh-simplified/s3_clnt_4.cil.csafe11.8910.609.146s5.175s
ssh-simplified/s3_srvr_1a.cil.csafe4.076.124.735s1.432s
ssh-simplified/s3_srvr_1b.cil.csafe2.222.211.831s0.234s
ssh-simplified/s3_srvr_1.cil.csafe31.7727.4826.811s20.001s
ssh-simplified/s3_srvr_3.cil.csafe16.9312.5612.068s8.447s
ssh-simplified/s3_srvr_4.cil.csafe19.3014.5713.937s9.907s
ssh-simplified/s3_srvr_6.cil.csafe22.3317.7517.117s13.763s
ssh-simplified/s3_srvr_7.cil.csegmentation fault71.1066.41--
ssh-simplified/s3_srvr_8.cil.csafe15.3110.339.809s7.226s
ssh/s3_clnt.blast.01.BUG.i.cil.cunsafe6.623.663.311s1.876s
ssh/s3_clnt.blast.02.BUG.i.cil.cunsafe5.062.762.396s1.269s
ssh/s3_clnt.blast.03.BUG.i.cil.cunsafe4.802.622.307s1.098s
ssh/s3_clnt.blast.04.BUG.i.cil.cunsafe5.453.002.686s1.446s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe4.902.572.286s1.252s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe4.822.542.244s1.225s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe4.752.572.281s1.263s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe4.642.412.115s1.149s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe7.453.703.362s1.859s
ssh/s3_srvr.blast.07.BUG.i.cil.cunsafe6.453.272.924s1.656s
ssh/s3_srvr.blast.08.BUG.i.cil.cunsafe9.325.815.438s3.491s
ssh/s3_srvr.blast.10.BUG.i.cil.cunsafe9.605.895.552s2.950s
ssh/s3_srvr.blast.11.BUG.i.cil.cunsafe6.483.353.012s1.823s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe7.213.923.573s2.192s
ssh/s3_srvr.blast.13.BUG.i.cil.cunsafe6.313.713.386s2.198s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe6.953.693.364s1.804s
ssh/s3_srvr.blast.15.BUG.i.cil.cunsafe8.674.974.601s2.664s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe7.283.863.517s1.997s
ssh/s3_clnt.blast.01.i.cil.csafe19.2415.0814.631s12.533s
ssh/s3_clnt.blast.03.i.cil.csafe10.826.896.516s4.022s
ssh/s3_clnt.blast.04.i.cil.csafe10.476.796.443s4.557s
ssh/s3_srvr.blast.01.i.cil.csafe28.4023.4322.815s14.415s
ssh/s3_srvr.blast.06.i.cil.csafe53.9648.5647.942s29.502s
ssh/s3_srvr.blast.07.i.cil.cunknown66.0961.3160.814s57.104s
ssh/s3_srvr.blast.08.i.cil.csafe15.9410.8210.286s6.727s
ssh/s3_srvr.blast.09.i.cil.cunknown73.8261.9060.979s58.370s
ssh/s3_srvr.blast.10.i.cil.csafe14.7610.269.712s6.949s
ssh/s3_srvr.blast.12.i.cil.csafe37.4031.8531.248s28.417s
ssh/s3_srvr.blast.13.i.cil.csafe50.2445.1044.547s42.720s
ssh/s3_srvr.blast.14.i.cil.csafe48.0942.8642.259s36.499s
ssh/s3_srvr.blast.15.i.cil.csafe64.3658.8258.205s27.561s
ssh/s3_srvr.blast.16.i.cil.cunknown67.0461.5660.959s40.068s
locks/test_locks_14.BUG.cunsafe1.901.080.810s0.162s
locks/test_locks_15.BUG.cunsafe1.941.150.888s0.173s
locks/test_locks_10.csafe1.831.060.738s0.109s
locks/test_locks_11.csafe1.761.020.739s0.140s
locks/test_locks_12.csafe1.861.040.794s0.166s
locks/test_locks_13.csafe1.891.000.741s0.153s
locks/test_locks_14.csafe1.650.950.704s0.153s
locks/test_locks_15.csafe1.700.980.727s0.166s
locks/test_locks_5.csafe1.580.850.609s0.060s
locks/test_locks_6.csafe1.650.860.625s0.068s
locks/test_locks_7.csafe1.580.900.657s0.079s
locks/test_locks_8.csafe1.650.890.649s0.089s
locks/test_locks_9.csafe1.640.910.675s0.136s
heap-manipulation/bubble_sort_linux_BUG.cil.csegmentation fault2.191.21--
heap-manipulation/dll_of_dll_BUG.cil.csafe1.850.950.700s0.092s
heap-manipulation/merge_sort_BUG.cil.csafe1.871.030.779s0.089s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown64.2361.0660.789s56.545s
heap-manipulation/bubble_sort_linux.cil.csegmentation fault2.341.29--
heap-manipulation/dll_of_dll.cil.csafe1.981.040.800s0.101s
heap-manipulation/merge_sort.cil.csafe1.710.910.683s0.087s
heap-manipulation/sll_to_dll_rev.cil.cunknown67.1264.9864.621s59.289s
list-properties/alternating_list.cil.csafe1.931.100.842s0.188s
list-properties/list.cil.csafe1.861.030.778s0.212s
list-properties/list_flag.cil.csafe1.911.050.801s0.196s
list-properties/simple.cil.cunsafe1.921.050.798s0.181s
list-properties/simple_built_from_end.cil.cunsafe1.951.100.843s0.144s
list-properties/splice.cil.cunsafe3.281.901.604s0.602s
systemc/token_ring.01.BUG.cil.csafe1.791.000.758s0.109s
systemc/token_ring.02.BUG.cil.csafe1.741.070.803s0.169s
systemc/token_ring.03.BUG.cil.csafe1.971.210.949s0.186s
systemc/transmitter.01.BUG.cil.csafe1.691.060.791s0.156s
systemc/transmitter.02.BUG.cil.csafe2.481.321.037s0.398s
systemc/transmitter.03.BUG.cil.csafe2.871.511.205s0.454s
systemc/transmitter.04.BUG.cil.csafe3.641.831.524s0.752s
systemc/bist_cell.cil.csafe2.341.341.039s0.300s
systemc/kundu.cil.csafe1.901.080.797s0.118s
systemc/mem_slave_tlm.1.cil.csafe2.941.571.283s0.395s
systemc/mem_slave_tlm.2.cil.csafe2.711.411.138s0.342s
systemc/mem_slave_tlm.4.cil.csafe2.861.511.226s0.353s
systemc/pc_sfifo_1.cil.csafe1.981.130.869s0.193s
systemc/pc_sfifo_2.cil.csafe1.871.100.833s0.156s
systemc/pc_sfifo_3.cil.csafe2.021.190.879s0.173s
systemc/token_ring.01.cil.csafe1.801.020.763s0.100s
systemc/token_ring.04.cil.csafe2.041.180.918s0.232s
systemc/toy.cil.csafe2.131.270.862s0.135s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.730.920.669s0.034s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.821.000.737s0.055s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.720.990.697s0.027s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.140.65--
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.700.940.694s0.026s
ldv-regression/mutex_lock_struct.c-unsafe.cil.csafe1.650.930.579s0.027s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.801.010.719s0.047s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.csafe1.891.050.764s0.078s
ldv-regression/rule60_list2.c-unsafe_1.cil.csafe1.961.080.819s0.130s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.581.431.125s0.357s
ldv-regression/test_while_int.c-unsafe.cil.csegmentation fault1.540.89--
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.700.940.687s0.052s
ldv-regression/alias_of_return.c-safe.cil.csafe1.810.940.695s0.027s
ldv-regression/alias_of_return.c-safe_1.cil.csafe1.710.920.666s0.025s
ldv-regression/alias_of_return_2.c-safe.cil.csafe1.560.910.656s0.032s
ldv-regression/alias_of_return_2.c-safe_1.cil.csafe1.660.940.660s0.026s
ldv-regression/ex3_forlist.c-safe.cil.cunsafe2.841.651.361s0.606s
ldv-regression/just_assert.c-safe.cil.csafe1.631.020.668s0.018s
ldv-regression/mutex_lock_int.c-safe_1.cil.cunsafe1.580.840.576s0.022s
ldv-regression/mutex_lock_struct.c-safe_1.cil.csafe1.700.910.665s0.032s
ldv-regression/nested_structure-safe.cil.cunsafe1.911.080.816s0.058s
ldv-regression/nested_structure.c-safe.cil.cunsafe1.630.840.580s0.024s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.821.010.752s0.022s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.650.870.619s0.020s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe2.021.070.820s0.108s
ldv-regression/nested_structure_ptr.c-safe.cil.cunsafe1.660.920.652s0.029s
ldv-regression/oomInt.c-safe.cil.csegmentation fault1.670.91--
ldv-regression/oomInt.c-safe_1.cil.csafe1.780.920.658s0.027s
ldv-regression/rule57_ebda_blast.c-safe_1.cil.csafe1.660.960.692s0.084s
ldv-regression/rule60_list.c-safe.cil.cunsafe1.690.940.640s0.027s
ldv-regression/rule60_list2.c-safe.cil.csafe1.921.070.779s0.131s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.620.910.647s0.026s
ldv-regression/structure_assignment.c-safe.cil.cunsafe1.560.870.632s0.020s
ldv-regression/test_address.c-safe.cil.cunsafe1.490.830.594s0.023s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.510.850.613s0.029s
ldv-regression/test_malloc-1-safe.cil.csafe1.620.860.613s0.039s
ldv-regression/test_malloc-2-safe.cil.csafe1.760.990.701s0.036s
ldv-regression/test_overflow.c-safe.cil.csafe1.660.890.632s0.028s
ldv-regression/test_union.c-safe.cil.csafe1.751.030.706s0.019s
ldv-regression/test_union.c-safe_1.cil.cunsafe1.660.980.708s0.026s
ldv-regression/test_union_cast-1-safe.cil.csafe1.550.880.624s0.019s
ldv-regression/test_union_cast-2-safe.cil.csafe1.741.010.712s0.031s
ldv-regression/test_union_cast.c-safe.cil.cunsafe1.770.970.694s0.039s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.760.950.630s0.021s
ldv-regression/volatile_alias.c-safe.cil.csafe1.741.020.710s0.026s
ldv-regression/volatile_alias.c-safe_1.cil.csafe1.860.990.715s0.028s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunsafe4.742.372.101s0.872s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunsafe4.632.422.150s0.856s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunsafe4.852.472.195s0.884s
ddv-machzwd/ddv_machzwd_inb.cil.csafe4.962.382.078s0.800s
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe4.672.382.095s0.892s
ddv-machzwd/ddv_machzwd_inl.cil.csafe5.122.602.199s0.828s
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe5.102.762.365s0.873s
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe4.342.111.829s0.729s
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe4.662.261.968s0.754s
ddv-machzwd/ddv_machzwd_outl.cil.csafe4.452.191.889s0.673s
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe4.502.251.954s0.710s
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe4.642.382.040s0.783s
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe4.352.161.866s0.697s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.csafe13.305.495.163s0.467s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.csegmentation fault5.542.64--
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown86.8964.9564.376s62.104s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.csegmentation fault13.615.22--
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.csegmentation fault9.943.96--
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.csegmentation fault14.327.48--
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.csegmentation fault9.844.74--
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe8.763.633.317s0.365s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.csafe14.545.655.357s0.520s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.csegmentation fault4.161.98--
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.csegmentation fault5.302.46--
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.csegmentation fault6.392.85--
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.csegmentation fault5.182.52--
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.csegmentation fault5.642.69--
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown90.0468.5564.648s62.276s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.cunknown95.2271.3668.130s63.187s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown79.7566.7262.744s61.505s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csegmentation fault6.793.11--
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown6.863.092.756s1.305s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.cunknown95.5169.2668.597s62.592s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown5.212.492.182s1.110s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.csegmentation fault16.158.46--
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.cunknown85.4967.4564.431s62.467s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.csafe3.831.911.601s0.501s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.cunknown90.3571.9263.107s61.345s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown78.2267.5967.032s60.669s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown85.0563.8063.183s60.424s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.csegmentation fault3.401.60--
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.cunknown86.7167.2063.034s61.537s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.cunknown86.8270.3163.675s61.921s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csegmentation fault26.4115.41--
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.csegmentation fault34.0616.25--
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.csafe4.842.091.823s0.792s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.csegmentation fault17.138.85--
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.csegmentation fault3.561.68--
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.csegmentation fault44.4423.45--
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.csegmentation fault20.6210.74--