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 21:10, 6 January 2019
, 6 January 2019Mark bug fixed
m (Mark bug fixed) |
m (Mark bug fixed) |
||
| Line 10,978: | Line 10,978: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/external-editor-interface.cc">external-editor-interface.cc (101)</div></td> | <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/external-editor-interface.cc">external-editor-interface.cc (101)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/files-dock-widget.cc">files-dock-widget.cc (190)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/files-dock-widget.cc">files-dock-widget.cc (190)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/files-dock-widget.cc">files-dock-widget.cc (406)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/files-dock-widget.cc">files-dock-widget.cc (406)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/files-dock-widget.cc">files-dock-widget.cc (436)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/files-dock-widget.cc">files-dock-widget.cc (436)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/files-dock-widget.cc">files-dock-widget.cc (472)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/files-dock-widget.cc">files-dock-widget.cc (472)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
| Line 11,008: | Line 11,008: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/history-dock-widget.cc">history-dock-widget.cc (318)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/history-dock-widget.cc">history-dock-widget.cc (318)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
| Line 11,043: | Line 11,043: | ||
</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 (654)</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 (654)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</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 (1446)</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 (1446)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</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 (1911)</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 (1911)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</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 (1998)</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 (1998)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
| Line 11,078: | Line 11,078: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/m-editor/file-editor.cc">file-editor.cc (206)</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 (206)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/m-editor/file-editor.cc">file-editor.cc (413)</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 (413)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
| Line 11,093: | Line 11,093: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/m-editor/file-editor.cc">file-editor.cc (1270)</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 (1270)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
| Line 11,103: | Line 11,103: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/m-editor/file-editor.cc">file-editor.cc (1549)</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 (1549)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/m-editor/file-editor.cc">file-editor.cc (1623)</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 (1623)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/m-editor/file-editor.cc">file-editor.cc (2373)</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 (2373)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/m-editor/file-editor.cc">file-editor.cc (2383)</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 (2383)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/m-editor/file-editor.cc">file-editor.cc (2401)</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 (2401)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
| Line 11,133: | Line 11,133: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/m-editor/octave-qscintilla.cc">octave-qscintilla.cc (396)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/m-editor/octave-qscintilla.cc">octave-qscintilla.cc (396)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
| Line 11,158: | Line 11,158: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/main-window.cc">main-window.cc (852)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/main-window.cc">main-window.cc (852)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
| Line 11,168: | Line 11,168: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/main-window.cc">main-window.cc (1066)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/main-window.cc">main-window.cc (1066)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
| Line 11,178: | Line 11,178: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/main-window.cc">main-window.cc (1108)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/main-window.cc">main-window.cc (1108)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/main-window.cc">main-window.cc (1615)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/main-window.cc">main-window.cc (1615)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/main-window.cc">main-window.cc (2450)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/main-window.cc">main-window.cc (2450)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/main-window.cc">main-window.cc (2557)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/main-window.cc">main-window.cc (2557)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/octave-dock-widget.cc">octave-dock-widget.cc (312)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/octave-dock-widget.cc">octave-dock-widget.cc (312)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
| Line 11,223: | Line 11,223: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/settings-dialog.cc">settings-dialog.cc (816)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/settings-dialog.cc">settings-dialog.cc (816)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
| Line 11,248: | Line 11,248: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/terminal-dock-widget.cc">terminal-dock-widget.cc (67)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/terminal-dock-widget.cc">terminal-dock-widget.cc (67)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/find-files-dialog.cc">find-files-dialog.cc (69)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/find-files-dialog.cc">find-files-dialog.cc (69)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
| Line 11,268: | Line 11,268: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/workspace-view.cc">workspace-view.cc (178)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/workspace-view.cc">workspace-view.cc (178)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/workspace-view.cc">workspace-view.cc (309)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/workspace-view.cc">workspace-view.cc (309)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/libgui/src/workspace-view.cc">workspace-view.cc (323)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libgui/src/workspace-view.cc">workspace-view.cc (323)</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 'settings'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'settings'.</td> | ||