Tool CPAchecker 1.1-svn
Limits timelimit: 1020 s, memlimit: 15000 MB
Host cs-sel-05 cs-sel-06 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 12-09-21 02:54 12-09-24 02:45
Test CPA-PRED CPA-EXPLitp CPA-EXPL-PRED CPA-EXPLitp-PRED
Options -heap 12500M
-noout
-predicateAnalysis-PredAbsRefiner-ABElf-cbmc		 -heap 12500M
-noout
-explicitAnalysis-ItpRefiner
-setprop cpa.explicit.precision.refinement.useScopedInterpolation=true		 -heap 12500M
-noout
-predicateAnalysis-PredAbsRefiner-ABElf-cbmc
-setprop CompositeCPA.cpas=cpa.location.LocationCPA,cpa.callstack.CallstackCPA,cpa.explicit.ExplicitCPA,cpa.predicate.PredicateCPA,cpa.conditions.global.GlobalConditionsCPA		 -heap 12500M
-noout
-explicitAnalysis-ItpRefiner-ABElf
-setprop CompositeCPA.cpas=cpa.location.LocationCPA,cpa.callstack.CallstackCPA,cpa.explicit.ExplicitCPA,cpa.predicate.PredicateCPA,cpa.conditions.global.GlobalConditionsCPA,cpa.conditions.path.PathConditionsCPA
-setprop cpa.conditions.path.condition=AssignmentsInPathCondition
-setprop cpa.explicit.precision.path.defaultThreshold=22
-setprop cpa.explicit.precision.refinement.useScopedInterpolation=true
test/programs/benchmarks/ status cputime status cputime status cputime status cputime
ntdrivers-simplified/cdaudio_simpl1_unsafe.cil.c unsafe 12.18 unsafe 11.80 unsafe 4.56 unsafe 19.27
ntdrivers-simplified/floppy_simpl3_unsafe.cil.c unsafe 8.67 unsafe 6.08 unsafe 2.72 unsafe 8.38
ntdrivers-simplified/floppy_simpl4_unsafe.cil.c unsafe 12.70 unsafe 6.78 unsafe 3.40 unsafe 9.70
ntdrivers-simplified/kbfiltr_simpl2_unsafe.cil.c unsafe 4.36 unsafe 5.19 unsafe 3.06 unsafe 6.32
ntdrivers-simplified/cdaudio_simpl1_safe.cil.c safe 21.92 safe 11.92 safe 5.14 safe 19.29
ntdrivers-simplified/diskperf_simpl1_safe.cil.c safe 22.87 safe 8.81 unknown 985.06 safe 13.62
ntdrivers-simplified/floppy_simpl3_safe.cil.c safe 10.51 safe 7.08 safe 4.01 safe 10.11
ntdrivers-simplified/floppy_simpl4_safe.cil.c safe 14.72 safe 8.80 safe 4.66 safe 12.43
ntdrivers-simplified/kbfiltr_simpl1_safe.cil.c safe 2.98 safe 3.54 safe 2.42 safe 4.12
ntdrivers-simplified/kbfiltr_simpl2_safe.cil.c safe 4.92 safe 4.09 safe 3.27 safe 4.91
ntdrivers/cdaudio_unsafe.i.cil.c unsafe 22.49 unsafe 11.23 unsafe 5.63 unsafe 16.87
ntdrivers/diskperf_unsafe.i.cil.c unsafe 6.76 unsafe 9.60 unsafe 3.46 unsafe 11.80
ntdrivers/floppy_unsafe.i.cil.c unsafe 57.35 unsafe 54.76 unsafe 49.14 unsafe 58.74
ntdrivers/kbfiltr_unsafe.i.cil.c unknown 146.04 unknown 142.12 unknown 139.11 unknown 142.26
ntdrivers/parport_unsafe.i.cil.c unsafe 9.16 unsafe 23.70 unsafe 4.22 unsafe 74.79
ntdrivers/cdaudio_safe.i.cil.c safe 41.56 safe 13.12 safe 6.62 safe 21.57
ntdrivers/diskperf_safe.i.cil.c safe 24.39 safe 12.76 timeout 1017.23 safe 17.00
ntdrivers/floppy_safe.i.cil.c safe 51.00 unknown 98.19 safe 10.11 safe 18.79
ntdrivers/parport_safe.i.cil.c out of native memory 463.26 unknown 922.13 timeout 1016.85 timeout 1016.84
ssh-simplified/s3_clnt_1_unsafe.cil.c unsafe 7.29 unknown 4.08 unsafe 3.95 unsafe 5.75
ssh-simplified/s3_clnt_2_unsafe.cil.c unsafe 5.65 unknown 4.12 unsafe 3.78 unsafe 6.58
ssh-simplified/s3_clnt_3_unsafe.cil.c unsafe 6.31 unknown 4.18 unsafe 4.13 unsafe 5.72
ssh-simplified/s3_clnt_4_unsafe.cil.c unsafe 5.78 unknown 4.10 unsafe 3.78 unsafe 5.43
ssh-simplified/s3_srvr_10_unsafe.cil.c unsafe 2.17 unsafe 2.31 unsafe 1.62 unsafe 2.31
ssh-simplified/s3_srvr_11_unsafe.cil.c unsafe 17.81 unsafe 3.67 unsafe 3.29 unsafe 6.09
ssh-simplified/s3_srvr_12_unsafe.cil.c unsafe 16.51 unsafe 3.66 unsafe 3.26 unsafe 4.94
ssh-simplified/s3_srvr_13_unsafe.cil.c unsafe 6.91 unsafe 2.78 unsafe 2.18 unsafe 3.55
ssh-simplified/s3_srvr_14_unsafe.cil.c unsafe 3.40 unsafe 3.33 unsafe 1.82 unsafe 4.29
ssh-simplified/s3_srvr_1_unsafe.cil.c unsafe 4.56 unsafe 2.28 unsafe 2.03 unsafe 2.92
ssh-simplified/s3_srvr_2_unsafe.cil.c unsafe 4.47 unsafe 2.42 unsafe 2.02 unsafe 2.82
ssh-simplified/s3_srvr_6_unsafe.cil.c unsafe 1.64 unsafe 1.68 unsafe 1.61 unsafe 1.83
ssh-simplified/s3_clnt_1_safe.cil.c safe 35.29 safe 4.12 safe 12.43 safe 6.32
ssh-simplified/s3_clnt_2_safe.cil.c safe 8.36 safe 4.34 safe 13.74 safe 6.66
ssh-simplified/s3_clnt_3_safe.cil.c safe 15.05 safe 4.16 safe 14.18 safe 6.88
ssh-simplified/s3_clnt_4_safe.cil.c safe 8.62 safe 4.25 safe 13.54 safe 6.52
ssh-simplified/s3_srvr_1_safe.cil.c safe 32.04 safe 4.38 safe 5.93 safe 6.74
ssh-simplified/s3_srvr_1a_safe.cil.c safe 3.08 safe 1.75 safe 1.46 safe 2.02
ssh-simplified/s3_srvr_1b_safe.cil.c safe 1.31 safe 1.38 safe 1.23 safe 1.46
ssh-simplified/s3_srvr_2_safe.cil.c safe 7.62 safe 4.02 safe 5.69 safe 5.88
ssh-simplified/s3_srvr_3_safe.cil.c safe 12.57 unknown 3.97 safe 6.77 safe 6.81
ssh-simplified/s3_srvr_4_safe.cil.c safe 26.17 unknown 3.97 safe 6.84 safe 6.10
ssh-simplified/s3_srvr_6_safe.cil.c safe 17.64 safe 7.06 safe 615.55 safe 12.28
ssh-simplified/s3_srvr_7_safe.cil.c safe 46.95 safe 4.72 safe 142.42 safe 7.41
ssh-simplified/s3_srvr_8_safe.cil.c safe 9.76 safe 5.02 safe 6.10 safe 8.24
ssh/s3_clnt.blast.01_unsafe.i.cil.c unsafe 55.99 unsafe 4.50 unsafe 5.20 unsafe 6.96
ssh/s3_clnt.blast.02_unsafe.i.cil.c unsafe 16.75 unsafe 4.81 unsafe 5.34 unsafe 6.18
ssh/s3_clnt.blast.03_unsafe.i.cil.c unsafe 15.53 unsafe 4.54 unsafe 5.32 unsafe 6.19
ssh/s3_clnt.blast.04_unsafe.i.cil.c unsafe 19.32 unsafe 4.68 unsafe 5.32 unsafe 6.14
ssh/s3_srvr.blast.01_unsafe.i.cil.c unsafe 17.15 unsafe 3.85 unsafe 5.64 unsafe 4.37
ssh/s3_srvr.blast.02_unsafe.i.cil.c unsafe 30.48 unsafe 3.74 unsafe 5.26 unsafe 4.24
ssh/s3_srvr.blast.03_unsafe.i.cil.c unsafe 48.75 unsafe 3.79 unsafe 5.14 unsafe 4.24
ssh/s3_srvr.blast.04_unsafe.i.cil.c unsafe 27.30 unsafe 3.76 unsafe 5.14 unsafe 4.22
ssh/s3_srvr.blast.06_unsafe.i.cil.c unsafe 11.54 unsafe 5.58 unsafe 7.29 unsafe 7.76
ssh/s3_srvr.blast.07_unsafe.i.cil.c unsafe 544.07 unsafe 4.73 unsafe 7.02 unsafe 7.82
ssh/s3_srvr.blast.08_unsafe.i.cil.c timeout 1016.88 unsafe 7.76 unsafe 11.00 unsafe 10.34
ssh/s3_srvr.blast.09_unsafe.i.cil.c timeout 1016.69 unsafe 4.74 unsafe 7.02 unsafe 7.74
ssh/s3_srvr.blast.10_unsafe.i.cil.c timeout 1017.01 unsafe 7.67 unsafe 10.60 unsafe 10.78
ssh/s3_srvr.blast.11_unsafe.i.cil.c unsafe 317.61 unsafe 4.30 unsafe 7.30 unsafe 5.93
ssh/s3_srvr.blast.12_unsafe.i.cil.c unsafe 12.04 unsafe 5.87 unsafe 7.10 unsafe 7.78
ssh/s3_srvr.blast.13_unsafe.i.cil.c unsafe 691.26 unsafe 4.74 unsafe 7.07 unsafe 7.64
ssh/s3_srvr.blast.14_unsafe.i.cil.c unsafe 11.63 unsafe 6.07 unsafe 7.01 unsafe 7.62
ssh/s3_srvr.blast.15_unsafe.i.cil.c timeout 1016.82 unsafe 7.75 unsafe 10.80 unsafe 10.14
ssh/s3_srvr.blast.16_unsafe.i.cil.c unsafe 11.86 unsafe 5.78 unsafe 7.04 unsafe 7.81
ssh/s3_clnt.blast.01_safe.i.cil.c timeout 1017.28 safe 6.64 safe 8.47 safe 9.77
ssh/s3_clnt.blast.02_safe.i.cil.c out of native memory 471.41 safe 7.53 safe 8.79 safe 11.48
ssh/s3_clnt.blast.03_safe.i.cil.c out of native memory 442.60 safe 7.56 safe 8.81 safe 11.17
ssh/s3_clnt.blast.04_safe.i.cil.c segmentation fault 705.19 safe 7.15 safe 8.76 safe 9.26
ssh/s3_srvr.blast.01_safe.i.cil.c timeout 1017.32 safe 7.07 safe 8.82 safe 9.68
ssh/s3_srvr.blast.02_safe.i.cil.c out of native memory 492.53 safe 6.02 safe 11.76 safe 8.10
ssh/s3_srvr.blast.06_safe.i.cil.c timeout 1018.22 safe 13.62 safe 80.12 safe 17.85
ssh/s3_srvr.blast.07_safe.i.cil.c segmentation fault 892.74 safe 9.34 safe 45.41 safe 13.31
ssh/s3_srvr.blast.08_safe.i.cil.c timeout 1017.62 safe 7.59 safe 11.92 safe 10.88
ssh/s3_srvr.blast.09_safe.i.cil.c timeout 1016.55 safe 9.29 safe 43.24 safe 13.37
ssh/s3_srvr.blast.10_safe.i.cil.c timeout 1016.93 safe 7.28 safe 11.98 safe 10.08
ssh/s3_srvr.blast.11_safe.i.cil.c timeout 1016.67 safe 8.65 safe 45.69 safe 12.76
ssh/s3_srvr.blast.12_safe.i.cil.c timeout 1016.96 safe 12.79 safe 79.32 safe 16.00
ssh/s3_srvr.blast.13_safe.i.cil.c timeout 1017.13 safe 10.22 safe 45.19 safe 13.10
ssh/s3_srvr.blast.14_safe.i.cil.c timeout 1017.22 safe 13.25 safe 81.75 safe 16.53
ssh/s3_srvr.blast.15_safe.i.cil.c segmentation fault 442.99 safe 8.24 safe 12.09 safe 11.12
ssh/s3_srvr.blast.16_safe.i.cil.c timeout 1016.80 safe 12.98 safe 77.56 safe 17.23
locks/test_locks_14_unsafe.c unsafe 1.53 unknown 934.06 unknown 930.17 unsafe 1.53
locks/test_locks_15_unsafe.c unsafe 1.58 unknown 932.98 unknown 925.30 unsafe 1.55
locks/test_locks_10_safe.c safe 1.29 safe 15.18 safe 14.29 safe 1.33
locks/test_locks_11_safe.c safe 1.28 safe 47.41 safe 43.33 safe 1.35
locks/test_locks_12_safe.c safe 1.38 safe 175.73 safe 146.95 safe 1.37
locks/test_locks_13_safe.c safe 1.35 unknown 960.91 safe 663.09 safe 1.38
locks/test_locks_14_safe.c safe 1.33 unknown 942.79 unknown 925.85 safe 1.39
locks/test_locks_15_safe.c safe 1.31 unknown 959.44 unknown 923.57 safe 1.41
locks/test_locks_5_safe.c safe 1.22 safe 2.53 safe 1.63 safe 1.25
locks/test_locks_6_safe.c safe 1.24 safe 3.24 safe 2.30 safe 1.26
locks/test_locks_7_safe.c safe 1.32 safe 4.38 safe 3.07 safe 1.30
locks/test_locks_8_safe.c safe 1.25 safe 4.70 safe 4.35 safe 1.34
locks/test_locks_9_safe.c safe 1.30 safe 7.04 safe 6.83 safe 1.34
heap-manipulation/bubble_sort_linux_unsafe.cil.c unsafe 2.77 unsafe 2.04 unsafe 2.83 unsafe 2.54
heap-manipulation/dll_of_dll_unsafe.cil.c unknown 1.38 unknown 1.37 unknown 1.46 unknown 1.42
heap-manipulation/merge_sort_unsafe.cil.c unsafe 3.34 unsafe 2.14 unsafe 3.03 unsafe 3.02
heap-manipulation/sll_to_dll_rev_unsafe.cil.c timeout 1017.41 unsafe 1.67 timeout 1017.34 timeout 1016.70
heap-manipulation/bubble_sort_linux_safe.cil.c unsafe 2.83 unsafe 2.03 unsafe 2.79 unsafe 2.54
heap-manipulation/dll_of_dll_safe.cil.c unknown 1.44 unknown 1.36 unknown 1.44 unknown 1.44
heap-manipulation/merge_sort_safe.cil.c safe 1.46 unknown 2.52 safe 1.47 safe 1.52
heap-manipulation/sll_to_dll_rev_safe.cil.c timeout 1017.41 unknown 3.50 timeout 1017.32 timeout 1017.08
list-properties/alternating_list_safe.cil.c safe 1.36 unknown 1.63 unknown 1.74 safe 1.42
list-properties/list_flag_safe.cil.c safe 1.35 unknown 1.33 safe 1.44 safe 1.51
list-properties/list_safe.cil.c safe 1.43 unknown 1.35 safe 1.46 safe 1.50
list-properties/simple_built_from_end_safe.cil.c unknown 1.38 unknown 1.35 unknown 1.40 unknown 1.48
list-properties/simple_safe.cil.c unknown 1.46 unknown 1.32 unknown 1.56 unknown 1.54
list-properties/splice_safe.cil.c unknown 6.16 unknown 2.18 unknown 5.85 unknown 8.44
systemc/kundu1_unsafe.cil.c unsafe 25.59 unsafe 5.40 unsafe 2.04 unsafe 8.72
systemc/kundu2_unsafe.cil.c timeout 1016.91 unsafe 5.70 unsafe 2.26 unsafe 8.37
systemc/pc_sfifo_1_unsafe.cil.c unsafe 1.36 unsafe 1.36 unsafe 1.32 unsafe 1.46
systemc/pc_sfifo_2_unsafe.cil.c unsafe 1.46 unsafe 2.48 unsafe 1.37 unsafe 2.86
systemc/pipeline_unsafe.cil.c timeout 1017.93 unknown 52.21 unsafe 18.47 unsafe 378.04
systemc/token_ring.01_unsafe.cil.c unsafe 4.57 unknown 3.35 unsafe 1.84 unsafe 3.64
systemc/token_ring.02_unsafe.cil.c unsafe 88.08 unknown 4.59 unsafe 2.43 unsafe 5.58
systemc/token_ring.03_unsafe.cil.c timeout 1017.06 unknown 6.27 unsafe 3.61 unsafe 7.11
systemc/token_ring.04_unsafe.cil.c timeout 1017.37 unknown 12.15 unsafe 7.58 unsafe 11.37
systemc/token_ring.05_unsafe.cil.c timeout 1016.86 unknown 59.67 unsafe 11.35 unsafe 19.74
systemc/token_ring.06_unsafe.cil.c timeout 1018.04 unknown 27.65 unsafe 18.68 unsafe 51.08
systemc/token_ring.07_unsafe.cil.c timeout 1016.93 timeout 1017.08 unsafe 37.24 unsafe 163.13
systemc/token_ring.08_unsafe.cil.c timeout 1017.27 timeout 1017.29 unsafe 116.48 unsafe 582.06
systemc/token_ring.09_unsafe.cil.c timeout 1017.55 timeout 1017.07 unsafe 329.92 timeout 1016.64
systemc/token_ring.10_unsafe.cil.c timeout 1017.69 timeout 1016.80 timeout 1017.15 timeout 1016.82
systemc/token_ring.11_unsafe.cil.c timeout 1017.28 timeout 1016.93 timeout 1017.33 timeout 1016.82
systemc/token_ring.12_unsafe.cil.c timeout 1017.19 timeout 1016.89 timeout 1017.28 timeout 1017.00
systemc/token_ring.13_unsafe.cil.c timeout 1017.02 unknown 943.48 timeout 1017.26 timeout 1017.14
systemc/token_ring.14_unsafe.cil.c timeout 1017.35 timeout 1017.00 timeout 1017.20 timeout 1016.93
systemc/token_ring.15_unsafe.cil.c timeout 1017.15 unknown 949.03 timeout 1017.49 timeout 1016.98
systemc/toy1_unsafe.cil.c unsafe 477.65 unsafe 49.62 unsafe 2.31 unsafe 72.86
systemc/toy2_unsafe.cil.c unsafe 220.25 unsafe 48.79 unsafe 2.18 unsafe 69.78
systemc/transmitter.01_unsafe.cil.c unsafe 2.09 unsafe 2.62 unsafe 1.50 unsafe 2.97
systemc/transmitter.02_unsafe.cil.c unsafe 6.69 unsafe 4.40 unsafe 1.92 unsafe 5.36
systemc/transmitter.03_unsafe.cil.c unsafe 92.15 unsafe 5.26 unsafe 2.26 unsafe 6.91
systemc/transmitter.04_unsafe.cil.c timeout 1016.42 unsafe 6.24 unsafe 3.12 unsafe 8.94
systemc/transmitter.05_unsafe.cil.c timeout 1017.77 unsafe 8.46 unsafe 5.81 unsafe 12.39
systemc/transmitter.06_unsafe.cil.c timeout 1016.92 unsafe 14.50 unsafe 7.52 unsafe 21.23
systemc/transmitter.07_unsafe.cil.c timeout 1017.38 unsafe 28.35 unsafe 12.55 unsafe 39.59
systemc/transmitter.08_unsafe.cil.c timeout 1017.51 unsafe 72.16 unsafe 27.12 unsafe 84.43
systemc/transmitter.09_unsafe.cil.c timeout 1017.24 unsafe 221.37 unsafe 96.33 unsafe 184.72
systemc/transmitter.10_unsafe.cil.c segmentation fault 994.75 unsafe 893.18 unsafe 273.91 unsafe 668.86
systemc/transmitter.11_unsafe.cil.c timeout 1017.11 timeout 1016.95 timeout 1017.15 timeout 1017.42
systemc/transmitter.12_unsafe.cil.c timeout 1018.15 timeout 1017.07 timeout 1017.19 timeout 1017.01
systemc/transmitter.13_unsafe.cil.c timeout 1017.86 timeout 1017.09 timeout 1017.16 timeout 1017.85
systemc/transmitter.15_unsafe.cil.c unsafe 2.41 unsafe 9.62 unsafe 1.99 unsafe 14.16
systemc/transmitter.16_unsafe.cil.c unsafe 2.47 unsafe 10.86 unsafe 1.98 unsafe 16.36
systemc/bist_cell_safe.cil.c safe 929.35 safe 6.31 safe 1.37 safe 9.01
systemc/kundu_safe.cil.c timeout 1016.66 safe 11.71 safe 7.91 safe 18.92
systemc/mem_slave_tlm.1_safe.cil.c timeout 1016.80 safe 4.79 safe 1.94 safe 5.77
systemc/mem_slave_tlm.2_safe.cil.c timeout 1016.73 safe 5.94 safe 2.08 safe 7.18
systemc/mem_slave_tlm.3_safe.cil.c timeout 1017.31 safe 7.29 safe 2.19 safe 9.05
systemc/mem_slave_tlm.4_safe.cil.c timeout 1016.98 safe 10.08 safe 2.35 safe 11.88
systemc/mem_slave_tlm.5_safe.cil.c timeout 1017.14 safe 13.48 safe 2.36 safe 16.10
systemc/pc_sfifo_1_safe.cil.c safe 6.18 unknown 913.33 unknown 1016.09 safe 7.44
systemc/pc_sfifo_2_safe.cil.c safe 17.13 unknown 913.50 timeout 1017.04 safe 24.34
systemc/pc_sfifo_3_safe.cil.c safe 5.36 safe 1.67 safe 1.66 safe 1.99
systemc/pipeline_safe.cil.c timeout 1017.41 unknown 48.95 safe 110.25 out of native memory 983.03
systemc/token_ring.01_safe.cil.c safe 13.11 unknown 3.46 safe 1.70 safe 5.08
systemc/token_ring.02_safe.cil.c timeout 1017.47 unknown 4.66 safe 2.32 safe 8.30
systemc/token_ring.03_safe.cil.c timeout 1017.92 unknown 6.24 safe 3.61 safe 12.98
systemc/token_ring.04_safe.cil.c timeout 1017.87 unknown 11.83 safe 7.55 safe 35.40
systemc/token_ring.05_safe.cil.c timeout 1017.12 unknown 60.90 safe 13.65 safe 122.67
systemc/token_ring.06_safe.cil.c timeout 1017.49 unknown 485.23 safe 26.92 safe 743.07
systemc/token_ring.07_safe.cil.c timeout 1016.56 timeout 1017.20 safe 94.25 timeout 1017.43
systemc/token_ring.08_safe.cil.c timeout 1017.25 timeout 1017.05 safe 255.62 timeout 1017.07
systemc/token_ring.09_safe.cil.c timeout 1017.57 timeout 1017.06 timeout 1017.41 timeout 1017.12
systemc/token_ring.10_safe.cil.c timeout 1017.50 timeout 1016.79 timeout 1017.27 timeout 1016.92
systemc/token_ring.11_safe.cil.c timeout 1017.22 timeout 1017.18 timeout 1017.07 timeout 1016.87
systemc/token_ring.12_safe.cil.c timeout 1016.65 timeout 1016.88 timeout 1017.28 timeout 1018.89
systemc/token_ring.13_safe.cil.c timeout 1016.76 unknown 954.45 timeout 1019.68 timeout 1016.92
systemc/toy_safe.cil.c timeout 1017.17 unknown 966.88 timeout 1017.28 safe 171.30
ldv-regression/1_3.c_unsafe.cil.c unsafe 1.33 unsafe 1.39 unsafe 1.37 unsafe 1.38
ldv-regression/alt_test.c_unsafe.cil.c unsafe 1.36 unsafe 1.43 unsafe 1.33 unsafe 1.46
ldv-regression/callfpointer.c_unsafe.cil.c unsafe 1.21 unsafe 1.27 unsafe 1.24 unsafe 1.26
ldv-regression/fo_test.c_unsafe.cil.c unsafe 1.32 unsafe 1.38 unsafe 1.31 unsafe 1.45
ldv-regression/mutex_lock_int.c_unsafe.cil.c unsafe 1.27 unsafe 1.27 unsafe 1.36 unsafe 1.39
ldv-regression/mutex_lock_struct.c_unsafe.cil.c unsafe 1.28 unsafe 1.30 unsafe 1.30 unsafe 1.34
ldv-regression/recursive_list.c_unsafe.cil.c unsafe 1.29 unsafe 1.34 unsafe 1.33 unsafe 1.37
ldv-regression/rule57_ebda_blast.c_unsafe.cil.c unsafe 1.32 unsafe 1.27 unsafe 1.30 unsafe 1.32
ldv-regression/rule60_list2.c_unsafe_1.cil.c unsafe 1.59 unsafe 2.61 unsafe 1.46 unsafe 2.94
ldv-regression/stateful_check_unsafe.cil.c unsafe 2.14 unsafe 1.77 unsafe 1.61 unsafe 1.84
ldv-regression/test_while_int.c_unsafe.cil.c unsafe 1.26 unsafe 1.28 unsafe 1.26 unsafe 1.43
ldv-regression/test_while_int.c_unsafe_1.cil.c unsafe 1.25 unsafe 1.25 unsafe 1.28 unsafe 1.26
ldv-regression/alias_of_return.c_safe.cil.c safe 1.19 unknown 1.25 safe 1.18 safe 1.22
ldv-regression/alias_of_return.c_safe_1.cil.c safe 1.22 unknown 1.25 safe 1.21 safe 1.23
ldv-regression/alias_of_return_2.c_safe.cil.c safe 1.19 unknown 1.27 safe 1.17 safe 1.24
ldv-regression/alias_of_return_2.c_safe_1.cil.c safe 1.18 unknown 1.28 safe 1.19 safe 1.21
ldv-regression/ex3_forlist.c_safe.cil.c unknown 2.35 unknown 1.82 unknown 2.04 unknown 2.82
ldv-regression/just_assert.c_safe.cil.c safe 1.17 safe 1.18 safe 1.16 safe 1.21
ldv-regression/mutex_lock_int.c_safe_1.cil.c unknown 1.27 unknown 1.30 unknown 1.31 unknown 1.36
ldv-regression/mutex_lock_struct.c_safe_1.cil.c unknown 1.26 unknown 1.28 unknown 1.28 unknown 1.33
ldv-regression/nested_structure.c_safe.cil.c unknown 1.25 unknown 1.25 unknown 1.29 unknown 1.33
ldv-regression/nested_structure_noptr.c_safe.cil.c safe 1.24 safe 1.24 safe 1.28 safe 1.23
ldv-regression/nested_structure_noptr_safe.cil.c safe 1.18 safe 1.19 safe 1.19 safe 1.25
ldv-regression/nested_structure_ptr.c_safe.cil.c unknown 1.22 unknown 1.26 unknown 1.26 unknown 1.30
ldv-regression/nested_structure_ptr_safe.cil.c unsafe 1.46 unsafe 1.29 unsafe 1.38 unsafe 1.57
ldv-regression/nested_structure_safe.cil.c unsafe 1.28 unsafe 1.29 unsafe 1.30 unsafe 1.39
ldv-regression/oomInt.c_safe.cil.c safe 1.19 safe 1.23 safe 1.17 safe 1.24
ldv-regression/oomInt.c_safe_1.cil.c safe 1.17 safe 1.20 safe 1.17 safe 1.23
ldv-regression/rule57_ebda_blast.c_safe_1.cil.c unsafe 1.36 unsafe 1.30 unsafe 1.34 unsafe 1.40
ldv-regression/rule60_list.c_safe.cil.c unknown 1.46 unknown 1.48 unknown 1.46 unknown 1.48
ldv-regression/rule60_list2.c_safe.cil.c safe 1.38 safe 2.43 safe 1.36 safe 2.76
ldv-regression/sizeofparameters_test.c_safe.cil.c safe 1.18 safe 1.19 safe 1.17 safe 1.21
ldv-regression/structure_assignment.c_safe.cil.c unknown 1.21 unknown 1.25 unknown 1.25 unknown 1.22
ldv-regression/test_address.c_safe.cil.c unknown 1.34 unknown 1.28 unknown 1.26 unknown 1.30
ldv-regression/test_cut_trace.c_safe.cil.c safe 1.17 safe 1.19 safe 1.16 safe 1.26
ldv-regression/test_malloc-1_safe.cil.c safe 1.26 unknown 1.26 safe 1.22 safe 1.21
ldv-regression/test_malloc-2_safe.cil.c safe 1.20 unknown 1.24 safe 1.18 safe 1.24
ldv-regression/test_overflow.c_safe.cil.c safe 1.21 safe 1.24 safe 1.18 safe 1.27
ldv-regression/test_union.c_safe.cil.c safe 1.21 safe 1.20 safe 1.19 safe 1.21
ldv-regression/test_union.c_safe_1.cil.c unknown 1.23 unknown 1.29 unknown 1.23 unknown 1.26
ldv-regression/test_union_cast-1_safe.cil.c safe 1.18 safe 1.19 safe 1.18 safe 1.28
ldv-regression/test_union_cast-2_safe.cil.c safe 1.22 unknown 1.32 safe 1.18 safe 1.26
ldv-regression/test_union_cast.c_safe.cil.c unknown 1.22 unknown 1.24 unknown 1.27 unknown 1.31
ldv-regression/test_union_cast.c_safe_1.cil.c safe 1.18 safe 1.18 safe 1.20 safe 1.21
ldv-regression/volatile_alias.c_safe.cil.c safe 1.17 unknown 1.25 safe 1.22 safe 1.24
ldv-regression/volatile_alias.c_safe_1.cil.c safe 1.19 unknown 1.25 safe 1.17 safe 1.19
ddv-machzwd/ddv_machzwd_all_unsafe.cil.c unsafe 3.35 unsafe 3.24 unsafe 2.73 unsafe 3.65
ddv-machzwd/ddv_machzwd_inw_unsafe.cil.c unsafe 3.30 unsafe 3.23 unsafe 2.70 unsafe 3.45
ddv-machzwd/ddv_machzwd_outb_unsafe.cil.c unsafe 3.34 unsafe 3.15 unsafe 2.73 unsafe 3.48
ddv-machzwd/ddv_machzwd_inb_p_safe.cil.c safe 2.81 safe 2.60 safe 3.09 safe 3.02
ddv-machzwd/ddv_machzwd_inb_safe.cil.c safe 2.70 safe 2.55 safe 3.57 safe 3.03
ddv-machzwd/ddv_machzwd_inl_p_safe.cil.c safe 2.71 safe 2.55 safe 3.14 safe 2.99
ddv-machzwd/ddv_machzwd_inl_safe.cil.c safe 2.72 safe 2.63 safe 3.08 safe 3.07
ddv-machzwd/ddv_machzwd_inw_p_safe.cil.c safe 2.73 safe 2.60 safe 3.17 safe 3.06
ddv-machzwd/ddv_machzwd_outb_p_safe.cil.c safe 2.71 safe 2.60 safe 3.11 safe 3.07
ddv-machzwd/ddv_machzwd_outl_p_safe.cil.c safe 2.74 safe 2.55 safe 3.49 safe 2.96
ddv-machzwd/ddv_machzwd_outl_safe.cil.c safe 2.83 safe 2.60 safe 3.12 safe 3.14
ddv-machzwd/ddv_machzwd_outw_p_safe.cil.c safe 2.76 safe 2.54 safe 3.10 safe 3.04
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_safe.cil.c safe 2.70 safe 2.59 safe 3.13 safe 3.10
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_unsafe.cil.out.i.pp.cil.c unsafe 88.23 unknown 943.29 unsafe 87.82 unsafe 95.42
ldv-drivers/module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.cil.c unknown 26.15 unknown 7.91 unknown 10.98 unknown 13.00
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko_unsafe.cil.out.i.pp.cil.c unknown 18.57 unknown 102.00 unknown 30.69 unknown 39.57
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko_unsafe.cil.out.i.pp.cil.c unsafe 13.41 unknown 24.22 unsafe 8.87 unsafe 12.05
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.cil.c unsafe 14.47 unknown 11.02 unsafe 8.55 timeout 1017.00
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.cil.c unsafe 41.46 timeout 1064.47 unsafe 20.91 unsafe 18.21
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c unsafe 95.23 timeout 1016.96 timeout 1017.12 unsafe 323.10
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.cil.c unsafe 7.14 unsafe 7.40 unsafe 7.22 unsafe 7.76
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.cil.c unsafe 11.91 unsafe 14.60 unsafe 11.61 unsafe 30.29
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.cil.c unknown 103.27 unknown 103.87 unknown 101.68 out of java memory 945.06
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.cil.c unknown 124.87 unknown 103.65 unknown 107.09 timeout 1016.84
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.cil.c unknown 930.71 unknown 935.73 timeout 1056.17 unknown 987.59
ldv-drivers/usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.cil.c unsafe 73.93 unknown 934.64 unknown 962.44 timeout 1017.22
ldv-drivers/usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.cil.c unsafe 875.39 timeout 1017.18 unsafe 866.36 out of java memory 968.23
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.cil.c unsafe 10.93 unknown 1005.24 timeout 1017.38 timeout 1017.06
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.cil.c unsafe 20.80 unsafe 6.38 unsafe 6.41 unsafe 7.39
ldv-drivers/module_get_put-drivers-atm-eni.ko_safe.cil.out.i.pp.cil.c timeout 1017.13 safe 8.20 timeout 1017.23 safe 18.73
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_safe.cil.out.i.pp.cil.c safe 41.61 safe 13.56 timeout 1017.14 safe 24.11
ldv-drivers/module_get_put-drivers-block-paride-pt.ko_safe.cil.out.i.pp.cil.c safe 185.96 safe 8.08 timeout 1017.43 safe 31.77
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko_safe.cil.out.i.pp.cil.c safe 13.25 timeout 1016.86 timeout 1017.30 safe 6.99
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_safe.cil.out.i.pp.cil.c unknown 10.20 unknown 3.68 unknown 80.55 unknown 4.69
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko_safe.cil.out.i.pp.cil.c safe 27.21 safe 15.28 out of java memory 1013.97 safe 17.57
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko_safe.cil.out.i.pp.cil.c unknown 3.50 unknown 2.98 unknown 3.34 unknown 3.82
ldv-drivers/module_get_put-drivers-hwmon-it87.ko_safe.cil.out.i.pp.cil.c safe 93.45 safe 6.03 safe 70.54 safe 9.03
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko_safe.cil.out.i.pp.cil.c timeout 1017.09 safe 8.46 timeout 1017.12 safe 30.10
ldv-drivers/module_get_put-drivers-net-pppox.ko_safe.cil.out.i.pp.cil.c safe 2.97 unknown 926.17 safe 2.95 safe 10.13
ldv-drivers/module_get_put-drivers-net-sis900.ko_safe.cil.out.i.pp.cil.c safe 238.35 safe 9.36 unknown 984.28 safe 22.02
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko_safe.cil.out.i.pp.cil.c timeout 1017.15 safe 11.67 timeout 1017.34 safe 77.03
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko_safe.cil.out.i.pp.cil.c timeout 1017.10 safe 11.95 timeout 1017.19 out of java memory 994.31
ldv-drivers/module_get_put-drivers-video-aty-aty128fb.ko_safe.cil.out.i.pp.cil.c timeout 1017.18 safe 26.05 unknown 1006.45 out of java memory 1016.90
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko_safe.cil.out.i.pp.cil.c safe 6.04 unknown 973.95 safe 3.66 out of java memory 910.05
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko_safe.cil.out.i.pp.cil.c safe 207.98 safe 9.14 timeout 1017.06 safe 43.38
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko_safe.cil.out.i.pp.cil.c timeout 1017.10 safe 10.32 timeout 1017.48 safe 34.36
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko_safe.cil.out.i.pp.cil.c safe 138.11 safe 7.40 timeout 1017.08 safe 24.64
ldv-drivers/usb_urb-drivers-mtd-sm_ftl.ko_safe.cil.out.i.pp.cil.c unknown 3.81 unknown 3.26 out of java memory 997.36 unknown 3.85
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko_safe.cil.out.i.pp.cil.c timeout 1017.26 safe 12.38 timeout 1017.44 safe 28.74
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko_safe.cil.out.i.pp.cil.c unsafe 5.91 unknown 933.22 unsafe 7.58 unsafe 6.32
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko_safe.cil.out.i.pp.cil.c safe 93.73 unknown 11.72 timeout 1017.15 safe 66.03
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_safe.cil.out.i.pp.cil.c unsafe 3.51 unsafe 3.60 unsafe 3.50 unsafe 3.54
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko_safe.cil.out.i.pp.cil.c safe 266.10 safe 10.24 timeout 1017.17 safe 23.61
ldv-drivers/usb_urb-drivers-video-arkfb.ko_safe.cil.out.i.pp.cil.c safe 97.76 safe 7.00 timeout 1017.30 safe 14.26
total files 269 82621.53 269 42321.78 269 54186.34 269 37032.70
correct results 163 7136.49 164 2510.32 192 5318.29 211 5563.98
false negatives 0 0 0 0 0 0 0 0
false positives 6 16.35 5 9.51 6 17.89 6 16.76
score (269 files, max score: 424) 237 244 280 318