[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: static analysis run on ncurses 5.6
From: |
Thomas Dickey |
Subject: |
Re: static analysis run on ncurses 5.6 |
Date: |
Mon, 04 Aug 2008 21:13:10 -0400 |
User-agent: |
Mutt/1.5.18 (2008-05-17) |
On Fri, Aug 01, 2008 at 03:36:50PM -0700, Larry Zhou wrote:
> It is a fact that Klocwork has a higher false positive rate than Coverity,
> possibly above 75%.
>
> If you can get 20 to 30 things in "possible" or "potential" range, that
> would be amazing.
There were fewer failures overall - I got about 80% through the list so
far, will work on the remaining ones later this week.
I put a snapshot of 20080804 in
ftp://invisible-island.net/temp
Here's the list of what I did (barring review/repair/etc):
<problemID>1</problemID>
<problemID>2 - fixed</problemID>
<problemID>3 - false (add asserts)</problemID>
<problemID>4 - fixed</problemID>
<problemID>5 - false</problemID>
<problemID>6 - false</problemID>
<problemID>7 - false (add assert)</problemID>
<problemID>9 - fixed</problemID>
<problemID>10 - false</problemID>
<problemID>11 - false</problemID>
<problemID>12 - don't care (test-driver)</problemID>
<problemID>13 - don't care (test-driver)</problemID>
<problemID>14 - fixed</problemID>
<problemID>15 - fixed</problemID>
<problemID>16 - false</problemID>
<problemID>17 - false (there already is an assert)</problemID>
<problemID>18 - false (there already is an assert)</problemID>
<problemID>19 - false (add assert)</problemID>
<problemID>20 - maybe</problemID>
<problemID>21 - false</problemID>
<problemID>22 - false</problemID>
<problemID>23 - false (add assert)</problemID>
<problemID>24 - false (add assert)</problemID>
<problemID>25 - fixed</problemID>
<problemID>26 - fixed</problemID>
<problemID>27 - fixed</problemID>
<problemID>28 - fixed</problemID>
<problemID>29 - fixed</problemID>
<problemID>30 - fixed</problemID>
<problemID>33 - fixed</problemID>
<problemID>34 - fixed</problemID>
<problemID>35 - fixed</problemID>
<problemID>36 - fixed</problemID>
<problemID>37 - fixed</problemID>
<problemID>38 - fixed</problemID>
<problemID>39 - fixed</problemID>
<problemID>40 - fixed</problemID>
<problemID>41 - false (add assert)</problemID>
<problemID>42 - false (add assert)</problemID>
<problemID>43 - fixed</problemID>
<problemID>44 - fixed</problemID>
<problemID>46</problemID>
<problemID>47 - fixed</problemID>
<problemID>48 - fixed</problemID>
<problemID>49</problemID>
<problemID>51 - false</problemID>
<problemID>52 - fixed</problemID>
<problemID>53 - fixed</problemID>
<problemID>54 - fixed</problemID>
<problemID>55 - fixed</problemID>
<problemID>56 - false</problemID>
<problemID>57 - fixed</problemID>
<problemID>58 - fixed</problemID>
<problemID>59</problemID>
<problemID>60</problemID>
<problemID>61</problemID>
<problemID>62 - ok</problemID>
<problemID>63</problemID>
<problemID>64</problemID>
<problemID>65</problemID>
<problemID>66 - false (add assert)</problemID>
<problemID>67</problemID>
<problemID>68</problemID>
<problemID>69</problemID>
<problemID>70</problemID>
<problemID>71 - fixed</problemID>
<problemID>72 - fixed</problemID>
<problemID>73 - fixed</problemID>
<problemID>74 - fixed</problemID>
<problemID>75 - false (add assert)</problemID>
<problemID>76 - fixed</problemID>
<problemID>77 - fixed</problemID>
<problemID>78 - fixed</problemID>
<problemID>79 - fixed</problemID>
<problemID>80 - fixed</problemID>
<problemID>81 - fixed</problemID>
<problemID>82 - fixed</problemID>
<problemID>83 - fixed</problemID>
<problemID>84 - fixed</problemID>
<problemID>85 - fixed</problemID>
<problemID>86 - fixed</problemID>
<problemID>87 - fixed</problemID>
<problemID>88 - fixed</problemID>
<problemID>89 - false (add assert)</problemID>
<problemID>90 - false</problemID>
<problemID>91 - false (add assert)</problemID>
<problemID>92 - false</problemID>
<problemID>93 - false</problemID>
<problemID>94 - fixed</problemID>
<problemID>95 - fixed</problemID>
<problemID>96</problemID>
<problemID>97</problemID>
<problemID>98</problemID>
<problemID>99 - fixed</problemID>
<problemID>100 - false (add assert)</problemID>
<problemID>101 - fixed</problemID>
<problemID>102 - fixed</problemID>
<problemID>103 - false (add assert)</problemID>
<problemID>104 - fixed</problemID>
<problemID>105 - fixed</problemID>
<problemID>106 - false (add asserts)</problemID>
<problemID>107 - fixed</problemID>
<problemID>108 - fixed</problemID>
<problemID>109 - fixed</problemID>
<problemID>110 - fixed (duplicate of #114)</problemID>
<problemID>111 - fixed (duplicate of #114)</problemID>
<problemID>112 - fixed (duplicate of #114)</problemID>
<problemID>113 - fixed</problemID>
<problemID>114 - fixed</problemID>
<problemID>115 - fixed</problemID>
<problemID>116 - fixed</problemID>
<problemID>117 - fixed</problemID>
<problemID>118 - fixed</problemID>
<problemID>119 - fixed</problemID>
<problemID>120 - false (add assert)</problemID>
<problemID>121 - fixed</problemID>
<problemID>122 - fixed</problemID>
--
Thomas E. Dickey <address@hidden>
http://invisible-island.net
ftp://invisible-island.net
signature.asc
Description: Digital signature