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-16.1722
Test setintegration-predicateAnalysis
branch-r5628
Options-noout
-predicateAnalysis
-heap 2000m
-setprop cpa.conditions.global.time.wall=1min
test/programs/benchmarks/statuscputimewalltimetotalcpa time
total files2233514.472656.732245.4771865.127
correct results1611057.47694.18642.787371.401
false negatives00000
false positives1936.8821.0716.0352.661
score (223 files, max score: 361)212
pthread/fib_bench_BUG.cil.cunknown1.881.060.773s0.029s
pthread/fib_bench_longer_BUG.cil.cunknown1.911.050.722s0.029s
pthread/queue_BUG.cil.cunknown1.981.140.865s0.100s
pthread/reorder_5_BUG.cil.cunknown2.081.230.908s0.107s
pthread/twostage_3_BUG.cil.cunknown2.151.240.934s0.110s
pthread/fib_bench.cil.cunknown1.530.900.626s0.024s
pthread/fib_bench_longer.cil.cunknown1.741.020.734s0.036s
pthread/queue_ok.cil.cunknown1.751.020.707s0.100s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe6.394.043.722s2.311s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe3.902.241.915s0.890s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe4.462.602.263s1.060s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe3.441.791.497s0.539s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe5.533.202.884s1.815s
ntdrivers-simplified/diskperf_simpl1.cil.csafe4.292.542.269s1.530s
ntdrivers-simplified/floppy_simpl3.cil.csafe3.612.031.687s0.853s
ntdrivers-simplified/floppy_simpl4.cil.csafe4.122.261.995s1.091s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe2.541.311.036s0.364s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe3.301.701.342s0.573s
ntdrivers/cdaudio.BUG.i.cil.cunsafe10.265.625.250s2.910s
ntdrivers/diskperf.BUG.i.cil.cunsafe5.963.573.266s1.737s
ntdrivers/floppy.BUG.i.cil.cunsafe11.066.666.248s4.000s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe4.532.492.187s0.878s
ntdrivers/parport.BUG.i.cil.cunknown87.6571.4162.390s60.742s
ntdrivers/cdaudio.i.cil.csafe8.954.614.300s2.705s
ntdrivers/diskperf.i.cil.csafe5.693.352.989s1.872s
ntdrivers/floppy.i.cil.csafe26.3420.0419.621s14.776s
ntdrivers/parport.i.cil.cunknown101.2981.1669.842s68.255s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe3.872.101.804s0.784s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe4.042.301.994s0.940s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe3.982.051.773s0.804s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.372.432.133s0.947s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.651.391.140s0.296s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.803.222.916s1.597s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe10.427.206.863s5.276s
ssh-simplified/s3_srvr_14_BUG.cil.cunsafe3.091.591.330s0.506s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.501.771.503s0.646s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.521.761.500s0.614s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe2.151.090.845s0.055s
ssh-simplified/s3_clnt_1.cil.csafe8.485.385.072s3.105s
ssh-simplified/s3_clnt_2.cil.csafe8.325.144.776s3.200s
ssh-simplified/s3_clnt_3.cil.csafe9.076.055.746s3.057s
ssh-simplified/s3_clnt_4.cil.csafe8.966.055.732s3.444s
ssh-simplified/s3_srvr_1a.cil.csafe3.491.931.608s0.997s
ssh-simplified/s3_srvr_1b.cil.csafe1.710.970.739s0.148s
ssh-simplified/s3_srvr_1.cil.csafe35.0530.8530.329s22.339s
ssh-simplified/s3_srvr_3.cil.csafe24.8921.1020.620s13.860s
ssh-simplified/s3_srvr_4.cil.csafe14.7210.6410.192s8.421s
ssh-simplified/s3_srvr_6.cil.csafe16.7012.3011.871s9.833s
ssh-simplified/s3_srvr_7.cil.csafe22.5018.2317.732s15.987s
ssh-simplified/s3_srvr_8.cil.csafe12.298.428.009s5.350s
ssh/s3_clnt.blast.01.BUG.i.cil.cunsafe4.812.782.466s1.167s
ssh/s3_clnt.blast.02.BUG.i.cil.cunsafe4.582.442.155s1.013s
ssh/s3_clnt.blast.03.BUG.i.cil.cunsafe4.502.402.120s1.022s
ssh/s3_clnt.blast.04.BUG.i.cil.cunsafe4.012.251.903s0.818s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe4.222.151.865s0.853s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.792.011.693s0.691s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe4.042.211.915s0.851s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe4.052.151.865s0.841s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe4.502.522.220s1.044s
ssh/s3_srvr.blast.07.BUG.i.cil.cunsafe6.974.093.783s2.371s
ssh/s3_srvr.blast.08.BUG.i.cil.cunsafe7.204.273.934s2.284s
ssh/s3_srvr.blast.10.BUG.i.cil.cunsafe6.493.683.357s1.638s
ssh/s3_srvr.blast.11.BUG.i.cil.cunsafe5.653.012.711s1.556s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.412.832.535s1.253s
ssh/s3_srvr.blast.13.BUG.i.cil.cunsafe10.157.306.989s5.647s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.233.072.781s1.474s
ssh/s3_srvr.blast.15.BUG.i.cil.cunsafe6.993.983.596s1.678s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe4.542.512.227s0.982s
ssh/s3_clnt.blast.01.i.cil.csafe9.546.195.796s3.963s
ssh/s3_clnt.blast.03.i.cil.csafe8.235.274.951s3.504s
ssh/s3_clnt.blast.04.i.cil.csafe12.178.337.950s5.646s
ssh/s3_srvr.blast.01.i.cil.csafe13.018.468.007s5.039s
ssh/s3_srvr.blast.06.i.cil.csafe15.1210.7010.246s8.551s
ssh/s3_srvr.blast.07.i.cil.csafe14.319.759.278s7.828s
ssh/s3_srvr.blast.08.i.cil.cout of memory87.2083.27--
ssh/s3_srvr.blast.09.i.cil.csafe13.388.938.470s6.053s
ssh/s3_srvr.blast.10.i.cil.csafe51.2246.5246.017s14.880s
ssh/s3_srvr.blast.12.i.cil.csafe41.3036.3035.753s16.307s
ssh/s3_srvr.blast.13.i.cil.csafe22.1617.3816.836s14.267s
ssh/s3_srvr.blast.14.i.cil.csafe32.2127.3126.805s20.753s
ssh/s3_srvr.blast.15.i.cil.csafe13.288.798.309s5.914s
ssh/s3_srvr.blast.16.i.cil.csafe16.0511.3410.830s7.453s
locks/test_locks_14.BUG.cunsafe1.741.040.746s0.109s
locks/test_locks_15.BUG.cunsafe1.811.050.785s0.118s
locks/test_locks_10.csafe1.580.880.642s0.102s
locks/test_locks_11.csafe1.620.860.624s0.084s
locks/test_locks_12.csafe1.730.960.724s0.111s
locks/test_locks_13.csafe1.781.000.753s0.102s
locks/test_locks_14.csafe1.830.970.707s0.110s
locks/test_locks_15.csafe2.001.210.927s0.164s
locks/test_locks_5.csafe1.620.890.608s0.040s
locks/test_locks_6.csafe1.791.020.707s0.070s
locks/test_locks_7.csafe1.580.910.661s0.053s
locks/test_locks_8.csafe1.580.850.620s0.061s
locks/test_locks_9.csafe1.590.880.635s0.064s
heap-manipulation/bubble_sort_linux_BUG.cil.cunsafe2.301.190.936s0.176s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.891.050.789s0.091s
heap-manipulation/merge_sort_BUG.cil.cunsafe2.061.140.897s0.183s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown63.8661.2360.930s57.536s
heap-manipulation/bubble_sort_linux.cil.cunsafe2.381.331.079s0.202s
heap-manipulation/dll_of_dll.cil.cunknown1.891.030.766s0.079s
heap-manipulation/merge_sort.cil.csafe1.750.960.716s0.068s
heap-manipulation/sll_to_dll_rev.cil.cunknown63.2761.2060.919s55.011s
list-properties/alternating_list.cil.csafe1.800.940.693s0.138s
list-properties/list.cil.csafe1.861.020.766s0.178s
list-properties/list_flag.cil.csafe1.860.980.734s0.157s
list-properties/simple.cil.cunsafe1.831.020.769s0.159s
list-properties/simple_built_from_end.cil.cunsafe1.660.920.682s0.103s
list-properties/splice.cil.cunsafe3.372.302.039s0.957s
systemc/token_ring.01.BUG.cil.cunsafe2.941.531.270s0.544s
systemc/token_ring.02.BUG.cil.cunsafe4.492.362.047s1.245s
systemc/token_ring.03.BUG.cil.cunsafe8.243.973.593s2.618s
systemc/transmitter.01.BUG.cil.cunsafe2.351.321.034s0.292s
systemc/transmitter.02.BUG.cil.cunsafe3.141.771.482s0.615s
systemc/transmitter.03.BUG.cil.cunsafe4.912.442.077s1.222s
systemc/transmitter.04.BUG.cil.cunsafe8.864.444.075s2.931s
systemc/bist_cell.cil.csafe2.451.301.030s0.397s
systemc/kundu.cil.csafe16.6911.9711.452s9.883s
systemc/mem_slave_tlm.1.cil.cout of memory51.5246.17--
systemc/mem_slave_tlm.2.cil.cout of memory54.2249.20--
systemc/mem_slave_tlm.4.cil.cout of memory60.0454.61--
systemc/pc_sfifo_1.cil.csafe5.202.642.292s1.438s
systemc/pc_sfifo_2.cil.csafe6.183.262.919s1.886s
systemc/pc_sfifo_3.cil.csafe2.541.361.049s0.351s
systemc/token_ring.01.cil.csafe4.942.582.229s1.359s
systemc/token_ring.04.cil.csegmentation fault68.5657.71--
systemc/toy.cil.cunknown68.0362.5862.093s59.077s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.520.820.571s0.021s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.480.810.582s0.042s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.540.870.622s0.017s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.160.65--
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.610.910.669s0.022s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.680.920.658s0.020s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.640.850.596s0.031s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.510.920.654s0.029s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunsafe2.021.080.815s0.098s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.381.361.087s0.341s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.810.940.683s0.041s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.540.860.582s0.031s
ldv-regression/alias_of_return.c-safe.cil.csafe1.470.770.518s0.016s
ldv-regression/alias_of_return.c-safe_1.cil.csafe1.640.870.617s0.020s
ldv-regression/alias_of_return_2.c-safe.cil.csafe1.570.860.603s0.019s
ldv-regression/alias_of_return_2.c-safe_1.cil.csafe1.700.880.631s0.020s
ldv-regression/ex3_forlist.c-safe.cil.cunsafe2.601.481.145s0.358s
ldv-regression/just_assert.c-safe.cil.csafe1.650.830.588s0.009s
ldv-regression/mutex_lock_int.c-safe_1.cil.cunsafe1.480.790.547s0.016s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunsafe1.540.910.649s0.015s
ldv-regression/nested_structure-safe.cil.cunsafe1.550.860.628s0.043s
ldv-regression/nested_structure.c-safe.cil.cunsafe1.490.780.545s0.018s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.480.780.545s0.021s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.520.880.590s0.024s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe1.721.010.747s0.114s
ldv-regression/nested_structure_ptr.c-safe.cil.cunsafe1.430.800.554s0.022s
ldv-regression/oomInt.c-safe.cil.csafe1.540.870.613s0.019s
ldv-regression/oomInt.c-safe_1.cil.csafe1.560.840.597s0.021s
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.580.960.681s0.046s
ldv-regression/rule60_list.c-safe.cil.cunsafe1.650.990.663s0.025s
ldv-regression/rule60_list2.c-safe.cil.csafe1.781.030.753s0.098s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.510.900.593s0.022s
ldv-regression/structure_assignment.c-safe.cil.cunsafe1.741.060.817s0.021s
ldv-regression/test_address.c-safe.cil.cunsafe1.590.970.593s0.018s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.630.920.660s0.020s
ldv-regression/test_malloc-1-safe.cil.csafe1.711.000.740s0.037s
ldv-regression/test_malloc-2-safe.cil.csafe1.560.990.608s0.032s
ldv-regression/test_overflow.c-safe.cil.csafe1.680.900.629s0.028s
ldv-regression/test_union.c-safe.cil.csafe1.730.970.712s0.015s
ldv-regression/test_union.c-safe_1.cil.cunsafe1.600.950.704s0.014s
ldv-regression/test_union_cast-1-safe.cil.csafe1.700.960.712s0.017s
ldv-regression/test_union_cast-2-safe.cil.csafe1.510.840.550s0.025s
ldv-regression/test_union_cast.c-safe.cil.cunsafe1.580.830.587s0.020s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.530.850.611s0.017s
ldv-regression/volatile_alias.c-safe.cil.csafe1.550.910.637s0.023s
ldv-regression/volatile_alias.c-safe_1.cil.csafe1.660.930.681s0.017s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunsafe4.342.362.064s0.730s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunsafe4.262.312.002s0.626s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunsafe4.142.111.839s0.573s
ddv-machzwd/ddv_machzwd_inb.cil.csafe3.781.791.509s0.458s
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe3.781.821.566s0.543s
ddv-machzwd/ddv_machzwd_inl.cil.csafe3.751.821.551s0.471s
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe3.831.951.684s0.525s
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe3.911.771.506s0.497s
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe3.821.911.647s0.592s
ddv-machzwd/ddv_machzwd_outl.cil.csafe4.082.021.725s0.584s
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe4.041.961.685s0.501s
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe4.002.011.729s0.602s
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe3.961.951.666s0.540s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe13.225.485.174s0.479s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe16.519.078.703s5.693s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown82.5563.2262.672s60.532s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe13.425.144.855s0.687s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunknown79.6464.1863.738s39.311s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunsafe17.689.218.791s6.318s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown81.9863.0262.616s60.158s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe6.807.155.902s0.203s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunsafe11.845.975.703s0.365s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunsafe11.206.946.543s4.485s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown82.6863.1362.686s58.048s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunsafe5.712.612.333s0.543s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunsafe40.0330.4029.868s21.359s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunsafe4.972.432.154s0.959s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown87.3367.1063.710s62.071s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.cunknown86.2064.8064.322s60.819s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown84.8664.6661.531s60.440s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe8.214.784.482s2.952s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown5.082.512.174s0.873s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.cunknown90.3968.1267.549s61.376s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown4.161.961.702s0.767s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.cunknown84.1763.5463.082s61.133s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.cunknown86.1768.6662.269s60.569s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.csafe3.031.511.251s0.260s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.cunknown79.5863.3561.749s60.192s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown84.2865.0263.437s61.254s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown83.2164.3063.811s61.698s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.csafe6.893.973.657s2.323s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.cunknown79.8962.3261.651s60.591s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.cunknown84.0069.5661.631s60.266s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.cunknown81.4462.8262.312s61.170s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.cunknown90.8169.3063.846s61.245s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunsafe3.201.611.353s0.361s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown88.7162.4761.980s57.026s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe2.891.501.253s0.149s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.cunknown83.4265.5662.745s60.678s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.cunknown83.9761.9561.444s59.522s