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 00:25, 5 January 2019
, 5 January 2019Mark bug fixed
m (Mark bug fixed) |
m (Mark bug fixed) |
||
| Line 7,222: | Line 7,222: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (289)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (289)</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 'dims'. Check lines: 289, 283.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'dims'. Check lines: 289, 283.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (432)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (432)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | ||
<td style='width: 65%;'>The bool type is implicitly cast to the double type.</td> | <td style='width: 65%;'>The bool type is implicitly cast to the double type.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (436)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (436)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v523/ V523]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v523/ V523]</td> | ||
<td style='width: 65%;'>The 'then' statement is equivalent to the 'else' statement.</td> | <td style='width: 65%;'>The 'then' statement is equivalent to the 'else' statement.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (681)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (681)</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 'dims'. Check lines: 681, 677.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'dims'. Check lines: 681, 677.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (708)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (708)</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 'dims'. Check lines: 708, 705.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'dims'. Check lines: 708, 705.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (723)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (723)</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 'dims'. Check lines: 723, 721.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'dims'. Check lines: 723, 721.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (733)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (733)</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 'dims'. Check lines: 733, 730.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'dims'. Check lines: 733, 730.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (893)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (893)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v575/ V575]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v575/ V575]</td> | ||
<td style='width: 65%;'>The potential null pointer is passed into 'strcpy' function. Inspect the first argument. Check lines: 893, 892.</td> | <td style='width: 65%;'>The potential null pointer is passed into 'strcpy' function. Inspect the first argument. Check lines: 893, 892.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (1225)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (1225)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | ||
<td style='width: 65%;'>The bool type is implicitly cast to the double type.</td> | <td style='width: 65%;'>The bool type is implicitly cast to the double type.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (1708)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (1708)</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 'fields'. Check lines: 1708, 1701.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'fields'. Check lines: 1708, 1701.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (1819)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (1819)</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 'new_fields'. Check lines: 1819, 1812.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'new_fields'. Check lines: 1819, 1812.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (1835)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (1835)</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 'new_data'. Check lines: 1835, 1815.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'new_data'. Check lines: 1835, 1815.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (1955)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (1955)</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 'data'. Check lines: 1955, 1947.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'data'. Check lines: 1955, 1947.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (2233)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (2233)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v774/ V774]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v774/ V774]</td> | ||
<td style='width: 65%;'>The 'ptr' pointer was used after the memory was reallocated.</td> | <td style='width: 65%;'>The 'ptr' pointer was used after the memory was reallocated.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (2241)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (2241)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v774/ V774]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v774/ V774]</td> | ||
<td style='width: 65%;'>The 'ptr' pointer was used after the memory was reallocated.</td> | <td style='width: 65%;'>The 'ptr' pointer was used after the memory was reallocated.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (3171)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (3171)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v506/ V506]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v506/ V506]</td> | ||
<td style='width: 65%;'>Pointer to local variable 'context' is stored outside the scope of this variable. Such a pointer will become invalid.</td> | <td style='width: 65%;'>Pointer to local variable 'context' is stored outside the scope of this variable. Such a pointer will become invalid.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (3409)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (3409)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v575/ V575]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v575/ V575]</td> | ||
<td style='width: 65%;'>The potential null pointer is passed into 'strlen' function. Inspect the first argument.</td> | <td style='width: 65%;'>The potential null pointer is passed into 'strlen' function. Inspect the first argument.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (3457)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (3457)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v575/ V575]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v575/ V575]</td> | ||
<td style='width: 65%;'>The potential null pointer is passed into 'strlen' function. Inspect the first argument.</td> | <td style='width: 65%;'>The potential null pointer is passed into 'strlen' function. Inspect the first argument.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (3656)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (3656)</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 'fname'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'fname'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (3709)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/mex.cc">mex.cc (3709)</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 'fname'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'fname'.</td> | ||