cppcheck/lib/settings.h

398 lines
11 KiB
C
Raw Normal View History

2010-04-13 19:25:08 +02:00
/*
* Cppcheck - A tool for static C/C++ code analysis
2019-02-09 07:24:06 +01:00
* Copyright (C) 2007-2019 Cppcheck team.
2010-04-13 19:25:08 +02: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
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
//---------------------------------------------------------------------------
#ifndef settingsH
#define settingsH
//---------------------------------------------------------------------------
2010-04-13 19:25:08 +02:00
#include "config.h"
2017-05-27 04:33:47 +02:00
#include "errorlogger.h"
#include "importproject.h"
#include "library.h"
#include "platform.h"
#include "standards.h"
2017-05-27 04:33:47 +02:00
#include "suppressions.h"
#include "timer.h"
2010-04-13 19:25:08 +02:00
#include <atomic>
2017-05-27 04:33:47 +02:00
#include <list>
#include <set>
#include <string>
#include <vector>
namespace ValueFlow {
class Value;
}
2010-04-13 19:25:08 +02:00
/// @addtogroup Core
/// @{
/**
* @brief This is just a container for general settings so that we don't need
* to pass individual values to functions or constructors now or in the
* future when we might have even more detailed settings.
*/
class CPPCHECKLIB Settings : public cppcheck::Platform {
public:
enum EnabledGroup {
WARNING = 0x1,
STYLE = 0x2,
PERFORMANCE = 0x4,
PORTABILITY = 0x8,
INFORMATION = 0x10,
UNUSED_FUNCTION = 0x20,
MISSING_INCLUDE = 0x40,
INTERNAL = 0x80
};
2010-04-13 19:25:08 +02:00
private:
/** @brief enable extra checks by id */
2018-06-17 08:21:05 +02:00
int mEnabled;
2010-04-13 19:25:08 +02:00
/** @brief terminate checking */
static std::atomic<bool> mTerminated;
2010-04-13 19:25:08 +02:00
public:
Settings();
std::list<std::string> addons;
/** @brief Paths used as base for conversion to relative paths. */
std::vector<std::string> basePaths;
2016-10-29 12:18:11 +02:00
/** @brief --cppcheck-build-dir */
std::string buildDir;
/** @brief --file-filter for analyzing special files */
std::string fileFilter;
/** Is the 'configuration checking' wanted? */
bool checkConfiguration;
/** Check for incomplete info in library files? */
bool checkLibrary;
/**
* Check code in the headers, this is on by default but can
* be turned off to save CPU */
bool checkHeaders;
/** Check unused templates */
bool checkUnusedTemplates;
2020-01-05 15:12:53 +01:00
/** Use Clang */
bool clang;
/** @brief include paths excluded from checking the configuration */
std::set<std::string> configExcludePaths;
2018-08-05 11:19:20 +02:00
/** @brief Is --debug-simplified given? */
bool debugSimplified;
/** @brief Is --debug-normal given? */
bool debugnormal;
/** @brief Is --debug-warnings given? */
bool debugwarnings;
2010-04-13 19:25:08 +02:00
/** @brief Is --debug-template given? */
bool debugtemplate;
2014-07-14 15:51:45 +02:00
/** @brief Is --dump given? */
bool dump;
std::string dumpFile;
2014-07-14 15:51:45 +02:00
enum Language {
None, C, CPP
};
/** @brief Name of the language that is enforced. Empty per default. */
Language enforcedLang;
/** @brief Is --exception-handling given */
bool exceptionHandling;
2019-04-14 15:00:03 +02:00
// argv[0]
std::string exename;
/** @brief If errors are found, this value is returned from main().
Default value is 0. */
int exitCode;
/**
* When this flag is false (default) then experimental
* heuristics and checks are disabled.
*
* It should not be possible to enable this from any client.
*/
bool experimental;
2010-04-13 19:25:08 +02:00
/** @brief Force checking the files with "too many" configurations (--force). */
bool force;
2010-04-13 19:25:08 +02:00
/** @brief List of include paths, e.g. "my/includes/" which should be used
for finding include files inside source files. (-I) */
std::list<std::string> includePaths;
2017-05-16 14:07:23 +02:00
/** @brief Inconclusive checks */
bool inconclusive;
2010-04-13 19:25:08 +02:00
/** Do not only check how interface is used. Also check that interface is safe. */
2019-09-01 14:44:03 +02:00
class CPPCHECKLIB SafeChecks {
public:
SafeChecks() : classes(false), externalFunctions(false), internalFunctions(false), externalVariables(false) {}
static const char XmlRootName[];
static const char XmlClasses[];
static const char XmlExternalFunctions[];
static const char XmlInternalFunctions[];
static const char XmlExternalVariables[];
/**
* Public interface of classes
* - public function parameters can have any value
* - public functions can be called in any order
* - public variables can have any value
*/
bool classes;
/**
* External functions
* - external functions can be called in any order
* - function parameters can have any values
*/
bool externalFunctions;
/**
* Experimental: assume that internal functions can be used in any way
* This is only available in the GUI.
*/
bool internalFunctions;
/**
* Global variables that can be modified outside the TU.
* - Such variable can have "any" value
*/
bool externalVariables;
};
SafeChecks safeChecks;
2020-01-14 21:17:07 +01:00
/** @brief Bug hunting */
bool bugHunting;
2020-01-14 21:17:07 +01:00
/** @brief Debug bug hunting */
bool debugBugHunting;
2019-12-27 19:05:10 +01:00
2020-01-14 21:17:07 +01:00
/** Filename for bug hunting report */
std::string bugHuntingReport;
2020-01-14 21:17:07 +01:00
/** @brief Check diff */
struct Diff {
std::string filename;
int fromLine;
int toLine;
};
2020-01-14 21:17:07 +01:00
std::vector<Diff> checkDiff;
2019-07-11 16:05:34 +02:00
/** @brief check unknown function return values */
std::set<std::string> checkUnknownFunctionReturn;
/** @brief Is --inline-suppr given? */
bool inlineSuppressions;
2010-04-13 19:25:08 +02:00
/** @brief How many processes/threads should do checking at the same
time. Default is 1. (-j N) */
unsigned int jobs;
2010-04-13 19:25:08 +02:00
/** @brief Collect unmatched suppressions in one run.
* This delays the reporting until all files are checked.
* It is needed by checks that analyse the whole code base. */
bool jointSuppressionReport;
2010-04-13 19:25:08 +02:00
/** @brief --library= */
std::list<std::string> libraries;
2016-01-02 11:48:36 +01:00
/** Library */
Library library;
/** @brief Load average value */
unsigned int loadAverage;
2010-04-13 19:25:08 +02:00
2011-10-22 11:11:54 +02:00
/** @brief Maximum number of configurations to check before bailing.
Default is 12. (--max-configs=N) */
unsigned int maxConfigs;
/** @brief --check all configurations */
bool checkAllConfigurations;
/** @brief --max-ctu-depth */
int maxCtuDepth;
/** @brief suppress exitcode */
Suppressions nofail;
2010-04-13 19:25:08 +02:00
/** @brief suppress message (--suppressions) */
Suppressions nomsg;
/** @brief write results (--output-file=&lt;file&gt;) */
std::string outputFile;
/** @brief plist output (--plist-output=&lt;dir&gt;) */
std::string plistOutput;
/** @brief Using -E for debugging purposes */
bool preprocessOnly;
ImportProject project;
/** @brief Is --quiet given? */
bool quiet;
/** @brief Use relative paths in output. */
bool relativePaths;
/** @brief --report-progress */
bool reportProgress;
2010-12-12 11:56:22 +01:00
/** Rule */
class CPPCHECKLIB Rule {
2010-12-12 11:56:22 +01:00
public:
2012-02-18 14:44:04 +01:00
Rule()
: tokenlist("simple") // use simple tokenlist
, id("rule") // default id
, severity(Severity::style) { // default severity
2010-12-12 11:56:22 +01:00
}
std::string tokenlist;
2010-12-12 11:56:22 +01:00
std::string pattern;
std::string id;
std::string summary;
Severity::SeverityType severity;
2010-12-12 11:56:22 +01:00
};
/**
* @brief Extra rules
*/
std::list<Rule> rules;
/** @brief show timing information (--showtime=file|summary|top5) */
SHOWTIME_MODES showtime;
/** Struct contains standards settings */
Standards standards;
/** @brief The output format in which the errors are printed in text mode,
e.g. "{severity} {file}:{line} {message} {id}" */
std::string templateFormat;
/** @brief The output format in which the error locations are printed in
* text mode, e.g. "{file}:{line} {info}" */
std::string templateLocation;
2019-03-02 19:52:15 +01:00
/** @brief defines given by the user */
std::string userDefines;
/** @brief undefines given by the user */
std::set<std::string> userUndefs;
/** @brief forced includes given by the user */
std::list<std::string> userIncludes;
/** @brief Is --verbose given? */
bool verbose;
/** @brief write XML results (--xml) */
bool xml;
/** @brief XML version (--xml-version=..) */
int xml_version;
/**
* @brief return true if a included file is to be excluded in Preprocessor::getConfigs
* @return true for the file to be excluded.
*/
2014-11-20 14:20:09 +01:00
bool configurationExcluded(const std::string &file) const {
for (const std::string & configExcludePath : configExcludePaths) {
if (file.length()>=configExcludePath.length() && file.compare(0,configExcludePath.length(),configExcludePath)==0) {
return true;
}
}
return false;
}
/**
* @brief Enable extra checks by id. See isEnabled()
* @param str single id or list of id values to be enabled
* or empty string to enable all. e.g. "style,possibleError"
* @return error message. empty upon success
*/
std::string addEnabled(const std::string &str);
/**
* @brief Disables all severities, except from error.
*/
void clearEnabled() {
mEnabled = 0;
}
/**
* @brief Returns true if given id is in the list of
* enabled extra checks (--enable)
* @param group group to be enabled
* @return true if the check is enabled.
*/
bool isEnabled(EnabledGroup group) const {
return (mEnabled & group) == group;
}
/**
* @brief Returns true if given severity is enabled
* @return true if the check is enabled.
*/
bool isEnabled(Severity::SeverityType severity) const;
/**
* @brief Returns true if given value can be shown
* @return true if the value can be shown
*/
bool isEnabled(const ValueFlow::Value *value, bool inconclusiveCheck=false) const;
static std::vector<Diff> loadDiffFile(std::istream &istr);
/** Is posix library specified? */
bool posix() const {
return std::find(libraries.begin(), libraries.end(), "posix") != libraries.end();
}
/** @brief Request termination of checking */
static void terminate(bool t = true) {
Settings::mTerminated = t;
}
/** @brief termination requested? */
static bool terminated() {
return Settings::mTerminated;
}
2010-04-13 19:25:08 +02:00
};
/// @}
//---------------------------------------------------------------------------
#endif // settingsH