| pthread/fib_bench_BUG.cil.c | unknown | 1.40 | 0.78 | 0.553s | 0.023s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.56 | 0.84 | 0.611s | 0.024s |
| pthread/queue_BUG.cil.c | exception | 1.64 | 0.93 | - | - |
| pthread/reorder_5_BUG.cil.c | exception | 1.86 | 0.93 | - | - |
| pthread/twostage_3_BUG.cil.c | exception | 1.77 | 0.94 | - | - |
| pthread/fib_bench.cil.c | unknown | 1.59 | 0.84 | 0.585s | 0.026s |
| pthread/fib_bench_longer.cil.c | unknown | 1.76 | 0.98 | 0.716s | 0.029s |
| pthread/queue_ok.cil.c | exception | 1.50 | 0.83 | - | - |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 16.89 | 10.78 | 10.451s | 7.631s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 8.00 | 4.19 | 3.847s | 2.063s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 10.66 | 5.69 | 5.363s | 2.875s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 5.45 | 2.73 | 2.322s | 1.110s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 13.94 | 7.57 | 7.181s | 4.759s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 10.80 | 6.27 | 5.925s | 3.883s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 10.17 | 5.23 | 4.905s | 3.050s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 12.20 | 6.71 | 6.354s | 4.078s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 2.99 | 1.72 | 1.394s | 0.495s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 4.72 | 2.44 | 2.105s | 0.951s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 14.92 | 7.73 | 7.340s | 4.231s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 11.46 | 5.93 | 5.550s | 2.838s |
| ntdrivers/floppy.BUG.i.cil.c | exception | 8.29 | 4.01 | - | - |
| ntdrivers/kbfiltr.BUG.i.cil.c | exception | 2.82 | 1.50 | - | - |
| ntdrivers/parport.BUG.i.cil.c | exception | 7.38 | 3.41 | - | - |
| ntdrivers/cdaudio.i.cil.c | safe | 18.09 | 10.47 | 10.098s | 6.219s |
| ntdrivers/diskperf.i.cil.c | safe | 11.96 | 6.51 | 6.183s | 3.547s |
| ntdrivers/floppy.i.cil.c | exception | 7.62 | 3.28 | - | - |
| ntdrivers/parport.i.cil.c | exception | 6.65 | 3.04 | - | - |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 5.58 | 3.30 | 2.963s | 1.804s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 5.43 | 2.98 | 2.687s | 1.422s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 5.46 | 2.97 | 2.687s | 1.369s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.26 | 2.34 | 2.047s | 1.010s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 17.71 | 13.37 | 13.027s | 10.123s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 60.07 | 53.60 | 53.142s | 48.206s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | timeout | 119.58 | 115.43 | - | - |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 18.07 | 13.55 | 13.161s | 10.421s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 4.16 | 2.25 | 1.967s | 0.880s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 4.66 | 2.57 | 2.286s | 1.168s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.09 | 1.07 | 0.830s | 0.054s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 10.10 | 6.81 | 6.525s | 4.463s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 8.43 | 5.19 | 4.849s | 2.933s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 7.69 | 4.26 | 3.985s | 2.446s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 11.67 | 8.04 | 7.770s | 4.906s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 4.54 | 2.29 | 2.012s | 1.357s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 2.00 | 1.08 | 0.825s | 0.241s |
| ssh-simplified/s3_srvr_1.cil.c | out of memory | 66.78 | 62.09 | - | - |
| ssh-simplified/s3_srvr_3.cil.c | safe | 24.28 | 19.24 | 18.792s | 13.706s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 10.18 | 6.12 | 5.796s | 4.422s |
| ssh-simplified/s3_srvr_6.cil.c | timeout | 119.62 | 115.74 | - | - |
| ssh-simplified/s3_srvr_7.cil.c | unknown | 68.04 | 64.95 | 64.627s | 63.445s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 16.69 | 12.26 | 11.911s | 8.864s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | exception | 1.98 | 1.06 | - | - |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | exception | 1.97 | 1.07 | - | - |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | exception | 1.99 | 1.06 | - | - |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | exception | 1.94 | 1.05 | - | - |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 5.36 | 2.56 | 2.291s | 1.156s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 4.56 | 2.46 | 2.202s | 1.061s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 4.65 | 2.52 | 2.225s | 1.126s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 4.56 | 2.27 | 2.016s | 0.906s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 5.77 | 3.05 | 2.786s | 1.288s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unknown | 68.77 | 64.31 | 63.971s | 62.505s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 24.76 | 19.88 | 19.440s | 17.350s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 36.78 | 31.10 | 30.668s | 27.769s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 4.97 | 2.59 | 2.325s | 1.087s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 11.34 | 7.17 | 6.866s | 5.342s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 29.67 | 23.93 | 23.512s | 21.305s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 6.83 | 3.46 | 3.175s | 1.815s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 18.79 | 14.14 | 13.759s | 11.636s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 6.18 | 3.53 | 3.275s | 1.761s |
| ssh/s3_clnt.blast.01.i.cil.c | exception | 1.94 | 1.05 | - | - |
| ssh/s3_clnt.blast.03.i.cil.c | exception | 1.94 | 1.06 | - | - |
| ssh/s3_clnt.blast.04.i.cil.c | exception | 2.02 | 1.08 | - | - |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 31.63 | 26.81 | 26.451s | 22.481s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 26.27 | 20.78 | 20.343s | 15.391s |
| ssh/s3_srvr.blast.07.i.cil.c | unknown | 67.62 | 63.88 | 63.583s | 61.983s |
| ssh/s3_srvr.blast.08.i.cil.c | safe | 27.31 | 21.76 | 21.316s | 17.405s |
| ssh/s3_srvr.blast.09.i.cil.c | unknown | 66.51 | 61.53 | 61.064s | 58.894s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 11.60 | 7.41 | 7.026s | 5.180s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 14.30 | 9.51 | 9.065s | 7.042s |
| ssh/s3_srvr.blast.13.i.cil.c | unknown | 66.30 | 62.22 | 61.898s | 60.146s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 38.52 | 32.64 | 32.199s | 25.389s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 17.17 | 11.88 | 11.476s | 5.964s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 46.57 | 41.28 | 40.805s | 28.075s |
| locks/test_locks_14.BUG.c | unsafe | 2.50 | 1.45 | 1.163s | 0.406s |
| locks/test_locks_15.BUG.c | unsafe | 2.75 | 1.48 | 1.183s | 0.450s |
| locks/test_locks_11.c | safe | 2.32 | 1.26 | 0.969s | 0.311s |
| locks/test_locks_12.c | safe | 2.35 | 1.27 | 1.008s | 0.334s |
| locks/test_locks_13.c | safe | 2.56 | 1.48 | 1.211s | 0.416s |
| locks/test_locks_14.c | safe | 2.62 | 1.49 | 1.223s | 0.455s |
| locks/test_locks_15.c | safe | 2.83 | 1.58 | 1.325s | 0.498s |
| locks/test_locks_5.c | safe | 1.83 | 0.99 | 0.733s | 0.099s |
| locks/test_locks_6.c | safe | 1.82 | 1.06 | 0.799s | 0.135s |
| locks/test_locks_7.c | safe | 1.86 | 1.11 | 0.868s | 0.180s |
| locks/test_locks_8.c | safe | 2.12 | 1.24 | 0.984s | 0.224s |
| locks/test_locks_9.c | safe | 1.96 | 1.10 | 0.839s | 0.226s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | exception | 2.01 | 1.07 | - | - |
| heap-manipulation/dll_of_dll_BUG.cil.c | exception | 1.93 | 1.07 | - | - |
| heap-manipulation/merge_sort_BUG.cil.c | exception | 1.90 | 1.00 | - | - |
| heap-manipulation/bubble_sort_linux.cil.c | exception | 1.95 | 1.02 | - | - |
| heap-manipulation/dll_of_dll.cil.c | exception | 1.96 | 1.03 | - | - |
| heap-manipulation/merge_sort.cil.c | exception | 1.95 | 1.05 | - | - |
| heap-manipulation/sll_to_dll_rev.cil.c | exception | 1.78 | 0.96 | - | - |
| list-properties/alternating_list.cil.c | exception | 1.89 | 1.05 | - | - |
| list-properties/list.cil.c | exception | 1.88 | 2.69 | - | - |
| list-properties/list_flag.cil.c | exception | 1.82 | 2.73 | - | - |
| list-properties/simple.cil.c | exception | 1.68 | 1.81 | - | - |
| list-properties/simple_built_from_end.cil.c | exception | 1.78 | 3.47 | - | - |
| list-properties/splice.cil.c | exception | 1.81 | 1.66 | - | - |
| systemc/token_ring.01.BUG.cil.c | unsafe | 3.11 | 3.34 | 3.064s | 0.520s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 5.69 | 4.35 | 4.011s | 1.223s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 7.68 | 4.85 | 4.481s | 2.262s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 2.74 | 1.56 | 1.268s | 0.357s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 3.84 | 2.10 | 1.837s | 0.751s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 4.79 | 3.33 | 3.062s | 0.852s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 5.43 | 4.38 | 4.116s | 0.984s |
| systemc/bist_cell.cil.c | safe | 18.46 | 16.38 | 16.083s | 12.990s |
| systemc/kundu.cil.c | safe | 67.45 | 62.25 | 61.851s | 57.652s |
| systemc/mem_slave_tlm.1.cil.c | exception | 45.93 | 40.31 | - | - |
| systemc/mem_slave_tlm.2.cil.c | safe | 71.20 | 65.83 | 65.492s | 63.111s |
| systemc/pc_sfifo_1.cil.c | safe | 6.41 | 3.42 | 3.131s | 1.634s |
| systemc/pc_sfifo_2.cil.c | safe | 10.06 | 6.16 | 5.838s | 3.700s |
| systemc/pc_sfifo_3.cil.c | safe | 8.31 | 4.46 | 4.101s | 2.342s |
| systemc/token_ring.01.cil.c | safe | 9.92 | 5.68 | 5.410s | 3.126s |
| systemc/token_ring.04.cil.c | safe | 66.56 | 61.01 | 60.682s | 57.142s |
| systemc/toy.cil.c | exception | 43.45 | 36.86 | - | - |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.74 | 0.91 | 0.662s | 0.033s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.70 | 0.96 | 0.694s | 0.055s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.72 | 0.93 | 0.650s | 0.024s |
| ldv-regression/fo_test.c-unsafe.cil.c | unknown | 1.07 | 0.61 | - | - |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | exception | 1.50 | 0.79 | - | - |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.67 | 0.88 | 0.626s | 0.020s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.66 | 0.94 | 0.664s | 0.043s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.67 | 0.94 | 0.706s | 0.041s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 2.28 | 1.25 | 0.973s | 0.232s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.51 | 1.43 | 1.187s | 0.492s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.64 | 0.90 | 0.622s | 0.045s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.57 | 0.92 | 0.658s | 0.037s |
| ldv-regression/alias_of_return.c-safe.cil.c | exception | 1.69 | 0.95 | - | - |
| ldv-regression/alias_of_return.c-safe_1.cil.c | exception | 1.66 | 0.94 | - | - |
| ldv-regression/alias_of_return_2.c-safe.cil.c | exception | 1.86 | 1.01 | - | - |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | exception | 1.64 | 0.88 | - | - |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 2.30 | 1.30 | 1.015s | 0.221s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.55 | 0.87 | 0.620s | 0.015s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | exception | 1.54 | 0.87 | - | - |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.66 | 0.94 | 0.670s | 0.018s |
| ldv-regression/nested_structure-safe.cil.c | exception | 1.62 | 0.91 | - | - |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.54 | 0.84 | 0.600s | 0.021s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.45 | 0.82 | 0.546s | 0.015s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.55 | 0.87 | 0.623s | 0.021s |
| ldv-regression/nested_structure_ptr-safe.cil.c | exception | 1.57 | 0.84 | - | - |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.71 | 0.94 | 0.687s | 0.027s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.74 | 0.94 | 0.670s | 0.035s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.77 | 1.00 | 0.709s | 0.038s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.82 | 1.05 | 0.760s | 0.048s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.59 | 0.87 | 0.585s | 0.022s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 2.24 | 1.31 | 1.033s | 0.259s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.66 | 0.91 | 0.654s | 0.031s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.74 | 0.93 | 0.653s | 0.022s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.75 | 0.93 | 0.661s | 0.023s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.82 | 1.05 | 0.730s | 0.027s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.63 | 0.92 | 0.637s | 0.046s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.69 | 1.03 | 0.721s | 0.032s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.72 | 1.03 | 0.674s | 0.035s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.85 | 1.00 | 0.690s | 0.022s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.82 | 0.97 | 0.707s | 0.017s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.61 | 0.90 | 0.612s | 0.020s |
| ldv-regression/test_union_cast-2-safe.cil.c | exception | 1.82 | 1.00 | - | - |
| ldv-regression/test_union_cast.c-safe.cil.c | exception | 1.48 | 0.84 | - | - |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.48 | 0.84 | 0.595s | 0.019s |
| ldv-regression/volatile_alias.c-safe.cil.c | exception | 1.64 | 0.93 | - | - |
| ldv-regression/volatile_alias.c-safe_1.cil.c | exception | 1.52 | 0.78 | - | - |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 4.34 | 2.29 | 2.020s | 0.412s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 4.10 | 2.12 | 1.836s | 0.403s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 3.96 | 2.07 | 1.815s | 0.401s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 3.95 | 1.91 | 1.621s | 0.427s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 4.11 | 2.05 | 1.787s | 0.516s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 4.05 | 2.02 | 1.708s | 0.423s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 3.82 | 1.95 | 1.639s | 0.395s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 4.00 | 2.00 | 1.676s | 0.419s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 3.82 | 1.98 | 1.723s | 0.518s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 3.77 | 1.88 | 1.624s | 0.437s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 3.64 | 1.75 | 1.501s | 0.427s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 3.74 | 1.94 | 1.601s | 0.381s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 3.88 | 1.87 | 1.602s | 0.445s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 16.51 | 7.09 | 6.783s | 0.506s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | exception | 5.21 | 2.46 | - | - |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | exception | 7.21 | 2.92 | - | - |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | exception | 14.76 | 5.49 | - | - |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | exception | 10.41 | 3.96 | - | - |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | exception | 7.18 | 3.02 | - | - |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | exception | 9.08 | 3.82 | - | - |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 9.04 | 3.72 | 3.439s | 0.270s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 17.10 | 7.10 | 6.788s | 1.449s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.56 | 6.69 | 6.380s | 3.099s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 42.37 | 26.56 | 26.185s | 11.268s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | exception | 5.56 | 2.59 | - | - |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | exception | 8.53 | 4.03 | - | - |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | exception | 3.77 | 1.89 | - | - |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | exception | 6.28 | 2.51 | - | - |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | exception | 14.35 | 6.02 | - | - |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | exception | 4.56 | 2.08 | - | - |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 11.12 | 5.41 | 5.099s | 3.138s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | exception | 5.01 | 2.54 | - | - |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | exception | 15.05 | 7.05 | - | - |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | exception | 3.57 | 1.71 | - | - |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | exception | 5.64 | 2.56 | - | - |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | exception | 7.40 | 3.28 | - | - |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 4.59 | 2.22 | 1.955s | 0.671s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | exception | 6.34 | 2.51 | - | - |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | exception | 14.15 | 5.03 | - | - |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | exception | 8.95 | 3.70 | - | - |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 8.93 | 4.53 | 4.241s | 1.995s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | exception | 4.75 | 2.22 | - | - |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | safe | 9.14 | 4.01 | 3.693s | 1.458s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | exception | 4.06 | 1.92 | - | - |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | exception | 12.18 | 4.59 | - | - |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | exception | 3.96 | 1.88 | - | - |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | exception | 5.23 | 2.52 | - | - |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 3.95 | 1.99 | 1.680s | 0.187s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | exception | 8.53 | 3.44 | - | - |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | exception | 4.70 | 2.20 | - | - |