219
edits
PVS static analyzer - 5.0 Release: Difference between revisions
Jump to navigation
Jump to search
PVS static analyzer - 5.0 Release (view source)
Revision as of 18:11, 2 January 2019
, 2 January 2019marked as done with cset 0249ba4c9589
m (Mark bug "Won't Fix") |
(marked as done with cset 0249ba4c9589) |
||
| Line 1,082: | Line 1,082: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/dldfcn/__init_fltk__.cc">__init_fltk__.cc (1855)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/dldfcn/__init_fltk__.cc">__init_fltk__.cc (1855)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 1,182: | Line 1,182: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (2233)</div></td> | <td style='width: 30%;text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (2233)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'recorder' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'recorder' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 4,832: | Line 4,832: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/oct-errno.cc">oct-errno.cc (702)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/oct-errno.cc">oct-errno.cc (702)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 5,952: | Line 5,952: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/parse-tree/oct-parse.cc">oct-parse.cc (3048)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/parse-tree/oct-parse.cc">oct-parse.cc (3048)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v553/ V553]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v553/ V553]</td> | ||
<td style='width: 65%;'>The length of 'octave_push_parse' function's body is more than 2000 lines long. You should consider refactoring the code.</td> | <td style='width: 65%;'>The length of 'octave_push_parse' function's body is more than 2000 lines long. You should consider refactoring the code.</td> | ||
| Line 6,222: | Line 6,222: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/display.cc">display.cc (70)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/display.cc">display.cc (70)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 6,302: | Line 6,302: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ft-text-renderer.cc">ft-text-renderer.cc (153)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ft-text-renderer.cc">ft-text-renderer.cc (153)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 7,012: | Line 7,012: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/graphics.cc">graphics.cc (11229)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/graphics.cc">graphics.cc (11229)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 7,557: | Line 7,557: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/pager.cc">pager.cc (429)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/pager.cc">pager.cc (429)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'm_external_pager' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'm_external_pager' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 7,732: | Line 7,732: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/utils.cc">utils.cc (188)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/utils.cc"><pre>WON'T FIX</pre> utils.cc (188)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 's2' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 's2' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 10,767: | Line 10,767: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/numeric/oct-fftw.cc">oct-fftw.cc (116)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/numeric/oct-fftw.cc">oct-fftw.cc (116)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 10,782: | Line 10,782: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/numeric/oct-fftw.cc">oct-fftw.cc (476)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/numeric/oct-fftw.cc">oct-fftw.cc (476)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 10,802: | Line 10,802: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/numeric/oct-rand.cc">oct-rand.cc (67)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/numeric/oct-rand.cc">oct-rand.cc (67)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 10,812: | Line 10,812: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/numeric/oct-spparms.cc">oct-spparms.cc (47)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/numeric/oct-spparms.cc">oct-spparms.cc (47)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 10,982: | Line 10,982: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/system/oct-env.cc">oct-env.cc (89)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/system/oct-env.cc">oct-env.cc (89)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 11,222: | Line 11,222: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/util/singleton-cleanup.cc">singleton-cleanup.cc (48)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/util/singleton-cleanup.cc">singleton-cleanup.cc (48)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 11,507: | Line 11,507: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libgui/src/m-editor/file-editor-tab.cc">file-editor-tab.cc (621)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libgui/src/m-editor/file-editor-tab.cc">file-editor-tab.cc (621)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'lexer' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'lexer' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 11,557: | Line 11,557: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libgui/src/m-editor/file-editor.cc">file-editor.cc (449)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libgui/src/m-editor/file-editor.cc">file-editor.cc (449)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'fileEditorTab' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'fileEditorTab' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 11,567: | Line 11,567: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libgui/src/m-editor/file-editor.cc">file-editor.cc (1330)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libgui/src/m-editor/file-editor.cc">file-editor.cc (1330)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'fileEditorTab' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'fileEditorTab' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 11,692: | Line 11,692: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libgui/src/resource-manager.cc">resource-manager.cc (179)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libgui/src/resource-manager.cc">resource-manager.cc (179)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libgui/src/resource-manager.cc">resource-manager.cc (297)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libgui/src/resource-manager.cc">resource-manager.cc (297)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'm_settings' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'm_settings' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 11,712: | Line 11,712: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libgui/src/shortcut-manager.cc">shortcut-manager.cc (175)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libgui/src/shortcut-manager.cc">shortcut-manager.cc (175)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'instance' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
| Line 11,722: | Line 11,722: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libgui/src/shortcut-manager.cc">shortcut-manager.cc (698)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libgui/src/shortcut-manager.cc">shortcut-manager.cc (698)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'osc_settings' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'osc_settings' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||