This patch contains two assert related checkers. These checkers are the part of those that is being open sourced by Ericsson (http://lists.cs.uiuc.edu/pipermail/cfe-dev/2014-December/040520.html).
/ \brief Finds \c assert() with side effect.
/ The conition of \c assert() is evaluated only in debug builds so a condition
/ with side effect can cause different behaviour in debug / relesase builds.
/ \brief Replaces \c assert() with \c static_assert() if the condition is
/ evaluatable at compile time.
/ The condition of \c static_assert() is evaluated at compile time which is
/// safer and more efficient.