Editing PVS static analyzer - 5.0 Release
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 4,928: | Line 4,928: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (1748)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td> | ||
<td style='width: 65%;'>The 'fh' pointer was used unsafely after it was verified against nullptr. Check lines: 1741, 1748.</td> | <td style='width: 65%;'>The 'fh' pointer was used unsafely after it was verified against nullptr. Check lines: 1741, 1748.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (1989)</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 'idx_expr'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'idx_expr'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (2046)</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 'elt_id'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'elt_id'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (2073)</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 'head_id'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'head_id'.</td> | ||
Line 4,963: | Line 4,963: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-inline.cc">ov-fcn-inline.cc (986)</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 'old'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'old'.</td> |