| pthread/fib_bench_BUG.cil.c | unknown | 1.77 | 1.16 | 0.835s | 0.023s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.98 | 1.27 | 0.887s | 0.039s |
| pthread/queue_BUG.cil.c | exception | 2.08 | 1.32 | - | - |
| pthread/reorder_5_BUG.cil.c | exception | 2.08 | 1.35 | - | - |
| pthread/twostage_3_BUG.cil.c | exception | 2.24 | 1.58 | - | - |
| pthread/fib_bench.cil.c | unknown | 2.06 | 1.45 | 1.054s | 0.038s |
| pthread/fib_bench_longer.cil.c | unknown | 1.88 | 1.20 | 0.850s | 0.029s |
| pthread/queue_ok.cil.c | exception | 1.90 | 1.09 | - | - |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 6.06 | 3.71 | 3.366s | 1.961s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 3.96 | 2.28 | 1.974s | 0.831s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 4.30 | 2.46 | 2.172s | 0.980s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 3.40 | 1.70 | 1.423s | 0.563s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 5.57 | 3.34 | 2.970s | 1.977s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 3.93 | 2.41 | 2.142s | 1.399s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 3.50 | 2.00 | 1.703s | 0.867s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 4.27 | 2.34 | 1.957s | 0.982s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 2.59 | 1.32 | 1.019s | 0.336s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 2.99 | 1.49 | 1.212s | 0.512s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 10.59 | 5.86 | 5.499s | 3.050s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 6.37 | 3.91 | 3.555s | 1.894s |
| ntdrivers/floppy.BUG.i.cil.c | exception | 5.70 | 3.09 | - | - |
| ntdrivers/kbfiltr.BUG.i.cil.c | exception | 2.60 | 1.46 | - | - |
| ntdrivers/parport.BUG.i.cil.c | exception | 4.97 | 2.41 | - | - |
| ntdrivers/cdaudio.i.cil.c | safe | 9.98 | 5.39 | 5.069s | 3.018s |
| ntdrivers/diskperf.i.cil.c | safe | 5.80 | 3.42 | 3.103s | 1.925s |
| ntdrivers/floppy.i.cil.c | exception | 5.20 | 2.60 | - | - |
| ntdrivers/parport.i.cil.c | exception | 5.23 | 2.56 | - | - |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 3.78 | 2.04 | 1.693s | 0.701s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 4.56 | 2.61 | 2.285s | 1.092s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 4.02 | 2.23 | 1.956s | 0.860s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.20 | 2.51 | 2.205s | 1.037s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 2.57 | 1.39 | 1.069s | 0.264s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 6.27 | 3.41 | 3.108s | 1.617s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | unsafe | 10.75 | 7.72 | 7.300s | 5.558s |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 3.23 | 1.63 | 1.351s | 0.464s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 3.80 | 1.98 | 1.693s | 0.777s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 3.64 | 1.90 | 1.604s | 0.633s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.16 | 1.13 | 0.872s | 0.054s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 8.70 | 5.70 | 5.371s | 3.284s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 8.51 | 5.56 | 5.204s | 3.432s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 9.12 | 5.94 | 5.635s | 2.902s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 9.20 | 6.15 | 5.851s | 3.627s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 3.50 | 1.93 | 1.598s | 1.003s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 1.69 | 0.93 | 0.695s | 0.131s |
| ssh-simplified/s3_srvr_1.cil.c | safe | 35.37 | 30.92 | 30.463s | 22.895s |
| ssh-simplified/s3_srvr_3.cil.c | safe | 25.16 | 21.05 | 20.515s | 13.580s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 15.04 | 10.83 | 10.401s | 8.420s |
| ssh-simplified/s3_srvr_6.cil.c | safe | 17.09 | 12.47 | 11.973s | 9.971s |
| ssh-simplified/s3_srvr_7.cil.c | safe | 22.73 | 18.37 | 17.914s | 16.040s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 12.41 | 8.64 | 8.208s | 5.554s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | exception | 1.88 | 0.99 | - | - |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | exception | 2.02 | 1.09 | - | - |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | exception | 1.87 | 0.99 | - | - |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | exception | 2.06 | 1.16 | - | - |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 4.28 | 2.23 | 1.954s | 0.833s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 3.66 | 1.93 | 1.606s | 0.687s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 4.03 | 2.09 | 1.794s | 0.810s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 3.85 | 2.01 | 1.721s | 0.758s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 4.79 | 2.48 | 2.205s | 0.915s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unsafe | 7.56 | 4.41 | 4.091s | 2.658s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 7.36 | 4.38 | 4.039s | 2.288s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 7.34 | 4.08 | 3.761s | 1.937s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 5.79 | 3.23 | 2.925s | 1.651s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 5.32 | 2.85 | 2.564s | 1.191s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 10.51 | 7.54 | 7.248s | 5.810s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 5.33 | 3.16 | 2.872s | 1.490s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 7.22 | 4.09 | 3.758s | 1.914s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 4.66 | 2.56 | 2.270s | 1.059s |
| ssh/s3_clnt.blast.01.i.cil.c | exception | 1.92 | 1.07 | - | - |
| ssh/s3_clnt.blast.03.i.cil.c | exception | 1.93 | 1.12 | - | - |
| ssh/s3_clnt.blast.04.i.cil.c | exception | 1.99 | 1.12 | - | - |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 12.99 | 8.59 | 8.126s | 5.330s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 15.98 | 11.39 | 10.401s | 8.664s |
| ssh/s3_srvr.blast.07.i.cil.c | safe | 15.08 | 10.31 | 9.813s | 8.196s |
| ssh/s3_srvr.blast.08.i.cil.c | out of memory | 89.43 | 85.03 | - | - |
| ssh/s3_srvr.blast.09.i.cil.c | safe | 12.88 | 8.49 | 8.050s | 5.690s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 52.12 | 47.87 | 47.354s | 15.127s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 39.71 | 34.47 | 33.981s | 15.910s |
| ssh/s3_srvr.blast.13.i.cil.c | safe | 21.21 | 16.55 | 16.110s | 13.843s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 32.11 | 27.47 | 26.969s | 20.840s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 12.52 | 8.27 | 7.813s | 5.360s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 16.12 | 11.46 | 10.897s | 7.448s |
| locks/test_locks_14.BUG.c | unsafe | 1.78 | 0.98 | 0.709s | 0.105s |
| locks/test_locks_15.BUG.c | unsafe | 1.81 | 1.05 | 0.778s | 0.108s |
| locks/test_locks_11.c | safe | 1.68 | 0.88 | 0.644s | 0.087s |
| locks/test_locks_12.c | safe | 1.65 | 0.93 | 0.694s | 0.098s |
| locks/test_locks_13.c | safe | 1.68 | 0.89 | 0.651s | 0.101s |
| locks/test_locks_14.c | safe | 1.72 | 1.00 | 0.732s | 0.116s |
| locks/test_locks_15.c | safe | 1.66 | 0.91 | 0.659s | 0.121s |
| locks/test_locks_5.c | safe | 1.70 | 0.86 | 0.591s | 0.042s |
| locks/test_locks_6.c | safe | 1.56 | 0.82 | 0.581s | 0.048s |
| locks/test_locks_7.c | safe | 1.65 | 0.89 | 0.637s | 0.075s |
| locks/test_locks_8.c | safe | 1.63 | 0.86 | 0.610s | 0.064s |
| locks/test_locks_9.c | safe | 1.66 | 0.91 | 0.652s | 0.076s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | exception | 1.90 | 1.00 | - | - |
| heap-manipulation/dll_of_dll_BUG.cil.c | exception | 1.62 | 0.86 | - | - |
| heap-manipulation/merge_sort_BUG.cil.c | exception | 1.64 | 0.85 | - | - |
| heap-manipulation/sll_to_dll_rev_BUG.cil.c | exception | 1.67 | 0.86 | - | - |
| heap-manipulation/bubble_sort_linux.cil.c | exception | 1.87 | 0.99 | - | - |
| heap-manipulation/dll_of_dll.cil.c | exception | 1.64 | 0.86 | - | - |
| heap-manipulation/merge_sort.cil.c | exception | 1.62 | 0.86 | - | - |
| heap-manipulation/sll_to_dll_rev.cil.c | exception | 1.53 | 0.89 | - | - |
| list-properties/alternating_list.cil.c | exception | 1.52 | 0.81 | - | - |
| list-properties/list.cil.c | exception | 1.49 | 0.84 | - | - |
| list-properties/list_flag.cil.c | exception | 1.62 | 0.82 | - | - |
| list-properties/simple.cil.c | exception | 1.58 | 0.89 | - | - |
| list-properties/simple_built_from_end.cil.c | exception | 1.58 | 0.80 | - | - |
| list-properties/splice.cil.c | exception | 1.61 | 0.83 | - | - |
| systemc/token_ring.01.BUG.cil.c | unsafe | 2.77 | 1.53 | 1.269s | 0.540s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 4.73 | 2.37 | 2.074s | 1.251s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 8.10 | 4.09 | 3.723s | 2.730s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 2.06 | 1.22 | 0.920s | 0.240s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 2.99 | 1.51 | 1.251s | 0.554s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 4.66 | 2.25 | 1.942s | 1.138s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 8.81 | 4.56 | 4.223s | 3.159s |
| systemc/bist_cell.cil.c | safe | 2.50 | 1.30 | 1.027s | 0.370s |
| systemc/kundu.cil.c | safe | 16.62 | 12.13 | 11.565s | 10.093s |
| systemc/mem_slave_tlm.1.cil.c | out of memory | 52.92 | 48.24 | - | - |
| systemc/mem_slave_tlm.2.cil.c | segmentation fault | 60.98 | 56.27 | - | - |
| systemc/pc_sfifo_1.cil.c | safe | 4.99 | 2.41 | 2.044s | 1.269s |
| systemc/pc_sfifo_2.cil.c | safe | 5.44 | 2.77 | 2.482s | 1.638s |
| systemc/pc_sfifo_3.cil.c | safe | 2.29 | 1.23 | 0.957s | 0.290s |
| systemc/token_ring.01.cil.c | safe | 4.86 | 2.38 | 2.032s | 1.266s |
| systemc/token_ring.04.cil.c | segmentation fault | 67.79 | 56.89 | - | - |
| systemc/toy.cil.c | unknown | 67.20 | 61.98 | 61.553s | 58.626s |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.60 | 0.84 | 0.586s | 0.022s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.54 | 0.90 | 0.664s | 0.039s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.46 | 0.82 | 0.585s | 0.017s |
| ldv-regression/fo_test.c-unsafe.cil.c | unknown | 1.07 | 0.61 | - | - |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | exception | 1.42 | 0.75 | - | - |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.50 | 0.78 | 0.550s | 0.016s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.77 | 0.94 | 0.687s | 0.040s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.55 | 0.86 | 0.620s | 0.030s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 1.88 | 1.08 | 0.777s | 0.087s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.10 | 1.27 | 0.981s | 0.235s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.68 | 0.93 | 0.689s | 0.044s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.61 | 0.93 | 0.682s | 0.047s |
| ldv-regression/alias_of_return.c-safe.cil.c | exception | 1.47 | 0.78 | - | - |
| ldv-regression/alias_of_return.c-safe_1.cil.c | exception | 1.60 | 0.88 | - | - |
| ldv-regression/alias_of_return_2.c-safe.cil.c | exception | 1.44 | 0.81 | - | - |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | exception | 1.67 | 0.89 | - | - |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 2.40 | 1.30 | 1.037s | 0.297s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.74 | 0.93 | 0.664s | 0.015s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | exception | 1.69 | 0.95 | - | - |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.53 | 0.97 | 0.672s | 0.015s |
| ldv-regression/nested_structure-safe.cil.c | exception | 1.55 | 0.86 | - | - |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.69 | 0.90 | 0.629s | 0.027s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.52 | 0.85 | 0.592s | 0.022s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.61 | 0.85 | 0.589s | 0.017s |
| ldv-regression/nested_structure_ptr-safe.cil.c | exception | 1.49 | 0.80 | - | - |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.58 | 0.90 | 0.635s | 0.022s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.66 | 0.86 | 0.610s | 0.018s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.62 | 0.85 | 0.601s | 0.016s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.71 | 0.94 | 0.649s | 0.041s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.70 | 0.88 | 0.629s | 0.021s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 1.67 | 1.00 | 0.696s | 0.088s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.61 | 0.83 | 0.565s | 0.016s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.51 | 0.88 | 0.580s | 0.020s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.65 | 0.90 | 0.639s | 0.018s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.65 | 0.87 | 0.624s | 0.018s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.62 | 0.88 | 0.597s | 0.029s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.48 | 0.87 | 0.588s | 0.033s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.74 | 0.90 | 0.655s | 0.026s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.64 | 0.88 | 0.638s | 0.015s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.68 | 0.83 | 0.580s | 0.015s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.50 | 0.78 | 0.552s | 0.016s |
| ldv-regression/test_union_cast-2-safe.cil.c | exception | 1.61 | 0.84 | - | - |
| ldv-regression/test_union_cast.c-safe.cil.c | exception | 1.62 | 0.84 | - | - |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.58 | 0.85 | 0.610s | 0.015s |
| ldv-regression/volatile_alias.c-safe.cil.c | exception | 1.67 | 0.89 | - | - |
| ldv-regression/volatile_alias.c-safe_1.cil.c | exception | 1.55 | 0.81 | - | - |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 4.30 | 2.21 | 1.946s | 0.648s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 3.88 | 1.99 | 1.734s | 0.583s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 4.13 | 2.05 | 1.767s | 0.568s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 3.96 | 1.88 | 1.614s | 0.577s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 3.65 | 1.75 | 1.497s | 0.499s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 3.78 | 1.84 | 1.553s | 0.472s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 4.12 | 1.99 | 1.735s | 0.546s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 4.00 | 1.95 | 1.675s | 0.508s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 3.81 | 1.78 | 1.499s | 0.465s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 3.83 | 1.85 | 1.549s | 0.472s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 4.10 | 2.02 | 1.713s | 0.564s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 3.90 | 1.82 | 1.542s | 0.467s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 3.87 | 1.99 | 1.682s | 0.541s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 13.34 | 5.48 | 5.194s | 0.462s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | exception | 4.79 | 2.37 | - | - |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | exception | 6.95 | 2.89 | - | - |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | exception | 14.96 | 5.64 | - | - |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | exception | 9.01 | 3.60 | - | - |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | exception | 6.68 | 2.73 | - | - |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | unknown | 83.70 | 62.35 | 61.911s | 59.378s |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 8.67 | 3.18 | 2.911s | 0.263s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 14.42 | 5.56 | 5.264s | 0.506s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 13.01 | 8.29 | 7.815s | 5.378s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unknown | 85.43 | 62.47 | 61.904s | 53.280s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | exception | 5.73 | 2.45 | - | - |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | exception | 9.02 | 4.52 | - | - |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | exception | 3.66 | 1.79 | - | - |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | exception | 6.00 | 2.52 | - | - |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | exception | 13.65 | 5.21 | - | - |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | exception | 10.16 | 4.85 | - | - |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 8.57 | 5.06 | 4.754s | 3.139s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | exception | 4.87 | 2.16 | - | - |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | exception | 15.04 | 6.32 | - | - |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | exception | 3.50 | 1.80 | - | - |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | exception | 6.23 | 2.40 | - | - |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | exception | 8.01 | 3.41 | - | - |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 3.15 | 1.51 | 1.245s | 0.280s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | exception | 5.98 | 2.54 | - | - |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | exception | 9.24 | 3.54 | - | - |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | exception | 8.57 | 3.38 | - | - |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 9.03 | 4.92 | 4.624s | 2.999s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | unknown | 81.51 | 63.37 | 62.541s | 61.070s |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | unknown | 81.13 | 70.70 | 65.466s | 61.189s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | exception | 4.54 | 2.26 | - | - |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | exception | 11.40 | 4.35 | - | - |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | exception | 4.14 | 2.02 | - | - |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | exception | 4.90 | 2.46 | - | - |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 3.98 | 1.92 | 1.661s | 0.200s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | exception | 7.35 | 3.25 | - | - |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | exception | 4.27 | 2.04 | - | - |