walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

ValueFlow: evaluate strlen and char literals better

This commit is contained in:
Daniel Marjamäki 2018-11-05 16:52:12 +01:00
parent 307a19d17e
commit da44ce0b5d
1 changed files with 26 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
lib/valueflow.cpp
View File

@ -3309,6 +3309,28 @@ static bool evaluate(const Token *expr, const std::vector<std::list<ValueFlow::V
{ {
if (!expr) if (!expr)
return false; return false;
// strlen(arg)..
if (expr->str() == "(" && Token::Match(expr->previous(), "strlen ( %name% )")) {
const Token *arg = expr->next();
if (arg->str().compare(0,3,"arg") != 0 || arg->str().size() != 4)
return false;
const char n = arg->str()[3];
if (n < '1' || n - '1' >= values.size())
return false;
for (const ValueFlow::Value &argvalue : values[n - '1']) {
if (argvalue.isTokValue() && argvalue.tokvalue->tokType() == Token::eString) {
ValueFlow::Value res(argvalue); // copy all "inconclusive", "condition", etc attributes
// set return value..
res.valueType = ValueFlow::Value::INT;
res.tokvalue = nullptr;
res.intvalue = Token::getStrLength(argvalue.tokvalue);
result->emplace_back(res);
}
}
return !result->empty();
}
// unary operands // unary operands
if (expr->astOperand1() && !expr->astOperand2()) { if (expr->astOperand1() && !expr->astOperand2()) {
std::list<ValueFlow::Value> opvalues; std::list<ValueFlow::Value> opvalues;
@ -3404,23 +3426,10 @@ static bool evaluate(const Token *expr, const std::vector<std::list<ValueFlow::V
result->emplace_back(ValueFlow::Value(MathLib::toLongNumber(expr->str()))); result->emplace_back(ValueFlow::Value(MathLib::toLongNumber(expr->str())));
result->back().setKnown(); result->back().setKnown();
return true; return true;
} } else if (expr->tokType() == Token::eChar) {
if (expr->str() == "(" && Token::Match(expr->previous(), "strlen ( %name% )")) { result->emplace_back(ValueFlow::Value(MathLib::toLongNumber(expr->str())));
if (expr->str().compare(0,3,"arg") != 0 || expr->str().size() != 4) result->back().setKnown();
return false; return true;
const char n = expr->str()[3];
if (n < '1' || n - '1' >= values.size())
return false;
for (const ValueFlow::Value &argvalue : values[n - '1']) {
if (argvalue.isTokValue() && argvalue.tokvalue->tokType() == Token::eString) {
ValueFlow::Value res(argvalue); // copy all "inconclusive", "condition", etc attributes
// set return value..
res.valueType = ValueFlow::Value::INT;
res.tokvalue = nullptr;
res.intvalue = Token::getStrLength(argvalue.tokvalue);
}
}
return !result->empty();
} }
return false; return false;
} }