296 lines
16 KiB
C++
296 lines
16 KiB
C++
/*
|
|
* Cppcheck - A tool for static C/C++ code analysis
|
|
* Copyright (C) 2007-2016 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/>.
|
|
*/
|
|
|
|
//---------------------------------------------------------------------------
|
|
// Check functions
|
|
//---------------------------------------------------------------------------
|
|
|
|
#include "checkfunctions.h"
|
|
#include "symboldatabase.h"
|
|
#include <cmath>
|
|
|
|
//---------------------------------------------------------------------------
|
|
|
|
|
|
// Register this check class (by creating a static instance of it)
|
|
namespace {
|
|
CheckFunctions instance;
|
|
}
|
|
|
|
static const CWE CWE628(628U);
|
|
|
|
void CheckFunctions::checkProhibitedFunctions()
|
|
{
|
|
const bool checkAlloca = _settings->isEnabled("warning") && ((_settings->standards.c >= Standards::C99 && _tokenizer->isC()) || _settings->standards.cpp >= Standards::CPP11);
|
|
|
|
const SymbolDatabase *symbolDatabase = _tokenizer->getSymbolDatabase();
|
|
for (unsigned int i = 0; i < symbolDatabase->functionScopes.size(); i++) {
|
|
const Scope* scope = symbolDatabase->functionScopes[i];
|
|
for (const Token* tok = scope->classStart; tok != scope->classEnd; tok = tok->next()) {
|
|
if (tok->isName() && tok->varId() == 0 && tok->strAt(1) == "(") {
|
|
// alloca() is special as it depends on the code being C or C++, so it is not in Library
|
|
if (checkAlloca && Token::simpleMatch(tok, "alloca (") && (!tok->function() || tok->function()->nestedIn->type == Scope::eGlobal)) {
|
|
if (_tokenizer->isC())
|
|
reportError(tok, Severity::warning, "allocaCalled",
|
|
"Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead.\n"
|
|
"The obsolete function 'alloca' is called. In C99 and later it is recommended to use a variable length array or "
|
|
"a dynamically allocated array instead. The function 'alloca' is dangerous for many reasons "
|
|
"(http://stackoverflow.com/questions/1018853/why-is-alloca-not-considered-good-practice and http://linux.die.net/man/3/alloca).");
|
|
else
|
|
reportError(tok, Severity::warning, "allocaCalled",
|
|
"Obsolete function 'alloca' called. In C++11 and later it is recommended to use std::array<> instead.\n"
|
|
"The obsolete function 'alloca' is called. In C++11 and later it is recommended to use std::array<> or "
|
|
"a dynamically allocated array instead. The function 'alloca' is dangerous for many reasons "
|
|
"(http://stackoverflow.com/questions/1018853/why-is-alloca-not-considered-good-practice and http://linux.die.net/man/3/alloca).");
|
|
} else {
|
|
if (tok->function() && tok->function()->hasBody())
|
|
continue;
|
|
|
|
const Library::WarnInfo* wi = _settings->library.getWarnInfo(tok);
|
|
if (wi) {
|
|
if (_settings->isEnabled(Severity::toString(wi->severity)) && _settings->standards.c >= wi->standards.c && _settings->standards.cpp >= wi->standards.cpp) {
|
|
reportError(tok, wi->severity, tok->str() + "Called", wi->message);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
//---------------------------------------------------------------------------
|
|
// strtol(str, 0, radix) <- radix must be 0 or 2-36
|
|
//---------------------------------------------------------------------------
|
|
void CheckFunctions::invalidFunctionUsage()
|
|
{
|
|
const SymbolDatabase* symbolDatabase = _tokenizer->getSymbolDatabase();
|
|
const std::size_t functions = symbolDatabase->functionScopes.size();
|
|
for (std::size_t i = 0; i < functions; ++i) {
|
|
const Scope * scope = symbolDatabase->functionScopes[i];
|
|
for (const Token* tok = scope->classStart->next(); tok != scope->classEnd; tok = tok->next()) {
|
|
if (!tok->isName() || !Token::Match(tok, "%name% ( !!)"))
|
|
continue;
|
|
const Token * const functionToken = tok;
|
|
int argnr = 1;
|
|
const Token *argtok = tok->tokAt(2);
|
|
do {
|
|
if (Token::Match(argtok, "%num% [,)]")) {
|
|
if (MathLib::isInt(argtok->str()) &&
|
|
!_settings->library.isargvalid(functionToken, argnr, MathLib::toLongNumber(argtok->str())))
|
|
invalidFunctionArgError(argtok, functionToken->str(), argnr, _settings->library.validarg(functionToken, argnr));
|
|
} else {
|
|
const Token *top = argtok;
|
|
while (top->astParent() && top->astParent()->str() != "," && top->astParent() != tok->next())
|
|
top = top->astParent();
|
|
const Token *var = top;
|
|
while (Token::Match(var, ".|::"))
|
|
var = var->astOperand2();
|
|
if (Token::Match(top, "%comp%|%oror%|&&|!|true|false") ||
|
|
(var && var->variable() && Token::simpleMatch(var->variable()->typeStartToken(), "bool"))) {
|
|
if (_settings->library.isboolargbad(functionToken, argnr))
|
|
invalidFunctionArgBoolError(top, functionToken->str(), argnr);
|
|
|
|
// Are the values 0 and 1 valid?
|
|
else if (!_settings->library.isargvalid(functionToken, argnr, 0))
|
|
invalidFunctionArgError(top, functionToken->str(), argnr, _settings->library.validarg(functionToken, argnr));
|
|
else if (!_settings->library.isargvalid(functionToken, argnr, 1))
|
|
invalidFunctionArgError(top, functionToken->str(), argnr, _settings->library.validarg(functionToken, argnr));
|
|
}
|
|
}
|
|
argnr++;
|
|
argtok = argtok->nextArgument();
|
|
} while (argtok && argtok->str() != ")");
|
|
}
|
|
}
|
|
}
|
|
|
|
void CheckFunctions::invalidFunctionArgError(const Token *tok, const std::string &functionName, int argnr, const std::string &validstr)
|
|
{
|
|
std::ostringstream errmsg;
|
|
errmsg << "Invalid " << functionName << "() argument nr " << argnr;
|
|
if (!tok)
|
|
;
|
|
else if (tok->isNumber())
|
|
errmsg << ". The value is " << tok->str() << " but the valid values are '" << validstr << "'.";
|
|
else if (tok->isComparisonOp())
|
|
errmsg << ". The value is 0 or 1 (comparison result) but the valid values are '" << validstr << "'.";
|
|
reportError(tok, Severity::error, "invalidFunctionArg", errmsg.str(), CWE628, false);
|
|
}
|
|
|
|
void CheckFunctions::invalidFunctionArgBoolError(const Token *tok, const std::string &functionName, int argnr)
|
|
{
|
|
std::ostringstream errmsg;
|
|
errmsg << "Invalid " << functionName << "() argument nr " << argnr << ". A non-boolean value is required.";
|
|
reportError(tok, Severity::error, "invalidFunctionArgBool", errmsg.str(), CWE628, false);
|
|
}
|
|
|
|
//---------------------------------------------------------------------------
|
|
// Check for ignored return values.
|
|
//---------------------------------------------------------------------------
|
|
void CheckFunctions::checkIgnoredReturnValue()
|
|
{
|
|
if (!_settings->isEnabled("warning"))
|
|
return;
|
|
|
|
const SymbolDatabase *symbolDatabase = _tokenizer->getSymbolDatabase();
|
|
const std::size_t functions = symbolDatabase->functionScopes.size();
|
|
for (std::size_t i = 0; i < functions; ++i) {
|
|
const Scope * scope = symbolDatabase->functionScopes[i];
|
|
for (const Token* tok = scope->classStart->next(); tok != scope->classEnd; tok = tok->next()) {
|
|
if (tok->varId() || !Token::Match(tok, "%name% (") || tok->strAt(-1) == ".")
|
|
continue;
|
|
|
|
if (!tok->scope()->isExecutable()) {
|
|
tok = tok->scope()->classEnd;
|
|
continue;
|
|
}
|
|
|
|
const Token* parent = tok;
|
|
while (parent->astParent() && parent->astParent()->str() == "::")
|
|
parent = parent->astParent();
|
|
if (tok->next()->astOperand1() != parent)
|
|
continue;
|
|
|
|
if (!tok->next()->astParent() && (!tok->function() || !Token::Match(tok->function()->retDef, "void %name%")) && _settings->library.isUseRetVal(tok))
|
|
ignoredReturnValueError(tok, tok->str());
|
|
}
|
|
}
|
|
}
|
|
|
|
void CheckFunctions::ignoredReturnValueError(const Token* tok, const std::string& function)
|
|
{
|
|
reportError(tok, Severity::warning, "ignoredReturnValue",
|
|
"Return value of function " + function + "() is not used.", CWE(0U), false);
|
|
}
|
|
|
|
|
|
//---------------------------------------------------------------------------
|
|
// Detect passing wrong values to <cmath> functions like atan(0, x);
|
|
//---------------------------------------------------------------------------
|
|
void CheckFunctions::checkMathFunctions()
|
|
{
|
|
const bool styleC99 = _settings->isEnabled("style") && _settings->standards.c != Standards::C89 && _settings->standards.cpp != Standards::CPP03;
|
|
const bool printWarnings = _settings->isEnabled("warning");
|
|
|
|
const SymbolDatabase *symbolDatabase = _tokenizer->getSymbolDatabase();
|
|
const std::size_t functions = symbolDatabase->functionScopes.size();
|
|
for (std::size_t i = 0; i < functions; ++i) {
|
|
const Scope * scope = symbolDatabase->functionScopes[i];
|
|
for (const Token* tok = scope->classStart->next(); tok != scope->classEnd; tok = tok->next()) {
|
|
if (tok->varId())
|
|
continue;
|
|
if (printWarnings && Token::Match(tok, "%name% ( !!)")) {
|
|
if (tok->strAt(-1) != "."
|
|
&& Token::Match(tok, "log|logf|logl|log10|log10f|log10l ( %num% )")) {
|
|
const std::string& number = tok->strAt(2);
|
|
bool isNegative = MathLib::isNegative(number);
|
|
bool isInt = MathLib::isInt(number);
|
|
bool isFloat = MathLib::isFloat(number);
|
|
if (isNegative && isInt && MathLib::toLongNumber(number) <= 0) {
|
|
mathfunctionCallWarning(tok); // case log(-2)
|
|
} else if (isNegative && isFloat && MathLib::toDoubleNumber(number) <= 0.) {
|
|
mathfunctionCallWarning(tok); // case log(-2.0)
|
|
} else if (!isNegative && isFloat && MathLib::toDoubleNumber(number) <= 0.) {
|
|
mathfunctionCallWarning(tok); // case log(0.0)
|
|
} else if (!isNegative && isInt && MathLib::toLongNumber(number) <= 0) {
|
|
mathfunctionCallWarning(tok); // case log(0)
|
|
}
|
|
}
|
|
|
|
// acos( x ), asin( x ) where x is defined for interval [-1,+1], but not beyond
|
|
else if (Token::Match(tok, "acos|acosl|acosf|asin|asinf|asinl ( %num% )")) {
|
|
if (std::fabs(MathLib::toDoubleNumber(tok->strAt(2))) > 1.0)
|
|
mathfunctionCallWarning(tok);
|
|
}
|
|
// sqrt( x ): if x is negative the result is undefined
|
|
else if (Token::Match(tok, "sqrt|sqrtf|sqrtl ( %num% )")) {
|
|
if (MathLib::isNegative(tok->strAt(2)))
|
|
mathfunctionCallWarning(tok);
|
|
}
|
|
// atan2 ( x , y): x and y can not be zero, because this is mathematically not defined
|
|
else if (Token::Match(tok, "atan2|atan2f|atan2l ( %num% , %num% )")) {
|
|
if (MathLib::isNullValue(tok->strAt(2)) && MathLib::isNullValue(tok->strAt(4)))
|
|
mathfunctionCallWarning(tok, 2);
|
|
}
|
|
// fmod ( x , y) If y is zero, then either a range error will occur or the function will return zero (implementation-defined).
|
|
else if (Token::Match(tok, "fmod|fmodf|fmodl (")) {
|
|
const Token* nextArg = tok->tokAt(2)->nextArgument();
|
|
if (nextArg && nextArg->isNumber() && MathLib::isNullValue(nextArg->str()))
|
|
mathfunctionCallWarning(tok, 2);
|
|
}
|
|
// pow ( x , y) If x is zero, and y is negative --> division by zero
|
|
else if (Token::Match(tok, "pow|powf|powl ( %num% , %num% )")) {
|
|
if (MathLib::isNullValue(tok->strAt(2)) && MathLib::isNegative(tok->strAt(4)))
|
|
mathfunctionCallWarning(tok, 2);
|
|
}
|
|
}
|
|
|
|
if (styleC99) {
|
|
if (Token::Match(tok, "%num% - erf (") && Tokenizer::isOneNumber(tok->str()) && tok->next()->astOperand2() == tok->tokAt(3)) {
|
|
mathfunctionCallWarning(tok, "1 - erf(x)", "erfc(x)");
|
|
} else if (Token::simpleMatch(tok, "exp (") && Token::Match(tok->linkAt(1), ") - %num%") && Tokenizer::isOneNumber(tok->linkAt(1)->strAt(2)) && tok->linkAt(1)->next()->astOperand1() == tok->next()) {
|
|
mathfunctionCallWarning(tok, "exp(x) - 1", "expm1(x)");
|
|
} else if (Token::simpleMatch(tok, "log (") && tok->next()->astOperand2()) {
|
|
const Token* plus = tok->next()->astOperand2();
|
|
if (plus->str() == "+" && ((plus->astOperand1() && Tokenizer::isOneNumber(plus->astOperand1()->str())) || (plus->astOperand2() && Tokenizer::isOneNumber(plus->astOperand2()->str()))))
|
|
mathfunctionCallWarning(tok, "log(1 + x)", "log1p(x)");
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
void CheckFunctions::mathfunctionCallWarning(const Token *tok, const unsigned int numParam)
|
|
{
|
|
if (tok) {
|
|
if (numParam == 1)
|
|
reportError(tok, Severity::warning, "wrongmathcall", "Passing value " + tok->strAt(2) + " to " + tok->str() + "() leads to implementation-defined result.");
|
|
else if (numParam == 2)
|
|
reportError(tok, Severity::warning, "wrongmathcall", "Passing values " + tok->strAt(2) + " and " + tok->strAt(4) + " to " + tok->str() + "() leads to implementation-defined result.");
|
|
} else
|
|
reportError(tok, Severity::warning, "wrongmathcall", "Passing value '#' to #() leads to implementation-defined result.");
|
|
}
|
|
|
|
void CheckFunctions::mathfunctionCallWarning(const Token *tok, const std::string& oldexp, const std::string& newexp)
|
|
{
|
|
reportError(tok, Severity::style, "unpreciseMathCall", "Expression '" + oldexp + "' can be replaced by '" + newexp + "' to avoid loss of precision.");
|
|
}
|
|
|
|
void CheckFunctions::checkLibraryMatchFunctions()
|
|
{
|
|
if (!_settings->checkLibrary || !_settings->isEnabled("information"))
|
|
return;
|
|
|
|
for (const Token *tok = _tokenizer->tokens(); tok; tok = tok->next()) {
|
|
if (Token::Match(tok, "%name% (") &&
|
|
!Token::Match(tok, "for|if|while|switch|sizeof|catch|asm|return") &&
|
|
!tok->function() &&
|
|
!tok->varId() &&
|
|
!tok->type() &&
|
|
!tok->isStandardType() &&
|
|
tok->linkAt(1)->strAt(1) != "(" &&
|
|
tok->astParent() == tok->next() &&
|
|
_settings->library.isNotLibraryFunction(tok)) {
|
|
reportError(tok,
|
|
Severity::information,
|
|
"checkLibraryFunction",
|
|
"--check-library: There is no matching configuration for function " + tok->str() + "()");
|
|
}
|
|
}
|
|
}
|