cppcheck/CheckMemoryLeak.cpp

1106 lines
36 KiB
C++
Raw Normal View History

2008-11-10 19:56:02 +01:00
/*
2008-10-26 08:55:15 +01:00
* c++check - c/c++ syntax checking
* Copyright (C) 2007 Daniel Marjamäki
*
* 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/
*/
#include "CheckMemoryLeak.h"
#include <stdlib.h> // free
#include <algorithm>
#include <sstream>
#ifdef __BORLANDC__
#include <mem.h> // <- memset
#else
#include <string.h>
#endif
#ifndef _MSC_VER
#define _strdup(str) strdup(str)
#endif
//---------------------------------------------------------------------------
CheckMemoryLeakClass::CheckMemoryLeakClass( Tokenizer *tokenizer, const Settings &settings, ErrorLogger *errorLogger )
{
_tokenizer = tokenizer;
_settings = settings;
_errorLogger = errorLogger;
}
CheckMemoryLeakClass::~CheckMemoryLeakClass()
{
}
bool CheckMemoryLeakClass::isclass( const std::string &typestr )
{
if ( typestr == "char" ||
typestr == "short" ||
typestr == "int" ||
typestr == "long" ||
typestr == "float" ||
typestr == "double" )
return false;
std::ostringstream pattern;
2008-11-07 18:24:19 +01:00
pattern << "struct " << typestr;
if ( Tokenizer::findmatch( _tokenizer->tokens(), pattern.str().c_str() ) )
return false;
return true;
}
//---------------------------------------------------------------------------
CheckMemoryLeakClass::AllocType CheckMemoryLeakClass::GetAllocationType( const TOKEN *tok2 )
{
// What we may have...
// * var = (char *)malloc(10);
// * var = new char[10];
// * var = strdup("hello");
if ( tok2 && tok2->str[0] == '(' )
{
while ( tok2 && tok2->str[0] != ')' )
tok2 = tok2->next;
tok2 = tok2 ? tok2->next : NULL;
}
if ( ! tok2 )
return No;
// Does tok2 point on "malloc", "strdup" or "kmalloc"..
const char *mallocfunc[] = {"malloc",
"calloc",
"realloc",
"strdup",
"kmalloc",
"kzalloc",
0};
for ( unsigned int i = 0; mallocfunc[i]; i++ )
{
if ( strcmp(mallocfunc[i], tok2->str) == 0 )
return Malloc;
}
// Does tok2 point on "malloc", "strdup" or "kmalloc"..
const char *gmallocfunc[] = {"g_new",
"g_new0",
"g_renew",
"g_try_new",
"g_try_new0",
"g_try_renew",
"g_malloc",
"g_malloc0",
"g_realloc",
"g_try_malloc",
"g_try_malloc0",
"g_try_realloc",
"g_strdup",
"g_strndup",
0};
for ( unsigned int i = 0; gmallocfunc[i]; i++ )
{
if ( strcmp(gmallocfunc[i], tok2->str) == 0 )
return gMalloc;
}
if ( Tokenizer::Match( tok2, "new %type% [;(]" ) )
return New;
if ( Tokenizer::Match( tok2, "new %type% [" ) )
return NewA;
if ( Tokenizer::Match( tok2, "fopen (" ) )
return FOPEN;
if ( Tokenizer::Match( tok2, "popen (" ) )
return POPEN;
// Userdefined allocation function..
std::list<AllocFunc>::const_iterator it = listallocfunc.begin();
while ( it != listallocfunc.end() )
{
if ( strcmp(tok2->str, it->funcname) == 0 )
return it->alloctype;
++it;
}
return No;
}
CheckMemoryLeakClass::AllocType CheckMemoryLeakClass::GetDeallocationType( const TOKEN *tok, const char *varnames[] )
{
// Redundant condition..
if ( Tokenizer::Match(tok, "if ( %var1% )", varnames) )
{
tok = Tokenizer::gettok( tok, 4 );
if ( Tokenizer::Match(tok,"{") )
tok = tok->next;
}
if ( Tokenizer::Match(tok, "delete %var1% ;", varnames) )
return New;
if ( Tokenizer::Match(tok, "delete [ ] %var1% ;", varnames) )
return NewA;
if ( Tokenizer::Match(tok, "free ( %var1% ) ;", varnames) ||
Tokenizer::Match(tok, "kfree ( %var1% ) ;", varnames) )
{
return Malloc;
}
if ( Tokenizer::Match(tok, "g_free ( %var1% ) ;", varnames) )
return gMalloc;
if ( Tokenizer::Match(tok, "fclose ( %var1% )", varnames) )
return FOPEN;
if ( Tokenizer::Match(tok, "pclose ( %var1% )", varnames) )
return POPEN;
return No;
}
//--------------------------------------------------------------------------
const char * CheckMemoryLeakClass::call_func( const TOKEN *tok, std::list<const TOKEN *> callstack, const char *varnames[], AllocType &alloctype, AllocType &dealloctype )
{
if (Tokenizer::Match(tok,"if") || Tokenizer::Match(tok,"for") || Tokenizer::Match(tok,"while"))
return 0;
if (GetAllocationType(tok)!=No || GetDeallocationType(tok,varnames)!=No)
return 0;
2008-11-17 21:29:50 +01:00
if ( callstack.size() > 2 )
return "dealloc";
2008-11-17 21:29:50 +01:00
const char *funcname = tok->str;
for ( std::list<const TOKEN *>::const_iterator it = callstack.begin(); it != callstack.end(); ++it )
{
if ( std::string(funcname) == (*it)->str )
return "dealloc";
2008-11-17 21:29:50 +01:00
}
callstack.push_back(tok);
int par = 1;
int parlevel = 0;
for ( ; tok; tok = tok->next )
{
if ( Tokenizer::Match(tok, "(") )
++parlevel;
else if ( Tokenizer::Match(tok, ")") )
{
--parlevel;
if ( parlevel < 1 )
return NULL;
}
if ( parlevel == 1 )
{
if ( Tokenizer::Match(tok, ",") )
++par;
if ( Tokenizer::Match(tok, "[,()] %var1% [,()]", varnames) )
{
const TOKEN *ftok = _tokenizer->GetFunctionTokenByName(funcname);
const char *parname = Tokenizer::getParameterName( ftok, par );
if ( ! parname )
return "use";
// Check if the function deallocates the variable..
while ( ftok && ! Tokenizer::Match(ftok,"{") )
ftok = ftok->next;
TOKEN *func = getcode( Tokenizer::gettok(ftok,1), callstack, parname, alloctype, dealloctype );
simplifycode( func );
const char *ret = 0;
if (Tokenizer::findmatch(func, "goto"))
ret = "dealloc"; // TODO : "goto" isn't handled well
else if (Tokenizer::findmatch(func, "use"))
ret = "use";
else if (Tokenizer::findmatch(func, "dealloc"))
ret = "dealloc";
Tokenizer::deleteTokens(func);
return ret;
}
}
}
return NULL;
}
//--------------------------------------------------------------------------
void CheckMemoryLeakClass::MismatchError( const TOKEN *Tok1, const std::list<const TOKEN *> &callstack, const char varname[] )
{
std::ostringstream errmsg;
for ( std::list<const TOKEN *>::const_iterator tok = callstack.begin(); tok != callstack.end(); ++tok )
errmsg << _tokenizer->fileLine(*tok) << " -> ";
errmsg << _tokenizer->fileLine(Tok1) << ": Mismatching allocation and deallocation: " << varname;
_errorLogger->reportErr( errmsg.str() );
}
//---------------------------------------------------------------------------
2008-04-03 08:15:26 +02:00
void CheckMemoryLeakClass::MemoryLeak( const TOKEN *tok, const char varname[] )
{
std::ostringstream errmsg;
errmsg << _tokenizer->fileLine(tok) << ": Memory leak: " << varname;
_errorLogger->reportErr( errmsg.str() );
}
//---------------------------------------------------------------------------
void CheckMemoryLeakClass::instoken(TOKEN *tok, const char str[])
{
TOKEN *newtok = new TOKEN;
newtok->setstr(str);
newtok->next = tok->next;
tok->next = newtok;
}
//---------------------------------------------------------------------------
bool CheckMemoryLeakClass::notvar(const TOKEN *tok, const char *varnames[])
{
return bool( Tokenizer::Match(tok, "! %var1% [;)&|]", varnames) ||
Tokenizer::Match(tok, "! ( %var1% )", varnames) ||
Tokenizer::Match(tok, "unlikely ( ! %var1% )", varnames) ||
Tokenizer::Match(tok, "unlikely ( %var1% == 0 )", varnames) ||
Tokenizer::Match(tok, "0 == %var1% [;)&|]", varnames) ||
Tokenizer::Match(tok, "%var1% == 0", varnames) );
}
/**
* Extract a new tokens list that is easier to parse than the "tokens"
* tok - start parse token
* varname - name of variable
*/
TOKEN *CheckMemoryLeakClass::getcode(const TOKEN *tok, std::list<const TOKEN *> callstack, const char varname[], AllocType &alloctype, AllocType &dealloctype)
{
const char *varnames[2];
varnames[0] = varname;
varnames[1] = 0;
2008-08-16 14:44:46 +02:00
TOKEN *rethead = 0, *rettail = 0;
#define addtoken(_str) \
{ \
TOKEN *newtok = new TOKEN; \
newtok->setstr(_str); \
2008-08-16 14:44:46 +02:00
newtok->linenr = tok->linenr; \
newtok->FileIndex = tok->FileIndex; \
newtok->next = 0; \
if (rettail) \
rettail->next = newtok; \
else \
rethead = newtok; \
rettail=newtok; \
}
bool isloop = false;
int indentlevel = 0;
2008-08-16 14:44:46 +02:00
int parlevel = 0;
for ( ; tok; tok = tok->next )
{
2008-08-16 14:44:46 +02:00
if ( tok->str[0] == '{' )
{
addtoken( "{" );
indentlevel++;
2008-08-16 14:44:46 +02:00
}
else if ( tok->str[0] == '}' )
{
2008-08-16 14:44:46 +02:00
addtoken( "}" );
if ( indentlevel <= 0 )
break;
indentlevel--;
2008-08-16 14:44:46 +02:00
}
if ( tok->str[0] == '(' )
parlevel++;
else if ( tok->str[0] == ')' )
parlevel--;
isloop &= ( parlevel > 0 );
2008-08-16 14:44:46 +02:00
if ( parlevel == 0 && tok->str[0]==';')
addtoken(";");
if (Tokenizer::Match(tok, "[(;{}] %var1% =", varnames))
2008-08-16 14:44:46 +02:00
{
AllocType alloc = GetAllocationType(Tokenizer::gettok(tok,3));
// If "--all" hasn't been given, don't check classes..
if ( alloc == New && ! _settings._showAll )
{
if ( Tokenizer::Match(Tokenizer::gettok(tok,3), "new %type% [(;]") )
{
if ( isclass( Tokenizer::getstr(tok, 4) ) )
alloc = No;
}
}
2008-08-16 14:44:46 +02:00
if ( alloc != No )
{
2008-08-16 14:44:46 +02:00
addtoken("alloc");
if (alloctype!=No && alloctype!=alloc)
MismatchError(tok, callstack, varname);
2008-08-16 14:44:46 +02:00
if (dealloctype!=No && dealloctype!=alloc)
MismatchError(tok, callstack, varname);
2008-08-16 14:44:46 +02:00
alloctype = alloc;
}
}
2008-08-16 14:44:46 +02:00
AllocType dealloc = GetDeallocationType(tok, varnames);
if ( dealloc != No )
{
2008-08-16 14:44:46 +02:00
addtoken("dealloc");
if (alloctype!=No && alloctype!=dealloc)
MismatchError(tok, callstack, varname);
2008-08-16 14:44:46 +02:00
if (dealloctype!=No && dealloctype!=dealloc)
MismatchError(tok, callstack, varname);
2008-08-16 14:44:46 +02:00
dealloctype = dealloc;
}
// if else switch
if ( Tokenizer::Match(tok, "if ( %var1% )", varnames) ||
Tokenizer::Match(tok, "if ( %var1% != 0 )", varnames) ||
Tokenizer::Match(tok, "if ( 0 != %var1% )", varnames) )
2008-08-16 14:44:46 +02:00
{
2008-08-16 19:49:40 +02:00
addtoken("if(var)");
tok = Tokenizer::gettok(tok, 3); // Make sure the "use" will not be added
2008-08-16 19:49:40 +02:00
}
else if ( Tokenizer::Match(tok, "if (") && notvar(Tokenizer::gettok(tok,2), varnames) )
2008-08-16 19:49:40 +02:00
{
addtoken("if(!var)");
}
else if ( Tokenizer::Match(tok, "if ( true )") )
{
addtoken("if(true)");
}
else if ( Tokenizer::Match(tok, "if ( false )") )
{
addtoken("if(false)");
}
else if ( Tokenizer::Match(tok, "if") )
{
// Check if the condition depends on var somehow..
bool dep = false;
int parlevel = 0;
for ( const TOKEN *tok2 = tok; tok2; tok2 = tok2->next )
{
if ( Tokenizer::Match(tok2,"(") )
++parlevel;
if ( Tokenizer::Match(tok2,")") )
{
--parlevel;
if ( parlevel <= 0 )
break;
}
if ( !Tokenizer::Match(tok2,".") &&
Tokenizer::Match(tok2->next, "%var1%", varnames) &&
!Tokenizer::Match(tok2->next, "%var1% .", varnames) )
{
dep = true;
break;
}
}
addtoken( (dep ? "ifv" : "if") );
}
else if ( Tokenizer::Match(tok, "else") || Tokenizer::Match(tok, "switch") )
2008-08-16 19:49:40 +02:00
{
addtoken(tok->str);
}
if ( Tokenizer::Match(tok, "case") )
{
addtoken("case");
addtoken(";");
}
if ( Tokenizer::Match(tok, "default") )
{
addtoken("case");
addtoken(";");
2008-08-16 14:44:46 +02:00
}
2008-08-16 19:49:40 +02:00
// Loops..
if (Tokenizer::Match(tok, "for") || Tokenizer::Match(tok, "while") )
{
2008-08-16 19:49:40 +02:00
addtoken("loop");
isloop = true;
}
if ( Tokenizer::Match(tok, "do") )
{
addtoken("do");
}
if ( isloop && notvar(tok,varnames) )
addtoken("!var");
2008-08-16 19:49:40 +02:00
// continue / break..
if ( Tokenizer::Match(tok, "continue") )
2008-08-16 19:49:40 +02:00
addtoken("continue");
if ( Tokenizer::Match(tok, "break") )
2008-08-16 19:49:40 +02:00
addtoken("break");
// goto..
if ( Tokenizer::Match(tok, "goto") )
{
addtoken("goto");
}
2008-08-16 19:49:40 +02:00
2008-08-16 18:47:54 +02:00
// Return..
if ( Tokenizer::Match(tok, "return") )
2008-08-16 19:49:40 +02:00
{
addtoken("return");
if ( Tokenizer::Match(tok, "return %var1%", varnames) ||
Tokenizer::Match(tok, "return & %var1%", varnames) )
2008-08-16 19:49:40 +02:00
addtoken("use");
}
2008-08-16 18:47:54 +02:00
// throw..
if ( Tokenizer::Match(tok, "throw") )
addtoken("throw");
// Assignment..
if ( Tokenizer::Match(tok,"[)=] %var1% [;)]", varnames) )
2008-08-16 14:44:46 +02:00
addtoken("use");
// Investigate function calls..
if ( Tokenizer::Match(tok, "%var% (") )
{
const char *str = call_func(tok, callstack, varnames, alloctype, dealloctype);
if ( str )
addtoken( str );
}
2008-08-16 18:47:54 +02:00
// Linux lists..
if ( Tokenizer::Match( tok, "[=(,] & %var1% [.[]", varnames ) )
{
// todo: better checking
addtoken("use");
2008-10-15 09:04:32 +02:00
}
2008-08-16 14:44:46 +02:00
}
return rethead;
}
void CheckMemoryLeakClass::erase(TOKEN *begin, const TOKEN *end)
2008-08-16 18:47:54 +02:00
{
2008-08-16 19:49:40 +02:00
if ( ! begin )
return;
while ( begin->next && begin->next != end )
2008-08-16 18:47:54 +02:00
{
2008-08-16 19:49:40 +02:00
TOKEN *next = begin->next;
begin->next = begin->next->next;
2008-08-16 18:47:54 +02:00
delete next;
}
}
2008-08-16 14:44:46 +02:00
/**
* Simplify code
* \param tok first token
*/
void CheckMemoryLeakClass::simplifycode(TOKEN *tok)
{
// Remove "do"...
// do { x } while (y);
// =>
// { x } while(y) { x }"
for ( TOKEN *tok2 = tok; tok2; tok2 = tok2->next )
{
if ( ! Tokenizer::Match(tok2->next, "do") )
continue;
// Remove the next token "do"
erase( tok2, Tokenizer::gettok(tok2, 2) );
tok2 = tok2->next;
// Find the end of the "do" block..
TOKEN *tok2_;
int indentlevel = 0;
for ( tok2_ = tok2; tok2_ && indentlevel>=0; tok2_ = tok2_->next )
{
if ( Tokenizer::Match(tok2_, "{") )
++indentlevel;
else if ( Tokenizer::Match(tok2_, "}") )
--indentlevel;
else if ( indentlevel == 0 && Tokenizer::Match(tok2_->next, ";") )
break;
}
// End not found?
if ( ! tok2_ )
continue;
// Copy code..
indentlevel = 0;
do
{
if ( Tokenizer::Match( tok2, "{" ) )
++indentlevel;
else if ( Tokenizer::Match(tok2, "}") )
--indentlevel;
// Copy token..
instoken( tok2_, tok2->str );
// Next token..
tok2 = tok2->next;
tok2_ = tok2_->next;
}
while ( tok2 && indentlevel > 0 );
}
2008-08-16 14:44:46 +02:00
// reduce the code..
2008-08-16 18:47:54 +02:00
bool done = false;
while ( ! done )
2008-08-16 14:44:46 +02:00
{
2008-08-16 18:47:54 +02:00
done = true;
for (TOKEN *tok2 = tok; tok2; tok2 = tok2 ? tok2->next : NULL )
{
2008-08-16 19:49:40 +02:00
// Delete extra ";"
while (Tokenizer::Match(tok2,"[;{}] ;"))
2008-08-16 18:47:54 +02:00
{
erase(tok2, Tokenizer::gettok(tok2,2));
2008-08-16 18:47:54 +02:00
done = false;
}
// Replace "{ }" with ";"
if ( Tokenizer::Match(tok2->next, "{ }") )
2008-08-16 18:47:54 +02:00
{
tok2->next->setstr(";");
erase(tok2->next, Tokenizer::gettok(tok2,3));
done = false;
}
2008-08-16 19:49:40 +02:00
// Delete braces around a single instruction..
if ( Tokenizer::Match(tok2->next, "{ %var% ; }") )
{
erase( tok2, Tokenizer::gettok(tok2,2) );
erase( tok2->next->next, Tokenizer::gettok(tok2,4) );
done = false;
}
if ( Tokenizer::Match(tok2->next, "{ return use ; }") )
2008-08-19 06:53:41 +02:00
{
erase( tok2, Tokenizer::gettok(tok2,2) );
erase( tok2->next->next->next, Tokenizer::gettok(tok2,5) );
2008-08-19 06:53:41 +02:00
done = false;
}
2008-08-16 19:49:40 +02:00
// Delete empty if that is not followed by an else
if ( Tokenizer::Match(tok2,"[;{}] if ;") ||
Tokenizer::Match(tok2,"[;{}] if(var) ;") ||
Tokenizer::Match(tok2,"[;{}] if(!var) ;") ||
Tokenizer::Match(tok2,"[;{}] if(true) ;") ||
Tokenizer::Match(tok2,"[;{}] if(false) ;") ||
Tokenizer::Match(tok2,"[;{}] ifv ;") )
{
if ( ! Tokenizer::Match(Tokenizer::gettok(tok2,3), "else") )
2008-08-16 19:49:40 +02:00
{
erase(tok2, Tokenizer::gettok(tok2, 3));
2008-08-16 19:49:40 +02:00
done = false;
continue;
2008-08-16 19:49:40 +02:00
}
}
// Delete "if dealloc ;" and "if use ;" that is not followed by an else..
// This may cause false positives
if (_settings._showAll &&
(Tokenizer::Match(tok2, "[;{}] if dealloc ;") || Tokenizer::Match(tok2, "[;{}] if use ;")) &&
!Tokenizer::Match(Tokenizer::gettok(tok2,4), "else"))
{
erase(tok2->next, Tokenizer::gettok(tok2,3));
done = false;
}
2008-08-16 19:49:40 +02:00
// Delete if block: "alloc; if return use ;"
if (Tokenizer::Match(tok2,"alloc ; if return use ;") && !Tokenizer::Match(Tokenizer::gettok(tok2,6),"else"))
{
erase(tok2, Tokenizer::gettok(tok2,5));
done = false;
}
// "[;{}] if alloc ; else return ;" => "[;{}] alloc ;"
if (Tokenizer::Match(tok2,"[;{}] if alloc ; else return ;"))
{
erase(tok2, Tokenizer::gettok(tok2,2)); // Remove "if"
erase(tok2->next, Tokenizer::gettok(tok2,5)); // Remove "; else return"
done = false;
}
2008-08-16 19:49:40 +02:00
// Replace "dealloc use ;" with "dealloc ;"
if ( Tokenizer::Match(tok2, "dealloc use ;") )
{
erase(tok2, Tokenizer::gettok(tok2,2));
done = false;
}
// Reducing if..
if (Tokenizer::Match(tok2,"if dealloc ; else") || Tokenizer::Match(tok2,"if use ; else"))
{
erase(tok2, Tokenizer::gettok(tok2, 2));
done = false;
}
if (Tokenizer::Match(tok2,"[;{}] if { dealloc ; return ; }") && !Tokenizer::Match(Tokenizer::gettok(tok2,8),"else"))
{
erase(tok2,Tokenizer::gettok(tok2,8));
done = false;
}
2008-10-19 09:23:06 +02:00
// Replace "loop ;" with ";"
if ( Tokenizer::Match(tok2->next, "loop ;") )
{
erase(tok2, Tokenizer::gettok(tok2,2));
done = false;
}
// Replace "loop !var ;" with ";"
if ( Tokenizer::Match(tok2->next, "loop !var ;") )
{
erase(tok2, Tokenizer::gettok(tok2,4));
done = false;
}
// Replace "loop !var alloc ;" with " alloc ;"
if ( Tokenizer::Match(tok2->next, "loop !var alloc ;") )
{
erase(tok2, Tokenizer::gettok(tok2,3));
done = false;
}
2008-08-17 19:17:17 +02:00
// Delete if block in "alloc ; if(!var) return ;"
if ( Tokenizer::Match(tok2, "alloc ; if(!var) return ;") )
{
erase(tok2, Tokenizer::gettok(tok2,4));
2008-08-17 19:17:17 +02:00
done = false;
}
// Delete second use in "use ; use ;"
while (Tokenizer::Match(tok2, "[;{}] use ; use ;"))
2008-08-17 19:17:17 +02:00
{
erase(tok2, Tokenizer::gettok(tok2,3));
done = false;
2008-08-16 18:47:54 +02:00
}
// Delete second case in "case ; case ;"
while (Tokenizer::Match(tok2, "case ; case ;"))
{
erase(tok2, Tokenizer::gettok(tok2,3));
done = false;
}
// Replace switch with if (if not complicated)
if (Tokenizer::Match(tok2, "switch {"))
{
// Right now, I just handle if there are a few case and perhaps a default.
bool valid = false;
bool incase = false;
for ( const TOKEN * _tok = Tokenizer::gettok(tok2,2); _tok; _tok = _tok->next )
{
if ( _tok->str[0] == '{' )
break;
else if ( _tok->str[0] == '}' )
{
valid = true;
break;
}
else if (strncmp(_tok->str,"if",2)==0)
break;
else if (strcmp(_tok->str,"switch")==0)
break;
else if (strcmp(_tok->str,"loop")==0)
break;
else if (incase && Tokenizer::Match(_tok,"case"))
break;
incase |= Tokenizer::Match(_tok,"case");
incase &= !Tokenizer::Match(_tok,"break");
}
if ( !incase && valid )
{
done = false;
tok2->setstr(";");
erase( tok2, Tokenizer::gettok(tok2, 2) );
tok2 = tok2->next;
bool first = true;
while (Tokenizer::Match(tok2,"case") || Tokenizer::Match(tok2,"default"))
{
bool def = Tokenizer::Match(tok2, "default");
tok2->setstr(first ? "if" : "}");
if ( first )
{
first = false;
instoken( tok2, "{" );
}
else
{
// Insert "else [if] {
instoken( tok2, "{" );
if ( ! def )
instoken( tok2, "if" );
instoken( tok2, "else" );
}
while ( tok2 && tok2->str[0] != '}' && ! Tokenizer::Match(tok2,"break ;") )
tok2 = tok2->next;
if (Tokenizer::Match(tok2,"break ;"))
{
tok2->setstr(";");
tok2 = tok2->next->next;
}
}
}
}
if ( Tokenizer::Match(tok2, "throw") )
{
tok2->setstr( "return" );
done = false;
}
}
}
}
// Simpler but less powerful than "CheckMemoryLeak_CheckScope_All"
void CheckMemoryLeakClass::CheckMemoryLeak_CheckScope( const TOKEN *Tok1, const char varname[] )
{
std::list<const TOKEN *> callstack;
AllocType alloctype = No;
AllocType dealloctype = No;
TOKEN *tok = getcode( Tok1, callstack, varname, alloctype, dealloctype );
// If the variable is not allocated at all => no memory leak
if (Tokenizer::findmatch(tok, "alloc") == 0)
{
Tokenizer::deleteTokens(tok);
return;
}
// TODO : handle "goto"
if (Tokenizer::findmatch(tok, "goto"))
{
Tokenizer::deleteTokens(tok);
return;
}
simplifycode( tok );
if ( Tokenizer::findmatch(tok, "loop alloc ;") )
{
MemoryLeak(Tokenizer::findmatch(tok, "loop alloc ;"), varname);
}
else if ( Tokenizer::findmatch(tok, "alloc ; if continue ;") )
2008-08-17 19:17:17 +02:00
{
MemoryLeak(Tokenizer::gettok(Tokenizer::findmatch(tok, "alloc ; if continue ;"), 3), varname);
2008-08-17 20:01:37 +02:00
}
else if ( Tokenizer::findmatch(tok, "alloc ; if break ;") )
2008-11-11 20:46:08 +01:00
{
MemoryLeak(Tokenizer::gettok(Tokenizer::findmatch(tok, "alloc ; if break ;"), 3), varname);
2008-11-11 20:46:08 +01:00
}
else if ( Tokenizer::findmatch(tok, "alloc ; if return ;") )
2008-08-17 20:01:37 +02:00
{
MemoryLeak(Tokenizer::gettok(Tokenizer::findmatch(tok, "alloc ; if return ;"), 3), varname);
2008-08-17 19:17:17 +02:00
}
else if ( _settings._showAll && Tokenizer::findmatch(tok, "alloc ; ifv continue ;") )
{
MemoryLeak(Tokenizer::gettok(Tokenizer::findmatch(tok, "alloc ; ifv continue ;"), 3), varname);
}
else if ( _settings._showAll && Tokenizer::findmatch(tok, "alloc ; ifv break ;") )
{
MemoryLeak(Tokenizer::gettok(Tokenizer::findmatch(tok, "alloc ; ifv break ;"), 3), varname);
}
else if ( _settings._showAll && Tokenizer::findmatch(tok, "alloc ; ifv return ;") )
{
MemoryLeak(Tokenizer::gettok(Tokenizer::findmatch(tok, "alloc ; ifv return ;"), 3), varname);
}
2008-08-17 19:17:17 +02:00
else if ( Tokenizer::findmatch(tok, "alloc ; return ;") )
2008-08-16 18:47:54 +02:00
{
MemoryLeak(Tokenizer::gettok(Tokenizer::findmatch(tok,"alloc ; return ;"),2), varname);
2008-08-16 18:47:54 +02:00
}
else if ( Tokenizer::findmatch(tok, "alloc ; alloc") )
{
MemoryLeak(Tokenizer::gettok(Tokenizer::findmatch(tok,"alloc ; alloc"),2), varname);
}
else if ( ! Tokenizer::findmatch(tok,"dealloc") &&
! Tokenizer::findmatch(tok,"use") &&
! Tokenizer::findmatch(tok,"return use ;") )
2008-08-16 14:44:46 +02:00
{
const TOKEN *last = tok;
while (last->next)
last = last->next;
MemoryLeak(last, varname);
}
2008-08-16 14:44:46 +02:00
Tokenizer::deleteTokens(tok);
}
//---------------------------------------------------------------------------
//---------------------------------------------------------------------------
// Checks for memory leaks inside function..
//---------------------------------------------------------------------------
void CheckMemoryLeakClass::CheckMemoryLeak_InFunction()
{
2008-04-03 08:15:26 +02:00
bool infunc = false;
int indentlevel = 0;
for (const TOKEN *tok = _tokenizer->tokens(); tok; tok = tok->next)
{
if (tok->str[0]=='{')
indentlevel++;
else if (tok->str[0]=='}')
indentlevel--;
2008-04-03 08:15:26 +02:00
// In function..
if ( indentlevel == 0 )
{
if ( Tokenizer::Match(tok, ") {") )
2008-04-03 08:15:26 +02:00
infunc = true;
if ( Tokenizer::Match(tok, "[;}]") )
2008-04-03 08:15:26 +02:00
infunc = false;
}
// Declare a local variable => Check
if (indentlevel>0 && infunc)
{
if ( Tokenizer::Match(tok, "[{};] %type% * %var% [;=]") )
CheckMemoryLeak_CheckScope( tok->next, Tokenizer::getstr(tok, 3) );
else if ( Tokenizer::Match(tok, "[{};] %type% %type% * %var% [;=]") )
CheckMemoryLeak_CheckScope( tok->next, Tokenizer::getstr(tok, 4) );
}
}
}
//---------------------------------------------------------------------------
//---------------------------------------------------------------------------
// Checks for memory leaks in classes..
//---------------------------------------------------------------------------
void CheckMemoryLeakClass::CheckMemoryLeak_ClassMembers()
{
int indentlevel = 0;
for ( const TOKEN *tok = _tokenizer->tokens(); tok; tok = tok->next )
{
if ( tok->str[0] == '{' )
indentlevel++;
else if ( tok->str[0] == '}' )
indentlevel--;
else if ( indentlevel == 0 && Tokenizer::Match(tok, "class %var% [{:]") )
{
std::vector<const char *> classname;
classname.push_back( Tokenizer::getstr(tok, 1) );
CheckMemoryLeak_ClassMembers_ParseClass( tok, classname );
}
}
}
void CheckMemoryLeakClass::CheckMemoryLeak_ClassMembers_ParseClass( const TOKEN *tok1, std::vector<const char *> &classname )
{
// Go into class.
while ( tok1 && tok1->str[0] != '{' )
tok1 = tok1->next;
if ( tok1 )
tok1 = tok1->next;
int indentlevel = 0;
for ( const TOKEN *tok = tok1; tok; tok = tok->next )
{
if ( tok->str[0] == '{' )
indentlevel++;
else if ( tok->str[0] == '}' )
{
indentlevel--;
if ( indentlevel < 0 )
return;
}
// Only parse this particular class.. not subclasses
if ( indentlevel > 0 )
continue;
// Declaring subclass.. recursive checking
if ( Tokenizer::Match(tok, "class %var% [{:]") )
{
classname.push_back( Tokenizer::getstr(tok, 1) );
CheckMemoryLeak_ClassMembers_ParseClass( tok, classname );
classname.pop_back();
}
// Declaring member variable.. check allocations and deallocations
if ( Tokenizer::Match(tok->next, "%type% * %var% ;") )
{
if ( Tokenizer::IsName(tok->str) || strchr(";}", tok->str[0]) )
{
if (_settings._showAll || !isclass(Tokenizer::getstr(tok,1)))
CheckMemoryLeak_ClassMembers_Variable( classname, Tokenizer::getstr(tok, 3) );
}
}
}
}
void CheckMemoryLeakClass::CheckMemoryLeak_ClassMembers_Variable( const std::vector<const char *> &classname, const char varname[] )
{
// Function pattern.. Check if member function
std::ostringstream fpattern;
for ( unsigned int i = 0; i < classname.size(); i++ )
{
fpattern << classname[i] << " :: ";
}
fpattern << "%var% (";
// Destructor pattern.. Check if class destructor..
std::ostringstream destructor;
for ( unsigned int i = 0; i < classname.size(); i++ )
{
destructor << classname[i] << " :: ";
}
destructor << " ~" << classname.back() << " (";
// Pattern used in member function. "Var = ..."
std::ostringstream varname_eq;
varname_eq << varname << " =";
// Full variable name..
std::ostringstream FullVariableName;
for ( unsigned int i = 0; i < classname.size(); i++ )
FullVariableName << classname[i] << "::";
FullVariableName << varname;
// Check if member variable has been allocated and deallocated..
AllocType Alloc = No;
AllocType Dealloc = No;
// Loop through all tokens. Inspect member functions
bool memberfunction = false;
int indentlevel = 0;
for ( const TOKEN *tok = _tokenizer->tokens(); tok; tok = tok->next )
{
if ( tok->str[0] == '{' )
indentlevel++;
else if ( tok->str[0] == '}' )
indentlevel--;
// Set the 'memberfunction' variable..
if ( indentlevel == 0 )
{
if ( strchr(";}", tok->str[0]) )
memberfunction = false;
else if ( Tokenizer::Match( tok, fpattern.str().c_str() ) || Tokenizer::Match( tok, destructor.str().c_str() ) )
memberfunction = true;
}
// Parse member function..
if ( indentlevel > 0 && memberfunction )
{
// Allocate..
if ( Tokenizer::Match( tok, varname_eq.str().c_str() ) )
{
AllocType alloc = GetAllocationType( Tokenizer::gettok( tok, 2 ) );
if ( alloc != No )
{
std::list<const TOKEN *> callstack;
if ( Dealloc != No && Dealloc != alloc )
MismatchError( tok, callstack, FullVariableName.str().c_str() );
if ( Alloc != No && Alloc != alloc )
MismatchError( tok, callstack, FullVariableName.str().c_str() );
Alloc = alloc;
}
}
// Deallocate..
const char *varnames[2] = { "var", 0 };
varnames[0] = varname;
AllocType dealloc = GetDeallocationType( tok, varnames );
if ( dealloc != No )
{
std::list<const TOKEN *> callstack;
if ( Dealloc != No && Dealloc != dealloc )
MismatchError( tok, callstack, FullVariableName.str().c_str() );
if ( Alloc != No && Alloc != dealloc )
MismatchError( tok, callstack, FullVariableName.str().c_str() );
Dealloc = dealloc;
}
}
}
if ( Alloc != No && Dealloc == No )
{
MemoryLeak( _tokenizer->tokens(), FullVariableName.str().c_str() );
}
}
//---------------------------------------------------------------------------
// Checks for memory leaks..
//---------------------------------------------------------------------------
void CheckMemoryLeakClass::CheckMemoryLeak()
{
listallocfunc.clear();
// Check for memory leaks inside functions..
CheckMemoryLeak_InFunction();
// Check that all class members are deallocated..
CheckMemoryLeak_ClassMembers();
}
//---------------------------------------------------------------------------