cppcheck/lib/library.h

671 lines
24 KiB
C
Raw Normal View History

2013-07-02 07:18:19 +02:00
/*
* Cppcheck - A tool for static C/C++ code analysis
2023-01-28 10:16:34 +01:00
* Copyright (C) 2007-2023 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"
#include "mathlib.h"
2020-05-23 07:16:49 +02:00
#include "errortypes.h"
#include "standards.h"
2013-10-27 17:10:43 +01:00
2017-05-27 04:33:47 +02:00
#include <cstddef>
2013-07-02 07:18:19 +02:00
#include <map>
#include <memory>
2013-07-02 07:18:19 +02:00
#include <set>
#include <string>
#include <unordered_map>
#include <unordered_set>
2017-05-27 04:33:47 +02:00
#include <utility>
#include <vector>
2013-10-20 14:09:10 +02:00
2017-05-27 04:33:47 +02:00
class Token;
class Settings;
2017-05-27 04:33:47 +02:00
namespace tinyxml2 {
class XMLDocument;
class XMLElement;
}
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 {
// TODO: get rid of this
friend class TestSymbolDatabase; // For testing only
friend class TestSingleExecutorBase; // For testing only
friend class TestThreadExecutor; // For testing only
friend class TestProcessExecutor; // For testing only
2013-07-02 07:18:19 +02:00
public:
Library();
2013-07-02 07:18:19 +02:00
enum class ErrorCode { OK, FILE_NOT_FOUND, BAD_XML, UNKNOWN_ELEMENT, MISSING_ATTRIBUTE, BAD_ATTRIBUTE_VALUE, UNSUPPORTED_FORMAT, DUPLICATE_PLATFORM_TYPE, PLATFORM_TYPE_REDEFINED };
class Error {
public:
Error() : errorcode(ErrorCode::OK) {}
2016-12-06 12:31:16 +01:00
explicit Error(ErrorCode e) : errorcode(e) {}
template<typename T>
Error(ErrorCode e, T&& r) : errorcode(e), reason(r) {}
2021-08-07 20:51:18 +02:00
ErrorCode errorcode;
std::string reason;
};
2021-08-07 20:51:18 +02:00
Error load(const char exename[], const char path[]);
Error load(const tinyxml2::XMLDocument &doc);
/** this is used for unit tests */
bool loadxmldata(const char xmldata[], std::size_t len);
2013-07-02 07:18:19 +02:00
struct AllocFunc {
int groupId;
int arg;
enum class BufferSize {none,malloc,calloc,strdup};
BufferSize bufferSize;
2019-03-20 19:26:57 +01:00
int bufferSizeArg1;
int bufferSizeArg2;
int reallocArg;
bool initData;
};
/** get allocation info for function */
const AllocFunc* getAllocFuncInfo(const Token *tok) const;
/** get deallocation info for function */
const AllocFunc* getDeallocFuncInfo(const Token *tok) const;
/** get reallocation info for function */
const AllocFunc* getReallocFuncInfo(const Token *tok) const;
2013-07-02 07:18:19 +02:00
/** get allocation id for function */
int getAllocId(const Token *tok, int arg) const;
/** get deallocation id for function */
int getDeallocId(const Token *tok, int arg) const;
/** get reallocation id for function */
int getReallocId(const Token *tok, int arg) const;
/** get allocation info for function by name (deprecated, use other alloc) */
const AllocFunc* getAllocFuncInfo(const char name[]) const {
2018-06-17 16:32:08 +02:00
return getAllocDealloc(mAlloc, name);
}
/** get deallocation info for function by name (deprecated, use other alloc) */
const AllocFunc* getDeallocFuncInfo(const char name[]) const {
return getAllocDealloc(mDealloc, name);
}
/** get allocation id for function by name (deprecated, use other alloc) */
int allocId(const char name[]) const {
2018-06-17 16:32:08 +02:00
const AllocFunc* af = getAllocDealloc(mAlloc, name);
return af ? af->groupId : 0;
}
/** get deallocation id for function by name (deprecated, use other alloc) */
int deallocId(const char name[]) const {
const AllocFunc* af = getAllocDealloc(mDealloc, name);
return af ? af->groupId : 0;
2013-07-02 07:18:19 +02:00
}
/** set allocation id for function */
void setalloc(const std::string &functionname, int id, int arg) {
2018-06-17 16:32:08 +02:00
mAlloc[functionname].groupId = id;
mAlloc[functionname].arg = arg;
}
void setdealloc(const std::string &functionname, int id, int arg) {
mDealloc[functionname].groupId = id;
mDealloc[functionname].arg = arg;
}
void setrealloc(const std::string &functionname, int id, int arg, int reallocArg = 1) {
mRealloc[functionname].groupId = id;
mRealloc[functionname].arg = arg;
mRealloc[functionname].reallocArg = reallocArg;
}
/** add noreturn function setting */
2014-11-20 14:20:09 +01:00
void setnoreturn(const std::string& funcname, bool noreturn) {
mNoReturn[funcname] = noreturn ? FalseTrueMaybe::True : FalseTrueMaybe::False;
}
static bool isCompliantValidationExpression(const char* p);
2013-07-02 07:18:19 +02:00
/** is allocation type memory? */
static bool ismemory(const int id) {
2013-07-02 07:18:19 +02:00
return ((id > 0) && ((id & 1) == 0));
}
static bool ismemory(const AllocFunc* const func) {
return func && (func->groupId > 0) && ((func->groupId & 1) == 0);
}
2013-07-02 07:18:19 +02:00
/** is allocation type resource? */
static bool isresource(const int id) {
2013-07-02 07:18:19 +02:00
return ((id > 0) && ((id & 1) == 1));
}
static bool isresource(const AllocFunc* const func) {
return func && (func->groupId > 0) && ((func->groupId & 1) == 1);
}
2013-07-02 07:18:19 +02:00
bool formatstr_function(const Token* ftok) const;
int formatstr_argno(const Token* ftok) const;
bool formatstr_scan(const Token* ftok) const;
bool formatstr_secure(const Token* ftok) const;
struct NonOverlappingData {
int ptr1Arg;
int ptr2Arg;
int sizeArg;
int strlenArg;
};
const NonOverlappingData* getNonOverlappingData(const Token *ftok) const;
struct WarnInfo {
std::string message;
Standards standards;
Severity::SeverityType severity;
};
std::map<std::string, WarnInfo> functionwarn;
const WarnInfo* getWarnInfo(const Token* ftok) const;
// returns true if ftok is not a library function
bool isNotLibraryFunction(const Token *ftok) const;
bool matchArguments(const Token *ftok, const std::string &functionName) const;
enum class UseRetValType { NONE, DEFAULT, ERROR_CODE };
UseRetValType getUseRetValType(const Token* ftok) const;
const std::string& returnValue(const Token *ftok) const;
const std::string& returnValueType(const Token *ftok) const;
int returnValueContainer(const Token *ftok) const;
2019-07-11 16:05:34 +02:00
std::vector<MathLib::bigint> unknownReturnValues(const Token *ftok) const;
bool isnoreturn(const Token *ftok) const;
bool isnotnoreturn(const Token *ftok) const;
bool isScopeNoReturn(const Token *end, std::string *unknownFunc) const;
class Container {
public:
2021-10-05 08:28:19 +02:00
Container()
: type_templateArgNo(-1),
size_templateArgNo(-1),
arrayLike_indexOp(false),
stdStringLike(false),
stdAssociativeLike(false),
opLessAllowed(true),
hasInitializerListConstructor(false),
unstableErase(false),
2021-10-05 08:28:19 +02:00
unstableInsert(false),
view(false)
{}
enum class Action {
2021-10-05 08:28:19 +02:00
RESIZE,
CLEAR,
PUSH,
POP,
FIND,
INSERT,
ERASE,
CHANGE_CONTENT,
CHANGE,
CHANGE_INTERNAL,
NO_ACTION
};
enum class Yield {
2021-10-05 08:28:19 +02:00
AT_INDEX,
ITEM,
BUFFER,
BUFFER_NT,
START_ITERATOR,
END_ITERATOR,
ITERATOR,
SIZE,
EMPTY,
NO_YIELD
};
struct Function {
Action action;
Yield yield;
};
struct RangeItemRecordTypeItem {
std::string name;
int templateParameter; // TODO: use this
};
std::string startPattern, startPattern2, endPattern, itEndPattern;
std::map<std::string, Function> functions;
int type_templateArgNo;
std::vector<RangeItemRecordTypeItem> rangeItemRecordType;
int size_templateArgNo;
bool arrayLike_indexOp;
bool stdStringLike;
bool stdAssociativeLike;
bool opLessAllowed;
bool hasInitializerListConstructor;
bool unstableErase;
bool unstableInsert;
2021-10-05 08:28:19 +02:00
bool view;
Action getAction(const std::string& function) const {
2018-04-04 21:51:31 +02:00
const std::map<std::string, Function>::const_iterator i = functions.find(function);
if (i != functions.end())
return i->second.action;
return Action::NO_ACTION;
}
Yield getYield(const std::string& function) const {
2018-04-04 21:51:31 +02:00
const std::map<std::string, Function>::const_iterator i = functions.find(function);
if (i != functions.end())
return i->second.yield;
return Yield::NO_YIELD;
}
static Yield yieldFrom(const std::string& yieldName);
static Action actionFrom(const std::string& actionName);
};
std::map<std::string, Container> containers;
const Container* detectContainer(const Token* typeStart) const;
const Container* detectIterator(const Token* typeStart) const;
const Container* detectContainerOrIterator(const Token* typeStart, bool* isIterator = nullptr, bool withoutStd = false) const;
class ArgumentChecks {
public:
ArgumentChecks() :
notbool(false),
notnull(false),
notuninit(-1),
formatstr(false),
strz(false),
optional(false),
variadic(false),
iteratorInfo(),
2021-08-07 20:51:18 +02:00
direction(Direction::DIR_UNKNOWN) {}
2021-08-07 20:51:18 +02:00
bool notbool;
bool notnull;
int notuninit;
bool formatstr;
bool strz;
bool optional;
bool variadic;
std::string valid;
class IteratorInfo {
public:
IteratorInfo() : container(0), it(false), first(false), last(false) {}
2021-08-07 20:51:18 +02:00
int container;
bool it;
bool first;
bool last;
};
IteratorInfo iteratorInfo;
class MinSize {
public:
enum class Type { NONE, STRLEN, ARGVALUE, SIZEOF, MUL, VALUE };
MinSize(Type t, int a) : type(t), arg(a), arg2(0), value(0) {}
Type type;
int arg;
int arg2;
long long value;
std::string baseType;
};
std::vector<MinSize> minsizes;
enum class Direction {
DIR_IN, ///< Input to called function. Data is treated as read-only.
DIR_OUT, ///< Output to caller. Data is passed by reference or address and is potentially written.
DIR_INOUT, ///< Input to called function, and output to caller. Data is passed by reference or address and is potentially modified.
DIR_UNKNOWN ///< direction not known / specified
};
Direction direction;
};
2016-12-06 12:31:16 +01:00
struct Function {
std::map<int, ArgumentChecks> argumentChecks; // argument nr => argument data
bool use;
bool leakignore;
bool isconst;
bool ispure;
UseRetValType useretval;
2016-12-06 12:31:16 +01:00
bool ignore; // ignore functions/macros from a library (gtk, qt etc)
bool formatstr;
bool formatstr_scan;
bool formatstr_secure;
Container::Action containerAction;
Container::Yield containerYield;
Function()
: use(false),
leakignore(false),
isconst(false),
ispure(false),
useretval(UseRetValType::NONE),
ignore(false),
formatstr(false),
formatstr_scan(false),
formatstr_secure(false),
containerAction(Container::Action::NO_ACTION),
containerYield(Container::Yield::NO_YIELD)
{}
2016-12-06 12:31:16 +01:00
};
const Function *getFunction(const Token *ftok) const;
std::unordered_map<std::string, Function> functions;
2016-12-06 12:31:16 +01:00
bool isUse(const std::string& functionName) const;
bool isLeakIgnore(const std::string& functionName) const;
bool isFunctionConst(const std::string& functionName, bool pure) const;
bool isFunctionConst(const Token *ftok) const;
2013-07-02 07:18:19 +02:00
bool isboolargbad(const Token *ftok, int argnr) const {
const ArgumentChecks *arg = getarg(ftok, argnr);
return arg && arg->notbool;
}
bool isnullargbad(const Token *ftok, int argnr) const;
bool isuninitargbad(const Token *ftok, int argnr, int indirect = 0, bool *hasIndirect=nullptr) const;
bool isargformatstr(const Token *ftok, int argnr) const {
const ArgumentChecks *arg = getarg(ftok, argnr);
return arg && arg->formatstr;
}
bool isargstrz(const Token *ftok, int argnr) const {
const ArgumentChecks *arg = getarg(ftok, argnr);
return arg && arg->strz;
}
2018-07-15 23:05:48 +02:00
bool isIntArgValid(const Token *ftok, int argnr, const MathLib::bigint argvalue) const;
bool isFloatArgValid(const Token *ftok, int argnr, double argvalue) const;
const std::string& validarg(const Token *ftok, int argnr) const {
const ArgumentChecks *arg = getarg(ftok, argnr);
return arg ? arg->valid : emptyString;
}
const ArgumentChecks::IteratorInfo *getArgIteratorInfo(const Token *ftok, int argnr) const {
const ArgumentChecks *arg = getarg(ftok, argnr);
return arg && arg->iteratorInfo.it ? &arg->iteratorInfo : nullptr;
}
bool hasminsize(const Token *ftok) const;
const std::vector<ArgumentChecks::MinSize> *argminsizes(const Token *ftok, int argnr) const {
const ArgumentChecks *arg = getarg(ftok, argnr);
return arg ? &arg->minsizes : nullptr;
}
ArgumentChecks::Direction getArgDirection(const Token* ftok, int argnr) const;
bool markupFile(const std::string &path) const;
bool processMarkupAfterCode(const std::string &path) const;
2014-01-02 18:18:24 +01:00
2014-11-20 14:20:09 +01:00
const std::set<std::string> &markupExtensions() const {
return mMarkupExtensions;
2013-10-20 14:09:10 +02:00
}
bool reportErrors(const std::string &path) const;
2013-10-20 14:09:10 +02:00
lib: fix a bunch of warnings about differing function arguments in definition and declaration. [lib/token.h:72] -> [lib/token.cpp:36]: (style, inconclusive) Function 'Token' argument 1 names different: declaration 'tokensBack' definition 't'. [lib/token.h:445] -> [lib/token.cpp:497]: (style, inconclusive) Function 'multiCompare' argument 1 names different: declaration 'needle' definition 'tok'. [lib/checkio.h:73] -> [lib/checkio.cpp:1385]: (style, inconclusive) Function 'ArgumentInfo' argument 3 names different: declaration 'isCPP' definition '_isCPP'. [lib/checkother.h:216] -> [lib/checkother.cpp:2136]: (style, inconclusive) Function 'checkComparisonFunctionIsAlwaysTrueOrFalseError' argument 2 names different: declaration 'strFunctionName' definition 'functionName'. [lib/errorlogger.h:214] -> [lib/errorlogger.cpp:51]: (style, inconclusive) Function 'ErrorMessage' argument 2 names different: declaration 'file0' definition 'file0_'. [lib/errorlogger.h:215] -> [lib/errorlogger.cpp:65]: (style, inconclusive) Function 'ErrorMessage' argument 2 names different: declaration 'file0' definition 'file0_'. [lib/library.h:327] -> [lib/library.cpp:1043]: (style, inconclusive) Function 'ignorefunction' argument 1 names different: declaration 'function' definition 'functionName'. [lib/mathlib.h:112] -> [lib/mathlib.cpp:1275]: (style, inconclusive) Function 'isNullValue' argument 1 names different: declaration 'tok' definition 'str'. [lib/preprocessor.h:91] -> [lib/preprocessor.cpp:122]: (style, inconclusive) Function 'setDirectives' argument 1 names different: declaration 'tokens' definition 'tokens1'. [lib/symboldatabase.h:860] -> [lib/symboldatabase.cpp:1801]: (style, inconclusive) Function 'argsMatch' argument 1 names different: declaration 'info' definition 'scope'. [lib/symboldatabase.h:1171] -> [lib/symboldatabase.cpp:2048]: (style, inconclusive) Function 'addClassFunction' argument 1 names different: declaration 'info' definition 'scope'. [lib/symboldatabase.h:1174] -> [lib/symboldatabase.cpp:2208]: (style, inconclusive) Function 'addNewFunction' argument 1 names different: declaration 'info' definition 'scope'. [lib/symboldatabase.h:1090] -> [lib/symboldatabase.cpp:3648]: (style, inconclusive) Function 'findVariableType' argument 2 names different: declaration 'type' definition 'typeTok'. [lib/symboldatabase.h:1101] -> [lib/symboldatabase.cpp:4308]: (style, inconclusive) Function 'findType' argument 1 names different: declaration 'tok' definition 'startTok'. [lib/symboldatabase.h:1176] -> [lib/symboldatabase.cpp:4349]: (style, inconclusive) Function 'findTypeInNested' argument 1 names different: declaration 'tok' definition 'startTok'. [lib/symboldatabase.h:1193] -> [lib/symboldatabase.cpp:4501]: (style, inconclusive) Function 'setValueType' argument 2 names different: declaration 'enumerators' definition 'enumerator'. [lib/path.h:159] -> [lib/path.cpp:247]: (style, inconclusive) Function 'isCPP' argument 1 names different: declaration 'extensionInLowerCase' definition 'path'. [lib/path.h:145] -> [lib/path.cpp:266]: (style, inconclusive) Function 'acceptFile' argument 1 names different: declaration 'filename' definition 'path'.
2017-04-03 00:06:46 +02:00
bool ignorefunction(const std::string &functionName) const;
2013-10-20 14:09:10 +02:00
bool isexecutableblock(const std::string &file, const std::string &token) const;
2013-10-20 14:09:10 +02:00
int blockstartoffset(const std::string &file) const;
2013-10-20 14:09:10 +02:00
const std::string& blockstart(const std::string &file) const;
const std::string& blockend(const std::string &file) const;
2013-10-20 14:09:10 +02:00
bool iskeyword(const std::string &file, const std::string &keyword) const;
2013-10-20 14:09:10 +02:00
2014-11-20 14:20:09 +01:00
bool isexporter(const std::string &prefix) const {
return mExporters.find(prefix) != mExporters.end();
2013-10-20 14:09:10 +02:00
}
2014-11-20 14:20:09 +01:00
bool isexportedprefix(const std::string &prefix, const std::string &token) const {
const std::map<std::string, ExportedFunctions>::const_iterator it = mExporters.find(prefix);
return (it != mExporters.end() && it->second.isPrefix(token));
2013-10-20 14:09:10 +02:00
}
2014-11-20 14:20:09 +01:00
bool isexportedsuffix(const std::string &prefix, const std::string &token) const {
const std::map<std::string, ExportedFunctions>::const_iterator it = mExporters.find(prefix);
return (it != mExporters.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-10-20 14:09:10 +02:00
const Token* getContainerFromYield(const Token* tok, Container::Yield yield) const;
const Token* getContainerFromAction(const Token* tok, Container::Action action) const;
2014-11-20 14:20:09 +01:00
bool isreflection(const std::string &token) const {
return mReflection.find(token) != mReflection.end();
2013-10-20 14:09:10 +02:00
}
2014-11-20 14:20:09 +01:00
int reflectionArgument(const std::string &token) const {
const std::map<std::string, int>::const_iterator it = mReflection.find(token);
if (it != mReflection.end())
2016-12-06 14:47:45 +01:00
return it->second;
return -1;
2013-10-20 14:09:10 +02:00
}
bool isentrypoint(const std::string &func) const {
return func == "main" || mEntrypoints.find(func) != mEntrypoints.end();
}
std::vector<std::string> defines; // to provide some library defines
struct SmartPointer {
std::string name;
bool unique = false;
};
std::unordered_map<std::string, SmartPointer> smartPointers;
2019-04-24 13:06:58 +02:00
bool isSmartPointer(const Token *tok) const;
const SmartPointer* detectSmartPointer(const Token* tok, bool withoutStd = false) const;
2019-04-24 13:06:58 +02:00
struct PodType {
2021-08-07 20:51:18 +02:00
unsigned int size;
char sign;
enum class Type { NO, BOOL, CHAR, SHORT, INT, LONG, LONGLONG } stdtype;
};
const struct PodType *podtype(const std::string &name) const {
const std::unordered_map<std::string, struct PodType>::const_iterator it = mPodTypes.find(name);
2018-06-17 16:55:02 +02:00
return (it != mPodTypes.end()) ? &(it->second) : nullptr;
}
struct PlatformType {
PlatformType()
: mSigned(false)
, mUnsigned(false)
, mLong(false)
, mPointer(false)
, mPtrPtr(false)
2021-08-07 20:51:18 +02:00
, mConstPtr(false) {}
2014-11-20 14:20:09 +01:00
bool operator == (const PlatformType & type) const {
return (mSigned == type.mSigned &&
mUnsigned == type.mUnsigned &&
mLong == type.mLong &&
mPointer == type.mPointer &&
mPtrPtr == type.mPtrPtr &&
mConstPtr == type.mConstPtr &&
2018-06-16 20:25:54 +02:00
mType == type.mType);
}
2014-11-20 14:20:09 +01:00
bool operator != (const PlatformType & type) const {
return !(*this == type);
}
2018-06-16 20:25:54 +02:00
std::string mType;
bool mSigned;
bool mUnsigned;
bool mLong;
bool mPointer;
bool mPtrPtr;
bool mConstPtr;
};
struct Platform {
2014-11-20 14:20:09 +01:00
const PlatformType *platform_type(const std::string &name) const {
2018-06-17 16:58:28 +02:00
const std::map<std::string, struct PlatformType>::const_iterator it = mPlatformTypes.find(name);
return (it != mPlatformTypes.end()) ? &(it->second) : nullptr;
}
2018-06-17 16:58:28 +02:00
std::map<std::string, PlatformType> mPlatformTypes;
};
2014-11-20 14:20:09 +01:00
const PlatformType *platform_type(const std::string &name, const std::string & platform) const {
2018-06-17 16:55:02 +02:00
const std::map<std::string, Platform>::const_iterator it = mPlatforms.find(platform);
if (it != mPlatforms.end()) {
const PlatformType * const type = it->second.platform_type(name);
if (type)
return type;
}
2018-06-17 16:55:02 +02:00
const std::map<std::string, PlatformType>::const_iterator it2 = mPlatformTypes.find(name);
return (it2 != mPlatformTypes.end()) ? &(it2->second) : nullptr;
}
/**
* Get function name for function call
*/
std::string getFunctionName(const Token *ftok) const;
static bool isContainerYield(const Token * const cond, Library::Container::Yield y, const std::string& fallback=emptyString);
2018-03-24 07:58:37 +01:00
/** Suppress/check a type */
enum class TypeCheck { def,
check,
suppress,
checkFiniteLifetime, // (unusedvar) object has side effects, but immediate destruction is wrong
};
TypeCheck getTypeCheck(std::string check, std::string typeName) const;
bool hasAnyTypeCheck(const std::string& typeName) const;
2013-07-02 07:18:19 +02:00
private:
// load a <function> xml node
Error loadFunction(const tinyxml2::XMLElement * const node, const std::string &name, std::set<std::string> &unknown_elements);
2013-10-20 14:09:10 +02:00
class ExportedFunctions {
public:
void addPrefix(std::string prefix) {
mPrefixes.insert(std::move(prefix));
2013-10-20 14:09:10 +02:00
}
void addSuffix(std::string suffix) {
mSuffixes.insert(std::move(suffix));
2013-10-20 14:09:10 +02:00
}
2014-11-20 14:20:09 +01:00
bool isPrefix(const std::string& prefix) const {
2018-06-17 13:46:24 +02:00
return (mPrefixes.find(prefix) != mPrefixes.end());
2013-10-20 14:09:10 +02:00
}
2014-11-20 14:20:09 +01:00
bool isSuffix(const std::string& suffix) const {
2018-06-17 13:47:18 +02:00
return (mSuffixes.find(suffix) != mSuffixes.end());
2013-10-20 14:09:10 +02:00
}
private:
2018-06-17 13:46:24 +02:00
std::set<std::string> mPrefixes;
2018-06-17 13:47:18 +02:00
std::set<std::string> mSuffixes;
2013-10-20 14:09:10 +02:00
};
class CodeBlock {
public:
2018-06-17 13:44:56 +02:00
CodeBlock() : mOffset(0) {}
2013-10-23 15:03:31 +02:00
2016-12-06 14:47:45 +01:00
void setStart(const char* s) {
2018-06-17 13:44:10 +02:00
mStart = s;
2013-10-20 14:09:10 +02:00
}
2016-12-06 14:47:45 +01:00
void setEnd(const char* e) {
2018-06-17 13:44:10 +02:00
mEnd = e;
2013-10-20 14:09:10 +02:00
}
2014-11-20 14:20:09 +01:00
void setOffset(const int o) {
2018-06-17 13:44:56 +02:00
mOffset = o;
2013-10-20 14:09:10 +02:00
}
2016-12-06 14:47:45 +01:00
void addBlock(const char* blockName) {
2018-06-17 13:45:31 +02:00
mBlocks.insert(blockName);
2013-10-20 14:09:10 +02:00
}
2014-11-20 14:20:09 +01:00
const std::string& start() const {
2018-06-17 13:44:10 +02:00
return mStart;
2013-10-20 14:09:10 +02:00
}
2014-11-20 14:20:09 +01:00
const std::string& end() const {
2018-06-17 13:44:10 +02:00
return mEnd;
2013-10-20 14:09:10 +02:00
}
2014-11-20 14:20:09 +01:00
int offset() const {
2018-06-17 13:44:56 +02:00
return mOffset;
2013-10-20 14:09:10 +02:00
}
2014-11-20 14:20:09 +01:00
bool isBlock(const std::string& blockName) const {
2018-06-17 13:45:31 +02:00
return mBlocks.find(blockName) != mBlocks.end();
2013-10-20 14:09:10 +02:00
}
private:
2018-06-17 13:44:10 +02:00
std::string mStart;
std::string mEnd;
2018-06-17 13:44:56 +02:00
int mOffset;
2018-06-17 13:45:31 +02:00
std::set<std::string> mBlocks;
2013-10-20 14:09:10 +02:00
};
enum class FalseTrueMaybe { False, True, Maybe };
2018-06-17 16:55:02 +02:00
int mAllocId;
2018-06-16 16:23:55 +02:00
std::set<std::string> mFiles;
2018-06-17 16:32:08 +02:00
std::map<std::string, AllocFunc> mAlloc; // allocation functions
std::map<std::string, AllocFunc> mDealloc; // deallocation functions
std::map<std::string, AllocFunc> mRealloc; // reallocation functions
2021-01-28 22:18:17 +01:00
std::unordered_map<std::string, FalseTrueMaybe> mNoReturn; // is function noreturn?
std::map<std::string, std::string> mReturnValue;
std::map<std::string, std::string> mReturnValueType;
std::map<std::string, int> mReturnValueContainer;
2019-07-11 16:05:34 +02:00
std::map<std::string, std::vector<MathLib::bigint>> mUnknownReturnValues;
std::map<std::string, bool> mReportErrors;
std::map<std::string, bool> mProcessAfterCode;
std::set<std::string> mMarkupExtensions; // file extensions of markup files
2021-08-07 20:51:18 +02:00
std::map<std::string, std::set<std::string>> mKeywords; // keywords for code in the library
std::unordered_map<std::string, CodeBlock> mExecutableBlocks; // keywords for blocks of executable code
std::map<std::string, ExportedFunctions> mExporters; // keywords that export variables/functions to libraries (meta-code/macros)
2021-08-07 20:51:18 +02:00
std::map<std::string, std::set<std::string>> mImporters; // keywords that import variables/functions
std::map<std::string, int> mReflection; // invocation of reflection
std::unordered_map<std::string, struct PodType> mPodTypes; // pod types
2018-06-17 16:55:02 +02:00
std::map<std::string, PlatformType> mPlatformTypes; // platform independent typedefs
std::map<std::string, Platform> mPlatforms; // platform dependent typedefs
std::map<std::pair<std::string,std::string>, TypeCheck> mTypeChecks;
std::unordered_map<std::string, NonOverlappingData> mNonOverlappingData;
std::unordered_set<std::string> mEntrypoints;
2013-07-02 07:18:19 +02:00
const ArgumentChecks * getarg(const Token *ftok, int argnr) const;
std::string getFunctionName(const Token *ftok, bool &error) const;
static const AllocFunc* getAllocDealloc(const std::map<std::string, AllocFunc> &data, const std::string &name) {
const std::map<std::string, AllocFunc>::const_iterator it = data.find(name);
return (it == data.end()) ? nullptr : &it->second;
2013-07-02 07:18:19 +02:00
}
enum DetectContainer { ContainerOnly, IteratorOnly, Both };
const Library::Container* detectContainerInternal(const Token* typeStart, DetectContainer detect, bool* isIterator = nullptr, bool withoutStd = false) const;
2013-07-02 07:18:19 +02:00
};
CPPCHECKLIB const Library::Container * getLibraryContainer(const Token * tok);
std::shared_ptr<Token> createTokenFromExpression(const std::string& returnValue,
const Settings* settings,
std::unordered_map<nonneg int, const Token*>* lookupVarId = nullptr);
2013-07-02 07:18:19 +02:00
/// @}
//---------------------------------------------------------------------------
#endif // libraryH