2013-04-10 18:49:38 +02:00
|
|
|
|
/*
|
|
|
|
|
* Cppcheck - A tool for static C/C++ code analysis
|
|
|
|
|
* Copyright (C) 2007-2013 Daniel Marjam<EFBFBD>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/>.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
//---------------------------------------------------------------------------
|
2013-09-04 20:59:49 +02:00
|
|
|
|
#ifndef checksizeofH
|
|
|
|
|
#define checksizeofH
|
2013-04-10 18:49:38 +02:00
|
|
|
|
//---------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
|
#include "config.h"
|
|
|
|
|
#include "check.h"
|
|
|
|
|
#include "settings.h"
|
|
|
|
|
|
|
|
|
|
class Token;
|
|
|
|
|
class Function;
|
|
|
|
|
class Variable;
|
|
|
|
|
|
|
|
|
|
/// @addtogroup Checks
|
|
|
|
|
/// @{
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/** @brief checks on usage of sizeof() operator */
|
|
|
|
|
|
|
|
|
|
class CPPCHECKLIB CheckSizeof : public Check {
|
|
|
|
|
public:
|
|
|
|
|
/** @brief This constructor is used when registering the CheckClass */
|
2013-08-07 16:27:37 +02:00
|
|
|
|
CheckSizeof() : Check(myName()) {
|
|
|
|
|
}
|
2013-04-10 18:49:38 +02:00
|
|
|
|
|
|
|
|
|
/** @brief This constructor is used when running checks. */
|
|
|
|
|
CheckSizeof(const Tokenizer* tokenizer, const Settings* settings, ErrorLogger* errorLogger)
|
2013-08-07 16:27:37 +02:00
|
|
|
|
: Check(myName(), tokenizer, settings, errorLogger) {
|
|
|
|
|
}
|
2013-04-10 18:49:38 +02:00
|
|
|
|
|
|
|
|
|
/** @brief Run checks against the normal token list */
|
|
|
|
|
void runChecks(const Tokenizer* tokenizer, const Settings* settings, ErrorLogger* errorLogger) {
|
|
|
|
|
CheckSizeof checkSizeof(tokenizer, settings, errorLogger);
|
|
|
|
|
|
|
|
|
|
// Checks
|
|
|
|
|
checkSizeof.sizeofsizeof();
|
|
|
|
|
checkSizeof.sizeofCalculation();
|
|
|
|
|
checkSizeof.suspiciousSizeofCalculation();
|
|
|
|
|
checkSizeof.checkSizeofForArrayParameter();
|
|
|
|
|
checkSizeof.checkSizeofForPointerSize();
|
|
|
|
|
checkSizeof.checkSizeofForNumericParameter();
|
2013-07-05 21:07:07 +02:00
|
|
|
|
checkSizeof.sizeofVoid();
|
2013-04-10 18:49:38 +02:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/** @brief Run checks against the simplified token list */
|
|
|
|
|
void runSimplifiedChecks(const Tokenizer*, const Settings*, ErrorLogger*) {
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/** @brief %Check for 'sizeof sizeof ..' */
|
|
|
|
|
void sizeofsizeof();
|
|
|
|
|
|
|
|
|
|
/** @brief %Check for calculations inside sizeof */
|
|
|
|
|
void sizeofCalculation();
|
|
|
|
|
|
|
|
|
|
/** @brief %Check for suspicious calculations with sizeof results */
|
|
|
|
|
void suspiciousSizeofCalculation();
|
|
|
|
|
|
|
|
|
|
/** @brief %Check for using sizeof with array given as function argument */
|
|
|
|
|
void checkSizeofForArrayParameter();
|
|
|
|
|
|
|
|
|
|
/** @brief %Check for using sizeof of a variable when allocating it */
|
|
|
|
|
void checkSizeofForPointerSize();
|
|
|
|
|
|
|
|
|
|
/** @brief %Check for using sizeof with numeric given as function argument */
|
|
|
|
|
void checkSizeofForNumericParameter();
|
|
|
|
|
|
2013-07-05 21:07:07 +02:00
|
|
|
|
/** @brief %Check for using sizeof(void) */
|
|
|
|
|
void sizeofVoid();
|
|
|
|
|
|
2013-04-10 18:49:38 +02:00
|
|
|
|
private:
|
|
|
|
|
// Error messages..
|
|
|
|
|
void sizeofsizeofError(const Token* tok);
|
|
|
|
|
void sizeofCalculationError(const Token* tok, bool inconclusive);
|
|
|
|
|
void multiplySizeofError(const Token* tok);
|
|
|
|
|
void divideSizeofError(const Token* tok);
|
|
|
|
|
void sizeofForArrayParameterError(const Token* tok);
|
|
|
|
|
void sizeofForPointerError(const Token* tok, const std::string &varname);
|
|
|
|
|
void sizeofForNumericParameterError(const Token* tok);
|
2013-07-05 21:07:07 +02:00
|
|
|
|
void sizeofVoidError(const Token *tok);
|
|
|
|
|
void sizeofDereferencedVoidPointerError(const Token *tok, const std::string &varname);
|
2013-07-10 06:40:09 +02:00
|
|
|
|
void arithOperationsOnVoidPointerError(const Token* tok, const std::string &varname, const std::string &vartype);
|
2013-04-10 18:49:38 +02:00
|
|
|
|
|
|
|
|
|
void getErrorMessages(ErrorLogger* errorLogger, const Settings* settings) const {
|
|
|
|
|
CheckSizeof c(0, settings, errorLogger);
|
|
|
|
|
|
|
|
|
|
c.sizeofForArrayParameterError(0);
|
|
|
|
|
c.sizeofForPointerError(0, "varname");
|
|
|
|
|
c.sizeofForNumericParameterError(0);
|
|
|
|
|
c.sizeofsizeofError(0);
|
|
|
|
|
c.sizeofCalculationError(0, false);
|
|
|
|
|
c.multiplySizeofError(0);
|
|
|
|
|
c.divideSizeofError(0);
|
2013-07-05 21:07:07 +02:00
|
|
|
|
c.sizeofVoidError(0);
|
|
|
|
|
c.sizeofDereferencedVoidPointerError(0, "varname");
|
2013-07-10 06:40:09 +02:00
|
|
|
|
c.arithOperationsOnVoidPointerError(0, "varname", "vartype");
|
2013-04-10 18:49:38 +02:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static std::string myName() {
|
|
|
|
|
return "Sizeof";
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
std::string classInfo() const {
|
|
|
|
|
return "sizeof() usage checks\n"
|
|
|
|
|
|
|
|
|
|
"* sizeof for array given as function argument\n"
|
|
|
|
|
"* sizeof for numeric given as function argument\n"
|
|
|
|
|
"* using sizeof(pointer) instead of the size of pointed data\n"
|
|
|
|
|
"* look for 'sizeof sizeof ..'\n"
|
|
|
|
|
"* look for calculations inside sizeof()\n"
|
2013-07-05 21:07:07 +02:00
|
|
|
|
"* look for suspicious calculations with sizeof()\n"
|
|
|
|
|
"* using 'sizeof(void)' which is undefined\n";
|
2013-04-10 18:49:38 +02:00
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
/// @}
|
|
|
|
|
//---------------------------------------------------------------------------
|
2013-09-04 20:59:49 +02:00
|
|
|
|
#endif // checksizeofH
|