PVS static analyzer - 5.0 Release: Difference between revisions

Jump to navigation Jump to search
m
Mark bug "Won't Fix"
m (Mark bug "Won't Fix")
m (Mark bug "Won't Fix")
Line 4,991: Line 4,991:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-classdef.cc">ov-classdef.cc (1220)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-classdef.cc">ov-classdef.cc (1220)</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 'of'.</td>
       <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'of'.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-classdef.cc">ov-classdef.cc (2418)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-classdef.cc">ov-classdef.cc (2418)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v783/ V783]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v783/ V783]</td>
       <td style='width: 65%;'>Dereferencing of the invalid iterator '++ (idx.begin())' might take place.</td>
       <td style='width: 65%;'>Dereferencing of the invalid iterator '++ (idx.begin())' might take place.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%; color: red;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-classdef.cc">ov-classdef.cc (3486)</div></td>
       <td style='width: 30%; text-decoration: line-through; color: red;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-classdef.cc">ov-classdef.cc (3486)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v678/ V678]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v678/ V678]</td>
       <td style='width: 65%;'>An object is used as an argument to its own method. Consider checking the first actual argument of the 'set_class' function.</td>
       <td style='width: 65%;'>An object is used as an argument to its own method. Consider checking the first actual argument of the 'set_class' function.</td>
1,072

edits

Navigation menu