PVS static analyzer - 5.0 Release: Difference between revisions

Jump to navigation Jump to search
m
Mark 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>
1,072

edits

Navigation menu