| pthread/fib_bench_BUG.cil.c | unknown | 1.48 | 2.98 | 1.534s | 0.022s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.71 | 0.89 | 0.642s | 0.022s |
| pthread/queue_BUG.cil.c | exception | 1.55 | 1.36 | - | - |
| pthread/reorder_5_BUG.cil.c | exception | 1.82 | 1.05 | - | - |
| pthread/twostage_3_BUG.cil.c | exception | 1.64 | 0.90 | - | - |
| pthread/fib_bench.cil.c | unknown | 1.51 | 0.83 | 0.591s | 0.021s |
| pthread/fib_bench_longer.cil.c | unknown | 1.41 | 0.85 | 0.612s | 0.023s |
| pthread/queue_ok.cil.c | exception | 1.64 | 0.95 | - | - |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 5.56 | 3.28 | 2.923s | 1.641s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 3.58 | 1.98 | 1.698s | 0.741s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 3.80 | 2.09 | 1.798s | 0.802s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 2.98 | 1.55 | 1.306s | 0.525s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 4.81 | 2.74 | 2.473s | 1.558s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 3.96 | 2.29 | 2.031s | 1.376s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 3.26 | 1.72 | 1.460s | 0.731s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 3.69 | 1.91 | 1.638s | 0.867s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 2.34 | 1.15 | 0.882s | 0.302s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 2.90 | 1.38 | 1.128s | 0.463s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 9.25 | 4.90 | 4.597s | 2.465s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 5.86 | 3.40 | 3.120s | 1.694s |
| ntdrivers/floppy.BUG.i.cil.c | exception | 4.74 | 2.40 | - | - |
| ntdrivers/kbfiltr.BUG.i.cil.c | exception | 2.20 | 1.17 | - | - |
| ntdrivers/parport.BUG.i.cil.c | exception | 5.03 | 2.41 | - | - |
| ntdrivers/cdaudio.i.cil.c | safe | 8.92 | 4.63 | 4.330s | 2.527s |
| ntdrivers/diskperf.i.cil.c | safe | 5.28 | 2.93 | 2.625s | 1.625s |
| ntdrivers/floppy.i.cil.c | exception | 4.75 | 2.38 | - | - |
| ntdrivers/parport.i.cil.c | exception | 4.90 | 2.22 | - | - |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 3.38 | 1.88 | 1.614s | 0.693s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 3.94 | 2.17 | 1.895s | 0.832s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 3.90 | 2.24 | 1.948s | 0.858s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.39 | 2.40 | 2.126s | 0.995s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 2.78 | 1.43 | 1.165s | 0.307s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 6.38 | 3.42 | 3.115s | 1.651s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | unsafe | 10.98 | 7.99 | 7.691s | 5.776s |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 3.56 | 1.85 | 1.534s | 0.524s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 3.94 | 2.16 | 1.871s | 0.846s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 3.61 | 1.84 | 1.549s | 0.602s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.19 | 1.18 | 0.922s | 0.068s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 8.73 | 5.72 | 5.386s | 3.266s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 9.12 | 5.95 | 5.607s | 3.725s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 9.91 | 6.72 | 6.389s | 3.175s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 9.10 | 6.10 | 5.782s | 3.546s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 3.70 | 1.95 | 1.606s | 0.940s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 1.80 | 1.03 | 0.776s | 0.139s |
| ssh-simplified/s3_srvr_1.cil.c | safe | 35.15 | 30.84 | 30.331s | 22.281s |
| ssh-simplified/s3_srvr_3.cil.c | safe | 25.14 | 20.97 | 20.522s | 13.665s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 14.25 | 10.14 | 9.667s | 7.717s |
| ssh-simplified/s3_srvr_6.cil.c | safe | 16.49 | 12.13 | 11.641s | 9.632s |
| ssh-simplified/s3_srvr_7.cil.c | safe | 23.27 | 19.07 | 18.586s | 16.655s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 13.46 | 9.49 | 9.054s | 6.087s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | exception | 2.02 | 1.18 | - | - |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | exception | 2.15 | 1.20 | - | - |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | exception | 2.16 | 1.27 | - | - |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | exception | 2.23 | 1.20 | - | - |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 4.49 | 2.32 | 1.994s | 0.862s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 4.04 | 2.10 | 1.788s | 0.703s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 4.38 | 2.37 | 2.090s | 0.896s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 4.28 | 2.30 | 2.006s | 0.848s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 5.19 | 2.84 | 2.524s | 1.067s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unsafe | 7.43 | 4.55 | 4.228s | 2.697s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 8.08 | 4.87 | 4.486s | 2.576s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 7.42 | 4.09 | 3.759s | 1.832s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 6.20 | 3.49 | 3.168s | 1.708s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 5.85 | 3.00 | 2.726s | 1.280s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 11.11 | 8.02 | 7.732s | 6.162s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 5.32 | 3.00 | 2.703s | 1.365s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 7.89 | 4.33 | 3.986s | 1.916s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 4.72 | 2.64 | 2.357s | 1.114s |
| ssh/s3_clnt.blast.01.i.cil.c | exception | 2.17 | 1.16 | - | - |
| ssh/s3_clnt.blast.03.i.cil.c | exception | 2.05 | 1.12 | - | - |
| ssh/s3_clnt.blast.04.i.cil.c | exception | 2.38 | 1.34 | - | - |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 13.52 | 8.87 | 8.404s | 5.377s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 16.49 | 12.09 | 11.592s | 9.693s |
| ssh/s3_srvr.blast.07.i.cil.c | safe | 15.01 | 10.74 | 10.208s | 8.566s |
| ssh/s3_srvr.blast.08.i.cil.c | out of memory | 94.67 | 90.83 | - | - |
| ssh/s3_srvr.blast.09.i.cil.c | safe | 13.57 | 9.11 | 8.669s | 6.169s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 51.23 | 47.61 | 47.067s | 15.263s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 41.75 | 37.26 | 36.742s | 16.331s |
| ssh/s3_srvr.blast.13.i.cil.c | safe | 22.22 | 17.77 | 17.274s | 14.647s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 35.90 | 30.73 | 30.133s | 23.382s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 13.96 | 9.39 | 8.915s | 6.092s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 17.03 | 12.20 | 11.716s | 8.104s |
| locks/test_locks_14.BUG.c | unsafe | 1.86 | 1.10 | 0.838s | 0.102s |
| locks/test_locks_15.BUG.c | unsafe | 2.00 | 1.12 | 0.834s | 0.118s |
| locks/test_locks_11.c | safe | 1.79 | 1.03 | 0.740s | 0.087s |
| locks/test_locks_12.c | safe | 1.87 | 1.03 | 0.738s | 0.101s |
| locks/test_locks_13.c | safe | 1.90 | 1.14 | 0.856s | 0.112s |
| locks/test_locks_14.c | safe | 1.91 | 1.10 | 0.814s | 0.143s |
| locks/test_locks_15.c | safe | 1.70 | 1.02 | 0.715s | 0.122s |
| locks/test_locks_5.c | safe | 1.58 | 0.97 | 0.676s | 0.046s |
| locks/test_locks_6.c | safe | 1.78 | 0.95 | 0.683s | 0.049s |
| locks/test_locks_7.c | safe | 1.87 | 1.02 | 0.756s | 0.066s |
| locks/test_locks_8.c | safe | 1.84 | 1.07 | 0.785s | 0.084s |
| locks/test_locks_9.c | safe | 1.87 | 1.01 | 0.753s | 0.084s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | exception | 1.80 | 1.01 | - | - |
| heap-manipulation/dll_of_dll_BUG.cil.c | exception | 1.91 | 1.00 | - | - |
| heap-manipulation/merge_sort_BUG.cil.c | exception | 1.63 | 0.93 | - | - |
| heap-manipulation/sll_to_dll_rev_BUG.cil.c | exception | 1.70 | 0.95 | - | - |
| heap-manipulation/bubble_sort_linux.cil.c | exception | 1.74 | 0.98 | - | - |
| heap-manipulation/dll_of_dll.cil.c | exception | 1.67 | 0.89 | - | - |
| heap-manipulation/merge_sort.cil.c | exception | 1.87 | 0.98 | - | - |
| heap-manipulation/sll_to_dll_rev.cil.c | exception | 1.70 | 1.03 | - | - |
| list-properties/alternating_list.cil.c | exception | 1.62 | 0.97 | - | - |
| list-properties/list.cil.c | exception | 1.79 | 1.05 | - | - |
| list-properties/list_flag.cil.c | exception | 1.65 | 0.97 | - | - |
| list-properties/simple.cil.c | exception | 1.70 | 0.93 | - | - |
| list-properties/simple_built_from_end.cil.c | exception | 1.66 | 0.91 | - | - |
| list-properties/splice.cil.c | exception | 1.48 | 0.89 | - | - |
| systemc/token_ring.01.BUG.cil.c | unsafe | 3.21 | 1.81 | 1.539s | 0.715s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 4.73 | 2.31 | 1.969s | 1.170s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 7.21 | 3.74 | 3.331s | 2.369s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 2.18 | 1.15 | 0.896s | 0.250s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 3.04 | 1.62 | 1.355s | 0.572s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 4.96 | 2.49 | 2.188s | 1.287s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 9.48 | 4.94 | 4.563s | 3.361s |
| systemc/bist_cell.cil.c | safe | 2.38 | 1.36 | 1.074s | 0.417s |
| systemc/kundu.cil.c | safe | 16.86 | 12.56 | 12.027s | 10.387s |
| systemc/mem_slave_tlm.1.cil.c | unknown | 51.92 | 47.65 | - | - |
| systemc/mem_slave_tlm.2.cil.c | segmentation fault | 55.22 | 50.02 | - | - |
| systemc/pc_sfifo_1.cil.c | safe | 5.31 | 2.48 | 2.169s | 1.443s |
| systemc/pc_sfifo_2.cil.c | safe | 5.29 | 2.74 | 2.456s | 1.602s |
| systemc/pc_sfifo_3.cil.c | safe | 2.20 | 1.18 | 0.896s | 0.324s |
| systemc/token_ring.01.cil.c | safe | 4.60 | 2.24 | 1.860s | 1.063s |
| systemc/token_ring.04.cil.c | unknown | 74.70 | 61.49 | 60.619s | 54.872s |
| systemc/toy.cil.c | unknown | 67.28 | 61.94 | 61.483s | 58.513s |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.76 | 1.01 | 0.756s | 0.034s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.92 | 1.03 | 0.727s | 0.049s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.81 | 0.94 | 0.676s | 0.018s |
| ldv-regression/fo_test.c-unsafe.cil.c | unknown | 1.36 | 0.72 | - | - |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | exception | 1.60 | 0.84 | - | - |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.72 | 0.98 | 0.691s | 0.023s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.54 | 0.86 | 0.615s | 0.031s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.55 | 0.88 | 0.636s | 0.029s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 1.70 | 0.93 | 0.666s | 0.085s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.07 | 1.20 | 0.926s | 0.241s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.65 | 0.88 | 0.635s | 0.048s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.61 | 0.91 | 0.680s | 0.029s |
| ldv-regression/alias_of_return.c-safe.cil.c | exception | 1.41 | 0.72 | - | - |
| ldv-regression/alias_of_return.c-safe_1.cil.c | exception | 1.26 | 0.71 | - | - |
| ldv-regression/alias_of_return_2.c-safe.cil.c | exception | 1.46 | 0.75 | - | - |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | exception | 1.39 | 0.76 | - | - |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 2.34 | 1.31 | 1.075s | 0.340s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.68 | 0.90 | 0.658s | 0.015s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | exception | 1.75 | 0.89 | - | - |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.59 | 0.83 | 0.569s | 0.015s |
| ldv-regression/nested_structure-safe.cil.c | exception | 1.65 | 0.89 | - | - |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.70 | 0.89 | 0.654s | 0.023s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.77 | 0.89 | 0.649s | 0.021s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.78 | 0.92 | 0.663s | 0.024s |
| ldv-regression/nested_structure_ptr-safe.cil.c | exception | 1.54 | 0.86 | - | - |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.57 | 0.90 | 0.647s | 0.022s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.51 | 0.81 | 0.582s | 0.019s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.52 | 0.88 | 0.635s | 0.023s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.49 | 0.83 | 0.600s | 0.042s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.57 | 0.86 | 0.633s | 0.026s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 1.82 | 0.97 | 0.722s | 0.093s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.76 | 0.90 | 0.632s | 0.023s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.62 | 0.82 | 0.577s | 0.023s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.60 | 0.82 | 0.567s | 0.018s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.76 | 0.92 | 0.667s | 0.021s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.74 | 0.93 | 0.676s | 0.036s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.60 | 0.84 | 0.565s | 0.027s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.58 | 0.87 | 0.613s | 0.022s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.76 | 0.88 | 0.636s | 0.019s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.76 | 0.91 | 0.651s | 0.019s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.48 | 0.81 | 0.590s | 0.015s |
| ldv-regression/test_union_cast-2-safe.cil.c | exception | 1.49 | 0.79 | - | - |
| ldv-regression/test_union_cast.c-safe.cil.c | exception | 1.56 | 0.76 | - | - |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.49 | 0.83 | 0.599s | 0.015s |
| ldv-regression/volatile_alias.c-safe.cil.c | exception | 1.39 | 0.82 | - | - |
| ldv-regression/volatile_alias.c-safe_1.cil.c | exception | 1.43 | 0.73 | - | - |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 3.83 | 2.00 | 1.759s | 0.528s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 3.70 | 1.91 | 1.667s | 0.538s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 3.92 | 1.97 | 1.721s | 0.589s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 3.86 | 1.91 | 1.653s | 0.556s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 4.31 | 2.05 | 1.767s | 0.565s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 4.10 | 1.98 | 1.727s | 0.591s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 4.30 | 2.12 | 1.799s | 0.519s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 4.07 | 2.03 | 1.754s | 0.531s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 3.74 | 1.80 | 1.513s | 0.547s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 3.88 | 1.93 | 1.665s | 0.578s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 3.76 | 1.86 | 1.589s | 0.467s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 3.58 | 1.74 | 1.485s | 0.459s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 4.06 | 2.06 | 1.802s | 0.486s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.87 | 4.97 | 4.681s | 0.395s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | exception | 4.45 | 2.10 | - | - |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | exception | 5.68 | 2.36 | - | - |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | exception | 12.76 | 4.64 | - | - |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | exception | 8.66 | 3.53 | - | - |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | exception | 6.12 | 2.62 | - | - |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | unknown | 84.59 | 64.54 | 64.083s | 61.467s |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 7.92 | 3.08 | 2.827s | 0.231s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 19.14 | 6.92 | 6.667s | 0.385s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.50 | 7.72 | 7.343s | 5.093s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unknown | 81.80 | 63.00 | 62.472s | 53.887s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | exception | 5.55 | 2.47 | - | - |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | exception | 8.89 | 4.45 | - | - |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | exception | 3.71 | 1.80 | - | - |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | exception | 5.63 | 2.54 | - | - |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | exception | 13.27 | 5.14 | - | - |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | exception | 10.42 | 5.50 | - | - |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 8.55 | 5.01 | 4.707s | 3.050s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | exception | 5.01 | 2.44 | - | - |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | exception | 15.42 | 6.51 | - | - |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | exception | 3.87 | 1.93 | - | - |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | exception | 6.09 | 2.47 | - | - |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | exception | 8.27 | 3.77 | - | - |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 3.10 | 1.62 | 1.346s | 0.314s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | exception | 5.70 | 3.45 | - | - |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | exception | 7.79 | 7.30 | - | - |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | exception | 7.71 | 7.13 | - | - |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 9.42 | 7.95 | 6.847s | 4.015s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | unknown | 83.20 | 66.43 | 63.153s | 60.692s |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | unknown | 82.92 | 65.84 | 62.633s | 61.017s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | exception | 4.29 | 2.16 | - | - |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | exception | 11.69 | 4.42 | - | - |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | exception | 3.58 | 1.83 | - | - |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | exception | 4.47 | 2.12 | - | - |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 3.85 | 1.89 | 1.594s | 0.208s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | exception | 7.77 | 3.50 | - | - |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | exception | 4.45 | 2.17 | - | - |