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 15:04, 5 January 2019
, 5 January 2019Mark 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> | ||