2009-03-18 22:40:38 +01:00
|
|
|
/*
|
|
|
|
* Cppcheck - A tool for static C/C++ code analysis
|
2016-01-01 14:34:45 +01:00
|
|
|
* Copyright (C) 2007-2016 Cppcheck team.
|
2009-03-18 22:40:38 +01:00
|
|
|
*
|
|
|
|
* This program is free software: you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License as published by
|
|
|
|
* the Free Software Foundation, either version 3 of the License, or
|
|
|
|
* (at your option) any later version.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU General Public License
|
2009-09-27 17:08:31 +02:00
|
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
2009-03-18 22:40:38 +01:00
|
|
|
*/
|
|
|
|
|
2013-09-04 20:59:49 +02:00
|
|
|
//---------------------------------------------------------------------------
|
2009-03-18 22:40:38 +01:00
|
|
|
#ifndef checkH
|
|
|
|
#define checkH
|
2013-09-04 20:59:49 +02:00
|
|
|
//---------------------------------------------------------------------------
|
2009-03-18 22:40:38 +01:00
|
|
|
|
2012-06-10 14:19:09 +02:00
|
|
|
#include "config.h"
|
2009-07-13 19:11:31 +02:00
|
|
|
#include "token.h"
|
2009-03-20 19:52:18 +01:00
|
|
|
#include "tokenize.h"
|
|
|
|
#include "settings.h"
|
|
|
|
#include "errorlogger.h"
|
2009-03-18 22:40:38 +01:00
|
|
|
|
2009-03-20 19:52:18 +01:00
|
|
|
#include <list>
|
2010-07-31 08:52:28 +02:00
|
|
|
#include <set>
|
2009-03-18 22:40:38 +01:00
|
|
|
|
2009-07-17 10:49:01 +02:00
|
|
|
/// @addtogroup Core
|
|
|
|
/// @{
|
|
|
|
|
2016-01-25 20:01:48 +01:00
|
|
|
|
2009-07-08 17:14:34 +02:00
|
|
|
/**
|
|
|
|
* @brief Interface class that cppcheck uses to communicate with the checks.
|
|
|
|
* All checking classes must inherit from this class
|
|
|
|
*/
|
2012-06-10 14:19:09 +02:00
|
|
|
class CPPCHECKLIB Check {
|
2009-03-18 22:40:38 +01:00
|
|
|
public:
|
2009-03-20 20:09:44 +01:00
|
|
|
/** This constructor is used when registering the CheckClass */
|
2014-05-23 14:17:39 +02:00
|
|
|
explicit Check(const std::string &aname);
|
2009-03-18 22:40:38 +01:00
|
|
|
|
2010-03-17 22:16:18 +01:00
|
|
|
/** This constructor is used when running checks. */
|
2011-02-02 10:29:10 +01:00
|
|
|
Check(const std::string &aname, const Tokenizer *tokenizer, const Settings *settings, ErrorLogger *errorLogger)
|
2014-11-20 14:20:09 +01:00
|
|
|
: _tokenizer(tokenizer), _settings(settings), _errorLogger(errorLogger), _name(aname) {
|
2013-08-07 16:27:37 +02:00
|
|
|
}
|
2009-03-20 17:15:51 +01:00
|
|
|
|
2014-11-20 14:20:09 +01:00
|
|
|
virtual ~Check() {
|
2014-04-02 19:01:37 +02:00
|
|
|
if (!_tokenizer)
|
|
|
|
instances().remove(this);
|
2009-03-19 19:24:13 +01:00
|
|
|
}
|
2009-03-18 22:40:38 +01:00
|
|
|
|
2009-07-17 10:49:01 +02:00
|
|
|
/** List of registered check classes. This is used by Cppcheck to run checks and generate documentation */
|
2014-11-26 16:13:57 +01:00
|
|
|
static std::list<Check *> &instances();
|
2009-03-18 22:40:38 +01:00
|
|
|
|
2009-03-21 07:53:23 +01:00
|
|
|
/** run checks, the token list is not simplified */
|
2014-11-20 14:20:09 +01:00
|
|
|
virtual void runChecks(const Tokenizer *, const Settings *, ErrorLogger *) {
|
2013-08-07 16:27:37 +02:00
|
|
|
}
|
2009-03-21 07:53:23 +01:00
|
|
|
|
|
|
|
/** run checks, the token list is simplified */
|
|
|
|
virtual void runSimplifiedChecks(const Tokenizer *tokenizer, const Settings *settings, ErrorLogger *errorLogger) = 0;
|
|
|
|
|
2009-03-21 14:07:51 +01:00
|
|
|
/** get error messages */
|
2012-02-18 23:43:51 +01:00
|
|
|
virtual void getErrorMessages(ErrorLogger *errorLogger, const Settings *settings) const = 0;
|
2009-03-20 17:15:51 +01:00
|
|
|
|
2009-07-17 10:49:01 +02:00
|
|
|
/** class name, used to generate documentation */
|
2014-11-20 14:20:09 +01:00
|
|
|
const std::string& name() const {
|
2011-02-02 10:29:10 +01:00
|
|
|
return _name;
|
|
|
|
}
|
2009-06-12 15:20:08 +02:00
|
|
|
|
2009-07-17 10:49:01 +02:00
|
|
|
/** get information about this class, used to generate documentation */
|
2009-06-12 12:19:37 +02:00
|
|
|
virtual std::string classInfo() const = 0;
|
|
|
|
|
2009-10-17 23:11:48 +02:00
|
|
|
/**
|
|
|
|
* Write given error to errorlogger or to out stream in xml format.
|
|
|
|
* This is for for printout out the error list with --errorlist
|
|
|
|
* @param errmsg Error message to write
|
|
|
|
*/
|
2014-05-23 14:17:39 +02:00
|
|
|
static void reportError(const ErrorLogger::ErrorMessage &errmsg);
|
2009-10-17 23:11:48 +02:00
|
|
|
|
2014-11-20 14:20:09 +01:00
|
|
|
bool inconclusiveFlag() const {
|
2011-10-18 19:34:14 +02:00
|
|
|
return _settings && _settings->inconclusive;
|
|
|
|
}
|
|
|
|
|
2014-11-15 10:43:49 +01:00
|
|
|
/** Base class used for whole-program analysis */
|
|
|
|
class FileInfo {
|
|
|
|
public:
|
|
|
|
FileInfo() {}
|
|
|
|
virtual ~FileInfo() {}
|
|
|
|
};
|
|
|
|
|
2014-12-02 06:41:18 +01:00
|
|
|
virtual FileInfo * getFileInfo(const Tokenizer *tokenizer, const Settings *settings) const {
|
2014-11-15 10:43:49 +01:00
|
|
|
(void)tokenizer;
|
2014-12-02 06:41:18 +01:00
|
|
|
(void)settings;
|
2014-11-15 10:43:49 +01:00
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2015-06-28 17:54:48 +02:00
|
|
|
virtual void analyseWholeProgram(const std::list<FileInfo*> &fileInfo, const Settings& settings, ErrorLogger &errorLogger) {
|
2014-11-15 10:43:49 +01:00
|
|
|
(void)fileInfo;
|
2015-06-28 17:54:48 +02:00
|
|
|
(void)settings;
|
2014-11-15 10:43:49 +01:00
|
|
|
(void)errorLogger;
|
|
|
|
}
|
|
|
|
|
2009-03-20 17:15:51 +01:00
|
|
|
protected:
|
|
|
|
const Tokenizer * const _tokenizer;
|
|
|
|
const Settings * const _settings;
|
|
|
|
ErrorLogger * const _errorLogger;
|
2009-03-20 19:52:18 +01:00
|
|
|
|
2009-03-20 20:09:44 +01:00
|
|
|
/** report an error */
|
2014-04-02 18:04:20 +02:00
|
|
|
template<typename T, typename U>
|
2015-04-25 17:48:11 +02:00
|
|
|
void reportError(const Token *tok, const Severity::SeverityType severity, const T id, const U msg) {
|
2016-01-25 20:01:48 +01:00
|
|
|
reportError(tok, severity, id, msg, CWE(0U), false);
|
2015-04-25 17:48:11 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/** report an error */
|
|
|
|
template<typename T, typename U>
|
2016-01-25 20:01:48 +01:00
|
|
|
void reportError(const Token *tok, const Severity::SeverityType severity, const T id, const U msg, const CWE &cwe, bool inconclusive) {
|
2012-05-06 19:37:41 +02:00
|
|
|
std::list<const Token *> callstack(1, tok);
|
2015-04-25 17:48:11 +02:00
|
|
|
reportError(callstack, severity, id, msg, cwe, inconclusive);
|
|
|
|
}
|
|
|
|
|
|
|
|
/** report an error */
|
|
|
|
template<typename T, typename U>
|
|
|
|
void reportError(const std::list<const Token *> &callstack, Severity::SeverityType severity, const T id, const U msg) {
|
2016-01-25 20:01:48 +01:00
|
|
|
reportError(callstack, severity, id, msg, CWE(0U), false);
|
2009-03-21 21:33:27 +01:00
|
|
|
}
|
2009-03-20 19:52:18 +01:00
|
|
|
|
2009-03-21 21:33:27 +01:00
|
|
|
/** report an error */
|
2014-04-02 18:04:20 +02:00
|
|
|
template<typename T, typename U>
|
2016-01-25 20:01:48 +01:00
|
|
|
void reportError(const std::list<const Token *> &callstack, Severity::SeverityType severity, const T id, const U msg, const CWE &cwe, bool inconclusive) {
|
Mapped toomanyconfigs ,AssignmentAddressToInteger
,AssignmentIntegerToAddress ,CastIntegerToAddressAtReturn
,CastAddressToIntegerAtReturn ,assertWithSideEffect ,assignmentInAssert
,uselessAssignmentArg ,uselessAssignmentPtrArg
,comparisonOfFuncReturningBoolError
,comparisonOfTwoFuncsReturningBoolError ,comparisonOfBoolWithBoolError
,incrementboolean ,comparisonOfBoolWithInt ,compareBoolExpressionWithInt
,negativeIndex ,pointerOutOfBounds ,arrayIndexThenCheck
,possibleBufferAccessOutOfBounds ,argumentSize
,arrayIndexOutOfBoundsCond ,noConstructor ,copyCtorPointerCopying
,noCopyConstructor ,uninitMemberVar ,operatorEqVarError
,unusedPrivateFunction ,memsetClassFloat ,mallocOnClassWarning
,operatorEq ,thisSubtraction ,operatorEqRetRefThis ,operatorEqToSelf
,useInitializationList ,duplInheritedMember ,assignIfError
,comparisonError ,multiCondition ,mismatchingBitAnd
,oppositeInnerCondition ,incorrectLogicOperator ,redundantCondition
,moduloAlwaysTrueFalse to their CWEs ids.
2016-02-20 23:56:36 +01:00
|
|
|
ErrorLogger::ErrorMessage errmsg(callstack, _tokenizer?&_tokenizer->list:0, severity, id, msg, cwe, inconclusive);
|
2016-01-25 20:01:48 +01:00
|
|
|
errmsg._cwe = cwe.id;
|
2010-04-02 07:30:58 +02:00
|
|
|
if (_errorLogger)
|
2009-08-04 21:36:55 +02:00
|
|
|
_errorLogger->reportErr(errmsg);
|
|
|
|
else
|
2009-10-17 23:11:48 +02:00
|
|
|
reportError(errmsg);
|
2009-03-20 19:52:18 +01:00
|
|
|
}
|
2009-03-21 21:33:27 +01:00
|
|
|
|
2012-05-06 19:37:41 +02:00
|
|
|
private:
|
|
|
|
const std::string _name;
|
|
|
|
|
2012-12-01 02:16:03 +01:00
|
|
|
/** disabled assignment operator and copy constructor */
|
2012-05-06 19:37:41 +02:00
|
|
|
void operator=(const Check &);
|
2015-03-10 19:35:12 +01:00
|
|
|
explicit Check(const Check &);
|
2009-03-18 22:40:38 +01:00
|
|
|
};
|
|
|
|
|
2009-07-17 10:49:01 +02:00
|
|
|
/// @}
|
2013-09-04 20:59:49 +02:00
|
|
|
//---------------------------------------------------------------------------
|
|
|
|
#endif // checkH
|