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.1416
Test setintegration-predicateAnalysis
branch-r5656
Options-noout
-predicateAnalysis
-heap 2000m
-setprop cpa.conditions.global.time.wall=1min
test/programs/benchmarks/statuscputimewalltimetotalcpa time
total files2213530.562597.072318.4251928.308
correct results1601036.53705.83649.699381.459
false negatives00000
false positives1937.8129.6420.8562.756
score (221 files, max score: 357)210
pthread/fib_bench_BUG.cil.cunknown1.621.030.746s0.028s
pthread/fib_bench_longer_BUG.cil.cunknown1.760.990.687s0.027s
pthread/queue_BUG.cil.cunknown1.911.000.738s0.086s
pthread/reorder_5_BUG.cil.cunknown1.961.070.838s0.134s
pthread/twostage_3_BUG.cil.cunknown1.910.990.723s0.119s
pthread/fib_bench.cil.cunknown1.791.020.733s0.027s
pthread/fib_bench_longer.cil.cunknown1.800.990.751s0.030s
pthread/queue_ok.cil.cunknown1.720.920.691s0.086s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe5.833.653.343s2.067s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe3.842.181.880s0.849s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe4.402.752.447s1.227s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe3.141.701.392s0.510s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe5.773.403.068s1.929s
ntdrivers-simplified/diskperf_simpl1.cil.csafe4.342.602.332s1.545s
ntdrivers-simplified/floppy_simpl3.cil.csafe3.461.871.607s0.834s
ntdrivers-simplified/floppy_simpl4.cil.csafe3.992.101.808s0.994s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe2.531.280.990s0.300s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe3.121.551.255s0.512s
ntdrivers/cdaudio.BUG.i.cil.cunsafe10.125.445.078s2.765s
ntdrivers/diskperf.BUG.i.cil.cunsafe5.873.553.262s1.767s
ntdrivers/floppy.BUG.i.cil.cunsafe11.006.526.157s4.065s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe4.422.372.085s0.860s
ntdrivers/parport.BUG.i.cil.cunknown90.9771.5663.104s61.517s
ntdrivers/cdaudio.i.cil.csafe8.804.534.207s2.628s
ntdrivers/diskperf.i.cil.csafe5.393.112.823s1.829s
ntdrivers/floppy.i.cil.csafe24.6718.3017.930s13.756s
ntdrivers/parport.i.cil.cunknown84.5162.1161.574s60.269s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe3.381.851.580s0.670s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe3.942.151.884s0.900s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe3.942.211.922s0.851s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.392.472.159s1.025s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.581.321.071s0.282s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe6.153.322.983s1.480s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe10.627.567.245s5.428s
ssh-simplified/s3_srvr_14_BUG.cil.cunsafe3.061.531.239s0.465s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe4.062.171.852s0.811s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.361.811.477s0.543s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe2.021.000.760s0.057s
ssh-simplified/s3_clnt_1.cil.csafe7.554.934.624s2.747s
ssh-simplified/s3_clnt_2.cil.csafe8.445.355.016s3.366s
ssh-simplified/s3_clnt_3.cil.csafe9.426.165.857s2.984s
ssh-simplified/s3_clnt_4.cil.csafe9.185.865.529s3.337s
ssh-simplified/s3_srvr_1a.cil.csafe3.311.891.560s0.951s
ssh-simplified/s3_srvr_1b.cil.csafe1.730.930.684s0.132s
ssh-simplified/s3_srvr_1.cil.csafe35.2530.9230.458s22.531s
ssh-simplified/s3_srvr_3.cil.csafe25.3321.2020.719s13.632s
ssh-simplified/s3_srvr_4.cil.csafe14.109.849.375s7.661s
ssh-simplified/s3_srvr_6.cil.csafe16.7112.1111.695s9.763s
ssh-simplified/s3_srvr_7.cil.csafe22.3317.9217.462s15.577s
ssh-simplified/s3_srvr_8.cil.csafe12.278.518.093s5.476s
ssh/s3_clnt.blast.01.BUG.i.cil.cunsafe4.522.462.187s1.051s
ssh/s3_clnt.blast.02.BUG.i.cil.cunsafe4.342.342.073s0.988s
ssh/s3_clnt.blast.03.BUG.i.cil.cunsafe4.402.502.215s0.979s
ssh/s3_clnt.blast.04.BUG.i.cil.cunsafe3.982.081.783s0.734s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe4.112.091.818s0.819s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe4.102.181.900s0.824s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe4.112.191.892s0.765s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe4.262.281.951s0.831s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe5.152.722.381s1.068s
ssh/s3_srvr.blast.07.BUG.i.cil.cunsafe7.414.454.135s2.603s
ssh/s3_srvr.blast.08.BUG.i.cil.cunsafe8.235.034.691s2.663s
ssh/s3_srvr.blast.10.BUG.i.cil.cunsafe7.704.444.082s2.073s
ssh/s3_srvr.blast.11.BUG.i.cil.cunsafe5.923.333.034s1.742s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.402.832.540s1.252s
ssh/s3_srvr.blast.13.BUG.i.cil.cunsafe10.157.367.078s5.674s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.383.082.758s1.392s
ssh/s3_srvr.blast.15.BUG.i.cil.cunsafe7.424.223.886s1.950s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe5.122.872.527s1.272s
ssh/s3_clnt.blast.01.i.cil.csafe10.536.986.598s4.426s
ssh/s3_clnt.blast.03.i.cil.csafe8.915.815.443s3.841s
ssh/s3_clnt.blast.04.i.cil.csafe11.688.097.677s5.365s
ssh/s3_srvr.blast.01.i.cil.csafe13.588.798.346s5.370s
ssh/s3_srvr.blast.06.i.cil.csafe16.5112.0011.544s9.637s
ssh/s3_srvr.blast.07.i.cil.csafe14.2410.139.639s8.051s
ssh/s3_srvr.blast.08.i.cil.cout of memory88.9884.70--
ssh/s3_srvr.blast.09.i.cil.csafe13.028.738.272s6.034s
ssh/s3_srvr.blast.10.i.cil.csafe52.4347.6847.062s16.511s
ssh/s3_srvr.blast.12.i.cil.csafe40.8235.6235.069s16.500s
ssh/s3_srvr.blast.13.i.cil.csafe21.7917.1816.704s14.364s
ssh/s3_srvr.blast.14.i.cil.csafe33.8128.7728.264s22.097s
ssh/s3_srvr.blast.15.i.cil.csafe13.398.938.420s5.809s
ssh/s3_srvr.blast.16.i.cil.csafe16.2311.5811.078s7.773s
locks/test_locks_14.BUG.cunsafe1.720.940.688s0.101s
locks/test_locks_15.BUG.cunsafe1.670.990.735s0.109s
locks/test_locks_11.csafe1.680.900.624s0.084s
locks/test_locks_12.csafe1.670.920.640s0.101s
locks/test_locks_13.csafe1.800.910.664s0.098s
locks/test_locks_14.csafe1.670.890.654s0.105s
locks/test_locks_15.csafe1.720.940.697s0.113s
locks/test_locks_5.csafe1.460.820.572s0.049s
locks/test_locks_6.csafe1.540.830.589s0.048s
locks/test_locks_7.csafe1.590.850.610s0.057s
locks/test_locks_8.csafe1.540.830.594s0.063s
locks/test_locks_9.csafe1.620.850.606s0.070s
heap-manipulation/bubble_sort_linux_BUG.cil.cunsafe2.361.301.014s0.195s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.761.000.720s0.107s
heap-manipulation/merge_sort_BUG.cil.cunsafe2.061.170.884s0.207s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown69.8166.9566.655s61.122s
heap-manipulation/bubble_sort_linux.cil.cunsafe2.681.431.144s0.208s
heap-manipulation/dll_of_dll.cil.cunknown2.091.140.839s0.138s
heap-manipulation/merge_sort.cil.csafe1.991.100.825s0.100s
heap-manipulation/sll_to_dll_rev.cil.cunknown67.7465.8165.496s58.680s
list-properties/alternating_list.cil.csafe1.931.120.890s0.185s
list-properties/list.cil.csafe1.861.010.752s0.178s
list-properties/list_flag.cil.csafe2.301.240.997s0.243s
list-properties/simple.cil.cunsafe2.291.301.011s0.213s
list-properties/simple_built_from_end.cil.cunsafe1.961.120.792s0.109s
list-properties/splice.cil.cunsafe3.502.201.894s0.905s
systemc/token_ring.01.BUG.cil.cunsafe3.822.291.902s0.783s
systemc/token_ring.02.BUG.cil.cunsafe6.183.352.863s1.650s
systemc/token_ring.03.BUG.cil.cunsafe7.834.033.618s2.532s
systemc/transmitter.01.BUG.cil.cunsafe2.361.301.061s0.291s
systemc/transmitter.02.BUG.cil.cunsafe3.121.641.344s0.560s
systemc/transmitter.03.BUG.cil.cunsafe4.732.382.079s1.216s
systemc/transmitter.04.BUG.cil.cunsafe9.634.954.595s3.386s
systemc/bist_cell.cil.csafe2.731.521.232s0.471s
systemc/kundu.cil.csafe16.0012.0411.502s9.854s
systemc/mem_slave_tlm.1.cil.cout of memory54.6850.37--
systemc/mem_slave_tlm.2.cil.cout of memory57.9153.65--
systemc/pc_sfifo_1.cil.csafe5.232.762.356s1.475s
systemc/pc_sfifo_2.cil.csafe5.983.312.967s1.917s
systemc/pc_sfifo_3.cil.csafe2.591.351.069s0.334s
systemc/token_ring.01.cil.csafe4.962.542.215s1.285s
systemc/token_ring.04.cil.cunknown74.0861.2160.662s53.167s
systemc/toy.cil.cunknown67.7161.7261.154s58.090s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.701.000.721s0.032s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.961.080.794s0.090s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.520.800.557s0.012s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.330.73--
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.590.910.654s0.020s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.620.940.699s0.015s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.630.930.697s0.035s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.620.910.655s0.030s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunsafe2.201.200.904s0.131s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.501.351.027s0.289s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.731.010.683s0.046s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.711.000.677s0.038s
ldv-regression/alias_of_return.c-safe.cil.csafe1.641.010.763s0.036s
ldv-regression/alias_of_return.c-safe_1.cil.csafe1.600.910.590s0.016s
ldv-regression/alias_of_return_2.c-safe.cil.csafe1.690.990.655s0.027s
ldv-regression/alias_of_return_2.c-safe_1.cil.csafe1.761.000.670s0.020s
ldv-regression/ex3_forlist.c-safe.cil.cunsafe2.781.601.279s0.419s
ldv-regression/just_assert.c-safe.cil.csafe1.600.880.597s0.010s
ldv-regression/mutex_lock_int.c-safe_1.cil.cunsafe1.750.970.725s0.023s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunsafe1.641.851.588s0.022s
ldv-regression/nested_structure-safe.cil.cunsafe1.451.871.614s0.049s
ldv-regression/nested_structure.c-safe.cil.cunsafe1.632.781.570s0.018s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.512.721.591s0.026s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.442.881.474s0.015s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe1.794.051.716s0.122s
ldv-regression/nested_structure_ptr.c-safe.cil.cunsafe1.401.651.380s0.020s
ldv-regression/oomInt.c-safe.cil.csafe1.391.730.538s0.028s
ldv-regression/oomInt.c-safe_1.cil.csafe1.220.700.484s0.016s
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.571.670.663s0.050s
ldv-regression/rule60_list.c-safe.cil.cunsafe1.630.850.623s0.021s
ldv-regression/rule60_list2.c-safe.cil.csafe1.761.641.374s0.106s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.390.790.542s0.015s
ldv-regression/structure_assignment.c-safe.cil.cunsafe1.440.800.577s0.015s
ldv-regression/test_address.c-safe.cil.cunsafe1.380.750.517s0.017s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.240.730.506s0.024s
ldv-regression/test_malloc-1-safe.cil.csafe1.360.740.522s0.032s
ldv-regression/test_malloc-2-safe.cil.csafe1.340.760.532s0.028s
ldv-regression/test_overflow.c-safe.cil.csafe1.470.770.535s0.021s
ldv-regression/test_union.c-safe.cil.csafe1.380.770.526s0.013s
ldv-regression/test_union.c-safe_1.cil.cunsafe1.400.820.582s0.013s
ldv-regression/test_union_cast-1-safe.cil.csafe1.490.770.542s0.023s
ldv-regression/test_union_cast-2-safe.cil.csafe1.590.820.561s0.032s
ldv-regression/test_union_cast.c-safe.cil.cunsafe1.530.860.613s0.019s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.640.860.613s0.017s
ldv-regression/volatile_alias.c-safe.cil.csafe1.320.760.515s0.017s
ldv-regression/volatile_alias.c-safe_1.cil.csafe1.480.820.576s0.019s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunsafe3.721.921.638s0.541s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunsafe3.463.733.473s2.417s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunsafe3.317.055.604s2.628s
ddv-machzwd/ddv_machzwd_inb.cil.csafe3.243.482.882s0.483s
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe3.404.834.575s2.638s
ddv-machzwd/ddv_machzwd_inl.cil.csafe3.306.334.521s1.543s
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe3.361.741.474s0.552s
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe3.212.762.506s0.431s
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe3.091.591.336s0.429s
ddv-machzwd/ddv_machzwd_outl.cil.csafe2.971.571.304s0.421s
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe3.001.581.306s0.420s
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe3.021.581.319s0.436s
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe3.011.581.307s0.419s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe10.374.153.868s0.393s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe14.298.478.113s5.823s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown95.2662.8362.376s60.877s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe10.243.953.662s0.532s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunknown77.1762.7262.273s39.743s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunsafe15.168.027.627s5.790s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown89.1163.3662.940s60.905s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe5.902.482.216s0.187s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunsafe10.213.973.694s0.360s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunsafe11.497.427.060s4.836s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown86.6462.7762.232s55.214s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunsafe4.592.312.013s0.442s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunsafe40.3329.5629.015s20.961s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunsafe4.522.271.977s0.852s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown91.6363.7263.212s61.646s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.cunknown89.1365.8665.353s61.978s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown87.7862.2661.616s60.677s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe6.914.173.830s2.589s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown3.962.061.758s0.713s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.cunknown91.0266.8566.361s61.909s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.591.851.570s0.687s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.cunknown85.1663.0362.547s60.977s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.cunknown88.8963.0562.576s61.060s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.csafe2.571.381.103s0.255s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.cunknown84.4162.0861.545s60.174s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown88.9764.1963.705s61.698s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown89.1564.0963.596s61.487s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.csafe6.984.043.709s2.378s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.cunknown82.7363.2762.588s61.520s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.cunknown83.9462.4261.849s60.459s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.cunknown88.8162.5161.996s60.842s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.cunknown90.1564.4563.953s61.331s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunsafe3.211.611.353s0.349s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown104.8462.1261.634s54.307s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe2.781.461.215s0.164s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.cunknown84.0064.4463.891s61.845s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.cunknown93.8462.7162.188s60.417s