lib/tooling/PVS-Studio-tool.js

// Copyright (c) 2020, Compiler Explorer Authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//     * Redistributions of source code must retain the above copyright notice,
//       this list of conditions and the following disclaimer.
//     * Redistributions in binary form must reproduce the above copyright
//       notice, this list of conditions and the following disclaimer in the
//       documentation and/or other materials provided with the distribution.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
// ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
// LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
// SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
// POSSIBILITY OF SUCH DAMAGE.
"use strict";

const
    BaseTool = require('./base-tool'),
    path = require('path'),
    exec = require('../exec'),
    utils = require('../utils'),
    logger = require('../logger').logger,
    _ = require('underscore'),
    fs = require('fs-extra');

class PVSStudioTool extends BaseTool {
    constructor(toolInfo, env) {
        super(toolInfo, env);
        this.plogConverterPath = this.env.compilerProps("plogConverter", "/usr/bin/plog-converter");

        this.cfgFileContents = [
            "exclude-path = /opt",
            "exclude-path = /usr",
            "language = " + toolInfo.compilerLanguage.toUpperCase()
        ];
    }

    async writeCfgFile(sourceDir) {
        const filename = path.join(sourceDir, 'PVS-Studio.cfg');

        const specificConfiguration = [
            "analysis-mode = 4",
            "platform = x64"
        ];

        const configdata = _.union(this.cfgFileContents, specificConfiguration);

        return fs.writeFile(filename, configdata.join("\n"));
    }

    async runTool(compilationInfo, inputFilepath, args) {
        const sourceDir = path.dirname(inputFilepath);

        // Collecting the flags of compilation
        let compileFlags = compilationInfo.compiler.options.split(" ");

        const includeflags = super.getIncludeArguments(compilationInfo.libraries, compilationInfo.compiler);
        compileFlags = compileFlags.concat(includeflags);

        const manualCompileFlags = compilationInfo.options.filter(option => (option !== inputFilepath));
        compileFlags = compileFlags.concat(manualCompileFlags);

        const cfgfile = this.writeCfgFile(sourceDir);

        // Deal with args
        args = [];

        // Necessary arguments
        args.push("analyze");
        args.push("--source-file", inputFilepath);
        const outputFilePath = path.join(sourceDir, "pvs-studio-log.log");
        args.push("--output-file", outputFilePath);

        // TODO: expand this to switch() for all supported compilers:
        // visualcpp, clang, gcc, bcc, bcc_clang64, iar, keil5, keil5_gnu
        args.push("--preprocessor");
        if (compilationInfo.compiler.group.indexOf("clang") !== -1)
            args.push("clang");
        else
            args.push("gcc");

        // Now let's push the path to the compiler
        const fileExtention = path.extname(inputFilepath);
        if(fileExtention === ".c")
        {
            args.push("--cc");
        }
        else
        {
            args.push("--cxx");
        }
        args.push(compilationInfo.compiler.exe);

        // Let the tool know the compilation options
        args.push("--cl-params");
        args = args.concat(compileFlags);

        await cfgfile;

        // If you are to modify this code,
        // don't forget that super.runTool() does args.push(inputFilepath) inside.
        const result = await super.runTool(compilationInfo, inputFilepath, args);
        if (result.code !== 0) {
            return result;
        }

        // Convert log to readable format
        const plogConverterOutputFilePath = path.join(sourceDir, "pvs-studio-log.err");

        const plogConverterArgs = [];
        plogConverterArgs.push("-t", "errorfile", "-a", "FAIL:1,2,3;GA:1,2,3", "-o",
            plogConverterOutputFilePath,
            "pvs-studio-log.log");

        const plogExecOptions = this.getDefaultExecOptions();
        plogExecOptions.customCwd = sourceDir;

        const plogConverterResult = await exec.execute(
            this.plogConverterPath, plogConverterArgs, plogExecOptions);
        if (plogConverterResult.code !== 0) {
            logger.warn("plog-converter failed", plogConverterResult);
            return this.convertResult(plogConverterResult, inputFilepath);
        }
        let plogConverterOutput = (await fs.readFile(plogConverterOutputFilePath, 'utf8')).toString();

        // Sometimes if a code fragmet can't be analyzed, PVS-Studio makes a warning for a preprocessed file
        // (*.PVS-Studio.i)
        // This name can't be parsed by utils.parseOutput
        // so let's just replace it with a source file name.
        plogConverterOutput = plogConverterOutput.replace(sourceDir + "/example.PVS-Studio.i", inputFilepath);

        result.stdout = utils.parseOutput(plogConverterOutput, plogConverterResult.filenameTransform(inputFilepath));

        // Now let's trim the documentation link
        if (result.stdout.length > 0) {
            result.stdout[0].text
                = result.stdout[0].text.replace("www.viva64.com/en/w:1:1: error: Help: ", '');
            result.stdout[0].text = result.stdout[0].text.concat("\n\n");
        }

        // The error output is unnessesary for the user
        // If you need to debug PVS-Studio-tool, you can comment out this line
        result.stderr = [];

        return result;
    }
}

module.exports = PVSStudioTool;