Re: static analysis run on ncurses 5.6

[Thomas Dickey]

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