2009-03-01 08:38:21 +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-01 08:38:21 +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-01 08:38:21 +01:00
|
|
|
*/
|
|
|
|
|
2010-10-31 12:16:55 +01:00
|
|
|
#include <QString>
|
2009-03-01 08:38:21 +01:00
|
|
|
#include <QDebug>
|
2017-08-03 12:30:28 +02:00
|
|
|
#include <QDir>
|
|
|
|
#include <QFileInfo>
|
|
|
|
#include <QProcess>
|
2010-10-31 12:16:55 +01:00
|
|
|
#include "checkthread.h"
|
|
|
|
#include "threadresult.h"
|
|
|
|
#include "cppcheck.h"
|
2009-03-01 08:38:21 +01:00
|
|
|
|
2017-08-04 15:10:27 +02:00
|
|
|
static const char CLANG[] = "clang";
|
|
|
|
static const char CLANGTIDY[] = "clang-tidy";
|
|
|
|
|
2009-03-01 21:44:42 +01:00
|
|
|
CheckThread::CheckThread(ThreadResult &result) :
|
2010-04-15 20:08:51 +02:00
|
|
|
mState(Ready),
|
|
|
|
mResult(result),
|
2016-12-09 20:48:32 +01:00
|
|
|
mCppcheck(result, true),
|
|
|
|
mAnalyseWholeProgram(false)
|
2009-03-01 08:38:21 +01:00
|
|
|
{
|
|
|
|
//ctor
|
|
|
|
}
|
|
|
|
|
|
|
|
CheckThread::~CheckThread()
|
|
|
|
{
|
|
|
|
//dtor
|
|
|
|
}
|
|
|
|
|
2017-07-28 05:26:11 +02:00
|
|
|
void CheckThread::check(const Settings &settings)
|
2009-03-01 08:38:21 +01:00
|
|
|
{
|
2016-11-19 20:38:50 +01:00
|
|
|
mFiles.clear();
|
2012-04-06 14:19:26 +02:00
|
|
|
mCppcheck.settings() = settings;
|
2009-03-01 21:44:42 +01:00
|
|
|
start();
|
2009-03-01 08:38:21 +01:00
|
|
|
}
|
|
|
|
|
2017-07-28 05:26:11 +02:00
|
|
|
void CheckThread::analyseWholeProgram(const QStringList &files)
|
2016-11-19 20:38:50 +01:00
|
|
|
{
|
|
|
|
mFiles = files;
|
2016-12-09 20:48:32 +01:00
|
|
|
mAnalyseWholeProgram = true;
|
2016-11-19 20:38:50 +01:00
|
|
|
start();
|
|
|
|
}
|
|
|
|
|
2009-03-01 08:38:21 +01:00
|
|
|
void CheckThread::run()
|
|
|
|
{
|
2009-06-02 01:01:53 +02:00
|
|
|
mState = Running;
|
2009-03-01 08:38:21 +01:00
|
|
|
|
2016-12-09 20:48:32 +01:00
|
|
|
if (!mFiles.isEmpty() || mAnalyseWholeProgram) {
|
|
|
|
mAnalyseWholeProgram = false;
|
2016-11-19 20:38:50 +01:00
|
|
|
qDebug() << "Whole program analysis";
|
|
|
|
const std::string &buildDir = mCppcheck.settings().buildDir;
|
|
|
|
if (!buildDir.empty()) {
|
|
|
|
std::map<std::string,std::size_t> files2;
|
|
|
|
for (QString file : mFiles)
|
|
|
|
files2[file.toStdString()] = 0;
|
|
|
|
mCppcheck.analyseWholeProgram(buildDir, files2);
|
|
|
|
}
|
|
|
|
mFiles.clear();
|
2017-07-28 13:43:49 +02:00
|
|
|
emit done();
|
2016-11-19 20:38:50 +01:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2017-08-03 18:04:15 +02:00
|
|
|
const QString addonPath = getAddonPath();
|
2017-08-03 12:30:28 +02:00
|
|
|
|
2017-07-28 12:39:28 +02:00
|
|
|
QString file = mResult.getNextFile();
|
2011-10-13 20:53:06 +02:00
|
|
|
while (!file.isEmpty() && mState == Running) {
|
2009-03-02 20:56:51 +01:00
|
|
|
qDebug() << "Checking file" << file;
|
2011-04-24 18:10:25 +02:00
|
|
|
mCppcheck.check(file.toStdString());
|
2017-08-03 18:04:15 +02:00
|
|
|
runAddons(addonPath, nullptr, file);
|
2017-07-28 13:43:49 +02:00
|
|
|
emit fileChecked(file);
|
2009-03-02 20:56:51 +01:00
|
|
|
|
2010-04-02 07:30:58 +02:00
|
|
|
if (mState == Running)
|
2017-07-28 12:39:28 +02:00
|
|
|
file = mResult.getNextFile();
|
2009-03-01 21:44:42 +01:00
|
|
|
}
|
2016-08-18 21:58:50 +02:00
|
|
|
|
2017-07-28 12:39:28 +02:00
|
|
|
ImportProject::FileSettings fileSettings = mResult.getNextFileSettings();
|
2016-08-18 21:58:50 +02:00
|
|
|
while (!fileSettings.filename.empty() && mState == Running) {
|
|
|
|
file = QString::fromStdString(fileSettings.filename);
|
|
|
|
qDebug() << "Checking file" << file;
|
|
|
|
mCppcheck.check(fileSettings);
|
2017-08-03 18:04:15 +02:00
|
|
|
runAddons(addonPath, &fileSettings, QString::fromStdString(fileSettings.filename));
|
2017-07-28 13:43:49 +02:00
|
|
|
emit fileChecked(file);
|
2016-08-18 21:58:50 +02:00
|
|
|
|
|
|
|
if (mState == Running)
|
2017-07-28 12:39:28 +02:00
|
|
|
fileSettings = mResult.getNextFileSettings();
|
2016-08-18 21:58:50 +02:00
|
|
|
}
|
|
|
|
|
2010-04-02 07:30:58 +02:00
|
|
|
if (mState == Running)
|
2009-06-02 01:01:53 +02:00
|
|
|
mState = Ready;
|
2009-06-02 22:13:29 +02:00
|
|
|
else
|
2009-06-02 01:01:53 +02:00
|
|
|
mState = Stopped;
|
2009-03-01 08:38:21 +01:00
|
|
|
|
2017-07-28 13:43:49 +02:00
|
|
|
emit done();
|
2009-03-01 08:38:21 +01:00
|
|
|
}
|
|
|
|
|
2017-08-03 18:04:15 +02:00
|
|
|
void CheckThread::runAddons(const QString &addonPath, const ImportProject::FileSettings *fileSettings, const QString &fileName)
|
|
|
|
{
|
2017-08-03 22:54:38 +02:00
|
|
|
QString dumpFile;
|
2017-08-03 18:04:15 +02:00
|
|
|
|
|
|
|
foreach (const QString addon, mAddons) {
|
2017-08-04 15:10:27 +02:00
|
|
|
if (addon == CLANG || addon == CLANGTIDY) {
|
2017-08-03 18:04:15 +02:00
|
|
|
if (!fileSettings)
|
|
|
|
continue;
|
2017-08-04 15:10:27 +02:00
|
|
|
|
2017-08-04 20:08:01 +02:00
|
|
|
QStringList args;
|
|
|
|
if (addon == CLANG)
|
|
|
|
args << "--analyze";
|
|
|
|
else
|
|
|
|
args << "-checks=*,-clang*,-llvm*" << fileName << "--";
|
2017-08-03 18:04:15 +02:00
|
|
|
for (std::list<std::string>::const_iterator I = fileSettings->includePaths.begin(); I != fileSettings->includePaths.end(); ++I)
|
2017-08-04 20:08:01 +02:00
|
|
|
args << ("-I" + QString::fromStdString(*I));
|
2017-08-03 21:39:20 +02:00
|
|
|
for (std::list<std::string>::const_iterator i = fileSettings->systemIncludePaths.begin(); i != fileSettings->systemIncludePaths.end(); ++i)
|
2017-08-04 20:08:01 +02:00
|
|
|
args << "-isystem" << QString::fromStdString(*i);
|
2017-08-03 18:04:15 +02:00
|
|
|
foreach (QString D, QString::fromStdString(fileSettings->defines).split(";")) {
|
2017-08-04 20:08:01 +02:00
|
|
|
args << ("-D" + D);
|
2017-08-03 18:04:15 +02:00
|
|
|
}
|
2017-08-03 21:39:20 +02:00
|
|
|
if (!fileSettings->standard.empty())
|
2017-08-04 20:08:01 +02:00
|
|
|
args << (" -std=" + QString::fromStdString(fileSettings->standard));
|
2017-08-04 15:10:27 +02:00
|
|
|
if (addon == CLANG)
|
2017-08-04 20:08:01 +02:00
|
|
|
args << fileName;
|
|
|
|
|
|
|
|
const QString cmd(mClangPath.isEmpty() ? addon : (mClangPath + '/' + addon + ".exe"));
|
|
|
|
qDebug() << cmd << args;
|
2017-08-03 18:04:15 +02:00
|
|
|
|
|
|
|
QProcess process;
|
2017-08-04 20:08:01 +02:00
|
|
|
process.start(cmd, args);
|
2017-08-03 18:04:15 +02:00
|
|
|
process.waitForFinished(600*1000);
|
2017-08-04 15:10:27 +02:00
|
|
|
if (addon == CLANG)
|
|
|
|
parseClangErrors(process.readAllStandardError());
|
|
|
|
else
|
|
|
|
parseClangErrors(process.readAllStandardOutput());
|
2017-08-03 18:04:15 +02:00
|
|
|
} else {
|
|
|
|
QString a;
|
|
|
|
if (QFileInfo(addonPath + '/' + addon + ".py").exists())
|
|
|
|
a = addonPath + '/' + addon + ".py";
|
|
|
|
else if (QFileInfo(addonPath + '/' + addon + '/' + addon + ".py").exists())
|
|
|
|
a = addonPath + '/' + addon + '/' + addon + ".py";
|
|
|
|
else
|
|
|
|
continue;
|
|
|
|
|
2017-08-03 22:54:38 +02:00
|
|
|
if (dumpFile.isEmpty()) {
|
2017-08-03 18:04:15 +02:00
|
|
|
const std::string buildDir = mCppcheck.settings().buildDir;
|
|
|
|
mCppcheck.settings().buildDir.clear();
|
|
|
|
mCppcheck.settings().dump = true;
|
2017-08-03 22:54:38 +02:00
|
|
|
if (!buildDir.empty()) {
|
|
|
|
mCppcheck.settings().dumpFile = AnalyzerInformation::getAnalyzerInfoFile(buildDir, fileName.toStdString(), fileSettings ? fileSettings->cfg : std::string()) + ".dump";
|
|
|
|
dumpFile = QString::fromStdString(mCppcheck.settings().dumpFile);
|
|
|
|
} else {
|
|
|
|
dumpFile = fileName + ".dump";
|
|
|
|
}
|
2017-08-03 18:04:15 +02:00
|
|
|
if (fileSettings)
|
|
|
|
mCppcheck.check(*fileSettings);
|
|
|
|
else
|
|
|
|
mCppcheck.check(fileName.toStdString());
|
|
|
|
mCppcheck.settings().dump = false;
|
2017-08-03 22:54:38 +02:00
|
|
|
mCppcheck.settings().dumpFile.clear();
|
2017-08-03 18:04:15 +02:00
|
|
|
mCppcheck.settings().buildDir = buildDir;
|
|
|
|
}
|
|
|
|
|
|
|
|
QString cmd = "python " + a + ' ' + dumpFile;
|
|
|
|
qDebug() << cmd;
|
|
|
|
QProcess process;
|
|
|
|
process.start(cmd);
|
|
|
|
process.waitForFinished();
|
|
|
|
parseAddonErrors(process.readAllStandardError(), addon);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2009-06-02 01:01:53 +02:00
|
|
|
void CheckThread::stop()
|
|
|
|
{
|
|
|
|
mState = Stopping;
|
2010-02-01 19:24:36 +01:00
|
|
|
mCppcheck.terminate();
|
2009-06-02 01:01:53 +02:00
|
|
|
}
|
2017-08-03 12:30:28 +02:00
|
|
|
|
2017-08-03 18:04:15 +02:00
|
|
|
QString CheckThread::getAddonPath() const
|
|
|
|
{
|
2017-08-03 17:26:16 +02:00
|
|
|
if (QFileInfo(mDataDir + "/threadsafety.py").exists())
|
|
|
|
return mDataDir;
|
|
|
|
else if (QDir(mDataDir + "/addons").exists())
|
|
|
|
return mDataDir + "/addons";
|
|
|
|
else if (mDataDir.endsWith("/cfg")) {
|
|
|
|
if (QDir(mDataDir.mid(0,mDataDir.size()-3) + "addons").exists())
|
|
|
|
return mDataDir.mid(0,mDataDir.size()-3) + "addons";
|
|
|
|
}
|
|
|
|
return QString();
|
|
|
|
}
|
|
|
|
|
2017-08-03 17:20:29 +02:00
|
|
|
void CheckThread::parseAddonErrors(QString err, QString tool)
|
2017-08-03 12:30:28 +02:00
|
|
|
{
|
|
|
|
QTextStream in(&err, QIODevice::ReadOnly);
|
|
|
|
while (!in.atEnd()) {
|
|
|
|
QString line = in.readLine();
|
2017-08-03 17:20:29 +02:00
|
|
|
QRegExp r1("\\[([^:]+):([0-9]+)\\](.*)");
|
|
|
|
if (!r1.exactMatch(line))
|
|
|
|
continue;
|
|
|
|
const std::string &filename = r1.cap(1).toStdString();
|
|
|
|
const int lineNumber = r1.cap(2).toInt();
|
|
|
|
|
|
|
|
std::string message, id;
|
|
|
|
QRegExp r2("(.*)\\[([a-zA-Z0-9\\-\\._]+)\\]");
|
|
|
|
if (r2.exactMatch(r1.cap(3))) {
|
|
|
|
message = r2.cap(1).toStdString();
|
|
|
|
id = tool.toStdString() + '-' + r2.cap(2).toStdString();
|
2017-08-03 12:30:28 +02:00
|
|
|
} else {
|
2017-08-03 17:20:29 +02:00
|
|
|
message = r1.cap(3).toStdString();
|
|
|
|
id = tool.toStdString();
|
2017-08-03 12:30:28 +02:00
|
|
|
}
|
2017-08-03 17:20:29 +02:00
|
|
|
std::list<ErrorLogger::ErrorMessage::FileLocation> callstack;
|
|
|
|
callstack.push_back(ErrorLogger::ErrorMessage::FileLocation(filename, lineNumber));
|
|
|
|
ErrorLogger::ErrorMessage errmsg(callstack, filename, Severity::style, message, id, false);
|
|
|
|
mResult.reportErr(errmsg);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void CheckThread::parseClangErrors(QString err)
|
|
|
|
{
|
|
|
|
QTextStream in(&err, QIODevice::ReadOnly);
|
|
|
|
while (!in.atEnd()) {
|
|
|
|
QString line = in.readLine();
|
2017-08-04 20:08:01 +02:00
|
|
|
QRegExp r("(.+):([0-9]+):[0-9]+: (warning|error|fatal error): (.*)");
|
2017-08-03 17:20:29 +02:00
|
|
|
if (!r.exactMatch(line))
|
|
|
|
continue;
|
|
|
|
const std::string filename = r.cap(1).toStdString();
|
|
|
|
const int lineNumber = r.cap(2).toInt();
|
2017-08-03 20:33:01 +02:00
|
|
|
Severity::SeverityType severity = (r.cap(3) == "warning") ? Severity::warning : Severity::error;
|
2017-08-04 15:10:27 +02:00
|
|
|
std::string message, id;
|
|
|
|
QRegExp r2("(.*)\\[([a-zA-Z0-9\\-_\\.]+)\\]");
|
|
|
|
if (r2.exactMatch(r.cap(4))) {
|
|
|
|
message = r2.cap(1).toStdString();
|
|
|
|
id = r2.cap(2).toStdString();
|
|
|
|
} else {
|
|
|
|
message = r.cap(4).toStdString();
|
|
|
|
id = CLANG;
|
|
|
|
}
|
|
|
|
|
2017-08-03 17:20:29 +02:00
|
|
|
std::list<ErrorLogger::ErrorMessage::FileLocation> callstack;
|
|
|
|
callstack.push_back(ErrorLogger::ErrorMessage::FileLocation(filename, lineNumber));
|
|
|
|
ErrorLogger::ErrorMessage errmsg(callstack, filename, severity, message, id, false);
|
|
|
|
mResult.reportErr(errmsg);
|
2017-08-03 12:30:28 +02:00
|
|
|
}
|
|
|
|
}
|