PVS static analyzer - 5.0 Release: Difference between revisions

m
Mark bug fixed
m (Mark bug "Won't Fix")
m (Mark bug fixed)
Line 10,538: Line 10,538:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (538)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (538)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v769/ V769]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v769/ V769]</td>
       <td style='width: 65%;'>The 'f' pointer in the 'f - s' expression could be nullptr. In such case, resulting value will be senseless and it should not be used.</td>
       <td style='width: 65%;'>The 'f' pointer in the 'f - s' expression could be nullptr. In such case, resulting value will be senseless and it should not be used.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (836)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (836)</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: 836, 834.</td>
       <td style='width: 65%;'>The potential null pointer is passed into 'strcpy' function. Inspect the first argument. Check lines: 836, 834.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (857)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (857)</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: 857, 855.</td>
       <td style='width: 65%;'>The potential null pointer is passed into 'strcpy' function. Inspect the first argument. Check lines: 857, 855.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (878)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (878)</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: 878, 876.</td>
       <td style='width: 65%;'>The potential null pointer is passed into 'strcpy' function. Inspect the first argument. Check lines: 878, 876.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (909)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (909)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v519/ V519]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v519/ V519]</td>
       <td style='width: 65%;'>The 'matches' variable is assigned values twice successively. Perhaps this is a mistake. Check lines: 908, 909.</td>
       <td style='width: 65%;'>The 'matches' variable is assigned values twice successively. Perhaps this is a mistake. Check lines: 908, 909.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (1729)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (1729)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 65%;'>Expression 'c == 'A'' is always true.</td>
       <td style='width: 65%;'>Expression 'c == 'A'' is always true.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (1844)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (1844)</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 integer type is implicitly cast to the char type.</td>
       <td style='width: 65%;'>The integer type is implicitly cast to the char type.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (1737)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (1737)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v536/ V536]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v536/ V536]</td>
       <td style='width: 65%;'>Be advised that the utilized constant value is represented by an octal form. Oct: '\033', Dec: 27.</td>
       <td style='width: 65%;'>Be advised that the utilized constant value is represented by an octal form. Oct: '\033', Dec: 27.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (1922)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/util/cmd-edit.cc">cmd-edit.cc (1922)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v536/ V536]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v536/ V536]</td>
       <td style='width: 65%;'>Be advised that the utilized constant value is represented by an octal form. Oct: 0777, Dec: 511.</td>
       <td style='width: 65%;'>Be advised that the utilized constant value is represented by an octal form. Oct: 0777, Dec: 511.</td>
1,072

edits