1,073
edits
PVS static analyzer - 5.0 Release: Difference between revisions
PVS static analyzer - 5.0 Release (view source)
Revision as of 21:12, 6 January 2019
, 6 January 2019Mark bug fixed
m (Mark bug fixed) |
m (Mark bug fixed) |
||
| Line 1,033: | Line 1,033: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/__init_fltk__.cc">__init_fltk__.cc (1855)</div></td> | <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/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,093: | Line 1,093: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (2233)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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,678: | Line 4,678: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-errno.cc">oct-errno.cc (702)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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,773: | Line 5,773: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/parse-tree/oct-parse.yy">oct-parse.yy (3346)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/parse-tree/oct-parse.yy">oct-parse.yy (3346)</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 'fcn' 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 'fcn' 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,993: | Line 5,993: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/display.cc">display.cc (70)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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,053: | Line 6,053: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/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/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 6,768: | Line 6,768: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/graphics.cc">graphics.cc (11224)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/graphics.cc">graphics.cc (11224)</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,218: | Line 7,218: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pager.cc">pager.cc (429)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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,363: | Line 7,363: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/utils.cc">utils.cc (188)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/utils.cc">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,328: | Line 10,328: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/numeric/oct-fftw.cc">oct-fftw.cc (116)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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,343: | Line 10,343: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/numeric/oct-fftw.cc">oct-fftw.cc (476)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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,363: | Line 10,363: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/numeric/oct-rand.cc">oct-rand.cc (67)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/numeric/oct-spparms.cc">oct-spparms.cc (47)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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,533: | Line 10,533: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/system/oct-env.cc">oct-env.cc (89)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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 10,763: | Line 10,763: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/util/singleton-cleanup.cc">singleton-cleanup.cc (48)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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,038: | Line 11,038: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/m-editor/file-editor-tab.cc">file-editor-tab.cc (622)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/m-editor/file-editor-tab.cc">file-editor-tab.cc (622)</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,088: | Line 11,088: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/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/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,098: | Line 11,098: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/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/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,208: | Line 11,208: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/resource-manager.cc">resource-manager.cc (179)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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/octave/libgui/src/resource-manager.cc">resource-manager.cc (297)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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,228: | Line 11,228: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/shortcut-manager.cc">shortcut-manager.cc (175)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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,238: | Line 11,238: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/shortcut-manager.cc">shortcut-manager.cc (698)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/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> | ||