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:07, 6 January 2019
, 6 January 2019Mark bug fixed
m (Mark all op bugs as won't fix) |
m (Mark bug fixed) |
||
| Line 1,313: | Line 1,313: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (108)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (108)</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: d == floor(d). It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon.</td> | <td style='width: 65%;'>An odd precise comparison: d == floor(d). 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/libgui/graphics/Table.cc">Table.cc (109)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (109)</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: d == floor(d). It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon.</td> | <td style='width: 65%;'>An odd precise comparison: d == floor(d). 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/libgui/graphics/Table.cc">Table.cc (367)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (367)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | ||
<td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | <td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (367)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (367)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | ||
<td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the intmax_t type is expected.</td> | <td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the intmax_t type is expected.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (368)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (368)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | ||
<td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | <td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (368)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (368)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | ||
<td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the uintmax_t type is expected.</td> | <td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the uintmax_t type is expected.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (369)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (369)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | ||
<td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | <td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (369)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (369)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | ||
<td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the intmax_t type is expected.</td> | <td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the intmax_t type is expected.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (370)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (370)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | ||
<td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | <td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (370)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (370)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | ||
<td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the uintmax_t type is expected.</td> | <td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the uintmax_t type is expected.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (371)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (371)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | ||
<td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | <td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (371)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (371)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | ||
<td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the intmax_t type is expected.</td> | <td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the intmax_t type is expected.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (372)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (372)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | ||
<td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | <td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (372)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (372)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | ||
<td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the uintmax_t type is expected.</td> | <td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the uintmax_t type is expected.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (373)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (373)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | ||
<td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | <td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (373)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (373)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | ||
<td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the intmax_t type is expected.</td> | <td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the intmax_t type is expected.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (374)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (374)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v758/ V758]</td> | ||
<td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | <td style='width: 65%;'>The 'c_str' reference becomes invalid when temporary object returned by a function is destroyed.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (374)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (374)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v576/ V576]</td> | ||
<td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the uintmax_t type is expected.</td> | <td style='width: 65%;'>Incorrect format. Consider checking the third actual argument of the 'sscanf' function. A pointer to the uintmax_t type is expected.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (1324)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (1324)</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: widget.</td> | <td style='width: 65%;'>A part of conditional expression is always true: widget.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (1523)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (1523)</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 'm'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'm'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (1561)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (1561)</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 'k'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'k'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (1663)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/graphics/Table.cc">Table.cc (1663)</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 'm'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'm'.</td> | ||