PVS static analyzer - 5.0 Release: Difference between revisions

Jump to navigation Jump to search
m
Mark bug fixed
m (Mark bug "Won't Fix")
m (Mark bug fixed)
Line 7,028: Line 7,028:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (107)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (107)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: ival == dval. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: ival == dval. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (166)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (166)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: dnr == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: dnr == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (572)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (572)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v669/ V669]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v669/ V669]</td>
       <td style='width: 65%;'>The 'width' argument is a non-constant reference. The analyzer is unable to determine the position at which this argument is being modified. It is possible that the function contains an error.</td>
       <td style='width: 65%;'>The 'width' argument is a non-constant reference. The analyzer is unable to determine the position at which this argument is being modified. It is possible that the function contains an error.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (893)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (893)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v764/ V764]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v764/ V764]</td>
       <td style='width: 65%;'>Possible incorrect order of arguments passed to 'process_conversion' function: 'type' and 'modifier'.</td>
       <td style='width: 65%;'>Possible incorrect order of arguments passed to 'process_conversion' function: 'type' and 'modifier'.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (1272)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (1272)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v768/ V768]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v768/ V768]</td>
       <td style='width: 65%;'>The variable 'flags' is of enum type. It is odd that it is used as a variable of a Boolean-type.</td>
       <td style='width: 65%;'>The variable 'flags' is of enum type. It is odd that it is used as a variable of a Boolean-type.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2336)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2336)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v669/ V669]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v669/ V669]</td>
       <td style='width: 65%;'>The 'width', 'prec', 'bitwidth' arguments are non-constant references. The analyzer is unable to determine the position at which this argument is being modified. It is possible that the function contains an error.</td>
       <td style='width: 65%;'>The 'width', 'prec', 'bitwidth' arguments are non-constant references. The analyzer is unable to determine the position at which this argument is being modified. It is possible that the function contains an error.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2485)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2485)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: val.imag() == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: val.imag() == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2495)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2495)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 65%;'>A part of conditional expression is always true: !progress.</td>
       <td style='width: 65%;'>A part of conditional expression is always true: !progress.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2646)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2646)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v765/ V765]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v765/ V765]</td>
       <td style='width: 65%;'>A compound assignment expression 'size += size + 1' is suspicious. Consider inspecting it for a possible error.</td>
       <td style='width: 65%;'>A compound assignment expression 'size += size + 1' is suspicious. Consider inspecting it for a possible error.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2789)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2789)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 65%;'>Expression 'width_left' is always true.</td>
       <td style='width: 65%;'>Expression 'width_left' is always true.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2838)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2838)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 65%;'>Expression 'width_left' is always true.</td>
       <td style='width: 65%;'>Expression 'width_left' is always true.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2846)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2846)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 65%;'>Expression 'width_left' is always true.</td>
       <td style='width: 65%;'>Expression 'width_left' is always true.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (3249)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (3249)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: v.imag() == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: v.imag() == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (3261)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (3261)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: v.imag() == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: v.imag() == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (3480)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (3480)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v522/ V522]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v522/ V522]</td>
       <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'elem'.</td>
       <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'elem'.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5447)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5447)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: math::x_nint(dval) != dval. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: math::x_nint(dval) != dval. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5474)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5474)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: math::x_nint(dval) == dval. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: math::x_nint(dval) == dval. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5523)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5523)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: math::x_nint(dval) == dval. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: math::x_nint(dval) == dval. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5618)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5618)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: dval == math::fix(dval). It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: dval == math::fix(dval). It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5645)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5645)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: dval == math::fix(dval). It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: dval == math::fix(dval). It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2510)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2510)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v730/ V730]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v730/ V730]</td>
       <td style='width: 65%;'>Not all members of a class are initialized inside the constructor. Consider inspecting: delim_len.</td>
       <td style='width: 65%;'>Not all members of a class are initialized inside the constructor. Consider inspecting: delim_len.</td>
1,072

edits

Navigation menu