/* * Cppcheck - A tool for static C/C++ code analysis * Copyright (C) 2007-2023 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 . */ #include "errortypes.h" #include "library.h" #include "settings.h" #include "standards.h" #include "fixture.h" #include "helpers.h" #include "token.h" #include "tokenize.h" #include "tokenlist.h" #include #include #include // IWYU pragma: keep #include #include #include #include "xml.h" #define ASSERT_EQ(expected, actual) ASSERT(expected == actual) class TestLibrary : public TestFixture { public: TestLibrary() : TestFixture("TestLibrary") {} private: const Settings settings; void run() override { TEST_CASE(isCompliantValidationExpression); TEST_CASE(empty); TEST_CASE(function); TEST_CASE(function_match_scope); TEST_CASE(function_match_args); TEST_CASE(function_match_args_default); TEST_CASE(function_match_var); TEST_CASE(function_arg); TEST_CASE(function_arg_any); TEST_CASE(function_arg_variadic); TEST_CASE(function_arg_direction); TEST_CASE(function_arg_valid); TEST_CASE(function_arg_minsize); TEST_CASE(function_namespace); TEST_CASE(function_method); TEST_CASE(function_baseClassMethod); // calling method in base class TEST_CASE(function_warn); TEST_CASE(memory); TEST_CASE(memory2); // define extra "free" allocation functions TEST_CASE(memory3); TEST_CASE(resource); TEST_CASE(podtype); TEST_CASE(container); TEST_CASE(version); TEST_CASE(loadLibErrors); } static bool loadxmldata(Library &lib, const char xmldata[], std::size_t len) { tinyxml2::XMLDocument doc; return (tinyxml2::XML_SUCCESS == doc.Parse(xmldata, len)) && (lib.load(doc).errorcode == Library::ErrorCode::OK); } void isCompliantValidationExpression() const { ASSERT_EQUALS(true, Library::isCompliantValidationExpression("-1")); ASSERT_EQUALS(true, Library::isCompliantValidationExpression("1")); ASSERT_EQUALS(true, Library::isCompliantValidationExpression("1:")); ASSERT_EQUALS(true, Library::isCompliantValidationExpression(":1")); ASSERT_EQUALS(true, Library::isCompliantValidationExpression("-1,42")); ASSERT_EQUALS(true, Library::isCompliantValidationExpression("-1,-42")); ASSERT_EQUALS(true, Library::isCompliantValidationExpression("-1.0:42.0")); ASSERT_EQUALS(true, Library::isCompliantValidationExpression("1.175494e-38:3.402823e+38")); ASSERT_EQUALS(true, Library::isCompliantValidationExpression("1.175494e-38,3.402823e+38")); ASSERT_EQUALS(true, Library::isCompliantValidationExpression("1.175494e-38:")); ASSERT_EQUALS(true, Library::isCompliantValidationExpression(":1.175494e-38")); ASSERT_EQUALS(true, Library::isCompliantValidationExpression(":42.0")); ASSERT_EQUALS(true, Library::isCompliantValidationExpression("!42.0")); // Robustness tests ASSERT_EQUALS(false, Library::isCompliantValidationExpression(nullptr)); ASSERT_EQUALS(false, Library::isCompliantValidationExpression("x")); ASSERT_EQUALS(false, Library::isCompliantValidationExpression("!")); ASSERT_EQUALS(false, Library::isCompliantValidationExpression("")); } void empty() const { // Reading an empty library file is considered to be OK constexpr char xmldata[] = "\n"; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); ASSERT(library.functions.empty()); } void function() const { constexpr char xmldata[] = "\n" "\n" " \n" " false\n" " \n" ""; TokenList tokenList(nullptr); std::istringstream istr("foo();"); tokenList.createTokens(istr); tokenList.front()->next()->astOperand1(tokenList.front()); Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); ASSERT_EQUALS(library.functions.size(), 1U); ASSERT(library.functions.at("foo").argumentChecks.empty()); ASSERT(library.isnotnoreturn(tokenList.front())); } void function_match_scope() const { constexpr char xmldata[] = "\n" "\n" " \n" " " " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); { TokenList tokenList(nullptr); std::istringstream istr("fred.foo(123);"); // <- wrong scope, not library function tokenList.createTokens(istr); ASSERT(library.isNotLibraryFunction(tokenList.front()->tokAt(2))); } { TokenList tokenList(nullptr); std::istringstream istr("Fred::foo(123);"); // <- wrong scope, not library function tokenList.createTokens(istr); ASSERT(library.isNotLibraryFunction(tokenList.front()->tokAt(2))); } } void function_match_args() const { constexpr char xmldata[] = "\n" "\n" " \n" " " " \n" ""; TokenList tokenList(nullptr); std::istringstream istr("foo();"); // <- too few arguments, not library function tokenList.createTokens(istr); Token::createMutualLinks(tokenList.front()->next(), tokenList.back()->previous()); tokenList.createAst(); Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); ASSERT(library.isNotLibraryFunction(tokenList.front())); } void function_match_args_default() const { constexpr char xmldata[] = "\n" "\n" " \n" " " " " " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); { TokenList tokenList(nullptr); std::istringstream istr("foo();"); // <- too few arguments, not library function tokenList.createTokens(istr); Token::createMutualLinks(tokenList.front()->next(), tokenList.back()->previous()); tokenList.createAst(); ASSERT(library.isNotLibraryFunction(tokenList.front())); } { TokenList tokenList(nullptr); std::istringstream istr("foo(a);"); // <- library function tokenList.createTokens(istr); Token::createMutualLinks(tokenList.front()->next(), tokenList.back()->previous()); tokenList.createAst(); ASSERT(!library.isNotLibraryFunction(tokenList.front())); } { TokenList tokenList(nullptr); std::istringstream istr("foo(a, b);"); // <- library function tokenList.createTokens(istr); Token::createMutualLinks(tokenList.front()->next(), tokenList.back()->previous()); tokenList.createAst(); ASSERT(!library.isNotLibraryFunction(tokenList.front())); } { TokenList tokenList(nullptr); std::istringstream istr("foo(a, b, c);"); // <- too much arguments, not library function tokenList.createTokens(istr); Token::createMutualLinks(tokenList.front()->next(), tokenList.back()->previous()); tokenList.createAst(); ASSERT(library.isNotLibraryFunction(tokenList.front())); } } void function_match_var() const { constexpr char xmldata[] = "\n" "\n" " \n" " " " \n" ""; TokenList tokenList(nullptr); std::istringstream istr("Fred foo(123);"); // <- Variable declaration, not library function tokenList.createTokens(istr); tokenList.front()->next()->astOperand1(tokenList.front()); tokenList.front()->next()->varId(1); Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); ASSERT(library.isNotLibraryFunction(tokenList.front()->next())); } void function_arg() const { constexpr char xmldata[] = "\n" "\n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); ASSERT_EQUALS(0, library.functions["foo"].argumentChecks[1].notuninit); ASSERT_EQUALS(true, library.functions["foo"].argumentChecks[2].notnull); ASSERT_EQUALS(true, library.functions["foo"].argumentChecks[3].formatstr); ASSERT_EQUALS(true, library.functions["foo"].argumentChecks[4].strz); ASSERT_EQUALS(false, library.functions["foo"].argumentChecks[4].optional); ASSERT_EQUALS(true, library.functions["foo"].argumentChecks[5].notbool); ASSERT_EQUALS(true, library.functions["foo"].argumentChecks[5].optional); } void function_arg_any() const { constexpr char xmldata[] = "\n" "\n" "\n" " \n" "\n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); ASSERT_EQUALS(0, library.functions["foo"].argumentChecks[-1].notuninit); } void function_arg_variadic() const { constexpr char xmldata[] = "\n" "\n" "\n" " \n" " \n" "\n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); ASSERT_EQUALS(0, library.functions["foo"].argumentChecks[-1].notuninit); TokenList tokenList(nullptr); std::istringstream istr("foo(a,b,c,d,e);"); tokenList.createTokens(istr); tokenList.front()->next()->astOperand1(tokenList.front()); ASSERT_EQUALS(false, library.isuninitargbad(tokenList.front(), 1)); ASSERT_EQUALS(true, library.isuninitargbad(tokenList.front(), 2)); ASSERT_EQUALS(true, library.isuninitargbad(tokenList.front(), 3)); ASSERT_EQUALS(true, library.isuninitargbad(tokenList.front(), 4)); } void function_arg_direction() const { constexpr char xmldata[] = "\n" "\n" "\n" " \n" " \n" " \n" " \n" "\n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); TokenList tokenList(nullptr); std::istringstream istr("foo(a,b,c,d);"); tokenList.createTokens(istr); tokenList.front()->next()->astOperand1(tokenList.front()); ASSERT(Library::ArgumentChecks::Direction::DIR_IN == library.getArgDirection(tokenList.front(), 1)); ASSERT(Library::ArgumentChecks::Direction::DIR_OUT == library.getArgDirection(tokenList.front(), 2)); ASSERT(Library::ArgumentChecks::Direction::DIR_INOUT == library.getArgDirection(tokenList.front(), 3)); ASSERT(Library::ArgumentChecks::Direction::DIR_UNKNOWN == library.getArgDirection(tokenList.front(), 4)); } void function_arg_valid() const { constexpr char xmldata[] = "\n" "\n" " \n" " 1:\n" " -7:0\n" " 1:5,8\n" " -1,5\n" " :1,5\n" " 1.5:\n" " -6.7:-5.5,-3.3:-2.7\n" " 0.0:\n" " :2.0\n" " 0.0\n" " !0.0\n" " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); TokenList tokenList(nullptr); std::istringstream istr("foo(a,b,c,d,e,f,g,h,i,j,k);"); tokenList.createTokens(istr); tokenList.front()->next()->astOperand1(tokenList.front()); // 1- ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 1, -10)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 1, -10.0)); ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 1, 0)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 1, 0.0)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 1, 1)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 1, 1.0)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 1, 10)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 1, 10.0)); // -7-0 ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 2, -10)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 2, -10.0)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 2, -7.5)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 2, -7.1)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 2, -7)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 2, -7.0)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 2, -3)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 2, -3.0)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 2, -3.5)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 2, 0)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 2, 0.0)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 2, 0.5)); ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 2, 1)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 2, 1.0)); // 1-5,8 ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 3, 0)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 3, 0.0)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 3, 1)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 3, 1.0)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 3, 3)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 3, 3.0)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 3, 5)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 3, 5.0)); ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 3, 6)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 3, 6.0)); ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 3, 7)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 3, 7.0)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 3, 8)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 3, 8.0)); ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 3, 9)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 3, 9.0)); // -1,5 ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 4, -10)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 4, -10.0)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 4, -1)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 4, -1.0)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 4, 5.000001)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 4, 5.5)); // :1,5 ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 5, -10)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 5, -10.0)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 5, 1)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 5, 1.0)); ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 5, 2)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 5, 2.0)); // 1.5: ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 6, 0)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 6, 0.0)); ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 6, 1)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 6, 1.499999)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 6, 1.5)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 6, 2)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 6, 10)); // -6.7:-5.5,-3.3:-2.7 ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 7, -7)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, -7.0)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, -6.7000001)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 7, -6.7)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 7, -6)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 7, -6.0)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 7, -5.5)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, -5.4999999)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, -3.3000001)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 7, -3.3)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 7, -3)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 7, -3.0)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 7, -2.7)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, -2.6999999)); ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 7, -2)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, -2.0)); ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 7, 0)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, 0.0)); ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 7, 3)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, 3.0)); ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 7, 6)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, 6.0)); // 0.0: ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 8, -1)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 8, -1.0)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 8, -0.00000001)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 8, 0)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 8, 0.0)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 8, 0.000000001)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 8, 1)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 8, 1.0)); // :2.0 ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 9, -1)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 9, -1.0)); ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 9, 2)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 9, 2.0)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 9, 2.00000001)); ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 9, 200)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 9, 200.0)); // 0.0 ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 10, 0)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 10, 0.0)); // ! 0.0 ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 11, -0.42)); ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 11, 0.0)); ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 11, 0.42)); } void function_arg_minsize() const { constexpr char xmldata[] = "\n" "\n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); TokenList tokenList(nullptr); std::istringstream istr("foo(a,b,c,d,e);"); tokenList.createTokens(istr); tokenList.front()->next()->astOperand1(tokenList.front()); // arg1: type=strlen arg2 const std::vector *minsizes = library.argminsizes(tokenList.front(),1); ASSERT_EQUALS(true, minsizes != nullptr); ASSERT_EQUALS(1U, minsizes ? minsizes->size() : 1U); if (minsizes && minsizes->size() == 1U) { const Library::ArgumentChecks::MinSize &m = minsizes->front(); ASSERT_EQUALS(true, Library::ArgumentChecks::MinSize::Type::STRLEN == m.type); ASSERT_EQUALS(2, m.arg); } // arg2: type=argvalue arg3 minsizes = library.argminsizes(tokenList.front(), 2); ASSERT_EQUALS(true, minsizes != nullptr); ASSERT_EQUALS(1U, minsizes ? minsizes->size() : 1U); if (minsizes && minsizes->size() == 1U) { const Library::ArgumentChecks::MinSize &m = minsizes->front(); ASSERT_EQUALS(true, Library::ArgumentChecks::MinSize::Type::ARGVALUE == m.type); ASSERT_EQUALS(3, m.arg); } // arg4: type=value minsizes = library.argminsizes(tokenList.front(), 4); ASSERT_EQUALS(true, minsizes != nullptr); ASSERT_EQUALS(1U, minsizes ? minsizes->size() : 1U); if (minsizes && minsizes->size() == 1U) { const Library::ArgumentChecks::MinSize &m = minsizes->front(); ASSERT(Library::ArgumentChecks::MinSize::Type::VALUE == m.type); ASSERT_EQUALS(500, m.value); ASSERT_EQUALS("", m.baseType); } // arg5: type=value minsizes = library.argminsizes(tokenList.front(), 5); ASSERT_EQUALS(true, minsizes != nullptr); ASSERT_EQUALS(1U, minsizes ? minsizes->size() : 1U); if (minsizes && minsizes->size() == 1U) { const Library::ArgumentChecks::MinSize& m = minsizes->front(); ASSERT(Library::ArgumentChecks::MinSize::Type::VALUE == m.type); ASSERT_EQUALS(4, m.value); ASSERT_EQUALS("int", m.baseType); } } void function_namespace() const { constexpr char xmldata[] = "\n" "\n" " \n" " false\n" " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); ASSERT_EQUALS(library.functions.size(), 2U); ASSERT(library.functions.at("Foo::foo").argumentChecks.empty()); ASSERT(library.functions.at("bar").argumentChecks.empty()); { TokenList tokenList(nullptr); std::istringstream istr("Foo::foo();"); tokenList.createTokens(istr); ASSERT(library.isnotnoreturn(tokenList.front()->tokAt(2))); } { TokenList tokenList(nullptr); std::istringstream istr("bar();"); tokenList.createTokens(istr); ASSERT(library.isnotnoreturn(tokenList.front())); } } void function_method() const { constexpr char xmldata[] = "\n" "\n" " \n" " false\n" " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); ASSERT_EQUALS(library.functions.size(), 1U); { Tokenizer tokenizer(&settings, nullptr); std::istringstream istr("CString str; str.Format();"); ASSERT(tokenizer.tokenize(istr, "test.cpp")); ASSERT(library.isnotnoreturn(Token::findsimplematch(tokenizer.tokens(), "Format"))); } { Tokenizer tokenizer(&settings, nullptr); std::istringstream istr("HardDrive hd; hd.Format();"); ASSERT(tokenizer.tokenize(istr, "test.cpp")); ASSERT(!library.isnotnoreturn(Token::findsimplematch(tokenizer.tokens(), "Format"))); } } void function_baseClassMethod() const { constexpr char xmldata[] = "\n" "\n" " \n" " \n" " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); { Tokenizer tokenizer(&settings, nullptr); std::istringstream istr("struct X : public Base { void dostuff() { f(0); } };"); ASSERT(tokenizer.tokenize(istr, "test.cpp")); ASSERT(library.isnullargbad(Token::findsimplematch(tokenizer.tokens(), "f"),1)); } { Tokenizer tokenizer(&settings, nullptr); std::istringstream istr("struct X : public Base { void dostuff() { f(1,2); } };"); ASSERT(tokenizer.tokenize(istr, "test.cpp")); ASSERT(!library.isnullargbad(Token::findsimplematch(tokenizer.tokens(), "f"),1)); } } void function_warn() const { constexpr char xmldata[] = "\n" "\n" " \n" " Message\n" " \n" " \n" " \n" " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); TokenList tokenList(nullptr); std::istringstream istr("a(); b();"); tokenList.createTokens(istr); const Library::WarnInfo* a = library.getWarnInfo(tokenList.front()); const Library::WarnInfo* b = library.getWarnInfo(tokenList.front()->tokAt(4)); ASSERT_EQUALS(2, library.functionwarn.size()); ASSERT(a && b); if (a && b) { ASSERT_EQUALS("Message", a->message); ASSERT_EQUALS(static_cast(Severity::style), static_cast(a->severity)); ASSERT_EQUALS(Standards::C99, a->standards.c); ASSERT_EQUALS(Standards::CPP03, a->standards.cpp); ASSERT_EQUALS("Obsolescent function 'b' called. It is recommended to use 'c', 'd' or 'e' instead.", b->message); ASSERT_EQUALS(static_cast(Severity::performance), static_cast(b->severity)); ASSERT_EQUALS(Standards::C89, b->standards.c); ASSERT_EQUALS(Standards::CPP11, b->standards.cpp); } } void memory() const { constexpr char xmldata[] = "\n" "\n" " \n" " CreateX\n" " DeleteX\n" " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); ASSERT(library.functions.empty()); const Library::AllocFunc* af = library.getAllocFuncInfo("CreateX"); ASSERT(af && af->arg == -1); ASSERT(Library::ismemory(af)); ASSERT_EQUALS(library.allocId("CreateX"), library.deallocId("DeleteX")); const Library::AllocFunc* df = library.getDeallocFuncInfo("DeleteX"); ASSERT(df && df->arg == 1); } void memory2() const { constexpr char xmldata1[] = "\n" "\n" " \n" " malloc\n" " free\n" " \n" ""; constexpr char xmldata2[] = "\n" "\n" " \n" " foo\n" " free\n" " \n" ""; Library library; ASSERT_EQUALS(true, loadxmldata(library, xmldata1, sizeof(xmldata1))); ASSERT_EQUALS(true, loadxmldata(library, xmldata2, sizeof(xmldata2))); ASSERT_EQUALS(library.deallocId("free"), library.allocId("malloc")); ASSERT_EQUALS(library.deallocId("free"), library.allocId("foo")); } void memory3() const { constexpr char xmldata[] = "\n" "\n" " \n" " CreateX\n" " DeleteX\n" " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); ASSERT(library.functions.empty()); const Library::AllocFunc* af = library.getAllocFuncInfo("CreateX"); ASSERT(af && af->arg == 5 && !af->initData); const Library::AllocFunc* df = library.getDeallocFuncInfo("DeleteX"); ASSERT(df && df->arg == 2); } void resource() const { constexpr char xmldata[] = "\n" "\n" " \n" " CreateX\n" " DeleteX\n" " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); ASSERT(library.functions.empty()); ASSERT(Library::isresource(library.allocId("CreateX"))); ASSERT_EQUALS(library.allocId("CreateX"), library.deallocId("DeleteX")); } void podtype() const { { constexpr char xmldata[] = "\n" "\n" " \n" " \n" " \n" " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); // s8 { const Library::PodType * const type = library.podtype("s8"); ASSERT_EQUALS(true, type != nullptr); if (type) { ASSERT_EQUALS(1U, type->size); ASSERT_EQUALS('s', type->sign); } } // u8 { const Library::PodType * const type = library.podtype("u8"); ASSERT_EQUALS(true, type != nullptr); if (type) { ASSERT_EQUALS(1U, type->size); ASSERT_EQUALS('u', type->sign); } } // u16 { const Library::PodType * const type = library.podtype("u16"); ASSERT_EQUALS(true, type != nullptr); if (type) { ASSERT_EQUALS(2U, type->size); ASSERT_EQUALS('u', type->sign); } } // s16 { const Library::PodType * const type = library.podtype("s16"); ASSERT_EQUALS(true, type != nullptr); if (type) { ASSERT_EQUALS(2U, type->size); ASSERT_EQUALS('s', type->sign); } } // robustness test: provide cfg without PodType { const Library::PodType * const type = library.podtype("nonExistingPodType"); ASSERT_EQUALS(true, type == nullptr); } } } void container() const { constexpr char xmldata[] = "\n" "\n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" // Inherits all but templateParameter " \n" " \n" " \n" " \n" " \n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); Library::Container& A = library.containers["A"]; Library::Container& B = library.containers["B"]; const Library::Container& C = library.containers["C"]; ASSERT_EQUALS(A.type_templateArgNo, 1); ASSERT_EQUALS(A.size_templateArgNo, 4); ASSERT_EQUALS(A.startPattern, "std :: A <"); ASSERT_EQUALS(A.endPattern, "> !!::"); ASSERT_EQUALS(A.itEndPattern, "> :: iterator"); ASSERT_EQUALS(A.stdStringLike, false); ASSERT_EQUALS(A.arrayLike_indexOp, false); ASSERT_EQUALS(A.opLessAllowed, true); ASSERT_EQ(Library::Container::Yield::SIZE, A.getYield("size")); ASSERT_EQ(Library::Container::Yield::EMPTY, A.getYield("empty")); ASSERT_EQ(Library::Container::Yield::AT_INDEX, A.getYield("at")); ASSERT_EQ(Library::Container::Yield::START_ITERATOR, A.getYield("begin")); ASSERT_EQ(Library::Container::Yield::END_ITERATOR, A.getYield("end")); ASSERT_EQ(Library::Container::Yield::BUFFER, A.getYield("data")); ASSERT_EQ(Library::Container::Yield::BUFFER_NT, A.getYield("c_str")); ASSERT_EQ(Library::Container::Yield::ITEM, A.getYield("front")); ASSERT_EQ(Library::Container::Yield::NO_YIELD, A.getYield("foo")); ASSERT_EQ(Library::Container::Action::RESIZE, A.getAction("resize")); ASSERT_EQ(Library::Container::Action::CLEAR, A.getAction("clear")); ASSERT_EQ(Library::Container::Action::PUSH, A.getAction("push_back")); ASSERT_EQ(Library::Container::Action::POP, A.getAction("pop_back")); ASSERT_EQ(Library::Container::Action::FIND, A.getAction("find")); ASSERT_EQ(Library::Container::Action::FIND_CONST, A.getAction("cfind")); ASSERT_EQ(Library::Container::Action::NO_ACTION, A.getAction("foo")); ASSERT_EQUALS(B.type_templateArgNo, 1); ASSERT_EQUALS(B.size_templateArgNo, 3); ASSERT_EQUALS(B.startPattern, "std :: B <"); ASSERT_EQUALS(B.endPattern, "> !!::"); ASSERT_EQUALS(B.itEndPattern, "> :: iterator"); ASSERT_EQUALS(B.functions.size(), A.functions.size()); ASSERT_EQUALS(B.opLessAllowed, false); ASSERT(C.functions.empty()); ASSERT_EQUALS(C.type_templateArgNo, -1); ASSERT_EQUALS(C.size_templateArgNo, -1); ASSERT_EQUALS(C.stdStringLike, true); ASSERT_EQUALS(C.arrayLike_indexOp, true); { givenACodeSampleToTokenize var("std::A a;"); ASSERT_EQUALS(&A, library.detectContainer(var.tokens())); ASSERT(!library.detectIterator(var.tokens())); bool isIterator; ASSERT_EQUALS(&A, library.detectContainerOrIterator(var.tokens(), &isIterator)); ASSERT(!isIterator); } { givenACodeSampleToTokenize var("std::A::size_type a_s;"); ASSERT(!library.detectContainer(var.tokens())); ASSERT(!library.detectIterator(var.tokens())); ASSERT(!library.detectContainerOrIterator(var.tokens())); } { givenACodeSampleToTokenize var("std::A::iterator a_it;"); ASSERT(!library.detectContainer(var.tokens())); ASSERT_EQUALS(&A, library.detectIterator(var.tokens())); bool isIterator; ASSERT_EQUALS(&A, library.detectContainerOrIterator(var.tokens(), &isIterator)); ASSERT(isIterator); } { givenACodeSampleToTokenize var("std::B b;"); ASSERT_EQUALS(&B, library.detectContainer(var.tokens())); ASSERT(!library.detectIterator(var.tokens())); bool isIterator; ASSERT_EQUALS(&B, library.detectContainerOrIterator(var.tokens(), &isIterator)); ASSERT(!isIterator); } { givenACodeSampleToTokenize var("std::B::size_type b_s;"); ASSERT(!library.detectContainer(var.tokens())); ASSERT(!library.detectIterator(var.tokens())); ASSERT(!library.detectContainerOrIterator(var.tokens())); } { givenACodeSampleToTokenize var("std::B::iterator b_it;"); ASSERT(!library.detectContainer(var.tokens())); ASSERT_EQUALS(&B, library.detectIterator(var.tokens())); bool isIterator; ASSERT_EQUALS(&B, library.detectContainerOrIterator(var.tokens(), &isIterator)); ASSERT(isIterator); } { givenACodeSampleToTokenize var("C c;"); ASSERT(!library.detectContainer(var.tokens())); ASSERT(!library.detectIterator(var.tokens())); ASSERT(!library.detectContainerOrIterator(var.tokens())); } { givenACodeSampleToTokenize var("D d;"); ASSERT(!library.detectContainer(var.tokens())); ASSERT(!library.detectIterator(var.tokens())); ASSERT(!library.detectContainerOrIterator(var.tokens())); } } void version() const { { constexpr char xmldata[] = "\n" "\n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); } { constexpr char xmldata[] = "\n" "\n" ""; Library library; ASSERT(loadxmldata(library, xmldata, sizeof(xmldata))); } { constexpr char xmldata[] = "\n" "\n" ""; Library library; const Library::Error err = readLibrary(library, xmldata); ASSERT_EQUALS(true, err.errorcode == Library::ErrorCode::UNSUPPORTED_FORMAT); } } static Library::Error readLibrary(Library& library, const char* xmldata) { tinyxml2::XMLDocument doc; doc.Parse(xmldata); // TODO: check result return library.load(doc); } void loadLibError(const char xmldata[], Library::ErrorCode errorcode, const char* file, unsigned line) const { Library library; assertEquals(file, line, true, errorcode == readLibrary(library, xmldata).errorcode); } #define LOADLIBERROR(xmldata, errorcode) loadLibError(xmldata, errorcode, __FILE__, __LINE__) #define LOADLIB_ERROR_INVALID_RANGE(valid) LOADLIBERROR("\n" \ "\n" \ "\n" \ "\n" \ "" valid "\n" \ "\n" \ "\n" \ "", \ Library::ErrorCode::BAD_ATTRIBUTE_VALUE) void loadLibErrors() const { LOADLIBERROR("\n" "\n" " \n" "", Library::ErrorCode::UNKNOWN_ELEMENT); // #define without attributes LOADLIBERROR("\n" "\n" " \n" // no attributes provided at all "", Library::ErrorCode::MISSING_ATTRIBUTE); // #define with name but without value LOADLIBERROR("\n" "\n" " \n" // no value provided "", Library::ErrorCode::MISSING_ATTRIBUTE); LOADLIBERROR("\n" "\n" " \n" // no name provided "", Library::ErrorCode::MISSING_ATTRIBUTE); LOADLIBERROR("\n" "\n" "", Library::ErrorCode::UNSUPPORTED_FORMAT); // empty range LOADLIB_ERROR_INVALID_RANGE(""); // letter as range LOADLIB_ERROR_INVALID_RANGE("a"); // letter and number as range LOADLIB_ERROR_INVALID_RANGE("1a"); // digit followed by dash LOADLIB_ERROR_INVALID_RANGE("0:2-1"); // single dash LOADLIB_ERROR_INVALID_RANGE("-"); // range with multiple colons LOADLIB_ERROR_INVALID_RANGE("1:2:3"); // extra dot LOADLIB_ERROR_INVALID_RANGE("1.0.0:10"); // consecutive dots LOADLIB_ERROR_INVALID_RANGE("1..0:10"); // dot followed by dash LOADLIB_ERROR_INVALID_RANGE("1.-0:10"); // dot without preceding number LOADLIB_ERROR_INVALID_RANGE(".5:10"); // dash followed by dot LOADLIB_ERROR_INVALID_RANGE("-.5:10"); // colon followed by dot without preceding number LOADLIB_ERROR_INVALID_RANGE("0:.5"); // colon followed by dash followed by dot LOADLIB_ERROR_INVALID_RANGE("-10:-.5"); // dot not followed by number LOADLIB_ERROR_INVALID_RANGE("1:5."); // dot not followed by number LOADLIB_ERROR_INVALID_RANGE("1.:5"); // dot followed by comma LOADLIB_ERROR_INVALID_RANGE("1:5.,6:10"); // comma followed by dot LOADLIB_ERROR_INVALID_RANGE("-10:0,.5:"); } }; REGISTER_TEST(TestLibrary)