| pthread/fib_bench_BUG.cil.c | unknown | 1.88 | 1.67 | 0.755s | 0.033s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.78 | 0.94 | 0.681s | 0.032s |
| pthread/queue_BUG.cil.c | unknown | 2.17 | 1.14 | 0.870s | 0.116s |
| pthread/reorder_5_BUG.cil.c | unknown | 2.21 | 1.26 | 0.895s | 0.135s |
| pthread/twostage_3_BUG.cil.c | unknown | 2.23 | 1.12 | 0.862s | 0.126s |
| pthread/fib_bench.cil.c | unknown | 1.46 | 0.82 | 0.579s | 0.029s |
| pthread/fib_bench_longer.cil.c | unknown | 1.51 | 0.83 | 0.592s | 0.032s |
| pthread/queue_ok.cil.c | unknown | 1.82 | 0.98 | 0.720s | 0.094s |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 13.93 | 8.09 | 7.767s | 5.166s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 6.73 | 3.19 | 2.922s | 1.533s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 8.24 | 3.97 | 3.661s | 1.959s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 4.84 | 2.27 | 1.991s | 0.953s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 12.97 | 7.48 | 7.110s | 4.598s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 10.38 | 5.52 | 5.214s | 3.392s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 9.54 | 4.72 | 4.389s | 2.716s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 11.23 | 6.00 | 5.657s | 3.702s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 3.09 | 1.75 | 1.475s | 0.547s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 4.21 | 2.11 | 1.835s | 0.869s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 13.86 | 6.88 | 6.561s | 3.745s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 10.36 | 5.22 | 4.849s | 2.521s |
| ntdrivers/floppy.BUG.i.cil.c | unsafe | 11.67 | 6.14 | 5.820s | 2.860s |
| ntdrivers/kbfiltr.BUG.i.cil.c | unsafe | 7.12 | 3.43 | 3.076s | 1.294s |
| ntdrivers/parport.BUG.i.cil.c | unsafe | 21.66 | 13.07 | 12.652s | 7.095s |
| ntdrivers/cdaudio.i.cil.c | safe | 18.59 | 11.05 | 10.649s | 6.770s |
| ntdrivers/diskperf.i.cil.c | safe | 13.32 | 7.46 | 7.105s | 4.153s |
| ntdrivers/floppy.i.cil.c | safe | 15.58 | 9.19 | 8.780s | 4.495s |
| ntdrivers/parport.i.cil.c | safe | 31.00 | 21.58 | 21.096s | 13.327s |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 5.82 | 3.42 | 3.073s | 1.856s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 4.72 | 2.68 | 2.389s | 1.298s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 6.02 | 2.93 | 2.674s | 1.450s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.19 | 2.27 | 1.994s | 0.914s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 18.26 | 13.15 | 12.796s | 9.806s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 57.62 | 51.31 | 50.863s | 45.858s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | timeout | 119.58 | 115.74 | - | - |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 18.07 | 13.44 | 13.083s | 10.285s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 4.04 | 2.20 | 1.943s | 0.866s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 4.72 | 2.41 | 2.131s | 1.082s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.38 | 1.25 | 0.967s | 0.074s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 10.35 | 6.82 | 6.509s | 4.527s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 8.78 | 5.49 | 5.203s | 3.263s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 7.76 | 4.69 | 4.385s | 2.855s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 11.52 | 8.22 | 7.912s | 5.079s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 4.96 | 2.53 | 2.224s | 1.441s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 2.20 | 1.21 | 0.937s | 0.280s |
| ssh-simplified/s3_srvr_1.cil.c | out of memory | 72.01 | 67.11 | - | - |
| ssh-simplified/s3_srvr_3.cil.c | safe | 27.23 | 21.90 | 21.442s | 15.575s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 10.82 | 6.49 | 6.145s | 4.598s |
| ssh-simplified/s3_srvr_6.cil.c | timeout | 119.60 | 115.73 | - | - |
| ssh-simplified/s3_srvr_7.cil.c | unknown | 71.64 | 68.94 | 68.584s | 67.421s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 16.78 | 13.17 | 12.768s | 8.945s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | unsafe | 6.66 | 7.22 | 5.726s | 1.591s |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | unsafe | 4.31 | 3.89 | 3.481s | 0.904s |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | unsafe | 4.81 | 3.59 | 3.273s | 1.084s |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | unsafe | 6.33 | 4.22 | 3.913s | 1.599s |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 6.27 | 3.85 | 3.513s | 1.394s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 4.94 | 4.19 | 3.912s | 2.088s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 4.95 | 5.45 | 5.183s | 1.165s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 4.33 | 4.38 | 4.035s | 1.991s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 5.33 | 4.69 | 4.354s | 1.177s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unknown | 65.52 | 62.29 | 61.968s | 59.914s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 26.94 | 20.98 | 20.556s | 18.522s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 37.98 | 31.64 | 31.213s | 28.359s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 5.11 | 2.79 | 2.515s | 1.254s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 12.04 | 7.80 | 7.460s | 5.839s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 27.23 | 21.92 | 21.485s | 19.286s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 6.85 | 5.61 | 4.269s | 1.925s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 18.39 | 13.82 | 13.466s | 11.546s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 5.67 | 3.19 | 2.931s | 1.636s |
| ssh/s3_clnt.blast.01.i.cil.c | safe | 8.74 | 5.60 | 5.329s | 3.588s |
| ssh/s3_clnt.blast.03.i.cil.c | safe | 13.88 | 10.11 | 9.773s | 6.879s |
| ssh/s3_clnt.blast.04.i.cil.c | safe | 12.11 | 8.07 | 7.761s | 4.196s |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 35.05 | 29.84 | 29.425s | 24.602s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 27.33 | 21.58 | 21.145s | 15.980s |
| ssh/s3_srvr.blast.07.i.cil.c | unknown | 67.26 | 63.99 | 63.640s | 61.840s |
| ssh/s3_srvr.blast.08.i.cil.c | safe | 25.33 | 20.14 | 19.642s | 15.721s |
| ssh/s3_srvr.blast.09.i.cil.c | unknown | 65.86 | 61.49 | 61.147s | 58.966s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 12.08 | 7.15 | 6.777s | 5.057s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 14.39 | 9.91 | 9.450s | 7.614s |
| ssh/s3_srvr.blast.13.i.cil.c | unknown | 66.54 | 61.90 | 61.582s | 59.666s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 37.52 | 32.15 | 31.695s | 25.621s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 17.29 | 12.25 | 11.846s | 6.578s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 42.11 | 36.70 | 36.256s | 25.785s |
| locks/test_locks_14.BUG.c | unsafe | 2.52 | 1.48 | 1.234s | 0.460s |
| locks/test_locks_15.BUG.c | unsafe | 2.68 | 1.49 | 1.253s | 0.507s |
| locks/test_locks_11.c | safe | 2.49 | 1.40 | 1.104s | 0.330s |
| locks/test_locks_12.c | safe | 2.44 | 1.50 | 1.246s | 0.432s |
| locks/test_locks_13.c | safe | 2.63 | 1.45 | 1.192s | 0.427s |
| locks/test_locks_14.c | safe | 2.64 | 1.49 | 1.212s | 0.442s |
| locks/test_locks_15.c | safe | 2.83 | 1.53 | 1.248s | 0.501s |
| locks/test_locks_5.c | safe | 1.76 | 1.04 | 0.783s | 0.133s |
| locks/test_locks_6.c | safe | 1.86 | 1.04 | 0.755s | 0.132s |
| locks/test_locks_7.c | safe | 2.00 | 1.13 | 0.885s | 0.201s |
| locks/test_locks_8.c | safe | 1.97 | 1.15 | 0.891s | 0.237s |
| locks/test_locks_9.c | safe | 2.05 | 1.14 | 0.850s | 0.220s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | unsafe | 2.64 | 1.30 | 1.018s | 0.195s |
| heap-manipulation/dll_of_dll_BUG.cil.c | unknown | 1.84 | 1.00 | 0.750s | 0.113s |
| heap-manipulation/merge_sort_BUG.cil.c | unsafe | 2.18 | 1.11 | 0.847s | 0.153s |
| heap-manipulation/bubble_sort_linux.cil.c | unsafe | 2.88 | 1.61 | 1.345s | 0.271s |
| heap-manipulation/dll_of_dll.cil.c | unknown | 2.20 | 1.17 | 0.898s | 0.129s |
| heap-manipulation/merge_sort.cil.c | safe | 1.94 | 1.08 | 0.834s | 0.100s |
| heap-manipulation/sll_to_dll_rev.cil.c | unknown | 13.92 | 12.08 | 11.835s | 9.255s |
| list-properties/alternating_list.cil.c | safe | 2.09 | 1.13 | 0.868s | 0.175s |
| list-properties/list.cil.c | safe | 2.07 | 1.09 | 0.815s | 0.202s |
| list-properties/list_flag.cil.c | safe | 2.15 | 1.18 | 0.855s | 0.187s |
| list-properties/simple.cil.c | unsafe | 2.03 | 1.11 | 0.866s | 0.187s |
| list-properties/simple_built_from_end.cil.c | unsafe | 2.09 | 1.26 | 0.995s | 0.220s |
| list-properties/splice.cil.c | unsafe | 3.67 | 2.25 | 1.987s | 0.778s |
| systemc/token_ring.01.BUG.cil.c | unsafe | 3.28 | 2.02 | 1.733s | 0.651s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 5.26 | 2.63 | 2.358s | 1.178s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 7.04 | 3.72 | 3.442s | 1.870s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 2.39 | 1.31 | 1.067s | 0.318s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 3.65 | 2.07 | 1.810s | 0.795s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 4.64 | 2.44 | 2.174s | 0.890s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 5.70 | 2.87 | 2.617s | 1.104s |
| systemc/bist_cell.cil.c | safe | 19.70 | 16.22 | 15.926s | 13.932s |
| systemc/kundu.cil.c | safe | 68.14 | 61.09 | 60.697s | 56.594s |
| systemc/mem_slave_tlm.1.cil.c | exception | 35.81 | 30.29 | - | - |
| systemc/mem_slave_tlm.2.cil.c | safe | 68.25 | 63.33 | 63.016s | 60.735s |
| systemc/pc_sfifo_1.cil.c | safe | 5.86 | 3.22 | 2.968s | 1.568s |
| systemc/pc_sfifo_2.cil.c | safe | 9.53 | 5.77 | 5.495s | 3.346s |
| systemc/pc_sfifo_3.cil.c | safe | 8.16 | 4.17 | 3.883s | 2.232s |
| systemc/token_ring.01.cil.c | safe | 9.52 | 5.56 | 5.273s | 3.025s |
| systemc/token_ring.04.cil.c | safe | 65.86 | 61.00 | 60.696s | 57.940s |
| systemc/toy.cil.c | safe | 68.02 | 60.92 | 60.611s | 56.040s |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.62 | 0.94 | 0.646s | 0.029s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.56 | 0.91 | 0.631s | 0.058s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.71 | 0.87 | 0.612s | 0.017s |
| ldv-regression/fo_test.c-unsafe.cil.c | unknown | 1.30 | 0.71 | - | - |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | unsafe | 1.66 | 0.94 | 0.677s | 0.017s |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.57 | 0.92 | 0.666s | 0.019s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.71 | 0.94 | 0.674s | 0.050s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.49 | 0.85 | 0.608s | 0.034s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 2.30 | 1.22 | 0.965s | 0.223s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.62 | 1.46 | 1.175s | 0.459s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.64 | 0.93 | 0.673s | 0.045s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.61 | 0.93 | 0.632s | 0.042s |
| ldv-regression/alias_of_return.c-safe.cil.c | safe | 1.51 | 0.84 | 0.598s | 0.030s |
| ldv-regression/alias_of_return.c-safe_1.cil.c | safe | 1.58 | 0.89 | 0.606s | 0.018s |
| ldv-regression/alias_of_return_2.c-safe.cil.c | safe | 1.50 | 0.85 | 0.572s | 0.036s |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | safe | 1.67 | 0.88 | 0.637s | 0.020s |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 2.39 | 1.27 | 1.016s | 0.257s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.55 | 0.83 | 0.594s | 0.009s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | unsafe | 1.62 | 0.92 | 0.656s | 0.022s |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.71 | 0.97 | 0.666s | 0.023s |
| ldv-regression/nested_structure-safe.cil.c | unsafe | 1.77 | 0.96 | 0.705s | 0.065s |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.65 | 0.89 | 0.638s | 0.025s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.72 | 0.91 | 0.639s | 0.015s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.43 | 0.86 | 0.545s | 0.018s |
| ldv-regression/nested_structure_ptr-safe.cil.c | unsafe | 1.93 | 1.06 | 0.795s | 0.109s |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.58 | 0.90 | 0.640s | 0.027s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.77 | 0.92 | 0.661s | 0.031s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.63 | 0.94 | 0.692s | 0.038s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.73 | 0.97 | 0.736s | 0.062s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.71 | 0.96 | 0.723s | 0.026s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 2.30 | 1.23 | 0.963s | 0.239s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.61 | 0.89 | 0.637s | 0.025s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.66 | 0.95 | 0.678s | 0.018s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.74 | 0.98 | 0.677s | 0.025s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.73 | 0.91 | 0.635s | 0.024s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.50 | 0.88 | 0.604s | 0.036s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.54 | 0.87 | 0.626s | 0.032s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.65 | 0.90 | 0.654s | 0.031s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.48 | 0.82 | 0.579s | 0.018s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.66 | 0.90 | 0.624s | 0.016s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.53 | 0.83 | 0.601s | 0.016s |
| ldv-regression/test_union_cast-2-safe.cil.c | safe | 1.55 | 0.81 | 0.574s | 0.028s |
| ldv-regression/test_union_cast.c-safe.cil.c | unsafe | 1.68 | 0.93 | 0.672s | 0.021s |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.70 | 0.91 | 0.638s | 0.020s |
| ldv-regression/volatile_alias.c-safe.cil.c | safe | 1.64 | 0.90 | 0.656s | 0.032s |
| ldv-regression/volatile_alias.c-safe_1.cil.c | safe | 1.58 | 0.82 | 0.563s | 0.017s |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 4.29 | 2.23 | 1.980s | 0.432s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 4.21 | 2.16 | 1.908s | 0.405s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 4.17 | 2.21 | 1.941s | 0.460s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 4.08 | 1.98 | 1.677s | 0.479s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 4.12 | 2.08 | 1.784s | 0.438s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 4.15 | 2.09 | 1.795s | 0.393s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 4.09 | 2.02 | 1.740s | 0.453s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 3.94 | 1.91 | 1.633s | 0.376s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 3.96 | 1.97 | 1.688s | 0.406s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 3.99 | 1.99 | 1.714s | 0.469s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 4.00 | 1.90 | 1.627s | 0.418s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 4.25 | 2.15 | 1.851s | 0.480s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 4.10 | 1.98 | 1.710s | 0.410s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 16.01 | 6.56 | 6.261s | 0.490s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.10 | 6.16 | 5.855s | 2.217s |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 17.09 | 8.76 | 8.339s | 4.148s |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 14.26 | 5.33 | 5.053s | 0.618s |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 20.31 | 10.45 | 10.099s | 3.372s |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 10.98 | 4.91 | 4.619s | 1.871s |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | unsafe | 20.33 | 11.48 | 11.078s | 4.823s |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 9.28 | 3.86 | 3.583s | 0.262s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 23.23 | 8.97 | 8.669s | 1.299s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 13.70 | 7.60 | 7.237s | 3.263s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 46.44 | 30.48 | 30.091s | 10.558s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 7.34 | 3.44 | 3.154s | 0.705s |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 18.45 | 10.95 | 10.621s | 4.792s |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 5.97 | 2.78 | 2.504s | 0.886s |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | safe | 19.54 | 10.51 | 10.115s | 7.736s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | safe | 17.77 | 8.08 | 7.728s | 1.432s |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | safe | 41.25 | 23.37 | 22.824s | 14.396s |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 11.82 | 6.33 | 6.007s | 3.823s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | safe | 14.83 | 8.29 | 7.857s | 4.807s |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | safe | 21.75 | 9.64 | 9.298s | 1.188s |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | unknown | 4.54 | 2.21 | 1.946s | 0.762s |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | safe | 8.32 | 3.73 | 3.431s | 1.431s |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | safe | 23.36 | 11.82 | 11.437s | 8.016s |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 5.54 | 2.67 | 2.370s | 0.796s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | safe | 16.62 | 8.01 | 7.638s | 5.164s |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | unknown | 91.34 | 63.91 | 63.406s | 59.965s |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | safe | 24.69 | 12.03 | 11.673s | 8.144s |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 9.34 | 4.70 | 4.416s | 2.143s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | safe | 6.27 | 2.89 | 2.618s | 1.079s |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | safe | 8.68 | 3.75 | 3.450s | 1.584s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | safe | 5.31 | 2.80 | 2.524s | 0.880s |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | safe | 19.94 | 9.02 | 8.658s | 4.830s |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 4.86 | 2.31 | 2.048s | 0.578s |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | safe | 25.76 | 15.62 | 15.267s | 6.219s |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 4.02 | 1.99 | 1.691s | 0.226s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | safe | 15.03 | 7.17 | 6.776s | 3.904s |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | safe | 7.90 | 3.78 | 3.428s | 1.477s |