PVS static analyzer - 5.0 Release: Difference between revisions

<p>Add <pre>text-decoration: line-through;</pre> to cross an item off the list when it has been done.</p>

----

   <table style="width: 100%; font: 12pt normal Century Gothic;">

     <tr style="background: black; color: white;">

       <th style="width: 30%;">Location</th>

       <th style="width: 65%;">Message</th>

     </tr>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v011/ V011]</td>

       <td style='width: 65%;'>Presence of #line directives may cause some diagnostic messages to have incorrect file name and line number.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v011/ V011]</td>

       <td style='width: 65%;'>Presence of #line directives may cause some diagnostic messages to have incorrect file name and line number.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v011/ V011]</td>

       <td style='width: 65%;'>Presence of #line directives may cause some diagnostic messages to have incorrect file name and line number.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v011/ V011]</td>

       <td style='width: 65%;'>Presence of #line directives may cause some diagnostic messages to have incorrect file name and line number.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v002/ V002]</td>

       <td style='width: 65%;'>Some diagnostic messages may contain incorrect line number in this file.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v011/ V011]</td>

       <td style='width: 65%;'>Presence of #line directives may cause some diagnostic messages to have incorrect file name and line number.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v002/ V002]</td>

       <td style='width: 65%;'>Some diagnostic messages may contain incorrect line number in this file.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v002/ V002]</td>

       <td style='width: 65%;'>Some diagnostic messages may contain incorrect line number in this file.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v011/ V011]</td>

       <td style='width: 65%;'>Presence of #line directives may cause some diagnostic messages to have incorrect file name and line number.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v011/ V011]</td>

       <td style='width: 65%;'>Presence of #line directives may cause some diagnostic messages to have incorrect file name and line number.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v002/ V002]</td>

       <td style='width: 65%;'>Some diagnostic messages may contain incorrect line number in this file.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v011/ V011]</td>

       <td style='width: 65%;'>Presence of #line directives may cause some diagnostic messages to have incorrect file name and line number.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v002/ V002]</td>

       <td style='width: 65%;'>Some diagnostic messages may contain incorrect line number in this file.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v002/ V002]</td>

       <td style='width: 65%;'>Some diagnostic messages may contain incorrect line number in this file.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>

       <td style='width: 65%;'>Expression 'symlink_max &lt; INITIAL_LIMIT_BOUND' is always true.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>

       <td style='width: 65%;'>Expression 'prefix_len' is always false.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>

       <td style='width: 65%;'>Expression 'pfxlen' is always false.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>

       <td style='width: 65%;'>Expression 'buf_size_max &lt; (18446744073709551615UL)' is always true.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v512/ V512]</td>

       <td style='width: 65%;'>A call of the 'memcpy' function will lead to underflow of the buffer 'ctx-&gt;X'.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v512/ V512]</td>

       <td style='width: 65%;'>A call of the 'memcpy' function will lead to underflow of the buffer 'ctx-&gt;buffer'.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v512/ V512]</td>

       <td style='width: 65%;'>A call of the 'memcpy' function will lead to underflow of the buffer 'ctx-&gt;buffer'.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'FF' is a dangerous expression. The parameters 'b', 'c', 'd' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'FH' is a dangerous expression. The parameters 'b', 'c', 'd' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'FI' is a dangerous expression. The parameters 'b', 'c', 'd' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'CYCLIC' is a dangerous expression. The parameters 'w', 's' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v512/ V512]</td>

       <td style='width: 65%;'>A call of the 'memcpy' function will lead to underflow of the buffer 'ctx-&gt;buffer'.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'F1' is a dangerous expression. The parameters 'B', 'C', 'D' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'F2' is a dangerous expression. The parameters 'B', 'C', 'D' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'F3' is a dangerous expression. The parameters 'B', 'C', 'D' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'F4' is a dangerous expression. The parameters 'B', 'C', 'D' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'M' is a dangerous expression. The parameter 'I' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v785/ V785]</td>

       <td style='width: 65%;'>Constant expression in switch statement.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v512/ V512]</td>

       <td style='width: 65%;'>A call of the 'memcpy' function will lead to underflow of the buffer 'ctx-&gt;buffer'.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'F2' is a dangerous expression. The parameters 'A', 'B', 'C' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'F1' is a dangerous expression. The parameters 'E', 'F', 'G' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'S0' is a dangerous expression. The parameter 'x' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'S1' is a dangerous expression. The parameter 'x' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'M' is a dangerous expression. The parameter 'I' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v785/ V785]</td>

       <td style='width: 65%;'>Constant expression in switch statement.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v512/ V512]</td>

       <td style='width: 65%;'>A call of the 'memcpy' function will lead to underflow of the buffer 'ctx-&gt;buffer'.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'u64rol' is a dangerous expression. The parameter 'n' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>

       <td style='width: 65%;'>Expression 'prefix_length != 0' is always false.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>

       <td style='width: 65%;'>A part of conditional expression is always false: length == 0.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>

       <td style='width: 65%;'>A part of conditional expression is always false: prefix_len.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v501/ V501]</td>

       <td style='width: 65%;'>There are identical sub-expressions to the left and to the right of the '-' operator: (statp)-&gt;st_mode - (statp)-&gt;st_mode</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v501/ V501]</td>

       <td style='width: 65%;'>There are identical sub-expressions to the left and to the right of the '-' operator: (statp)-&gt;st_mode - (statp)-&gt;st_mode</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v501/ V501]</td>

       <td style='width: 65%;'>There are identical sub-expressions to the left and to the right of the '-' operator: (statp)-&gt;st_mode - (statp)-&gt;st_mode</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v517/ V517]</td>

       <td style='width: 65%;'>The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 174, 176.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v517/ V517]</td>

       <td style='width: 65%;'>The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 172, 178.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v517/ V517]</td>

       <td style='width: 65%;'>The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 170, 174.</td>

     </tr>

     <tr>

       <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: 024, Dec: 20.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>

       <td style='width: 65%;'>Expression 'translation == msg_ctxt_id' is always true.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>

       <td style='width: 65%;'>Expression 'translation != msg_ctxt_id' is always false.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v558/ V558]</td>

       <td style='width: 65%;'>Function returns the pointer to temporary local object.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>

       <td style='width: 65%;'>Expression 'found_translation' is always false.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v526/ V526]</td>

       <td style='width: 65%;'>The 'memcmp' function returns 0 if corresponding buffers are equal. Consider examining the condition for mistakes.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v549/ V549]</td>

       <td style='width: 65%;'>The first argument of 'strcmp' function is equal to the second argument.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v769/ V769]</td>

       <td style='width: 65%;'>The 'result' pointer in the 'result + length' expression could be nullptr. In such case, resulting value will be senseless and it should not be used.</td>

     </tr>

     <tr>

       <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 'result'.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v641/ V641]</td>

       <td style='width: 65%;'>The size of the allocated memory buffer is not a multiple of the element size.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v701/ V701]</td>

       <td style='width: 65%;'>realloc() possible leak: when realloc() fails in allocating memory, original pointer 'p' is lost. Consider assigning realloc() to a temporary pointer.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v575/ V575]</td>

       <td style='width: 65%;'>The potential null pointer is passed into 'memset' function. Inspect the first argument.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v575/ V575]</td>

       <td style='width: 65%;'>The potential null pointer is passed into 'memcpy' function. Inspect the first argument.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v610/ V610]</td>

       <td style='width: 65%;'>Unspecified behavior. Check the shift operator '&gt;&gt;'. The left operand '-one' is negative.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>

       <td style='width: 65%;'>Expression '- one &gt;&gt; 1 == - 1' is always true.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>

       <td style='width: 65%;'>A part of conditional expression is always true: (!((time_t) 0 &lt; (time_t) - 1)).</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>

       <td style='width: 65%;'>Expression is always false.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>

       <td style='width: 65%;'>Expression '* t &lt; mktime_min' is always false.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>

       <td style='width: 65%;'>Expression '* t &lt;= mktime_max' is always true.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>

       <td style='width: 65%;'>A part of conditional expression is always true: mktime_min &lt;= gt.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>

       <td style='width: 65%;'>A part of conditional expression is always true: gt &lt;= mktime_max.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>

       <td style='width: 65%;'>A part of conditional expression is always true: mktime_min &lt;= t.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>

       <td style='width: 65%;'>A part of conditional expression is always true: t &lt;= mktime_max.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>

       <td style='width: 65%;'>A part of conditional expression is always false: !(mktime_min &lt;= t &amp;&amp; t &lt;= mktime_max).</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v564/ V564]</td>

       <td style='width: 65%;'>The '|' operator is applied to bool type value. You've probably forgotten to include parentheses or intended to use the '||' operator.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v792/ V792]</td>

       <td style='width: 65%;'>The 'isdst_differ' function located to the right of the operator '|' will be called regardless of the value of the left operand. Perhaps, it is better to use '||'.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v769/ V769]</td>

       <td style='width: 65%;'>The 'result' pointer in the 'result + length' expression could be nullptr. In such case, resulting value will be senseless and it should not be used.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v501/ V501]</td>

       <td style='width: 65%;'>There are identical sub-expressions to the left and to the right of the '/' operator: sizeof (char) / sizeof (char)</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v501/ V501]</td>

       <td style='width: 65%;'>There are identical sub-expressions to the left and to the right of the '/' operator: sizeof (char) / sizeof (char)</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v501/ V501]</td>

       <td style='width: 65%;'>There are identical sub-expressions to the left and to the right of the '/' operator: sizeof (char) / sizeof (char)</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v501/ V501]</td>

       <td style='width: 65%;'>There are identical sub-expressions to the left and to the right of the '/' operator: sizeof (char) / sizeof (char)</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v501/ V501]</td>

       <td style='width: 65%;'>There are identical sub-expressions to the left and to the right of the '/' operator: sizeof (char) / sizeof (char)</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v501/ V501]</td>

       <td style='width: 65%;'>There are identical sub-expressions to the left and to the right of the '/' operator: sizeof (char) / sizeof (char)</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v501/ V501]</td>

       <td style='width: 65%;'>There are identical sub-expressions to the left and to the right of the '/' operator: sizeof (char) / sizeof (char)</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v553/ V553]</td>

       <td style='width: 65%;'>The length of 'vasnprintf' function's body is more than 2000 lines long. You should consider refactoring the code.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v659/ V659]</td>

       <td style='width: 65%;'>Declarations of functions with 'elem' name differ in the 'const' keyword only, but the bodies of these functions have different composition. This is suspicious and can possibly be an error. Check lines: 218, 224.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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 'r'.</td>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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 float type.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: fabs(x - t) == 0.5. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: fabsf(x - t) == 0.5f. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: x == round(x). It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: x == round(x). It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: x == static_cast&lt;double&gt; (y). It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: static_cast&lt;double&gt; (x) == y. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: x != static_cast&lt;double&gt; (y). It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: static_cast&lt;double&gt; (x) != y. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: x != 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: x == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: x != 0.0f. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: x == 0.0f. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: x != 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: x == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: x != 0.0f. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: x == 0.0f. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v659/ V659]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v659/ V659]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v659/ V659]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v659/ V659]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v659/ V659]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v659/ V659]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v659/ V659]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v659/ V659]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v659/ V659]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v659/ V659]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v501/ V501]</td>

       <td style='width: 65%;'>There are identical sub-expressions to the left and to the right of the '/' operator: Zero / Zero</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'Range' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'octave_base_value' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v659/ V659]</td>

       <td style='width: 65%;'>Declarations of functions with 'elem' name differ in the 'const' keyword only, but the bodies of these functions have different composition. This is suspicious and can possibly be an error. Check lines: 162, 170.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v512/ V512]</td>

       <td style='width: 65%;'>Instantiation of Array &lt;int&gt;: A call of the 'compute_index' function will lead to overflow of the buffer 'ra_idx.data()'.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'match_element' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td>

       <td style='width: 65%;'>The 'false' value is implicitly cast to the integer type.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'checkelem' function is fully equivalent to the body of 'xelem' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'columns' function is fully equivalent to the body of 'cols' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'xis_true' function is fully equivalent to the body of 'logical_value' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'columns' function is fully equivalent to the body of 'cols' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'length' function is fully equivalent to the body of 'diag_length' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'columns' function is fully equivalent to the body of 'cols' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'transpose' function is fully equivalent to the body of 'hermitian' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'columns' function is fully equivalent to the body of 'cols' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'transpose' function is fully equivalent to the body of 'hermitian' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'columns' function is fully equivalent to the body of 'cols' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'numeric_demotion_function' function is fully equivalent to the body of 'numeric_conversion_function' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'any' function is fully equivalent to the body of 'all' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'columns' function is fully equivalent to the body of 'cols' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>

       <td style='width: 65%;'>It is odd that the body of 'time_checked' function is fully equivalent to the body of 'time_parsed' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v730/ V730]</td>

       <td style='width: 65%;'>It is possible that not all members of a class are initialized inside the constructor. Consider inspecting: pending.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v730/ V730]</td>

       <td style='width: 65%;'>Not all members of a class are initialized inside the constructor. Consider inspecting: is_upper.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v730/ V730]</td>

       <td style='width: 65%;'>Not all members of a class are initialized inside the constructor. Consider inspecting: is_upper.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1003/ V1003]</td>

       <td style='width: 65%;'>The macro 'OP_RED_SUMSQ' is a dangerous expression. The parameter 'el' must be surrounded by parentheses.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v512/ V512]</td>

       <td style='width: 65%;'>Instantiation of Array &lt; octave_f77_int_type &gt;: A call of the 'compute_index' function will lead to overflow of the buffer 'ra_idx.data()'.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v659/ V659]</td>

       <td style='width: 65%;'>Declarations of functions with 'matrix_ref' name differ in the 'const' keyword only, but the bodies of these functions have different composition. This is suspicious and can possibly be an error. Check lines: 171, 177.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'octave_fcn_handle' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'base_hook_function' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'base_reader' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: a.value() == b.value(). It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: a.value() != b.value(). It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <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.</td>

     </tr>

     <tr>

       <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.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'stack_frame' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v773/ V773]</td>

       <td style='width: 65%;'>The 'm_str' pointer was not released in destructor. A memory leak is possible.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v773/ V773]</td>

       <td style='width: 65%;'>The 'm_sr' pointer was not released in destructor. A memory leak is possible.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v773/ V773]</td>

       <td style='width: 65%;'>The 'm_superclass_info' pointer was not released in destructor. A memory leak is possible.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v773/ V773]</td>

       <td style='width: 65%;'>The 'idx_cache' pointer was not released in destructor. A memory leak is possible.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: lb[i] != ub[i]. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v636/ V636]</td>

       <td style='width: 65%;'>The expression was implicitly cast from 'long' type to 'double' type. Consider utilizing an explicit type cast to avoid the loss of a fractional part. An example: double A = (double)(X) / Y;.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'base_property' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'string_property' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'string_array_property' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'text_label_property' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'radio_property' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'color_property' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'double_property' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>

       <td style='width: 65%;'>Expression 'finite_constraint == NOT_INF' is always true.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: new_val != current_val. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'double_radio_property' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'array_property' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'handle_property' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'any_property' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'children_property' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: hchild == old_gh. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v690/ V690]</td>

       <td style='width: 65%;'>The 'callback_property' class implements a copy constructor, but lacks the '=' operator. It is dangerous to use such a class.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v678/ V678]</td>

       <td style='width: 65%;'>An object is used as an argument to its own method. Consider checking the first actual argument of the 'override_defaults' function.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v553/ V553]</td>

       <td style='width: 65%;'>The length of 'properties' class's declaration is more than 2000 lines long. You should consider refactoring the code.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v553/ V553]</td>

       <td style='width: 65%;'>The length of 'axes' class's declaration is more than 2000 lines long. You should consider refactoring the code.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: m_number != new_number. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>