120 lines
3.5 KiB
C++
120 lines
3.5 KiB
C++
/*
|
|
* Cppcheck - A tool for static C/C++ code analysis
|
|
* Copyright (C) 2007-2013 Daniel Marjamäki and Cppcheck team.
|
|
*
|
|
* 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
|
|
|
|
#include "config.h"
|
|
#include <map>
|
|
#include <set>
|
|
#include <string>
|
|
|
|
/// @addtogroup Core
|
|
/// @{
|
|
|
|
/**
|
|
* @brief Library definitions handling
|
|
*/
|
|
class CPPCHECKLIB Library {
|
|
public:
|
|
Library();
|
|
Library(const Library &);
|
|
~Library();
|
|
|
|
bool load(const char path[]);
|
|
|
|
/** 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);
|
|
}
|
|
|
|
/** 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));
|
|
}
|
|
|
|
std::set<std::string> use;
|
|
std::set<std::string> ignore;
|
|
|
|
bool isnoreturn(const std::string &name) const {
|
|
std::map<std::string,bool>::const_iterator it = _noreturn.find(name);
|
|
return (it != _noreturn.end() && it->second);
|
|
}
|
|
|
|
bool isnotnoreturn(const std::string &name) const {
|
|
std::map<std::string,bool>::const_iterator it = _noreturn.find(name);
|
|
return (it != _noreturn.end() && !it->second);
|
|
}
|
|
|
|
struct Argument {
|
|
bool notnull;
|
|
bool notuninit;
|
|
};
|
|
|
|
// function name, argument nr => argument data
|
|
std::map<std::string, std::map<int, Argument> > functionArgument;
|
|
|
|
bool isnullargbad(const std::string &functionName, int argnr) const {
|
|
const Argument *arg = getarg(functionName,argnr);
|
|
return arg && arg->notnull;
|
|
}
|
|
|
|
bool isuninitargbad(const std::string &functionName, int argnr) const {
|
|
const Argument *arg = getarg(functionName,argnr);
|
|
return arg && arg->notuninit;
|
|
}
|
|
|
|
std::set<std::string> returnuninitdata;
|
|
|
|
private:
|
|
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?
|
|
|
|
const Argument * getarg(const std::string &functionName, int argnr) const {
|
|
std::map<std::string, std::map<int, Argument> >::const_iterator it1;
|
|
it1 = functionArgument.find(functionName);
|
|
if (it1 != functionArgument.end()) {
|
|
const std::map<int,Argument>::const_iterator it2 = it1->second.find(argnr);
|
|
if (it2 != it1->second.end())
|
|
return &it2->second;
|
|
}
|
|
return NULL;
|
|
}
|
|
|
|
int getid(const std::map<std::string,int> &data, const std::string &name) const {
|
|
const std::map<std::string,int>::const_iterator it = data.find(name);
|
|
return (it == data.end()) ? 0 : it->second;
|
|
}
|
|
};
|
|
|
|
/// @}
|
|
|
|
#endif // libraryH
|