2008-12-18 22:28:57 +01:00
|
|
|
/*
|
2009-01-21 21:04:20 +01:00
|
|
|
* Cppcheck - A tool for static C/C++ code analysis
|
2023-01-28 10:16:34 +01:00
|
|
|
* Copyright (C) 2007-2023 Cppcheck team.
|
2008-12-18 22:28:57 +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/>.
|
2008-12-18 22:28:57 +01:00
|
|
|
*/
|
|
|
|
|
|
|
|
#include "settings.h"
|
2021-10-13 20:02:48 +02:00
|
|
|
#include "path.h"
|
2020-12-20 19:53:58 +01:00
|
|
|
#include "summaries.h"
|
2023-04-08 16:08:47 +02:00
|
|
|
#include "timer.h"
|
2023-01-26 22:23:22 +01:00
|
|
|
#include "vfvalue.h"
|
2009-03-06 07:22:07 +01:00
|
|
|
|
2021-10-13 20:02:48 +02:00
|
|
|
#include <fstream>
|
2023-04-08 16:08:47 +02:00
|
|
|
#include <utility>
|
2021-10-13 20:02:48 +02:00
|
|
|
|
|
|
|
#define PICOJSON_USE_INT64
|
|
|
|
#include <picojson.h>
|
|
|
|
|
2019-12-19 18:37:51 +01:00
|
|
|
std::atomic<bool> Settings::mTerminated;
|
2016-08-21 15:57:19 +02:00
|
|
|
|
2019-07-23 11:54:38 +02:00
|
|
|
const char Settings::SafeChecks::XmlRootName[] = "safe-checks";
|
|
|
|
const char Settings::SafeChecks::XmlClasses[] = "class-public";
|
|
|
|
const char Settings::SafeChecks::XmlExternalFunctions[] = "external-functions";
|
|
|
|
const char Settings::SafeChecks::XmlInternalFunctions[] = "internal-functions";
|
|
|
|
const char Settings::SafeChecks::XmlExternalVariables[] = "external-variables";
|
|
|
|
|
2008-12-18 22:28:57 +01:00
|
|
|
Settings::Settings()
|
2022-04-11 07:30:55 +02:00
|
|
|
: checkAllConfigurations(true),
|
2021-08-07 20:51:18 +02:00
|
|
|
checkConfiguration(false),
|
|
|
|
checkHeaders(true),
|
|
|
|
checkLibrary(false),
|
2022-12-30 21:21:05 +01:00
|
|
|
checksMaxTime(0),
|
2021-08-07 20:51:18 +02:00
|
|
|
checkUnusedTemplates(true),
|
|
|
|
clang(false),
|
|
|
|
clangExecutable("clang"),
|
|
|
|
clangTidy(false),
|
2023-02-07 22:02:12 +01:00
|
|
|
clearIncludeCache(false),
|
2021-08-07 20:51:18 +02:00
|
|
|
daca(false),
|
|
|
|
debugnormal(false),
|
|
|
|
debugSimplified(false),
|
|
|
|
debugtemplate(false),
|
|
|
|
debugwarnings(false),
|
|
|
|
dump(false),
|
2022-11-20 12:29:56 +01:00
|
|
|
enforcedLang(Language::None),
|
2021-08-07 20:51:18 +02:00
|
|
|
exceptionHandling(false),
|
|
|
|
exitCode(0),
|
|
|
|
force(false),
|
|
|
|
inlineSuppressions(false),
|
|
|
|
jobs(1),
|
|
|
|
loadAverage(0),
|
|
|
|
maxConfigs(12),
|
|
|
|
maxCtuDepth(2),
|
|
|
|
maxTemplateRecursion(100),
|
2022-10-04 14:02:55 +02:00
|
|
|
performanceValueFlowMaxTime(-1),
|
2021-08-07 20:51:18 +02:00
|
|
|
preprocessOnly(false),
|
|
|
|
quiet(false),
|
|
|
|
relativePaths(false),
|
|
|
|
reportProgress(false),
|
|
|
|
showtime(SHOWTIME_MODES::SHOWTIME_NONE),
|
2022-12-30 21:21:05 +01:00
|
|
|
templateMaxTime(0),
|
|
|
|
typedefMaxTime(0),
|
2023-05-07 18:28:01 +02:00
|
|
|
valueFlowMaxIterations(4),
|
2021-08-07 20:51:18 +02:00
|
|
|
verbose(false),
|
|
|
|
xml(false),
|
|
|
|
xml_version(2)
|
2008-12-18 22:28:57 +01:00
|
|
|
{
|
2021-02-24 22:00:06 +01:00
|
|
|
severity.setEnabled(Severity::error, true);
|
|
|
|
certainty.setEnabled(Certainty::normal, true);
|
2023-04-09 13:48:13 +02:00
|
|
|
setCheckLevelNormal();
|
2008-12-18 22:28:57 +01:00
|
|
|
}
|
2009-03-06 07:22:07 +01:00
|
|
|
|
2022-03-21 18:35:53 +01:00
|
|
|
void Settings::loadCppcheckCfg()
|
2021-10-13 20:02:48 +02:00
|
|
|
{
|
2022-03-21 18:35:53 +01:00
|
|
|
std::string fileName = Path::getPathFromFilename(exename) + "cppcheck.cfg";
|
2021-11-05 20:37:48 +01:00
|
|
|
#ifdef FILESDIR
|
|
|
|
if (Path::fileExists(FILESDIR "/cppcheck.cfg"))
|
|
|
|
fileName = FILESDIR "/cppcheck.cfg";
|
|
|
|
#endif
|
|
|
|
|
|
|
|
std::ifstream fin(fileName);
|
2021-10-13 20:02:48 +02:00
|
|
|
if (!fin.is_open())
|
|
|
|
return;
|
|
|
|
picojson::value json;
|
|
|
|
fin >> json;
|
|
|
|
if (!picojson::get_last_error().empty())
|
|
|
|
return;
|
|
|
|
picojson::object obj = json.get<picojson::object>();
|
2022-03-24 22:44:47 +01:00
|
|
|
if (obj.count("productName") && obj["productName"].is<std::string>())
|
|
|
|
cppcheckCfgProductName = obj["productName"].get<std::string>();
|
|
|
|
if (obj.count("about") && obj["about"].is<std::string>())
|
|
|
|
cppcheckCfgAbout = obj["about"].get<std::string>();
|
2021-10-13 20:02:48 +02:00
|
|
|
if (obj.count("addons") && obj["addons"].is<picojson::array>()) {
|
|
|
|
for (const picojson::value &v : obj["addons"].get<picojson::array>()) {
|
|
|
|
const std::string &s = v.get<std::string>();
|
|
|
|
if (!Path::isAbsolute(s))
|
2022-10-31 15:04:16 +01:00
|
|
|
addons.emplace(Path::getPathFromFilename(fileName) + s);
|
2021-10-13 20:02:48 +02:00
|
|
|
else
|
2022-10-31 15:04:16 +01:00
|
|
|
addons.emplace(s);
|
2021-10-13 20:02:48 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
if (obj.count("suppressions") && obj["suppressions"].is<picojson::array>()) {
|
|
|
|
for (const picojson::value &v : obj["suppressions"].get<picojson::array>())
|
|
|
|
nomsg.addSuppressionLine(v.get<std::string>());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-01-21 10:39:44 +01:00
|
|
|
std::string Settings::parseEnabled(const std::string &str, std::tuple<SimpleEnableGroup<Severity::SeverityType>, SimpleEnableGroup<Checks>> &groups)
|
2009-11-30 22:48:58 +01:00
|
|
|
{
|
2009-12-04 21:31:14 +01:00
|
|
|
// Enable parameters may be comma separated...
|
2015-08-15 20:24:26 +02:00
|
|
|
if (str.find(',') != std::string::npos) {
|
2009-12-04 21:31:14 +01:00
|
|
|
std::string::size_type prevPos = 0;
|
|
|
|
std::string::size_type pos = 0;
|
2015-08-15 20:24:26 +02:00
|
|
|
while ((pos = str.find(',', pos)) != std::string::npos) {
|
2010-04-02 07:30:58 +02:00
|
|
|
if (pos == prevPos)
|
2021-10-30 13:30:48 +02:00
|
|
|
return std::string("--enable parameter is empty");
|
2023-01-21 10:39:44 +01:00
|
|
|
std::string errmsg(parseEnabled(str.substr(prevPos, pos - prevPos), groups));
|
2010-07-23 13:29:16 +02:00
|
|
|
if (!errmsg.empty())
|
|
|
|
return errmsg;
|
2009-12-04 21:31:14 +01:00
|
|
|
++pos;
|
|
|
|
prevPos = pos;
|
|
|
|
}
|
2010-04-02 07:30:58 +02:00
|
|
|
if (prevPos >= str.length())
|
2021-10-30 13:30:48 +02:00
|
|
|
return std::string("--enable parameter is empty");
|
2023-01-21 10:39:44 +01:00
|
|
|
return parseEnabled(str.substr(prevPos), groups);
|
2009-12-04 21:31:14 +01:00
|
|
|
}
|
|
|
|
|
2023-01-21 10:39:44 +01:00
|
|
|
auto& severity = std::get<0>(groups);
|
|
|
|
auto& checks = std::get<1>(groups);
|
|
|
|
|
2011-10-13 20:53:06 +02:00
|
|
|
if (str == "all") {
|
2023-01-21 10:39:44 +01:00
|
|
|
// "error" is always enabled and cannot be controlled - so exclude it from "all"
|
|
|
|
SimpleEnableGroup<Severity::SeverityType> newSeverity;
|
|
|
|
newSeverity.fill();
|
|
|
|
newSeverity.disable(Severity::SeverityType::error);
|
|
|
|
severity.enable(newSeverity);
|
2021-02-24 22:00:06 +01:00
|
|
|
checks.enable(Checks::missingInclude);
|
|
|
|
checks.enable(Checks::unusedFunction);
|
2017-04-11 11:49:09 +02:00
|
|
|
} else if (str == "warning") {
|
2021-02-24 22:00:06 +01:00
|
|
|
severity.enable(Severity::warning);
|
2017-04-11 11:49:09 +02:00
|
|
|
} else if (str == "style") {
|
2021-02-24 22:00:06 +01:00
|
|
|
severity.enable(Severity::style);
|
2017-04-11 11:49:09 +02:00
|
|
|
} else if (str == "performance") {
|
2021-02-24 22:00:06 +01:00
|
|
|
severity.enable(Severity::performance);
|
2017-04-11 11:49:09 +02:00
|
|
|
} else if (str == "portability") {
|
2021-02-24 22:00:06 +01:00
|
|
|
severity.enable(Severity::portability);
|
2017-04-11 11:49:09 +02:00
|
|
|
} else if (str == "information") {
|
2021-02-24 22:00:06 +01:00
|
|
|
severity.enable(Severity::information);
|
2017-04-11 11:49:09 +02:00
|
|
|
} else if (str == "unusedFunction") {
|
2021-02-24 22:00:06 +01:00
|
|
|
checks.enable(Checks::unusedFunction);
|
2017-04-11 11:49:09 +02:00
|
|
|
} else if (str == "missingInclude") {
|
2021-02-24 22:00:06 +01:00
|
|
|
checks.enable(Checks::missingInclude);
|
2017-04-11 11:49:09 +02:00
|
|
|
}
|
|
|
|
#ifdef CHECK_INTERNAL
|
|
|
|
else if (str == "internal") {
|
2021-02-24 22:00:06 +01:00
|
|
|
checks.enable(Checks::internalCheck);
|
2017-04-11 11:49:09 +02:00
|
|
|
}
|
|
|
|
#endif
|
|
|
|
else {
|
2023-01-21 10:39:44 +01:00
|
|
|
// the actual option is prepending in the applyEnabled() call
|
2010-04-02 07:30:58 +02:00
|
|
|
if (str.empty())
|
2023-01-21 10:39:44 +01:00
|
|
|
return " parameter is empty";
|
2023-06-20 18:43:21 +02:00
|
|
|
return " parameter with the unknown name '" + str + "'";
|
2009-11-30 22:48:58 +01:00
|
|
|
}
|
2010-07-23 13:29:16 +02:00
|
|
|
|
2023-01-21 10:39:44 +01:00
|
|
|
return "";
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string Settings::addEnabled(const std::string &str)
|
|
|
|
{
|
|
|
|
return applyEnabled(str, true);
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string Settings::removeEnabled(const std::string &str)
|
|
|
|
{
|
|
|
|
return applyEnabled(str, false);
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string Settings::applyEnabled(const std::string &str, bool enable)
|
|
|
|
{
|
|
|
|
std::tuple<SimpleEnableGroup<Severity::SeverityType>, SimpleEnableGroup<Checks>> groups;
|
|
|
|
std::string errmsg = parseEnabled(str, groups);
|
|
|
|
if (!errmsg.empty())
|
|
|
|
return (enable ? "--enable" : "--disable") + errmsg;
|
|
|
|
|
|
|
|
const auto s = std::get<0>(groups);
|
|
|
|
const auto c = std::get<1>(groups);
|
|
|
|
if (enable) {
|
|
|
|
severity.enable(s);
|
|
|
|
checks.enable(c);
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
severity.disable(s);
|
|
|
|
checks.disable(c);
|
|
|
|
}
|
|
|
|
// FIXME: hack to make sure "error" is always enabled
|
|
|
|
severity.enable(Severity::SeverityType::error);
|
|
|
|
return errmsg;
|
2009-11-30 22:48:58 +01:00
|
|
|
}
|
|
|
|
|
2017-05-15 20:05:11 +02:00
|
|
|
bool Settings::isEnabled(const ValueFlow::Value *value, bool inconclusiveCheck) const
|
|
|
|
{
|
2021-02-24 22:00:06 +01:00
|
|
|
if (!severity.isEnabled(Severity::warning) && (value->condition || value->defaultArg))
|
2017-05-15 20:05:11 +02:00
|
|
|
return false;
|
2021-02-24 22:00:06 +01:00
|
|
|
if (!certainty.isEnabled(Certainty::inconclusive) && (inconclusiveCheck || value->isInconclusive()))
|
2017-05-15 20:05:11 +02:00
|
|
|
return false;
|
|
|
|
return true;
|
|
|
|
}
|
2020-12-19 19:02:42 +01:00
|
|
|
|
|
|
|
void Settings::loadSummaries()
|
|
|
|
{
|
2020-12-20 19:53:58 +01:00
|
|
|
Summaries::loadReturn(buildDir, summaryReturn);
|
2020-12-19 19:02:42 +01:00
|
|
|
}
|
2023-04-09 13:48:13 +02:00
|
|
|
|
|
|
|
|
|
|
|
void Settings::setCheckLevelExhaustive()
|
|
|
|
{
|
|
|
|
// Checking can take a little while. ~ 10 times slower than normal analysis is OK.
|
|
|
|
performanceValueFlowMaxIfCount = -1;
|
2023-04-12 22:09:48 +02:00
|
|
|
performanceValueFlowMaxSubFunctionArgs = 256;
|
2023-04-09 13:48:13 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void Settings::setCheckLevelNormal()
|
|
|
|
{
|
|
|
|
// Checking should finish in reasonable time.
|
2023-04-12 22:09:48 +02:00
|
|
|
performanceValueFlowMaxSubFunctionArgs = 8;
|
2023-04-09 13:48:13 +02:00
|
|
|
performanceValueFlowMaxIfCount = 100;
|
|
|
|
}
|