1,073
edits
PVS static analyzer - 5.0 Release: Difference between revisions
Jump to navigation
Jump to search
m
PVS static analyzer - 5.0 Release (view source)
Revision as of 21:33, 6 January 2019
, 6 January 2019Mark bug fixed
m (Mark bug fixed) |
m (Mark bug fixed) |
||
| Line 1,068: | Line 1,068: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (915)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (915)</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 'type == TYPE_UINT16' is always true.</td> | <td style='width: 65%;'>Expression 'type == TYPE_UINT16' is always true.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (1363)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (1363)</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 'sample_l32 & 0x00800000' is always false.</td> | <td style='width: 65%;'>Expression 'sample_l32 & 0x00800000' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (1366)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (1366)</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 'sample_r32 & 0x00800000' is always false.</td> | <td style='width: 65%;'>Expression 'sample_r32 & 0x00800000' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (1441)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (1441)</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 'sample_l32 & 0x00800000' is always false.</td> | <td style='width: 65%;'>Expression 'sample_l32 & 0x00800000' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (1444)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (1444)</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 'sample_r32 & 0x00800000' is always false.</td> | <td style='width: 65%;'>Expression 'sample_r32 & 0x00800000' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (2233)</div></td> | <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (2233)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'recorder' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'recorder' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 1,103: | Line 1,103: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-base-scalar.h">ov-base-scalar.h (95)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-base-scalar.h">ov-base-scalar.h (95)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td> | ||
<td style='width: 65%;'>It is odd that the body of 'any' function is fully equivalent to the body of 'all' function.</td> | <td style='width: 65%;'>It is odd that the body of 'any' function is fully equivalent to the body of 'all' function.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-intx.h">ov-intx.h (516)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-intx.h">ov-intx.h (516)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td> | ||
<td style='width: 65%;'>It is odd that the body of 'scalar_value' function is fully equivalent to the body of 'double_value' function.</td> | <td style='width: 65%;'>It is odd that the body of 'scalar_value' function is fully equivalent to the body of 'double_value' function.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-intx.h">ov-intx.h (518)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-intx.h">ov-intx.h (518)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td> | ||
<td style='width: 65%;'>It is odd that the body of 'float_scalar_value' function is fully equivalent to the body of 'float_value' function.</td> | <td style='width: 65%;'>It is odd that the body of 'float_scalar_value' function is fully equivalent to the body of 'float_value' function.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audioread.cc">audioread.cc (119)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/audioread.cc">audioread.cc (119)</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: octave::math::x_nint(dstart) != dstart. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon.</td> | <td style='width: 65%;'>An odd precise comparison: octave::math::x_nint(dstart) != dstart. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audioread.cc">audioread.cc (120)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/audioread.cc">audioread.cc (120)</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: octave::math::x_nint(dend) != dend. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon.</td> | <td style='width: 65%;'>An odd precise comparison: octave::math::x_nint(dend) != dend. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audioread.cc">audioread.cc (162)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/audioread.cc">audioread.cc (162)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v525/ V525]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v525/ V525]</td> | ||
<td style='width: 65%;'>The code contains the collection of similar blocks. Check items 'int16NDArray', 'int32NDArray', 'int32NDArray' in lines 162, 165, 168.</td> | <td style='width: 65%;'>The code contains the collection of similar blocks. Check items 'int16NDArray', 'int32NDArray', 'int32NDArray' in lines 162, 165, 168.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/ccolamd.cc">ccolamd.cc (175)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/ccolamd.cc">ccolamd.cc (175)</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: knobs[3] != 0. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon.</td> | <td style='width: 65%;'>An odd precise comparison: knobs[3] != 0. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/ccolamd.cc">ccolamd.cc (199)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/ccolamd.cc">ccolamd.cc (199)</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: knobs[2] != 0. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon.</td> | <td style='width: 65%;'>An odd precise comparison: knobs[2] != 0. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/ccolamd.cc">ccolamd.cc (447)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/ccolamd.cc">ccolamd.cc (447)</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: knobs[2] != 0. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon.</td> | <td style='width: 65%;'>An odd precise comparison: knobs[2] != 0. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon.</td> | ||