PVS static analyzer - 5.0 Release: Difference between revisions

m
Mark bug "Won't Fix"
m (Mark bug "Won't Fix")
m (Mark bug "Won't Fix")
Line 5,086: Line 5,086:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (1748)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/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>
Line 5,096: Line 5,096:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (1990)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (1990)</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%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (2047)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (2047)</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%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (2074)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (2074)</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 5,131: Line 5,131:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-fcn-inline.cc">ov-fcn-inline.cc (986)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/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>
1,072

edits