2009-03-18 22:40:38 +01:00
|
|
|
/*
|
|
|
|
* Cppcheck - A tool for static C/C++ code analysis
|
2014-02-15 07:45:39 +01:00
|
|
|
* Copyright (C) 2007-2014 Daniel Marjamäki and 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
|
|
|
|
/// @{
|
|
|
|
|
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 */
|
Fix SEGV on Solaris x86
On Solaris x86, with both GCC 4.8 and 4.9, running cppcheck causes a segmentation fault when process terminates.
The backtrace (dbx) where
=>[1] _ZNSt14_List_iteratorIP5CheckEppEv(0x804798c, 0x8047994, 0xc0d61d6, 0x291a), at 0x8291b7c
[2] std::list<Check*, std::allocator, <Check*>void>::remove(0x84ab328, 0x80479c8, 0x80479d4, 0x82d96fc), at 0x82da984
[3] Check::~Check(0x84a9fc4, 0x83d232c, 0xfef411fb, 0x83d135c), at 0x82d9709
[4] CheckExceptionSafety::~CheckExceptionSafety(0x84a9fc4, 0xfee82a40, 0xfee82a40, 0xfedcf000), at 0x8311e7d
[5] __static_initialization_and_destruction_0(0x0, 0xffff, 0xfedd4c80, 0xfedcf000), at 0x81b01f8
[6] _GLOBAL__sub_D__ZN20CheckExceptionSafety11destructorsEv(0x83d135c, 0xfedd4f18, 0x8047a50, 0x828a5f5, 0xfedcf000, 0x8047a68), at 0x81b023c
[7] __do_global_dtors_aux(0xfedcf000, 0x8047a68, 0xfece28cd, 0x8047b08, 0x8047a48, 0xfedcf000), at 0x8185b90
[8] _fini(0x8047b08, 0x8047a48, 0xfedcf000, 0xfedd4f00, 0x8047a80, 0xfecd4e72), at 0x828a5f5
[9] _exithandle(0xfeffb7d8, 0x8185a1a, 0x0, 0x0, 0x0, 0x0), at 0xfece28cd
[10] exit(0x1, 0x8047b70, 0x0, 0x8047ba3, 0x8047bba, 0x8047ce6), at 0xfecd4e72
The destructor order is somehow getting messed up on this platform.
This fix moves the code away from header file and ensures _instances remains valid during termination.
2014-11-25 13:54:43 +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-11-24 06:37:08 +01:00
|
|
|
virtual FileInfo * getFileInfo(const Tokenizer *tokenizer) const {
|
2014-11-15 10:43:49 +01:00
|
|
|
(void)tokenizer;
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2014-11-20 14:20:09 +01:00
|
|
|
virtual void analyseWholeProgram(const std::list<FileInfo*> &fileInfo, ErrorLogger &errorLogger) {
|
2014-11-15 10:43:49 +01:00
|
|
|
(void)fileInfo;
|
|
|
|
(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>
|
2014-11-20 14:20:09 +01:00
|
|
|
void reportError(const Token *tok, const Severity::SeverityType severity, const T id, const U msg, bool inconclusive = false) {
|
2012-05-06 19:37:41 +02:00
|
|
|
std::list<const Token *> callstack(1, tok);
|
|
|
|
reportError(callstack, severity, id, msg, inconclusive);
|
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>
|
2014-11-20 14:20:09 +01:00
|
|
|
void reportError(const std::list<const Token *> &callstack, Severity::SeverityType severity, const T id, const U msg, bool inconclusive = false) {
|
2012-05-06 10:17:15 +02:00
|
|
|
ErrorLogger::ErrorMessage errmsg(callstack, _tokenizer?&_tokenizer->list:0, severity, id, msg, inconclusive);
|
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 &);
|
2012-12-01 02:16:03 +01:00
|
|
|
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
|