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.1125
Test setintegration-predicateAnalysis
branch-r5647
Options-noout
-predicateAnalysis
-heap 2000m
-setprop cpa.conditions.global.time.wall=1min
test/programs/benchmarks/statuscputimewalltimetotalcpa time
total files2213292.512511.042097.4581753.198
correct results160905.90604.89557.667325.755
false negatives00000
false positives1931.9318.4413.5902.339
score (221 files, max score: 357)210
pthread/fib_bench_BUG.cil.cunknown1.520.850.612s0.023s
pthread/fib_bench_longer_BUG.cil.cunknown1.521.661.416s0.024s
pthread/queue_BUG.cil.cunknown1.462.021.439s0.072s
pthread/reorder_5_BUG.cil.cunknown1.694.162.873s1.280s
pthread/twostage_3_BUG.cil.cunknown1.701.711.441s0.117s
pthread/fib_bench.cil.cunknown1.513.222.149s0.024s
pthread/fib_bench_longer.cil.cunknown1.443.021.485s0.024s
pthread/queue_ok.cil.cunknown1.603.941.621s1.142s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe5.313.202.931s1.729s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe3.062.271.398s0.601s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe3.321.921.674s0.762s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe2.481.341.110s0.420s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe4.162.422.154s1.400s
ntdrivers-simplified/diskperf_simpl1.cil.csafe3.482.141.899s1.272s
ntdrivers-simplified/floppy_simpl3.cil.csafe2.901.611.345s0.674s
ntdrivers-simplified/floppy_simpl4.cil.csafe3.171.761.512s0.818s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe2.001.050.804s0.273s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe2.361.240.981s0.406s
ntdrivers/cdaudio.BUG.i.cil.cunsafe7.924.544.253s2.226s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.832.912.637s1.427s
ntdrivers/floppy.BUG.i.cil.cunsafe8.574.894.557s2.889s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe3.421.881.629s0.664s
ntdrivers/parport.BUG.i.cil.cunknown86.0169.6663.835s62.649s
ntdrivers/cdaudio.i.cil.csafe7.444.073.754s2.260s
ntdrivers/diskperf.i.cil.csafe4.812.672.399s1.484s
ntdrivers/floppy.i.cil.csafe9.045.735.426s3.632s
ntdrivers/parport.i.cil.cunknown86.8970.7864.815s63.556s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe3.141.781.520s0.703s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe3.592.071.810s0.796s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe3.281.831.559s0.708s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe3.492.041.786s0.837s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.161.160.931s0.234s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.002.832.556s1.356s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe9.747.026.741s5.271s
ssh-simplified/s3_srvr_14_BUG.cil.cunsafe2.761.461.210s0.432s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.121.691.417s0.620s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.191.591.340s0.545s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe1.660.890.662s0.045s
ssh-simplified/s3_clnt_1.cil.csafe7.174.664.359s2.640s
ssh-simplified/s3_clnt_2.cil.csafe7.094.784.483s3.007s
ssh-simplified/s3_clnt_3.cil.csafe8.275.615.320s2.769s
ssh-simplified/s3_clnt_4.cil.csafe7.545.184.897s2.890s
ssh-simplified/s3_srvr_1a.cil.csafe2.991.721.445s0.897s
ssh-simplified/s3_srvr_1b.cil.csafe1.420.850.620s0.123s
ssh-simplified/s3_srvr_1.cil.csafe31.7628.2627.824s20.513s
ssh-simplified/s3_srvr_3.cil.csafe22.4718.8018.391s12.280s
ssh-simplified/s3_srvr_4.cil.csafe12.258.998.590s7.021s
ssh-simplified/s3_srvr_6.cil.csafe14.6010.9210.486s8.802s
ssh-simplified/s3_srvr_7.cil.csafe20.8717.0916.664s15.048s
ssh-simplified/s3_srvr_8.cil.csafe11.477.927.479s5.023s
ssh/s3_clnt.blast.01.BUG.i.cil.cunsafe3.972.352.068s0.951s
ssh/s3_clnt.blast.02.BUG.i.cil.cunsafe3.722.081.807s0.829s
ssh/s3_clnt.blast.03.BUG.i.cil.cunsafe3.692.051.781s0.809s
ssh/s3_clnt.blast.04.BUG.i.cil.cunsafe3.371.881.612s0.689s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.561.961.709s0.799s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.361.821.542s0.660s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.341.861.581s0.701s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.321.831.556s0.661s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe4.252.231.954s0.871s
ssh/s3_srvr.blast.07.BUG.i.cil.cunsafe5.943.693.425s2.228s
ssh/s3_srvr.blast.08.BUG.i.cil.cunsafe6.403.963.669s2.160s
ssh/s3_srvr.blast.10.BUG.i.cil.cunsafe5.843.463.171s1.584s
ssh/s3_srvr.blast.11.BUG.i.cil.cunsafe4.852.842.570s1.550s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe4.602.442.144s1.000s
ssh/s3_srvr.blast.13.BUG.i.cil.cunsafe9.066.826.537s5.349s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe4.142.532.254s1.178s
ssh/s3_srvr.blast.15.BUG.i.cil.cunsafe5.873.463.178s1.567s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe4.102.292.006s0.943s
ssh/s3_clnt.blast.01.i.cil.csafe9.126.085.775s3.929s
ssh/s3_clnt.blast.03.i.cil.csafe7.645.104.768s3.367s
ssh/s3_clnt.blast.04.i.cil.csafe9.916.996.660s4.788s
ssh/s3_srvr.blast.01.i.cil.csafe10.827.647.238s4.607s
ssh/s3_srvr.blast.06.i.cil.csafe13.5410.019.568s7.955s
ssh/s3_srvr.blast.07.i.cil.csafe12.478.888.468s7.135s
ssh/s3_srvr.blast.08.i.cil.cout of memory91.1387.59--
ssh/s3_srvr.blast.09.i.cil.csafe11.968.147.707s5.573s
ssh/s3_srvr.blast.10.i.cil.csafe48.0443.7743.222s13.496s
ssh/s3_srvr.blast.12.i.cil.csafe38.0533.4632.951s14.972s
ssh/s3_srvr.blast.13.i.cil.csafe21.5616.9516.414s14.088s
ssh/s3_srvr.blast.14.i.cil.csafe31.5627.0726.516s20.579s
ssh/s3_srvr.blast.15.i.cil.csafe11.888.047.644s5.349s
ssh/s3_srvr.blast.16.i.cil.csafe15.1110.7410.288s7.139s
locks/test_locks_14.BUG.cunsafe1.660.930.662s0.094s
locks/test_locks_15.BUG.cunsafe1.780.970.723s0.104s
locks/test_locks_11.csafe1.580.910.640s0.078s
locks/test_locks_12.csafe1.920.990.736s0.096s
locks/test_locks_13.csafe1.630.920.646s0.094s
locks/test_locks_14.csafe1.440.850.612s0.103s
locks/test_locks_15.csafe1.620.900.668s0.106s
locks/test_locks_5.csafe1.350.800.526s0.039s
locks/test_locks_6.csafe1.450.810.582s0.050s
locks/test_locks_7.csafe1.580.870.583s0.056s
locks/test_locks_8.csafe1.580.930.688s0.094s
locks/test_locks_9.csafe1.620.940.669s0.067s
heap-manipulation/bubble_sort_linux_BUG.cil.cunsafe2.241.190.941s0.159s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.711.010.720s0.076s
heap-manipulation/merge_sort_BUG.cil.cunsafe2.041.200.957s0.158s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown63.9061.6561.325s58.442s
heap-manipulation/bubble_sort_linux.cil.cunsafe2.181.331.046s0.220s
heap-manipulation/dll_of_dll.cil.cunknown1.861.060.712s0.083s
heap-manipulation/merge_sort.cil.csafe1.580.900.670s0.071s
heap-manipulation/sll_to_dll_rev.cil.cunknown63.6361.7261.434s55.288s
list-properties/alternating_list.cil.csafe1.740.940.711s0.136s
list-properties/list.cil.csafe1.911.130.865s0.209s
list-properties/list_flag.cil.csafe1.710.940.712s0.145s
list-properties/simple.cil.cunsafe1.971.060.807s0.153s
list-properties/simple_built_from_end.cil.cunsafe1.681.050.751s0.105s
list-properties/splice.cil.cunsafe2.981.851.593s0.767s
systemc/token_ring.01.BUG.cil.cunsafe2.791.561.290s0.537s
systemc/token_ring.02.BUG.cil.cunsafe4.832.492.207s1.392s
systemc/token_ring.03.BUG.cil.cunsafe7.724.173.792s2.688s
systemc/transmitter.01.BUG.cil.cunsafe2.101.190.929s0.289s
systemc/transmitter.02.BUG.cil.cunsafe2.971.611.336s0.521s
systemc/transmitter.03.BUG.cil.cunsafe4.542.201.907s1.092s
systemc/transmitter.04.BUG.cil.cunsafe8.824.654.290s3.161s
systemc/bist_cell.cil.csafe2.251.260.987s0.394s
systemc/kundu.cil.csafe15.0511.5811.055s9.603s
systemc/mem_slave_tlm.1.cil.cout of memory45.0841.58--
systemc/mem_slave_tlm.2.cil.csegmentation fault53.7950.22--
systemc/pc_sfifo_1.cil.csafe4.302.091.759s1.140s
systemc/pc_sfifo_2.cil.csafe4.402.312.015s1.300s
systemc/pc_sfifo_3.cil.csafe1.851.060.777s0.265s
systemc/token_ring.01.cil.csafe3.631.931.614s0.960s
systemc/token_ring.04.cil.cout of memory71.4756.94--
systemc/toy.cil.cout of memory61.9257.51--
ldv-regression/1_3.c-unsafe.cil.cunsafe1.240.730.488s0.020s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.280.770.524s0.038s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.230.720.470s0.012s
ldv-regression/fo_test.c-unsafe.cil.cunknown0.970.58--
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.240.720.479s0.014s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.230.720.479s0.013s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.260.750.504s0.031s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.300.760.510s0.026s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunsafe1.440.850.603s0.081s
ldv-regression/stateful_check-unsafe.cil.cunsafe1.640.990.729s0.195s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.260.760.502s0.033s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.260.750.496s0.028s
ldv-regression/alias_of_return.c-safe.cil.csafe1.230.710.467s0.015s
ldv-regression/alias_of_return.c-safe_1.cil.csafe1.220.720.467s0.014s
ldv-regression/alias_of_return_2.c-safe.cil.csafe1.240.720.471s0.017s
ldv-regression/alias_of_return_2.c-safe_1.cil.csafe1.220.710.468s0.014s
ldv-regression/ex3_forlist.c-safe.cil.cunsafe1.881.080.828s0.277s
ldv-regression/just_assert.c-safe.cil.csafe1.220.700.457s0.008s
ldv-regression/mutex_lock_int.c-safe_1.cil.cunsafe1.260.730.487s0.014s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunsafe1.240.730.480s0.014s
ldv-regression/nested_structure-safe.cil.cunsafe1.280.770.516s0.038s
ldv-regression/nested_structure.c-safe.cil.cunsafe1.270.750.487s0.017s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.240.710.469s0.014s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.240.720.470s0.014s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe1.420.850.603s0.084s
ldv-regression/nested_structure_ptr.c-safe.cil.cunsafe1.240.740.491s0.020s
ldv-regression/oomInt.c-safe.cil.csafe1.220.720.471s0.017s
ldv-regression/oomInt.c-safe_1.cil.csafe1.250.720.469s0.014s
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.300.790.540s0.039s
ldv-regression/rule60_list.c-safe.cil.cunsafe1.240.740.489s0.019s
ldv-regression/rule60_list2.c-safe.cil.csafe1.320.790.543s0.074s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.210.710.467s0.015s
ldv-regression/structure_assignment.c-safe.cil.cunsafe1.240.720.475s0.014s
ldv-regression/test_address.c-safe.cil.cunsafe1.240.730.482s0.016s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.220.710.465s0.014s
ldv-regression/test_malloc-1-safe.cil.csafe1.260.740.492s0.027s
ldv-regression/test_malloc-2-safe.cil.csafe1.260.730.487s0.024s
ldv-regression/test_overflow.c-safe.cil.csafe1.240.720.475s0.019s
ldv-regression/test_union.c-safe.cil.csafe1.230.710.469s0.012s
ldv-regression/test_union.c-safe_1.cil.cunsafe1.240.720.472s0.013s
ldv-regression/test_union_cast-1-safe.cil.csafe1.260.740.482s0.014s
ldv-regression/test_union_cast-2-safe.cil.csafe1.340.800.546s0.022s
ldv-regression/test_union_cast.c-safe.cil.cunsafe1.240.720.486s0.018s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.230.710.471s0.013s
ldv-regression/volatile_alias.c-safe.cil.csafe1.240.710.471s0.016s
ldv-regression/volatile_alias.c-safe_1.cil.csafe1.230.710.467s0.015s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunsafe3.181.751.483s0.479s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunsafe3.091.721.441s0.440s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunsafe3.231.731.465s0.464s
ddv-machzwd/ddv_machzwd_inb.cil.csafe3.001.571.296s0.408s
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe3.191.641.373s0.433s
ddv-machzwd/ddv_machzwd_inl.cil.csafe3.081.571.297s0.411s
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe3.041.561.292s0.407s
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe3.051.581.322s0.407s
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe3.041.551.295s0.412s
ddv-machzwd/ddv_machzwd_outl.cil.csafe3.031.551.281s0.404s
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe3.031.561.284s0.405s
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe3.011.561.286s0.403s
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe3.031.561.286s0.401s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe10.704.364.078s0.413s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe13.007.176.806s4.483s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown92.9465.8962.576s61.096s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe10.343.923.641s0.509s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunknown74.7262.7162.251s39.458s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunsafe13.616.876.487s4.659s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown81.3363.1562.734s58.305s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe5.812.462.201s0.185s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunsafe10.284.013.712s0.347s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunsafe10.556.736.339s4.392s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown81.9262.6162.165s52.617s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunsafe4.632.281.988s0.428s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunsafe37.7128.4827.932s19.951s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunsafe4.482.201.896s0.774s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown86.0164.2863.787s62.225s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.cunknown93.7972.7064.765s61.429s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown79.9063.7063.039s62.101s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe6.824.013.710s2.472s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown3.962.001.728s0.679s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.cunknown93.1167.6464.878s60.447s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.571.761.473s0.612s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.cunknown83.9163.2362.756s61.141s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.cunknown82.0265.2562.437s60.916s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.csafe2.491.351.083s0.247s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.cunknown84.1466.2163.425s61.939s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown89.5368.8463.853s61.854s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown81.5462.8962.380s60.277s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.csafe6.964.003.680s2.334s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.cunknown78.2862.3961.702s60.630s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.cunknown85.5070.1062.123s60.740s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.cunknown82.9861.9661.438s60.276s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.cunknown93.1067.8062.877s60.255s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunsafe3.221.621.349s0.361s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown94.2563.2762.778s54.155s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe2.811.461.208s0.150s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.cunknown83.6066.6163.809s61.774s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.cunknown83.7861.8461.350s59.378s