PVS static analyzer - 5.0 Release: Difference between revisions

m
Mark 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) &lt; 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) &lt; 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) &lt; 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) &lt; 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>
1,073

edits