Checking for side effects in assert statements. More...
#include <checkassert.h>
Public Member Functions | |
| CheckAssert () | |
 Public Member Functions inherited from Check | |
| Check (const std::string &aname) | |
| This constructor is used when registering the CheckClass. More... | |
| virtual | ~Check () |
| Check (const Check &)=delete | |
| Check & | operator= (const Check &)=delete |
| const std::string & | name () const |
| class name, used to generate documentation More... | |
| virtual FileInfo * | getFileInfo (const Tokenizer &, const Settings &) const |
| virtual FileInfo * | loadFileInfoFromXml (const tinyxml2::XMLElement *xmlElement) const |
| virtual bool | analyseWholeProgram (const CTU::FileInfo *ctu, const std::list< FileInfo * > &fileInfo, const Settings &, ErrorLogger &) |
Private Member Functions | |
| CheckAssert (const Tokenizer *tokenizer, const Settings *settings, ErrorLogger *errorLogger) | |
| void | runChecks (const Tokenizer &tokenizer, ErrorLogger *errorLogger) override |
| run checks, the token list is not simplified More... | |
| void | assertWithSideEffects () |
| void | checkVariableAssignment (const Token *assignTok, const Scope *assertionScope) |
| void | sideEffectInAssertError (const Token *tok, const std::string &functionName) |
| void | assignmentInAssertError (const Token *tok, const std::string &varname) |
| void | getErrorMessages (ErrorLogger *errorLogger, const Settings *settings) const override |
| get error messages More... | |
| std::string | classInfo () const override |
| get information about this class, used to generate documentation More... | |
Static Private Member Functions | |
| static bool | inSameScope (const Token *returnTok, const Token *assignTok) |
| static std::string | myName () |
Additional Inherited Members | |
| Static Public Member Functions inherited from Check | |
| static std::list< Check * > & | instances () |
| List of registered check classes. More... | |
| static void | writeToErrorList (const ErrorMessage &errmsg) |
| Write given error to stdout in xml format. More... | |
| Protected Member Functions inherited from Check | |
| Check (std::string aname, const Tokenizer *tokenizer, const Settings *settings, ErrorLogger *errorLogger) | |
| This constructor is used when running checks. More... | |
| void | reportError (const Token *tok, const Severity severity, const std::string &id, const std::string &msg) |
| report an error More... | |
| void | reportError (const Token *tok, const Severity severity, const std::string &id, const std::string &msg, const CWE &cwe, Certainty certainty) |
| report an error More... | |
| void | reportError (const std::list< const Token * > &callstack, Severity severity, const std::string &id, const std::string &msg) |
| report an error More... | |
| void | reportError (const std::list< const Token * > &callstack, Severity severity, const std::string &id, const std::string &msg, const CWE &cwe, Certainty certainty) |
| report an error More... | |
| void | reportError (const ErrorPath &errorPath, Severity severity, const char id[], const std::string &msg, const CWE &cwe, Certainty certainty) |
| void | logChecker (const char id[]) |
| log checker More... | |
| ErrorPath | getErrorPath (const Token *errtok, const ValueFlow::Value *value, std::string bug) const |
| bool | wrongData (const Token *tok, const char *str) |
| Use WRONG_DATA in checkers when you check for wrong data. More... | |
| Static Protected Member Functions inherited from Check | |
| static std::string | getMessageId (const ValueFlow::Value &value, const char id[]) |
| Protected Attributes inherited from Check | |
| const Tokenizer *const | mTokenizer {} |
| const Settings *const | mSettings {} |
| ErrorLogger *const | mErrorLogger {} |
Detailed Description
Checking for side effects in assert statements.
Definition at line 43 of file checkassert.h.
Constructor & Destructor Documentation
◆ CheckAssert() [1/2]
|
inline |
Definition at line 45 of file checkassert.h.
◆ CheckAssert() [2/2]
|
inlineprivate |
Definition at line 48 of file checkassert.h.
Member Function Documentation
◆ assertWithSideEffects()
|
private |
Definition at line 42 of file checkassert.cpp.
References Scope::bodyEnd, Scope::bodyStart, checkVariableAssignment(), Token::eFunction, Token::eIncDecOp, TokenList::front(), Function::functionScope, inSameScope(), Variable::isArgument(), Scope::isClassOrStruct(), Function::isConst(), SimpleEnableGroup< T >::isEnabled(), Variable::isLocal(), Variable::isPointer(), Variable::isReference(), Function::isStatic(), Token::link(), Tokenizer::list, Check::logChecker(), Check::mSettings, Check::mTokenizer, Function::name(), Function::nestedIn, Token::next(), Settings::severity, sideEffectInAssertError(), Token::simpleMatch(), and warning.
Referenced by runChecks().
◆ assignmentInAssertError()
|
private |
Definition at line 114 of file checkassert.cpp.
References CWE398, normal, Check::reportError(), and warning.
Referenced by checkVariableAssignment(), and getErrorMessages().
◆ checkVariableAssignment()
|
private |
Definition at line 127 of file checkassert.cpp.
References assignmentInAssertError(), Token::astOperand1(), Token::eIncDecOp, Token::isAssignmentOp(), Variable::isConst(), Variable::name(), Scope::nestedIn, Variable::scope(), and Token::tokType().
Referenced by assertWithSideEffects().
◆ classInfo()
|
inlineoverrideprivatevirtual |
get information about this class, used to generate documentation
Implements Check.
Definition at line 75 of file checkassert.h.
◆ getErrorMessages()
|
inlineoverrideprivatevirtual |
get error messages
Implements Check.
Definition at line 65 of file checkassert.h.
References assignmentInAssertError(), and sideEffectInAssertError().
◆ inSameScope()
Definition at line 155 of file checkassert.cpp.
References Token::scope().
Referenced by assertWithSideEffects().
◆ myName()
|
inlinestaticprivate |
Definition at line 71 of file checkassert.h.
◆ runChecks()
|
inlineoverrideprivatevirtual |
run checks, the token list is not simplified
Implements Check.
Definition at line 52 of file checkassert.h.
References assertWithSideEffects(), and Tokenizer::getSettings().
◆ sideEffectInAssertError()
|
private |
Definition at line 102 of file checkassert.cpp.
References CWE398, normal, Check::reportError(), and warning.
Referenced by assertWithSideEffects(), and getErrorMessages().
The documentation for this class was generated from the following files:
