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
|
|
|
|
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 12:30:28 +02:00
|
|
|
QString addonPath;
|
|
|
|
if (QFileInfo(mDataDir + "/threadsafety.py").exists())
|
|
|
|
addonPath = mDataDir;
|
|
|
|
else if (QDir(mDataDir + "/addons").exists())
|
|
|
|
addonPath = mDataDir + "/addons";
|
|
|
|
else if (mDataDir.endsWith("/cfg")) {
|
|
|
|
if (QDir(mDataDir.mid(0,mDataDir.size()-3) + "addons").exists())
|
|
|
|
addonPath = mDataDir.mid(0,mDataDir.size()-3) + "addons";
|
|
|
|
}
|
|
|
|
|
|
|
|
bool needDump = mAddons.contains("y2038") || mAddons.contains("threadsafety") || mAddons.contains("cert") || mAddons.contains("misra");
|
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 12:30:28 +02:00
|
|
|
if (!mAddons.isEmpty()) {
|
|
|
|
if (needDump) {
|
|
|
|
mCppcheck.settings().dump = true;
|
|
|
|
mCppcheck.check(file.toStdString());
|
|
|
|
mCppcheck.settings().dump = false;
|
|
|
|
}
|
|
|
|
foreach (const QString addon, mAddons) {
|
|
|
|
if (addon == "clang")
|
|
|
|
continue;
|
|
|
|
QProcess process;
|
|
|
|
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 12:39:31 +02:00
|
|
|
QString dumpFile = file + ".dump";
|
2017-08-03 12:30:28 +02:00
|
|
|
QString cmd = "python " + a + ' ' + dumpFile;
|
|
|
|
qDebug() << cmd;
|
|
|
|
process.start(cmd);
|
|
|
|
process.waitForFinished();
|
2017-08-03 17:20:29 +02:00
|
|
|
parseAddonErrors(process.readAllStandardError(), addon);
|
2017-08-03 12:30:28 +02:00
|
|
|
}
|
|
|
|
}
|
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 12:30:28 +02:00
|
|
|
if (!mAddons.isEmpty()) {
|
|
|
|
if (needDump) {
|
|
|
|
mCppcheck.settings().dump = true;
|
|
|
|
mCppcheck.check(fileSettings);
|
|
|
|
mCppcheck.settings().dump = false;
|
|
|
|
}
|
|
|
|
foreach (const QString addon, mAddons) {
|
|
|
|
QProcess process;
|
|
|
|
if (addon == "clang") {
|
|
|
|
QString cmd("clang --analyze");
|
|
|
|
for (std::list<std::string>::const_iterator I = fileSettings.includePaths.begin(); I != fileSettings.includePaths.end(); ++I)
|
|
|
|
cmd += " -I" + QString::fromStdString(*I);
|
|
|
|
foreach (QString D, QString::fromStdString(fileSettings.defines).split(";"))
|
|
|
|
cmd += " -D" + D;
|
|
|
|
QString fileName = QString::fromStdString(fileSettings.filename);
|
|
|
|
if (fileName.endsWith(".cpp"))
|
|
|
|
cmd += " -std=c++11";
|
|
|
|
cmd += ' ' + fileName;
|
|
|
|
qDebug() << cmd;
|
|
|
|
process.start(cmd);
|
|
|
|
process.waitForFinished(600*1000);
|
2017-08-03 17:20:29 +02:00
|
|
|
parseClangErrors(process.readAllStandardError());
|
2017-08-03 12:30:28 +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;
|
|
|
|
QString dumpFile = QString::fromStdString(fileSettings.filename + ".dump");
|
|
|
|
QString cmd = "python " + a + ' ' + dumpFile;
|
|
|
|
qDebug() << cmd;
|
|
|
|
process.start(cmd);
|
|
|
|
process.waitForFinished();
|
2017-08-03 17:20:29 +02:00
|
|
|
parseAddonErrors(process.readAllStandardError(), addon);
|
2017-08-03 12:30:28 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
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
|
|
|
}
|
|
|
|
|
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 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();
|
|
|
|
QRegExp r("([^:]+):([0-9]+):[0-9]+: (warning|error): (.*)");
|
|
|
|
if (!r.exactMatch(line))
|
|
|
|
continue;
|
|
|
|
const std::string filename = r.cap(1).toStdString();
|
|
|
|
const int lineNumber = r.cap(2).toInt();
|
|
|
|
Severity::SeverityType severity = (r.cap(3) == "error") ? Severity::error : Severity::warning;
|
|
|
|
const std::string message = r.cap(4).toStdString();
|
|
|
|
const std::string id = "clang";
|
|
|
|
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
|
|
|
}
|
|
|
|
}
|