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-20.1455
Test setintegration-predicateAnalysis
branch-r5669
Options-noout
-predicateAnalysis
-heap 2000m
-setprop cpa.conditions.global.time.wall=1min
test/programs/benchmarks/statuscputimewalltimetotalcpa time
total files2213400.422484.422129.6141782.346
correct results161963.30648.24601.415355.535
false negatives00000
false positives1932.5918.4313.9162.399
score (221 files, max score: 357)211
pthread/fib_bench_BUG.cil.cunknown1.410.760.540s0.022s
pthread/fib_bench_longer_BUG.cil.cunknown1.460.860.622s0.022s
pthread/queue_BUG.cil.cunknown1.871.030.777s0.101s
pthread/reorder_5_BUG.cil.cunknown1.780.950.705s0.103s
pthread/twostage_3_BUG.cil.cunknown1.760.950.699s0.118s
pthread/fib_bench.cil.cunknown1.450.780.554s0.023s
pthread/fib_bench_longer.cil.cunknown1.480.800.565s0.023s
pthread/queue_ok.cil.cunknown1.780.920.685s0.089s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe5.583.393.078s1.781s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe3.321.881.616s0.713s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe4.082.181.924s0.934s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe3.061.551.305s0.545s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe4.922.812.527s1.716s
ntdrivers-simplified/diskperf_simpl1.cil.csafe3.962.452.175s1.433s
ntdrivers-simplified/floppy_simpl3.cil.csafe3.301.761.498s0.786s
ntdrivers-simplified/floppy_simpl4.cil.csafe4.032.221.966s1.119s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe2.331.190.878s0.294s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe2.691.321.043s0.421s
ntdrivers/cdaudio.BUG.i.cil.cunsafe9.144.794.489s2.437s
ntdrivers/diskperf.BUG.i.cil.cunsafe5.703.303.019s1.692s
ntdrivers/floppy.BUG.i.cil.cunsafe15.9911.2710.916s7.725s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe3.932.101.808s0.755s
ntdrivers/parport.BUG.i.cil.cunknown86.5166.7966.207s64.887s
ntdrivers/cdaudio.i.cil.csafe8.296.946.558s4.487s
ntdrivers/diskperf.i.cil.csafe5.367.656.336s3.273s
ntdrivers/floppy.i.cil.csafe23.8420.6720.287s14.491s
ntdrivers/parport.i.cil.cunknown90.8468.9263.139s61.804s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe2.981.711.455s0.631s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe3.431.921.671s0.772s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe3.331.801.547s0.698s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe3.331.971.717s0.808s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.051.130.892s0.249s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe4.922.782.505s1.314s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe9.347.006.718s5.231s
ssh-simplified/s3_srvr_14_BUG.cil.cunsafe2.651.381.097s0.386s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.001.651.411s0.628s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe2.801.521.254s0.512s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe1.870.930.694s0.054s
ssh-simplified/s3_clnt_1.cil.csafe6.974.674.382s2.677s
ssh-simplified/s3_clnt_2.cil.csafe7.144.914.606s3.106s
ssh-simplified/s3_clnt_3.cil.csafe8.665.875.559s2.783s
ssh-simplified/s3_clnt_4.cil.csafe7.825.385.092s3.091s
ssh-simplified/s3_srvr_1a.cil.csafe2.961.731.451s0.902s
ssh-simplified/s3_srvr_1b.cil.csafe1.460.860.623s0.120s
ssh-simplified/s3_srvr_1.cil.csafe31.4928.2427.771s20.834s
ssh-simplified/s3_srvr_3.cil.csafe22.1218.6918.257s12.267s
ssh-simplified/s3_srvr_4.cil.csafe13.569.559.127s7.402s
ssh-simplified/s3_srvr_6.cil.csafe14.5210.9710.553s8.920s
ssh-simplified/s3_srvr_7.cil.csafe20.6516.9516.480s14.810s
ssh-simplified/s3_srvr_8.cil.csafe12.468.988.600s5.359s
ssh/s3_clnt.blast.01.BUG.i.cil.cunsafe4.102.312.048s0.982s
ssh/s3_clnt.blast.02.BUG.i.cil.cunsafe3.822.081.822s0.828s
ssh/s3_clnt.blast.03.BUG.i.cil.cunsafe3.762.151.882s0.846s
ssh/s3_clnt.blast.04.BUG.i.cil.cunsafe3.531.881.625s0.709s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.741.981.721s0.790s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.291.791.539s0.659s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.602.031.754s0.763s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.461.881.623s0.698s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe4.312.312.031s0.948s
ssh/s3_srvr.blast.07.BUG.i.cil.cunsafe6.894.073.771s2.426s
ssh/s3_srvr.blast.08.BUG.i.cil.cunsafe6.663.963.669s2.122s
ssh/s3_srvr.blast.10.BUG.i.cil.cunsafe6.423.653.328s1.642s
ssh/s3_srvr.blast.11.BUG.i.cil.cunsafe4.902.802.546s1.520s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe4.942.562.299s1.130s
ssh/s3_srvr.blast.13.BUG.i.cil.cunsafe9.877.156.878s5.673s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe4.372.582.290s1.207s
ssh/s3_srvr.blast.15.BUG.i.cil.cunsafe5.993.503.218s1.606s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe3.942.302.014s0.957s
ssh/s3_clnt.blast.01.i.cil.csafe8.195.715.408s3.761s
ssh/s3_clnt.blast.03.i.cil.csafe7.224.794.476s3.163s
ssh/s3_clnt.blast.04.i.cil.csafe9.606.946.579s4.733s
ssh/s3_srvr.blast.01.i.cil.csafe11.137.757.321s4.806s
ssh/s3_srvr.blast.06.i.cil.csafe14.2310.259.802s8.243s
ssh/s3_srvr.blast.07.i.cil.csafe13.039.158.708s7.388s
ssh/s3_srvr.blast.08.i.cil.cout of memory82.5379.06--
ssh/s3_srvr.blast.09.i.cil.csafe11.147.867.445s5.438s
ssh/s3_srvr.blast.10.i.cil.csafe47.8043.0642.548s14.078s
ssh/s3_srvr.blast.12.i.cil.csafe35.8131.4230.917s14.716s
ssh/s3_srvr.blast.13.i.cil.csafe20.3916.4315.988s13.691s
ssh/s3_srvr.blast.14.i.cil.csafe30.2125.7925.269s19.832s
ssh/s3_srvr.blast.15.i.cil.csafe12.408.117.590s5.301s
ssh/s3_srvr.blast.16.i.cil.csafe14.0710.289.830s6.927s
locks/test_locks_14.BUG.cunsafe1.490.870.637s0.092s
locks/test_locks_15.BUG.cunsafe1.490.880.641s0.100s
locks/test_locks_11.csafe1.350.800.573s0.078s
locks/test_locks_12.csafe1.400.810.585s0.085s
locks/test_locks_13.csafe1.420.810.591s0.090s
locks/test_locks_14.csafe1.390.830.611s0.099s
locks/test_locks_15.csafe1.400.840.614s0.109s
locks/test_locks_5.csafe1.330.750.515s0.039s
locks/test_locks_6.csafe1.280.750.529s0.046s
locks/test_locks_7.csafe1.310.770.538s0.052s
locks/test_locks_8.csafe1.450.850.626s0.067s
locks/test_locks_9.csafe1.380.790.565s0.065s
heap-manipulation/bubble_sort_linux_BUG.cil.cunsafe1.921.110.853s0.169s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.600.920.645s0.087s
heap-manipulation/merge_sort_BUG.cil.cunsafe1.761.000.759s0.163s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown63.4661.1360.850s57.100s
heap-manipulation/bubble_sort_linux.cil.cunsafe1.971.100.837s0.165s
heap-manipulation/dll_of_dll.cil.cunknown1.660.940.709s0.105s
heap-manipulation/merge_sort.cil.csafe1.530.890.655s0.077s
heap-manipulation/sll_to_dll_rev.cil.cunknown65.0863.1462.877s57.385s
list-properties/alternating_list.cil.csafe1.540.890.653s0.130s
list-properties/list.cil.csafe1.610.920.691s0.170s
list-properties/list_flag.cil.csafe1.901.040.807s0.175s
list-properties/simple.cil.cunsafe2.031.080.835s0.169s
list-properties/simple_built_from_end.cil.cunsafe1.620.860.631s0.101s
list-properties/splice.cil.cunsafe2.921.911.658s0.782s
systemc/token_ring.01.BUG.cil.cunsafe2.761.541.292s0.553s
systemc/token_ring.02.BUG.cil.cunsafe3.962.061.792s1.054s
systemc/token_ring.03.BUG.cil.cunsafe6.713.493.140s2.224s
systemc/transmitter.01.BUG.cil.cunsafe1.871.080.831s0.244s
systemc/transmitter.02.BUG.cil.cunsafe2.401.351.093s0.464s
systemc/transmitter.03.BUG.cil.cunsafe3.822.021.764s1.037s
systemc/transmitter.04.BUG.cil.cunsafe7.294.153.829s2.849s
systemc/bist_cell.cil.csafe2.061.170.912s0.346s
systemc/kundu.cil.csafe13.7410.289.801s8.444s
systemc/mem_slave_tlm.1.cil.cout of memory47.7844.18--
systemc/mem_slave_tlm.2.cil.csegmentation fault46.2842.68--
systemc/pc_sfifo_1.cil.csafe4.502.382.095s1.298s
systemc/pc_sfifo_2.cil.csafe4.442.372.108s1.345s
systemc/pc_sfifo_3.cil.csafe2.001.110.861s0.282s
systemc/token_ring.01.cil.csafe3.731.951.654s0.958s
systemc/token_ring.04.cil.cout of memory68.5756.37--
systemc/toy.cil.cunknown65.9660.87--
ldv-regression/1_3.c-unsafe.cil.cunsafe1.270.750.523s0.023s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.400.800.571s0.045s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.250.730.502s0.012s
ldv-regression/fo_test.c-unsafe.cil.cunsafe1.450.800.569s0.043s
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.350.790.562s0.016s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.330.730.508s0.015s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.340.780.550s0.034s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.340.780.549s0.029s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunsafe1.590.910.663s0.098s
ldv-regression/stateful_check-unsafe.cil.cunsafe1.781.040.797s0.221s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.330.780.551s0.037s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.310.770.539s0.030s
ldv-regression/alias_of_return.c-safe.cil.csafe1.270.740.512s0.017s
ldv-regression/alias_of_return.c-safe_1.cil.csafe1.260.730.504s0.015s
ldv-regression/alias_of_return_2.c-safe.cil.csafe1.360.750.519s0.020s
ldv-regression/alias_of_return_2.c-safe_1.cil.csafe1.260.730.505s0.015s
ldv-regression/ex3_forlist.c-safe.cil.cunsafe2.151.140.906s0.305s
ldv-regression/just_assert.c-safe.cil.csafe1.250.710.488s0.009s
ldv-regression/mutex_lock_int.c-safe_1.cil.cunsafe1.270.740.512s0.015s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunsafe1.310.740.513s0.015s
ldv-regression/nested_structure-safe.cil.cunsafe1.420.800.576s0.056s
ldv-regression/nested_structure.c-safe.cil.cunsafe1.280.750.523s0.018s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.270.730.507s0.016s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.330.740.512s0.016s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe1.530.890.664s0.102s
ldv-regression/nested_structure_ptr.c-safe.cil.cunsafe1.280.760.524s0.021s
ldv-regression/oomInt.c-safe.cil.csafe1.290.740.511s0.019s
ldv-regression/oomInt.c-safe_1.cil.csafe1.330.740.508s0.016s
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.430.850.595s0.046s
ldv-regression/rule60_list.c-safe.cil.cunsafe1.280.760.528s0.021s
ldv-regression/rule60_list2.c-safe.cil.csafe1.420.820.591s0.089s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.330.730.507s0.016s
ldv-regression/structure_assignment.c-safe.cil.cunsafe1.300.740.508s0.015s
ldv-regression/test_address.c-safe.cil.cunsafe1.260.740.516s0.017s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.240.720.495s0.015s
ldv-regression/test_malloc-1-safe.cil.csafe1.320.750.523s0.032s
ldv-regression/test_malloc-2-safe.cil.csafe1.260.740.513s0.028s
ldv-regression/test_overflow.c-safe.cil.csafe1.290.730.509s0.021s
ldv-regression/test_union.c-safe.cil.csafe1.290.720.501s0.014s
ldv-regression/test_union.c-safe_1.cil.cunsafe1.250.730.505s0.013s
ldv-regression/test_union_cast-1-safe.cil.csafe1.300.730.507s0.015s
ldv-regression/test_union_cast-2-safe.cil.csafe1.330.760.525s0.025s
ldv-regression/test_union_cast.c-safe.cil.cunsafe1.260.740.517s0.020s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.250.730.506s0.019s
ldv-regression/volatile_alias.c-safe.cil.csafe1.230.720.493s0.017s
ldv-regression/volatile_alias.c-safe_1.cil.csafe1.270.740.515s0.016s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunsafe3.381.821.574s0.520s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunsafe3.201.721.481s0.453s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunsafe3.361.791.550s0.505s
ddv-machzwd/ddv_machzwd_inb.cil.csafe3.251.721.468s0.460s
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe3.511.761.511s0.535s
ddv-machzwd/ddv_machzwd_inl.cil.csafe3.521.681.426s0.470s
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe3.581.781.477s0.442s
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe3.541.781.521s0.462s
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe3.411.751.504s0.474s
ddv-machzwd/ddv_machzwd_outl.cil.csafe3.821.891.631s0.505s
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe3.361.691.431s0.487s
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe3.561.831.573s0.529s
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe3.481.841.578s0.459s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe12.225.054.779s0.479s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe16.599.509.114s6.529s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown92.4164.2363.775s62.028s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe13.685.004.729s0.938s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunknown79.1263.9963.546s40.026s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunsafe17.159.148.767s6.700s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown88.2562.2161.778s59.381s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe7.402.962.687s0.201s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunsafe17.476.546.257s0.495s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunsafe12.328.107.709s5.409s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown87.4362.5362.013s54.082s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunsafe5.202.482.197s0.469s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunsafe42.7531.9731.391s22.118s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunsafe5.302.602.309s0.955s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown94.5262.8862.367s60.120s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.cunknown89.3563.8563.342s60.014s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown87.0961.5960.952s59.996s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe6.884.173.862s2.612s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown4.062.111.812s0.739s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.cunknown93.1965.3664.861s60.404s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.701.891.605s0.722s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.cunknown87.7962.3161.845s60.258s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.cunknown89.4563.5062.999s61.479s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.csafe2.521.361.096s0.252s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.cunknown84.6462.1761.621s60.244s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown89.7464.3163.809s61.749s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown85.8963.7063.194s61.046s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.csafe6.894.033.719s2.381s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.cunknown81.7362.6861.999s60.921s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.cunknown84.2763.2362.640s61.249s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.cunknown88.6462.2461.721s60.580s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.cunknown89.6964.6464.123s61.515s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunsafe3.231.621.349s0.354s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown97.2161.8461.349s56.450s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe2.801.481.219s0.164s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.cunknown83.0862.3461.798s59.739s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.cunknown90.0262.1061.560s59.801s