cppcheck/lib/library.h

365 lines
13 KiB
C
Raw Normal View History

2013-07-02 07:18:19 +02:00
/*
* Cppcheck - A tool for static C/C++ code analysis
2014-02-15 07:45:39 +01:00
* Copyright (C) 2007-2014 Daniel Marjamäki and Cppcheck team.
2013-07-02 07:18:19 +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 libraryH
#define libraryH
//---------------------------------------------------------------------------
2013-07-02 07:18:19 +02:00
2013-07-04 13:09:34 +02:00
#include "config.h"
2013-10-27 17:10:43 +01:00
#include "path.h"
#include "mathlib.h"
2013-10-27 17:10:43 +01:00
2013-07-02 07:18:19 +02:00
#include <map>
#include <set>
#include <string>
2013-10-20 14:09:10 +02:00
#include <list>
#include <algorithm>
class TokenList;
namespace tinyxml2 {
class XMLDocument;
}
2013-07-02 07:18:19 +02:00
/// @addtogroup Core
/// @{
/**
* @brief Library definitions handling
2013-07-02 07:18:19 +02:00
*/
class CPPCHECKLIB Library {
2013-07-02 07:18:19 +02:00
public:
Library();
2013-07-02 07:18:19 +02:00
2013-10-20 14:09:10 +02:00
bool load(const char exename [], const char path []);
bool loadxmldata(const char xmldata[], std::size_t len);
2013-10-27 17:10:43 +01:00
bool load(const tinyxml2::XMLDocument &doc);
2013-07-02 07:18:19 +02:00
/** get allocation id for function (by name) */
int alloc(const std::string &name) const {
return getid(_alloc, name);
}
/** get deallocation id for function (by name) */
int dealloc(const std::string &name) const {
return getid(_dealloc, name);
}
/** set allocation id for function */
void setalloc(const std::string &functionname, int id) {
_alloc[functionname] = id;
}
void setdealloc(const std::string &functionname, int id) {
_dealloc[functionname] = id;
}
/** add noreturn function setting */
void setnoreturn(const std::string& funcname, bool noreturn) {
_noreturn[funcname] = noreturn;
}
2013-07-02 07:18:19 +02:00
/** is allocation type memory? */
static bool ismemory(int id) {
return ((id > 0) && ((id & 1) == 0));
}
/** is allocation type resource? */
static bool isresource(int id) {
return ((id > 0) && ((id & 1) == 1));
}
bool formatstr_function(const std::string& funcname) const {
return _formatstr.find(funcname) != _formatstr.end();
}
bool formatstr_scan(const std::string& funcname) const {
return _formatstr.at(funcname).first;
}
bool formatstr_secure(const std::string& funcname) const {
return _formatstr.at(funcname).second;
}
2013-07-02 07:18:19 +02:00
std::set<std::string> use;
std::set<std::string> leakignore;
bool isnoreturn(const std::string &name) const {
2013-10-20 14:09:10 +02:00
std::map<std::string, bool>::const_iterator it = _noreturn.find(name);
return (it != _noreturn.end() && it->second);
}
bool isnotnoreturn(const std::string &name) const {
2013-10-20 14:09:10 +02:00
std::map<std::string, bool>::const_iterator it = _noreturn.find(name);
return (it != _noreturn.end() && !it->second);
}
class ArgumentChecks {
public:
ArgumentChecks() :
notbool(false),
notnull(false),
notuninit(false),
formatstr(false),
strz(false) {
}
bool notbool;
bool notnull;
bool notuninit;
bool formatstr;
bool strz;
std::string valid;
};
// function name, argument nr => argument data
std::map<std::string, std::map<int, ArgumentChecks> > argumentChecks;
2013-07-02 07:18:19 +02:00
bool isboolargbad(const std::string &functionName, int argnr) const {
const ArgumentChecks *arg = getarg(functionName, argnr);
return arg && arg->notbool;
}
bool isnullargbad(const std::string &functionName, int argnr) const {
2013-10-20 14:09:10 +02:00
const ArgumentChecks *arg = getarg(functionName, argnr);
return arg && arg->notnull;
}
bool isuninitargbad(const std::string &functionName, int argnr) const {
2013-10-20 14:09:10 +02:00
const ArgumentChecks *arg = getarg(functionName, argnr);
return arg && arg->notuninit;
}
bool isargformatstr(const std::string &functionName, int argnr) const {
2013-10-20 14:09:10 +02:00
const ArgumentChecks *arg = getarg(functionName, argnr);
return arg && arg->formatstr;
}
bool isargstrz(const std::string &functionName, int argnr) const {
2013-10-20 14:09:10 +02:00
const ArgumentChecks *arg = getarg(functionName, argnr);
return arg && arg->strz;
}
bool isargvalid(const std::string &functionName, int argnr, const MathLib::bigint argvalue) const;
std::string validarg(const std::string &functionName, int argnr) const {
const ArgumentChecks *arg = getarg(functionName, argnr);
return arg ? arg->valid : std::string("");
}
bool markupFile(const std::string &path) const {
return _markupExtensions.find(Path::getFilenameExtensionInLowerCase(path)) != _markupExtensions.end();
}
2014-01-02 18:18:24 +01:00
bool processMarkupAfterCode(const std::string &path) const {
const std::map<std::string, bool>::const_iterator it = _processAfterCode.find(Path::getFilenameExtensionInLowerCase(path));
return (it == _processAfterCode.end() || it->second);
}
const std::set<std::string> &markupExtensions() const {
return _markupExtensions;
2013-10-20 14:09:10 +02:00
}
bool reportErrors(const std::string &path) const {
2013-12-22 17:03:46 +01:00
const std::map<std::string, bool>::const_iterator it = _reporterrors.find(Path::getFilenameExtensionInLowerCase(path));
return (it == _reporterrors.end() || it->second);
2013-10-20 14:09:10 +02:00
}
bool ignorefunction(const std::string &function) const {
return (_ignorefunction.find(function) != _ignorefunction.end());
2013-10-20 14:09:10 +02:00
}
bool isexecutableblock(const std::string &file, const std::string &token) const {
2013-12-22 17:03:46 +01:00
const std::map<std::string, CodeBlock>::const_iterator it = _executableblocks.find(Path::getFilenameExtensionInLowerCase(file));
return (it != _executableblocks.end() && it->second.isBlock(token));
2013-10-20 14:09:10 +02:00
}
int blockstartoffset(const std::string &file) const {
int offset = -1;
const std::map<std::string, CodeBlock>::const_iterator map_it
= _executableblocks.find(Path::getFilenameExtensionInLowerCase(file));
if (map_it != _executableblocks.end()) {
offset = map_it->second.offset();
}
return offset;
}
std::string blockstart(const std::string &file) const {
std::string start;
const std::map<std::string, CodeBlock>::const_iterator map_it
= _executableblocks.find(Path::getFilenameExtensionInLowerCase(file));
if (map_it != _executableblocks.end()) {
start = map_it->second.start();
}
return start;
}
std::string blockend(const std::string &file) const {
std::string end;
const std::map<std::string, CodeBlock>::const_iterator map_it
= _executableblocks.find(Path::getFilenameExtensionInLowerCase(file));
if (map_it != _executableblocks.end()) {
end = map_it->second.end();
}
return end;
}
bool iskeyword(const std::string &file, const std::string &keyword) const {
2013-12-22 17:03:46 +01:00
const std::map<std::string, std::set<std::string> >::const_iterator it =
2013-10-20 14:09:10 +02:00
_keywords.find(Path::getFilenameExtensionInLowerCase(file));
2013-12-22 17:03:46 +01:00
return (it != _keywords.end() && it->second.count(keyword));
2013-10-20 14:09:10 +02:00
}
bool isexporter(const std::string &prefix) const {
2013-12-22 17:03:46 +01:00
return _exporters.find(prefix) != _exporters.end();
2013-10-20 14:09:10 +02:00
}
bool isexportedprefix(const std::string &prefix, const std::string &token) const {
const std::map<std::string, ExportedFunctions>::const_iterator it = _exporters.find(prefix);
2013-12-22 17:03:46 +01:00
return (it != _exporters.end() && it->second.isPrefix(token));
2013-10-20 14:09:10 +02:00
}
bool isexportedsuffix(const std::string &prefix, const std::string &token) const {
const std::map<std::string, ExportedFunctions>::const_iterator it = _exporters.find(prefix);
2013-12-22 17:03:46 +01:00
return (it != _exporters.end() && it->second.isSuffix(token));
2013-10-20 14:09:10 +02:00
}
bool isimporter(const std::string& file, const std::string &importer) const {
2013-12-22 17:03:46 +01:00
const std::map<std::string, std::set<std::string> >::const_iterator it =
2013-10-20 14:09:10 +02:00
_importers.find(Path::getFilenameExtensionInLowerCase(file));
2013-12-22 17:03:46 +01:00
return (it != _importers.end() && it->second.count(importer) > 0);
2013-10-20 14:09:10 +02:00
}
bool isreflection(const std::string& file, const std::string &token) const {
const std::map<std::string,std::map<std::string,int> >::const_iterator it
= _reflection.find(Path::getFilenameExtensionInLowerCase(file));
2013-12-22 17:03:46 +01:00
return (it != _reflection.end() && it->second.count(token));
2013-10-20 14:09:10 +02:00
}
int reflectionArgument(const std::string& file, const std::string &token) const {
int argIndex = -1;
const std::map<std::string,std::map<std::string,int> >::const_iterator it
= _reflection.find(Path::getFilenameExtensionInLowerCase(file));
if (it != _reflection.end()) {
const std::map<std::string,int>::const_iterator it2 =
it->second.find(token);
if (it2 != it->second.end()) {
argIndex = it2->second;
}
}
return argIndex;
}
std::set<std::string> returnuninitdata;
std::vector<std::string> defines; // to provide some library defines
2013-07-02 07:18:19 +02:00
private:
2013-10-20 14:09:10 +02:00
class ExportedFunctions {
public:
void addPrefix(const std::string& prefix) {
2013-12-22 17:03:46 +01:00
_prefixes.insert(prefix);
2013-10-20 14:09:10 +02:00
}
void addSuffix(const std::string& suffix) {
2013-12-22 17:03:46 +01:00
_suffixes.insert(suffix);
2013-10-20 14:09:10 +02:00
}
bool isPrefix(const std::string& prefix) const {
2013-12-22 17:03:46 +01:00
return (_prefixes.find(prefix) != _prefixes.end());
2013-10-20 14:09:10 +02:00
}
bool isSuffix(const std::string& suffix) const {
2013-12-22 17:03:46 +01:00
return (_suffixes.find(suffix) != _suffixes.end());
2013-10-20 14:09:10 +02:00
}
private:
2013-12-22 17:03:46 +01:00
std::set<std::string> _prefixes;
std::set<std::string> _suffixes;
2013-10-20 14:09:10 +02:00
};
class CodeBlock {
public:
2013-10-23 15:03:31 +02:00
CodeBlock() : _offset(0) {}
2013-10-20 14:09:10 +02:00
void setStart(const std::string& s) {
_start = s;
}
void setEnd(const std::string& e) {
_end = e;
}
void setOffset(const int o) {
_offset = o;
}
void addBlock(const std::string& blockName) {
2013-10-23 15:03:31 +02:00
_blocks.insert(blockName);
2013-10-20 14:09:10 +02:00
}
std::string start() const {
return _start;
}
std::string end() const {
return _end;
}
int offset() const {
return _offset;
}
bool isBlock(const std::string& blockName) const {
2013-10-23 15:03:31 +02:00
return _blocks.find(blockName) != _blocks.end();
2013-10-20 14:09:10 +02:00
}
private:
std::string _start;
std::string _end;
int _offset;
2013-10-23 15:03:31 +02:00
std::set<std::string> _blocks;
2013-10-20 14:09:10 +02:00
};
2013-07-02 07:18:19 +02:00
int allocid;
std::map<std::string, int> _alloc; // allocation functions
std::map<std::string, int> _dealloc; // deallocation functions
std::map<std::string, bool> _noreturn; // is function noreturn?
std::set<std::string> _ignorefunction; // ignore functions/macros from a library (gtk, qt etc)
2013-10-20 14:09:10 +02:00
std::map<std::string, bool> _reporterrors;
2014-01-02 18:18:24 +01:00
std::map<std::string, bool> _processAfterCode;
std::set<std::string> _markupExtensions; // file extensions of markup files
2013-12-22 17:03:46 +01:00
std::map<std::string, std::set<std::string> > _keywords; // keywords for code in the library
2013-10-20 14:09:10 +02:00
std::map<std::string, CodeBlock> _executableblocks; // keywords for blocks of executable code
std::map<std::string, ExportedFunctions> _exporters; // keywords that export variables/functions to libraries (meta-code/macros)
2013-12-22 17:03:46 +01:00
std::map<std::string, std::set<std::string> > _importers; // keywords that import variables/functions
std::map<std::string, std::map<std::string,int> > _reflection; // invocation of reflection
std::map<std::string, std::pair<bool, bool> > _formatstr; // Parameters for format string checking
2013-10-20 14:09:10 +02:00
2013-07-02 07:18:19 +02:00
const ArgumentChecks * getarg(const std::string &functionName, int argnr) const {
std::map<std::string, std::map<int, ArgumentChecks> >::const_iterator it1;
it1 = argumentChecks.find(functionName);
if (it1 != argumentChecks.end()) {
const std::map<int,ArgumentChecks>::const_iterator it2 = it1->second.find(argnr);
if (it2 != it1->second.end())
return &it2->second;
}
return NULL;
}
static int getid(const std::map<std::string,int> &data, const std::string &name) {
2013-07-02 07:18:19 +02:00
const std::map<std::string,int>::const_iterator it = data.find(name);
return (it == data.end()) ? 0 : it->second;
}
};
/// @}
//---------------------------------------------------------------------------
#endif // libraryH