Check for iterators being dereferenced before being checked for validity. E.g. if (*i && i != str.end()) { }

----------------------------------------------------------------------------- check for duplicate code in if and else branches if (a) { b = true; } el

--------------------------------------------------------------------------- check for the same expression on both sides of an operator (x == x), (x &&

--------------------------------------------------------------------------- Check for ignored return values. -----------------------------------------

--------------------------------------------------------------------------- Check for incompletely filled buffers. -----------------------------------

--------------------------------------------------------------------------- Incomplete statement.. ---------------------------------------------------

--------------------------------------------------------------------------- Implicit casts of string literals to bool Comparing string literal with st

--------------------------------------------------------------------------- --------------------------------------------------------------------------

----------------------------------------------------------------------------- Check for a free() of an invalid address char* p = malloc(100); free(p +

--------------------------------------------------------------------------- Detect passing wrong values to <cmath> functions like atan(0, x); --------

--------------------------------------------------------------------------- memset(p, y, 0 /* bytes to fill */) <- 2nd and 3rd arguments inverted ----

--------------------------------------------------------------------------- Creating instance of clases which are destroyed immediately --------------

----------------------------------------------------------------------------- Detect "(var % val1) > val2" where val2 is >= val1. --------------------

add for nested loop check

--------------------------------------------------------------------------- This check detects errors on POSIX systems, when a pipe command called wit

--------------------------------------------------------------------------- This check rule works for checking the "const A a = getA()" usage when get

--------------------------------------------------------------------------- catch(const exception & err) { throw err; // <- should be just

--------------------------------------------------------------------------- Check testing sign of unsigned variables and pointers. -------------------

--------------------------------------------------------------------------- --------------------------------------------------------------------------

--------------------------------------------------------------------------- --------------------------------------------------------------------------

--------------------------------------------------------------------------- Check that all struct members are used -----------------------------------

--------------------------------------------------------------------------- Check for statements like case A||B: in switch() -------------------------

--------------------------------------------------------------------------- if (x == 1) x == 0; // <- suspicious equality comparison. ----------

--------------------------------------------------------------------------- Check for suspicious occurrences of 'if(); {}'. --------------------------

----------------------------------------------------------------------------- Detect "str == '\0'" where "*str == '\0'" is correct. Comparing char* wi

--------------------------------------------------------------------------- Detect fall through cases (experimental). --------------------------------

--------------------------------------------------------------------------- Check scope of variables.. -----------------------------------------------

--------------------------------------------------------------------------- Detect division by zero. -------------------------------------------------

Loop StrStream buf.str();