Tool CPAchecker 1.1-svn
Limits timelimit: 1020 s, memlimit: 15000 MB
Host cs-sel-05 cs-sel-06
OS Linux 3.2.0-27-generic x86_64
System CPU: Intel(R) Core(TM) i7-2600K CPU @ 3.40GHz with 4 cores, frequency: 3401 MHz; RAM: 16343684 kB
Date of run 12-09-21 02:54 12-09-21 02:55
Test CPA-EXPL CPA-EXPLitp
Options -heap 12500M
-noout
-explicitAnalysis		 -heap 12500M
-noout
-explicitAnalysis-ItpRefiner
-setprop cpa.explicit.precision.refinement.useScopedInterpolation=true
test/programs/benchmarks/ status cputime status cputime
ntdrivers-simplified/cdaudio_simpl1_unsafe.cil.c unsafe 2.74 unsafe 11.80
ntdrivers-simplified/floppy_simpl3_unsafe.cil.c unsafe 1.98 unsafe 6.08
ntdrivers-simplified/floppy_simpl4_unsafe.cil.c unsafe 2.24 unsafe 6.78
ntdrivers-simplified/kbfiltr_simpl2_unsafe.cil.c unsafe 1.82 unsafe 5.19
ntdrivers-simplified/cdaudio_simpl1_safe.cil.c safe 3.28 safe 11.92
ntdrivers-simplified/diskperf_simpl1_safe.cil.c unknown 925.78 safe 8.81
ntdrivers-simplified/floppy_simpl3_safe.cil.c safe 2.30 safe 7.08
ntdrivers-simplified/floppy_simpl4_safe.cil.c safe 2.56 safe 8.80
ntdrivers-simplified/kbfiltr_simpl1_safe.cil.c safe 1.94 safe 3.54
ntdrivers-simplified/kbfiltr_simpl2_safe.cil.c safe 2.35 safe 4.09
ntdrivers/cdaudio_unsafe.i.cil.c unsafe 3.76 unsafe 11.23
ntdrivers/diskperf_unsafe.i.cil.c unsafe 2.64 unsafe 9.60
ntdrivers/floppy_unsafe.i.cil.c unsafe 49.30 unsafe 54.76
ntdrivers/kbfiltr_unsafe.i.cil.c unknown 136.43 unknown 142.12
ntdrivers/parport_unsafe.i.cil.c unsafe 3.68 unsafe 23.70
ntdrivers/cdaudio_safe.i.cil.c safe 4.68 safe 13.12
ntdrivers/diskperf_safe.i.cil.c unknown 937.66 safe 12.76
ntdrivers/floppy_safe.i.cil.c unknown 90.23 unknown 98.19
ntdrivers/parport_safe.i.cil.c unknown 928.55 unknown 922.13
ssh-simplified/s3_clnt_1_unsafe.cil.c unsafe 3.46 unknown 4.08
ssh-simplified/s3_clnt_2_unsafe.cil.c unsafe 3.53 unknown 4.12
ssh-simplified/s3_clnt_3_unsafe.cil.c unsafe 3.55 unknown 4.18
ssh-simplified/s3_clnt_4_unsafe.cil.c unsafe 3.50 unknown 4.10
ssh-simplified/s3_srvr_10_unsafe.cil.c unsafe 1.46 unsafe 2.31
ssh-simplified/s3_srvr_11_unsafe.cil.c unsafe 1.95 unsafe 3.67
ssh-simplified/s3_srvr_12_unsafe.cil.c unsafe 1.83 unsafe 3.66
ssh-simplified/s3_srvr_13_unsafe.cil.c unsafe 1.83 unsafe 2.78
ssh-simplified/s3_srvr_14_unsafe.cil.c unsafe 2.15 unsafe 3.33
ssh-simplified/s3_srvr_1_unsafe.cil.c unsafe 1.49 unsafe 2.28
ssh-simplified/s3_srvr_2_unsafe.cil.c unsafe 1.52 unsafe 2.42
ssh-simplified/s3_srvr_6_unsafe.cil.c unsafe 247.91 unsafe 1.68
ssh-simplified/s3_clnt_1_safe.cil.c safe 7.68 safe 4.12
ssh-simplified/s3_clnt_2_safe.cil.c safe 7.58 safe 4.34
ssh-simplified/s3_clnt_3_safe.cil.c safe 7.16 safe 4.16
ssh-simplified/s3_clnt_4_safe.cil.c safe 7.47 safe 4.25
ssh-simplified/s3_srvr_1_safe.cil.c safe 2.24 safe 4.38
ssh-simplified/s3_srvr_1a_safe.cil.c safe 1.26 safe 1.75
ssh-simplified/s3_srvr_1b_safe.cil.c safe 1.13 safe 1.38
ssh-simplified/s3_srvr_2_safe.cil.c safe 2.35 safe 4.02
ssh-simplified/s3_srvr_3_safe.cil.c unknown 2.35 unknown 3.97
ssh-simplified/s3_srvr_4_safe.cil.c unknown 2.41 unknown 3.97
ssh-simplified/s3_srvr_6_safe.cil.c safe 248.00 safe 7.06
ssh-simplified/s3_srvr_7_safe.cil.c safe 170.62 safe 4.72
ssh-simplified/s3_srvr_8_safe.cil.c safe 2.28 safe 5.02
ssh/s3_clnt.blast.01_unsafe.i.cil.c unsafe 7.55 unsafe 4.50
ssh/s3_clnt.blast.02_unsafe.i.cil.c unsafe 7.46 unsafe 4.81
ssh/s3_clnt.blast.03_unsafe.i.cil.c unsafe 7.54 unsafe 4.54
ssh/s3_clnt.blast.04_unsafe.i.cil.c unsafe 7.41 unsafe 4.68
ssh/s3_srvr.blast.01_unsafe.i.cil.c unsafe 1.98 unsafe 3.85
ssh/s3_srvr.blast.02_unsafe.i.cil.c unsafe 1.94 unsafe 3.74
ssh/s3_srvr.blast.03_unsafe.i.cil.c unsafe 1.92 unsafe 3.79
ssh/s3_srvr.blast.04_unsafe.i.cil.c unsafe 1.91 unsafe 3.76
ssh/s3_srvr.blast.06_unsafe.i.cil.c unsafe 2.15 unsafe 5.58
ssh/s3_srvr.blast.07_unsafe.i.cil.c unsafe 2.02 unsafe 4.73
ssh/s3_srvr.blast.08_unsafe.i.cil.c unknown 71.85 unsafe 7.76
ssh/s3_srvr.blast.09_unsafe.i.cil.c unsafe 2.08 unsafe 4.74
ssh/s3_srvr.blast.10_unsafe.i.cil.c unknown 72.58 unsafe 7.67
ssh/s3_srvr.blast.11_unsafe.i.cil.c unsafe 357.85 unsafe 4.30
ssh/s3_srvr.blast.12_unsafe.i.cil.c unsafe 2.08 unsafe 5.87
ssh/s3_srvr.blast.13_unsafe.i.cil.c unsafe 2.02 unsafe 4.74
ssh/s3_srvr.blast.14_unsafe.i.cil.c unsafe 2.07 unsafe 6.07
ssh/s3_srvr.blast.15_unsafe.i.cil.c unknown 72.84 unsafe 7.75
ssh/s3_srvr.blast.16_unsafe.i.cil.c unsafe 2.06 unsafe 5.78
ssh/s3_clnt.blast.01_safe.i.cil.c safe 30.61 safe 6.64
ssh/s3_clnt.blast.02_safe.i.cil.c safe 30.91 safe 7.53
ssh/s3_clnt.blast.03_safe.i.cil.c safe 30.81 safe 7.56
ssh/s3_clnt.blast.04_safe.i.cil.c safe 30.63 safe 7.15
ssh/s3_srvr.blast.01_safe.i.cil.c safe 52.78 safe 7.07
ssh/s3_srvr.blast.02_safe.i.cil.c safe 48.46 safe 6.02
ssh/s3_srvr.blast.06_safe.i.cil.c safe 780.76 safe 13.62
ssh/s3_srvr.blast.07_safe.i.cil.c safe 571.16 safe 9.34
ssh/s3_srvr.blast.08_safe.i.cil.c safe 52.61 safe 7.59
ssh/s3_srvr.blast.09_safe.i.cil.c safe 563.48 safe 9.29
ssh/s3_srvr.blast.10_safe.i.cil.c safe 52.22 safe 7.28
ssh/s3_srvr.blast.11_safe.i.cil.c safe 563.14 safe 8.65
ssh/s3_srvr.blast.12_safe.i.cil.c safe 796.03 safe 12.79
ssh/s3_srvr.blast.13_safe.i.cil.c safe 557.23 safe 10.22
ssh/s3_srvr.blast.14_safe.i.cil.c safe 798.27 safe 13.25
ssh/s3_srvr.blast.15_safe.i.cil.c safe 53.00 safe 8.24
ssh/s3_srvr.blast.16_safe.i.cil.c safe 793.36 safe 12.98
locks/test_locks_14_unsafe.c unsafe 173.40 unknown 934.06
locks/test_locks_15_unsafe.c unsafe 481.33 unknown 932.98
locks/test_locks_10_safe.c safe 6.73 safe 15.18
locks/test_locks_11_safe.c safe 24.97 safe 47.41
locks/test_locks_12_safe.c safe 120.73 safe 175.73
locks/test_locks_13_safe.c safe 580.73 unknown 960.91
locks/test_locks_14_safe.c unknown 925.38 unknown 942.79
locks/test_locks_15_safe.c unknown 925.87 unknown 959.44
locks/test_locks_5_safe.c safe 1.38 safe 2.53
locks/test_locks_6_safe.c safe 1.65 safe 3.24
locks/test_locks_7_safe.c safe 1.88 safe 4.38
locks/test_locks_8_safe.c safe 2.39 safe 4.70
locks/test_locks_9_safe.c safe 3.50 safe 7.04
heap-manipulation/bubble_sort_linux_unsafe.cil.c unsafe 1.96 unsafe 2.04
heap-manipulation/dll_of_dll_unsafe.cil.c unknown 1.28 unknown 1.37
heap-manipulation/merge_sort_unsafe.cil.c unsafe 1.95 unsafe 2.14
heap-manipulation/sll_to_dll_rev_unsafe.cil.c unsafe 1.62 unsafe 1.67
heap-manipulation/bubble_sort_linux_safe.cil.c unsafe 1.90 unsafe 2.03
heap-manipulation/dll_of_dll_safe.cil.c unknown 1.33 unknown 1.36
heap-manipulation/merge_sort_safe.cil.c unknown 2.30 unknown 2.52
heap-manipulation/sll_to_dll_rev_safe.cil.c unknown 3.28 unknown 3.50
list-properties/alternating_list_safe.cil.c unknown 1.48 unknown 1.63
list-properties/list_flag_safe.cil.c unknown 1.28 unknown 1.33
list-properties/list_safe.cil.c unknown 1.28 unknown 1.35
list-properties/simple_built_from_end_safe.cil.c unknown 1.21 unknown 1.35
list-properties/simple_safe.cil.c unknown 1.23 unknown 1.32
list-properties/splice_safe.cil.c unknown 1.89 unknown 2.18
systemc/kundu1_unsafe.cil.c unsafe 1.69 unsafe 5.40
systemc/kundu2_unsafe.cil.c unsafe 1.39 unsafe 5.70
systemc/pc_sfifo_1_unsafe.cil.c unknown 942.10 unsafe 1.36
systemc/pc_sfifo_2_unsafe.cil.c unknown 953.37 unsafe 2.48
systemc/pipeline_unsafe.cil.c unknown 7.92 unknown 52.21
systemc/token_ring.01_unsafe.cil.c unknown 1.50 unknown 3.35
systemc/token_ring.02_unsafe.cil.c unknown 1.75 unknown 4.59
systemc/token_ring.03_unsafe.cil.c unknown 2.08 unknown 6.27
systemc/token_ring.04_unsafe.cil.c unknown 2.40 unknown 12.15
systemc/token_ring.05_unsafe.cil.c unknown 3.27 unknown 59.67
systemc/token_ring.06_unsafe.cil.c unknown 4.64 unknown 27.65
systemc/token_ring.07_unsafe.cil.c unknown 8.02 timeout 1017.08
systemc/token_ring.08_unsafe.cil.c unknown 18.88 timeout 1017.29
systemc/token_ring.09_unsafe.cil.c unknown 58.85 timeout 1017.07
systemc/token_ring.10_unsafe.cil.c unknown 263.91 timeout 1016.80
systemc/token_ring.11_unsafe.cil.c unknown 981.75 timeout 1016.93
systemc/token_ring.12_unsafe.cil.c timeout 1017.96 timeout 1016.89
systemc/token_ring.13_unsafe.cil.c timeout 1017.20 unknown 943.48
systemc/token_ring.14_unsafe.cil.c unsafe 470.51 timeout 1017.00
systemc/token_ring.15_unsafe.cil.c timeout 1017.12 unknown 949.03
systemc/toy1_unsafe.cil.c unsafe 1.50 unsafe 49.62
systemc/toy2_unsafe.cil.c unsafe 1.44 unsafe 48.79
systemc/transmitter.01_unsafe.cil.c unsafe 1.33 unsafe 2.62
systemc/transmitter.02_unsafe.cil.c unsafe 1.48 unsafe 4.40
systemc/transmitter.03_unsafe.cil.c unsafe 1.66 unsafe 5.26
systemc/transmitter.04_unsafe.cil.c unsafe 1.90 unsafe 6.24
systemc/transmitter.05_unsafe.cil.c unsafe 2.15 unsafe 8.46
systemc/transmitter.06_unsafe.cil.c unsafe 2.44 unsafe 14.50
systemc/transmitter.07_unsafe.cil.c unsafe 3.30 unsafe 28.35
systemc/transmitter.08_unsafe.cil.c unsafe 4.59 unsafe 72.16
systemc/transmitter.09_unsafe.cil.c unsafe 9.54 unsafe 221.37
systemc/transmitter.10_unsafe.cil.c unsafe 28.45 unsafe 893.18
systemc/transmitter.11_unsafe.cil.c unsafe 108.36 timeout 1016.95
systemc/transmitter.12_unsafe.cil.c unsafe 470.48 timeout 1017.07
systemc/transmitter.13_unsafe.cil.c timeout 1017.14 timeout 1017.09
systemc/transmitter.15_unsafe.cil.c unsafe 488.59 unsafe 9.62
systemc/transmitter.16_unsafe.cil.c timeout 1017.23 unsafe 10.86
systemc/bist_cell_safe.cil.c safe 1.26 safe 6.31
systemc/kundu_safe.cil.c safe 4.94 safe 11.71
systemc/mem_slave_tlm.1_safe.cil.c safe 1.73 safe 4.79
systemc/mem_slave_tlm.2_safe.cil.c safe 1.85 safe 5.94
systemc/mem_slave_tlm.3_safe.cil.c safe 1.83 safe 7.29
systemc/mem_slave_tlm.4_safe.cil.c safe 2.01 safe 10.08
systemc/mem_slave_tlm.5_safe.cil.c safe 2.05 safe 13.48
systemc/pc_sfifo_1_safe.cil.c unknown 943.15 unknown 913.33
systemc/pc_sfifo_2_safe.cil.c unknown 957.17 unknown 913.50
systemc/pc_sfifo_3_safe.cil.c safe 1.48 safe 1.67
systemc/pipeline_safe.cil.c unknown 8.20 unknown 48.95
systemc/token_ring.01_safe.cil.c unknown 1.43 unknown 3.46
systemc/token_ring.02_safe.cil.c unknown 1.58 unknown 4.66
systemc/token_ring.03_safe.cil.c unknown 2.02 unknown 6.24
systemc/token_ring.04_safe.cil.c unknown 2.30 unknown 11.83
systemc/token_ring.05_safe.cil.c unknown 3.17 unknown 60.90
systemc/token_ring.06_safe.cil.c unknown 4.51 unknown 485.23
systemc/token_ring.07_safe.cil.c unknown 6.94 timeout 1017.20
systemc/token_ring.08_safe.cil.c unknown 19.10 timeout 1017.05
systemc/token_ring.09_safe.cil.c unknown 62.33 timeout 1017.06
systemc/token_ring.10_safe.cil.c unknown 267.46 timeout 1016.79
systemc/token_ring.11_safe.cil.c unknown 986.13 timeout 1017.18
systemc/token_ring.12_safe.cil.c timeout 1017.41 timeout 1016.88
systemc/token_ring.13_safe.cil.c timeout 1017.24 unknown 954.45
systemc/toy_safe.cil.c unknown 997.43 unknown 966.88
ldv-regression/1_3.c_unsafe.cil.c unsafe 1.22 unsafe 1.39
ldv-regression/alt_test.c_unsafe.cil.c unsafe 1.26 unsafe 1.43
ldv-regression/callfpointer.c_unsafe.cil.c unsafe 1.17 unsafe 1.27
ldv-regression/fo_test.c_unsafe.cil.c unsafe 1.24 unsafe 1.38
ldv-regression/mutex_lock_int.c_unsafe.cil.c unsafe 1.25 unsafe 1.27
ldv-regression/mutex_lock_struct.c_unsafe.cil.c unsafe 1.21 unsafe 1.30
ldv-regression/recursive_list.c_unsafe.cil.c unsafe 1.25 unsafe 1.34
ldv-regression/rule57_ebda_blast.c_unsafe.cil.c unsafe 1.20 unsafe 1.27
ldv-regression/rule60_list2.c_unsafe_1.cil.c unsafe 1.24 unsafe 2.61
ldv-regression/stateful_check_unsafe.cil.c unsafe 1.22 unsafe 1.77
ldv-regression/test_while_int.c_unsafe.cil.c unsafe 1.16 unsafe 1.28
ldv-regression/test_while_int.c_unsafe_1.cil.c unsafe 1.18 unsafe 1.25
ldv-regression/alias_of_return.c_safe.cil.c unknown 1.17 unknown 1.25
ldv-regression/alias_of_return.c_safe_1.cil.c unknown 1.17 unknown 1.25
ldv-regression/alias_of_return_2.c_safe.cil.c unknown 1.31 unknown 1.27
ldv-regression/alias_of_return_2.c_safe_1.cil.c unknown 1.15 unknown 1.28
ldv-regression/ex3_forlist.c_safe.cil.c unknown 1.47 unknown 1.82
ldv-regression/just_assert.c_safe.cil.c safe 1.11 safe 1.18
ldv-regression/mutex_lock_int.c_safe_1.cil.c unknown 1.23 unknown 1.30
ldv-regression/mutex_lock_struct.c_safe_1.cil.c unknown 1.20 unknown 1.28
ldv-regression/nested_structure.c_safe.cil.c unknown 1.21 unknown 1.25
ldv-regression/nested_structure_noptr.c_safe.cil.c safe 1.11 safe 1.24
ldv-regression/nested_structure_noptr_safe.cil.c safe 1.12 safe 1.19
ldv-regression/nested_structure_ptr.c_safe.cil.c unknown 1.22 unknown 1.26
ldv-regression/nested_structure_ptr_safe.cil.c unsafe 1.22 unsafe 1.29
ldv-regression/nested_structure_safe.cil.c unsafe 1.21 unsafe 1.29
ldv-regression/oomInt.c_safe.cil.c safe 1.13 safe 1.23
ldv-regression/oomInt.c_safe_1.cil.c safe 1.16 safe 1.20
ldv-regression/rule57_ebda_blast.c_safe_1.cil.c unsafe 1.28 unsafe 1.30
ldv-regression/rule60_list.c_safe.cil.c unknown 1.29 unknown 1.48
ldv-regression/rule60_list2.c_safe.cil.c safe 1.18 safe 2.43
ldv-regression/sizeofparameters_test.c_safe.cil.c safe 1.15 safe 1.19
ldv-regression/structure_assignment.c_safe.cil.c unknown 1.16 unknown 1.25
ldv-regression/test_address.c_safe.cil.c unknown 1.29 unknown 1.28
ldv-regression/test_cut_trace.c_safe.cil.c safe 1.14 safe 1.19
ldv-regression/test_malloc-1_safe.cil.c unknown 1.27 unknown 1.26
ldv-regression/test_malloc-2_safe.cil.c unknown 1.18 unknown 1.24
ldv-regression/test_overflow.c_safe.cil.c safe 1.23 safe 1.24
ldv-regression/test_union.c_safe.cil.c safe 1.11 safe 1.20
ldv-regression/test_union.c_safe_1.cil.c unknown 1.18 unknown 1.29
ldv-regression/test_union_cast-1_safe.cil.c safe 1.21 safe 1.19
ldv-regression/test_union_cast-2_safe.cil.c unknown 1.18 unknown 1.32
ldv-regression/test_union_cast.c_safe.cil.c unknown 1.21 unknown 1.24
ldv-regression/test_union_cast.c_safe_1.cil.c safe 1.11 safe 1.18
ldv-regression/volatile_alias.c_safe.cil.c unknown 1.22 unknown 1.25
ldv-regression/volatile_alias.c_safe_1.cil.c unknown 1.17 unknown 1.25
ddv-machzwd/ddv_machzwd_all_unsafe.cil.c unsafe 2.59 unsafe 3.24
ddv-machzwd/ddv_machzwd_inw_unsafe.cil.c unsafe 2.56 unsafe 3.23
ddv-machzwd/ddv_machzwd_outb_unsafe.cil.c unsafe 2.59 unsafe 3.15
ddv-machzwd/ddv_machzwd_inb_p_safe.cil.c safe 2.76 safe 2.60
ddv-machzwd/ddv_machzwd_inb_safe.cil.c safe 2.70 safe 2.55
ddv-machzwd/ddv_machzwd_inl_p_safe.cil.c safe 2.70 safe 2.55
ddv-machzwd/ddv_machzwd_inl_safe.cil.c safe 2.77 safe 2.63
ddv-machzwd/ddv_machzwd_inw_p_safe.cil.c safe 2.70 safe 2.60
ddv-machzwd/ddv_machzwd_outb_p_safe.cil.c safe 2.66 safe 2.60
ddv-machzwd/ddv_machzwd_outl_p_safe.cil.c safe 2.71 safe 2.55
ddv-machzwd/ddv_machzwd_outl_safe.cil.c safe 2.69 safe 2.60
ddv-machzwd/ddv_machzwd_outw_p_safe.cil.c safe 2.73 safe 2.54
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_safe.cil.c safe 2.75 safe 2.59
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_unsafe.cil.out.i.pp.cil.c unsafe 87.30 unknown 943.29
ldv-drivers/module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.cil.c unknown 927.67 unknown 7.91
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko_unsafe.cil.out.i.pp.cil.c unknown 928.75 unknown 102.00
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko_unsafe.cil.out.i.pp.cil.c unknown 7.81 unknown 24.22
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.cil.c unsafe 7.36 unknown 11.02
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.cil.c unknown 950.50 timeout 1064.47
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c unknown 163.13 timeout 1016.96
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.cil.c unsafe 6.62 unsafe 7.40
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.cil.c unknown 915.57 unsafe 14.60
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.cil.c unknown 100.09 unknown 103.87
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.cil.c unknown 100.62 unknown 103.65
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.cil.c timeout 1174.95 unknown 935.73
ldv-drivers/usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.cil.c unknown 72.46 unknown 934.64
ldv-drivers/usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.cil.c unknown 573.41 timeout 1017.18
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.cil.c unknown 932.12 unknown 1005.24
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.cil.c unknown 933.60 unsafe 6.38
ldv-drivers/module_get_put-drivers-atm-eni.ko_safe.cil.out.i.pp.cil.c unknown 928.83 safe 8.20
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_safe.cil.out.i.pp.cil.c unknown 927.48 safe 13.56
ldv-drivers/module_get_put-drivers-block-paride-pt.ko_safe.cil.out.i.pp.cil.c unknown 928.37 safe 8.08
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko_safe.cil.out.i.pp.cil.c timeout 1017.04 timeout 1016.86
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_safe.cil.out.i.pp.cil.c unknown 3.82 unknown 3.68
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko_safe.cil.out.i.pp.cil.c safe 137.03 safe 15.28
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko_safe.cil.out.i.pp.cil.c unknown 998.48 unknown 2.98
ldv-drivers/module_get_put-drivers-hwmon-it87.ko_safe.cil.out.i.pp.cil.c safe 423.23 safe 6.03
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko_safe.cil.out.i.pp.cil.c timeout 1017.17 safe 8.46
ldv-drivers/module_get_put-drivers-net-pppox.ko_safe.cil.out.i.pp.cil.c unknown 923.91 unknown 926.17
ldv-drivers/module_get_put-drivers-net-sis900.ko_safe.cil.out.i.pp.cil.c unknown 916.45 safe 9.36
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko_safe.cil.out.i.pp.cil.c unknown 919.61 safe 11.67
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko_safe.cil.out.i.pp.cil.c unknown 921.19 safe 11.95
ldv-drivers/module_get_put-drivers-video-aty-aty128fb.ko_safe.cil.out.i.pp.cil.c unknown 929.54 safe 26.05
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko_safe.cil.out.i.pp.cil.c unknown 909.48 unknown 973.95
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko_safe.cil.out.i.pp.cil.c timeout 1017.05 safe 9.14
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko_safe.cil.out.i.pp.cil.c unknown 925.26 safe 10.32
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko_safe.cil.out.i.pp.cil.c timeout 1017.20 safe 7.40
ldv-drivers/usb_urb-drivers-mtd-sm_ftl.ko_safe.cil.out.i.pp.cil.c unknown 3.20 unknown 3.26
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko_safe.cil.out.i.pp.cil.c unknown 931.47 safe 12.38
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko_safe.cil.out.i.pp.cil.c unknown 925.39 unknown 933.22
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko_safe.cil.out.i.pp.cil.c unknown 914.39 unknown 11.72
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_safe.cil.out.i.pp.cil.c unsafe 3.44 unsafe 3.60
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko_safe.cil.out.i.pp.cil.c unknown 1015.67 safe 10.24
ldv-drivers/usb_urb-drivers-video-arkfb.ko_safe.cil.out.i.pp.cil.c unknown 950.69 safe 7.00
total files 269 57377.55 269 42321.78
correct results 152 10779.70 164 2510.32
false negatives 0 0 0 0
false positives 5 9.05 5 9.51
score (269 files, max score: 424) 217 244