aboutsummaryrefslogtreecommitdiffstats
path: root/clang-plugin
diff options
context:
space:
mode:
authorVsevolod Stakhov <vsevolod@rspamd.com>2024-03-18 18:56:33 +0000
committerVsevolod Stakhov <vsevolod@rspamd.com>2024-03-18 18:56:33 +0000
commit14c13854d3cae9d93c3d148be30fb72f1eaffe55 (patch)
tree7b1a3e41b75490fac4d45722c90a1847543c6796 /clang-plugin
parent6b2b4167187fee09365271cca182866ecb029af3 (diff)
downloadrspamd-14c13854d3cae9d93c3d148be30fb72f1eaffe55.tar.gz
rspamd-14c13854d3cae9d93c3d148be30fb72f1eaffe55.zip
[Rework] Further types conversion (no functional changes)
Diffstat (limited to 'clang-plugin')
-rw-r--r--clang-plugin/printf_check.cc1296
1 files changed, 646 insertions, 650 deletions
diff --git a/clang-plugin/printf_check.cc b/clang-plugin/printf_check.cc
index e39cec8e3..24d7de0ee 100644
--- a/clang-plugin/printf_check.cc
+++ b/clang-plugin/printf_check.cc
@@ -31,792 +31,788 @@
using namespace clang;
namespace rspamd {
- struct PrintfArgChecker;
+struct PrintfArgChecker;
- static bool cstring_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool cstring_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool int_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool int_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool long_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool long_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool size_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool size_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool char_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool char_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool double_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool double_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool long_double_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool long_double_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool pointer_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool pointer_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool pid_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool pid_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool time_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool time_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool int64_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool int64_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool int32_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool int32_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool tok_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool tok_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool fstring_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool fstring_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool gstring_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool gstring_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- static bool gerr_arg_handler (const Expr *arg,
- struct PrintfArgChecker *ctx);
+static bool gerr_arg_handler(const Expr *arg,
+ struct PrintfArgChecker *ctx);
- using arg_parser_t = bool (*) (const Expr *, struct PrintfArgChecker *);
+using arg_parser_t = bool (*)(const Expr *, struct PrintfArgChecker *);
- static void
- print_error (const char *err, const Expr *e, const ASTContext *ast,
+static void
+print_error(const char *err, const Expr *e, const ASTContext *ast,
CompilerInstance *ci)
+{
+ auto loc = e->getExprLoc();
+ auto &diag = ci->getDiagnostics();
+ auto id = diag.getCustomDiagID(DiagnosticsEngine::Error,
+ "format query error: %0");
+ diag.Report(loc, id) << err;
+}
+
+static void
+print_warning(const char *err, const Expr *e, const ASTContext *ast,
+ CompilerInstance *ci)
+{
+ auto loc = e->getExprLoc();
+ auto &diag = ci->getDiagnostics();
+ auto id = diag.getCustomDiagID(DiagnosticsEngine::Warning,
+ "format query warning: %0");
+ diag.Report(loc, id) << err;
+}
+
+static void
+print_remark(const char *err, const Expr *e, const ASTContext *ast,
+ CompilerInstance *ci)
+{
+ auto loc = e->getExprLoc();
+ auto &diag = ci->getDiagnostics();
+ auto id = diag.getCustomDiagID(DiagnosticsEngine::Remark,
+ "format query warning: %0");
+ diag.Report(loc, id) << err;
+}
+
+struct PrintfArgChecker {
+private:
+ arg_parser_t parser;
+
+public:
+ int width;
+ int precision;
+ bool is_unsigned;
+ ASTContext *past;
+ CompilerInstance *pci;
+
+ PrintfArgChecker(arg_parser_t _p, ASTContext *_ast, CompilerInstance *_ci)
+ : parser(_p), past(_ast), pci(_ci)
{
- auto loc = e->getExprLoc ();
- auto &diag = ci->getDiagnostics ();
- auto id = diag.getCustomDiagID (DiagnosticsEngine::Error,
- "format query error: %0");
- diag.Report (loc, id) << err;
+ width = 0;
+ precision = 0;
+ is_unsigned = false;
}
- static void
- print_warning (const char *err, const Expr *e, const ASTContext *ast,
- CompilerInstance *ci)
+ virtual ~PrintfArgChecker()
{
- auto loc = e->getExprLoc ();
- auto &diag = ci->getDiagnostics ();
- auto id = diag.getCustomDiagID (DiagnosticsEngine::Warning,
- "format query warning: %0");
- diag.Report (loc, id) << err;
}
- static void
- print_remark (const char *err, const Expr *e, const ASTContext *ast,
- CompilerInstance *ci)
+ bool operator()(const Expr *e)
{
- auto loc = e->getExprLoc ();
- auto &diag = ci->getDiagnostics ();
- auto id = diag.getCustomDiagID (DiagnosticsEngine::Remark,
- "format query warning: %0");
- diag.Report (loc, id) << err;
+ return parser(e, this);
}
+};
- struct PrintfArgChecker {
- private:
- arg_parser_t parser;
- public:
- int width;
- int precision;
- bool is_unsigned;
- ASTContext *past;
- CompilerInstance *pci;
-
- PrintfArgChecker (arg_parser_t _p, ASTContext *_ast, CompilerInstance *_ci) :
- parser (_p), past (_ast), pci(_ci)
- {
- width = 0;
- precision = 0;
- is_unsigned = false;
- }
+class PrintfCheckVisitor::impl {
+ std::unordered_map<std::string, unsigned int> printf_functions;
+ std::unordered_set<char> format_specs;
+ ASTContext *pcontext;
+ CompilerInstance *ci;
- virtual ~PrintfArgChecker ()
- {
+ std::unique_ptr<PrintfArgChecker> parseFlags(const std::string &flags,
+ const Expr *e)
+ {
+ auto type = flags.back();
+
+ switch (type) {
+ case 's':
+ return std::make_unique<PrintfArgChecker>(cstring_arg_handler,
+ this->pcontext, this->ci);
+ case 'd':
+ return std::make_unique<PrintfArgChecker>(int_arg_handler,
+ this->pcontext, this->ci);
+ case 'z':
+ return std::make_unique<PrintfArgChecker>(size_arg_handler,
+ this->pcontext, this->ci);
+ case 'l':
+ return std::make_unique<PrintfArgChecker>(long_arg_handler,
+ this->pcontext, this->ci);
+ case 'f':
+ case 'g':
+ return std::make_unique<PrintfArgChecker>(double_arg_handler,
+ this->pcontext, this->ci);
+ case 'F':
+ case 'G':
+ return std::make_unique<PrintfArgChecker>(
+ long_double_arg_handler,
+ this->pcontext, this->ci);
+ case 'c':
+ return std::make_unique<PrintfArgChecker>(char_arg_handler,
+ this->pcontext, this->ci);
+ case 'p':
+ return std::make_unique<PrintfArgChecker>(pointer_arg_handler,
+ this->pcontext, this->ci);
+ case 'P':
+ return std::make_unique<PrintfArgChecker>(pid_arg_handler,
+ this->pcontext, this->ci);
+ case 't':
+ return std::make_unique<PrintfArgChecker>(time_arg_handler,
+ this->pcontext, this->ci);
+ case 'L':
+ return std::make_unique<PrintfArgChecker>(int64_arg_handler,
+ this->pcontext, this->ci);
+ case 'D':
+ return std::make_unique<PrintfArgChecker>(int32_arg_handler,
+ this->pcontext, this->ci);
+ case 'T':
+ return std::make_unique<PrintfArgChecker>(tok_arg_handler,
+ this->pcontext, this->ci);
+ case 'V':
+ return std::make_unique<PrintfArgChecker>(fstring_arg_handler,
+ this->pcontext, this->ci);
+ case 'v':
+ return std::make_unique<PrintfArgChecker>(gstring_arg_handler,
+ this->pcontext, this->ci);
+ case 'e':
+ return std::make_unique<PrintfArgChecker>(gerr_arg_handler,
+ this->pcontext, this->ci);
+ default: {
+ auto err_msg = std::string("unknown parser flag: ") + type;
+ print_warning(err_msg.c_str(),
+ e, this->pcontext, this->ci);
+ break;
}
-
- bool operator() (const Expr *e)
- {
- return parser (e, this);
}
- };
- class PrintfCheckVisitor::impl {
- std::unordered_map<std::string, unsigned int> printf_functions;
- std::unordered_set<char> format_specs;
- ASTContext *pcontext;
- CompilerInstance *ci;
-
- std::unique_ptr <PrintfArgChecker> parseFlags (const std::string &flags,
- const Expr *e)
- {
- auto type = flags.back ();
-
- switch (type) {
- case 's':
- return std::make_unique<PrintfArgChecker> (cstring_arg_handler,
- this->pcontext, this->ci);
- case 'd':
- return std::make_unique<PrintfArgChecker> (int_arg_handler,
- this->pcontext, this->ci);
- case 'z':
- return std::make_unique<PrintfArgChecker> (size_arg_handler,
- this->pcontext, this->ci);
- case 'l':
- return std::make_unique<PrintfArgChecker> (long_arg_handler,
- this->pcontext, this->ci);
- case 'f':
- case 'g':
- return std::make_unique<PrintfArgChecker> (double_arg_handler,
- this->pcontext, this->ci);
- case 'F':
- case 'G':
- return std::make_unique<PrintfArgChecker> (
- long_double_arg_handler,
- this->pcontext, this->ci);
- case 'c':
- return std::make_unique<PrintfArgChecker> (char_arg_handler,
- this->pcontext, this->ci);
- case 'p':
- return std::make_unique<PrintfArgChecker> (pointer_arg_handler,
- this->pcontext, this->ci);
- case 'P':
- return std::make_unique<PrintfArgChecker> (pid_arg_handler,
- this->pcontext, this->ci);
- case 't':
- return std::make_unique<PrintfArgChecker> (time_arg_handler,
- this->pcontext, this->ci);
- case 'L':
- return std::make_unique<PrintfArgChecker> (int64_arg_handler,
- this->pcontext, this->ci);
- case 'D':
- return std::make_unique<PrintfArgChecker> (int32_arg_handler,
- this->pcontext, this->ci);
- case 'T':
- return std::make_unique<PrintfArgChecker> (tok_arg_handler,
- this->pcontext, this->ci);
- case 'V':
- return std::make_unique<PrintfArgChecker> (fstring_arg_handler,
- this->pcontext, this->ci);
- case 'v':
- return std::make_unique<PrintfArgChecker> (gstring_arg_handler,
- this->pcontext, this->ci);
- case 'e':
- return std::make_unique<PrintfArgChecker> (gerr_arg_handler,
- this->pcontext, this->ci);
- default: {
- auto err_msg = std::string ("unknown parser flag: ") + type;
- print_warning (err_msg.c_str(),
- e, this->pcontext, this->ci);
+ return nullptr;
+ }
+
+ std::shared_ptr<std::vector<PrintfArgChecker>>
+ genParsers(const StringRef query, const Expr *e)
+ {
+ enum {
+ ignore_chars = 0,
+ read_percent,
+ read_width,
+ read_precision,
+ read_arg
+ } state = ignore_chars;
+ int width, precision;
+ std::string flags;
+
+ auto res = std::make_shared<std::vector<PrintfArgChecker>>();
+
+ for (auto citer = query.begin(); citer != query.end(); ++citer) {
+ auto c = *citer;
+
+ switch (state) {
+ case ignore_chars:
+ if (c == '%') {
+ state = read_percent;
+ flags.clear();
+ width = precision = 0;
+ }
break;
+ case read_percent:
+ if (isdigit(c)) {
+ state = read_width;
+ width = c - '0';
}
- }
-
- return nullptr;
- }
+ else if (c == '.') {
+ state = read_precision;
+ precision = c - '0';
+ }
+ else if (c == '*') {
+ /* %*s - need integer argument */
+ res->emplace_back(int_arg_handler, this->pcontext,
+ this->ci);
- std::shared_ptr <std::vector<PrintfArgChecker>>
- genParsers (const StringRef query, const Expr *e)
- {
- enum {
- ignore_chars = 0,
- read_percent,
- read_width,
- read_precision,
- read_arg
- } state = ignore_chars;
- int width, precision;
- std::string flags;
-
- auto res = std::make_shared<std::vector<PrintfArgChecker> > ();
-
- for (auto citer = query.begin(); citer != query.end(); ++citer) {
- auto c = *citer;
-
- switch (state) {
- case ignore_chars:
- if (c == '%') {
- state = read_percent;
- flags.clear ();
- width = precision = 0;
- }
- break;
- case read_percent:
- if (isdigit (c)) {
- state = read_width;
- width = c - '0';
- }
- else if (c == '.') {
- state = read_precision;
- precision = c - '0';
- }
- else if (c == '*') {
- /* %*s - need integer argument */
- res->emplace_back (int_arg_handler, this->pcontext,
- this->ci);
-
- if (*std::next (citer) == '.') {
- ++citer;
- state = read_precision;
- }
- else {
- state = read_arg;
- }
- }
- else if (c == '%') {
- /* Percent character, ignore */
- state = ignore_chars;
- }
- else {
- // Rewind iter
- --citer;
- state = read_arg;
- }
- break;
- case read_width:
- if (isdigit (c)) {
- width *= 10;
- width += c - '0';
- }
- else if (c == '.') {
+ if (*std::next(citer) == '.') {
+ ++citer;
state = read_precision;
- precision = c - '0';
}
else {
- // Rewind iter
- --citer;
state = read_arg;
}
- break;
- case read_precision:
- if (isdigit (c)) {
- precision *= 10;
- precision += c - '0';
+ }
+ else if (c == '%') {
+ /* Percent character, ignore */
+ state = ignore_chars;
+ }
+ else {
+ // Rewind iter
+ --citer;
+ state = read_arg;
+ }
+ break;
+ case read_width:
+ if (isdigit(c)) {
+ width *= 10;
+ width += c - '0';
+ }
+ else if (c == '.') {
+ state = read_precision;
+ precision = c - '0';
+ }
+ else {
+ // Rewind iter
+ --citer;
+ state = read_arg;
+ }
+ break;
+ case read_precision:
+ if (isdigit(c)) {
+ precision *= 10;
+ precision += c - '0';
+ }
+ else if (c == '*') {
+ res->emplace_back(int_arg_handler, this->pcontext,
+ this->ci);
+ state = read_arg;
+ }
+ else {
+ // Rewind iter
+ --citer;
+ state = read_arg;
+ }
+ break;
+ case read_arg:
+ auto found = format_specs.find(c);
+ if (found != format_specs.end() || !isalpha(c)) {
+
+ if (isalpha(c)) {
+ flags.push_back(c);
}
- else if (c == '*') {
- res->emplace_back (int_arg_handler, this->pcontext,
- this->ci);
- state = read_arg;
+
+ auto handler = parseFlags(flags, e);
+
+ if (handler) {
+ auto handler_copy = *handler;
+ handler_copy.precision = precision;
+ handler_copy.width = width;
+ res->emplace_back(std::move(handler_copy));
}
else {
- // Rewind iter
- --citer;
- state = read_arg;
+ return nullptr;
}
- break;
- case read_arg:
- auto found = format_specs.find (c);
- if (found != format_specs.end () || !isalpha (c)) {
-
- if (isalpha (c)) {
- flags.push_back (c);
- }
- auto handler = parseFlags (flags, e);
-
- if (handler) {
- auto handler_copy = *handler;
- handler_copy.precision = precision;
- handler_copy.width = width;
- res->emplace_back (std::move (handler_copy));
- }
- else {
- return nullptr;
- }
-
- if (c == '%') {
- state = read_percent;
- }
- else {
- state = ignore_chars;
- }
- flags.clear ();
- width = precision = 0;
+ if (c == '%') {
+ state = read_percent;
}
else {
- flags.push_back (c);
+ state = ignore_chars;
}
- break;
- }
- }
-
- if (state == read_arg) {
- auto handler = parseFlags (flags, e);
-
- if (handler) {
- auto handler_copy = *handler;
- handler_copy.precision = precision;
- handler_copy.width = width;
- res->emplace_back (std::move (handler_copy));
+ flags.clear();
+ width = precision = 0;
}
else {
- return nullptr;
+ flags.push_back(c);
}
+ break;
}
+ }
- return res;
+ if (state == read_arg) {
+ auto handler = parseFlags(flags, e);
+
+ if (handler) {
+ auto handler_copy = *handler;
+ handler_copy.precision = precision;
+ handler_copy.width = width;
+ res->emplace_back(std::move(handler_copy));
+ }
+ else {
+ return nullptr;
+ }
}
- public:
- impl (ASTContext *_ctx, clang::CompilerInstance &_ci)
- : pcontext (_ctx), ci(&_ci)
- {
- /* name -> format string position */
- printf_functions = {
- {"rspamd_printf", 0},
- {"rspamd_default_log_function", 4},
- {"rspamd_snprintf", 2},
- {"rspamd_fprintf", 1},
- {"rspamd_printf_gstring", 1},
- {"rspamd_printf_fstring", 1},
- {"rspamd_conditional_debug_fast", 6},
- };
-
- format_specs = {
- 's', 'd', 'l', 'L', 'v', 'V', 'f', 'F', 'g', 'G',
- 'T', 'z', 'D', 'c', 'p', 'P', 'e'
- };
+ return res;
+ }
+
+public:
+ impl(ASTContext *_ctx, clang::CompilerInstance &_ci)
+ : pcontext(_ctx), ci(&_ci)
+ {
+ /* name -> format string position */
+ printf_functions = {
+ {"rspamd_printf", 0},
+ {"rspamd_default_log_function", 4},
+ {"rspamd_snprintf", 2},
+ {"rspamd_fprintf", 1},
+ {"rspamd_printf_gstring", 1},
+ {"rspamd_printf_fstring", 1},
+ {"rspamd_conditional_debug_fast", 6},
};
- bool VisitCallExpr (CallExpr *E)
- {
- if (E->getCalleeDecl () == nullptr) {
- print_remark ("cannot get callee decl",
- E, this->pcontext, this->ci);
- return true;
- }
- auto callee = dyn_cast<NamedDecl> (E->getCalleeDecl ());
- if (callee == NULL) {
- print_remark ("cannot get named callee decl",
- E, this->pcontext, this->ci);
+ format_specs = {
+ 's', 'd', 'l', 'L', 'v', 'V', 'f', 'F', 'g', 'G',
+ 'T', 'z', 'D', 'c', 'p', 'P', 'e'};
+ };
+
+ bool VisitCallExpr(CallExpr *E)
+ {
+ if (E->getCalleeDecl() == nullptr) {
+ print_remark("cannot get callee decl",
+ E, this->pcontext, this->ci);
+ return true;
+ }
+ auto callee = dyn_cast<NamedDecl>(E->getCalleeDecl());
+ if (callee == NULL) {
+ print_remark("cannot get named callee decl",
+ E, this->pcontext, this->ci);
+ return true;
+ }
+
+ auto fname = callee->getNameAsString();
+
+ auto pos_it = printf_functions.find(fname);
+
+ if (pos_it != printf_functions.end()) {
+ const auto args = E->getArgs();
+ auto pos = pos_it->second;
+ auto query = args[pos];
+
+ if (!query->isEvaluatable(*pcontext)) {
+ print_remark("cannot evaluate query",
+ E, this->pcontext, this->ci);
+ /* It is not assumed to be an error */
return true;
}
- auto fname = callee->getNameAsString ();
+ clang::Expr::EvalResult r;
- auto pos_it = printf_functions.find (fname);
-
- if (pos_it != printf_functions.end ()) {
- const auto args = E->getArgs ();
- auto pos = pos_it->second;
- auto query = args[pos];
+ if (!query->EvaluateAsRValue(r, *pcontext)) {
+ print_warning("cannot evaluate rvalue of query",
+ E, this->pcontext, this->ci);
+ return false;
+ }
- if (!query->isEvaluatable (*pcontext)) {
- print_remark ("cannot evaluate query",
- E, this->pcontext, this->ci);
- /* It is not assumed to be an error */
- return true;
- }
+ auto qval = dyn_cast<StringLiteral>(
+ r.Val.getLValueBase().get<const Expr *>());
+ if (!qval) {
+ print_warning("bad or absent query string",
+ E, this->pcontext, this->ci);
+ return false;
+ }
- clang::Expr::EvalResult r;
+ auto parsers = genParsers(qval->getString(), E);
- if (!query->EvaluateAsRValue (r, *pcontext)) {
- print_warning ("cannot evaluate rvalue of query",
- E, this->pcontext, this->ci);
- return false;
- }
+ if (parsers) {
+ if (parsers->size() != E->getNumArgs() - (pos + 1)) {
+ std::ostringstream err_buf;
+ err_buf << "number of arguments for " << fname
+ << " mismatches query string '" << qval->getString().str()
+ << "', expected " << parsers->size() << " args"
+ << ", got " << (E->getNumArgs() - (pos + 1))
+ << " args";
+ print_error(err_buf.str().c_str(), E, this->pcontext, this->ci);
- auto qval = dyn_cast<StringLiteral> (
- r.Val.getLValueBase ().get<const Expr *> ());
- if (!qval) {
- print_warning ("bad or absent query string",
- E, this->pcontext, this->ci);
return false;
}
+ else {
+ for (auto i = pos + 1; i < E->getNumArgs(); i++) {
+ auto arg = args[i];
- auto parsers = genParsers (qval->getString (), E);
-
- if (parsers) {
- if (parsers->size () != E->getNumArgs () - (pos + 1)) {
- std::ostringstream err_buf;
- err_buf << "number of arguments for " << fname
- << " mismatches query string '" <<
- qval->getString ().str ()
- << "', expected " << parsers->size () <<
- " args"
- << ", got " <<
- (E->getNumArgs () - (pos + 1))
- << " args";
- print_error (err_buf.str().c_str(), E, this->pcontext, this->ci);
-
- return false;
- }
- else {
- for (auto i = pos + 1; i < E->getNumArgs (); i++) {
- auto arg = args[i];
-
- if (arg) {
- if (!parsers->at (i - (pos + 1)) (arg)) {
- return false;
- }
+ if (arg) {
+ if (!parsers->at(i - (pos + 1))(arg)) {
+ return false;
}
}
}
}
}
-
- return true;
}
- };
- PrintfCheckVisitor::PrintfCheckVisitor (ASTContext *ctx,
- clang::CompilerInstance &ci) :
- pimpl{new impl (ctx, ci)}
- {
+ return true;
}
+};
- PrintfCheckVisitor::~PrintfCheckVisitor ()
- {
- }
+PrintfCheckVisitor::PrintfCheckVisitor(ASTContext *ctx,
+ clang::CompilerInstance &ci)
+ : pimpl{new impl(ctx, ci)}
+{
+}
- bool PrintfCheckVisitor::VisitCallExpr (clang::CallExpr *E)
- {
- return pimpl->VisitCallExpr (E);
- }
+PrintfCheckVisitor::~PrintfCheckVisitor()
+{
+}
- /* Type handlers */
- static bool
- cstring_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- auto type = arg->getType ().split ().Ty;
+bool PrintfCheckVisitor::VisitCallExpr(clang::CallExpr *E)
+{
+ return pimpl->VisitCallExpr(E);
+}
- if (!type->isPointerType ()) {
- auto err_msg = std::string ("bad string argument for %s: ") +
- arg->getType ().getAsString ();
- print_error (err_msg.c_str(),
+/* Type handlers */
+static bool
+cstring_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ auto type = arg->getType().split().Ty;
+
+ if (!type->isPointerType()) {
+ auto err_msg = std::string("bad string argument for %s: ") +
+ arg->getType().getAsString();
+ print_error(err_msg.c_str(),
arg, ctx->past, ctx->pci);
- return false;
- }
+ return false;
+ }
- auto ptr_type = type->getPointeeType ().split ().Ty;
+ auto ptr_type = type->getPointeeType().split().Ty;
- if (!ptr_type->isCharType ()) {
- /* We might have gchar * here */
- auto desugared_type = ptr_type->getUnqualifiedDesugaredType ();
- auto desugared_ptr_type = type->getUnqualifiedDesugaredType ();
+ if (!ptr_type->isCharType()) {
+ /* We might have char * here */
+ auto desugared_type = ptr_type->getUnqualifiedDesugaredType();
+ auto desugared_ptr_type = type->getUnqualifiedDesugaredType();
- if (!desugared_type || (!desugared_type->isCharType () &&
- !desugared_ptr_type->isVoidPointerType ())) {
- if (desugared_type) {
- desugared_type->dump ();
- }
- auto err_msg = std::string ("bad string argument for %s: ") +
- arg->getType ().getAsString ();
- print_error (err_msg.c_str(),
- arg, ctx->past, ctx->pci);
- return false;
+ if (!desugared_type || (!desugared_type->isCharType() &&
+ !desugared_ptr_type->isVoidPointerType())) {
+ if (desugared_type) {
+ desugared_type->dump();
}
+ auto err_msg = std::string("bad string argument for %s: ") +
+ arg->getType().getAsString();
+ print_error(err_msg.c_str(),
+ arg, ctx->past, ctx->pci);
+ return false;
}
-
- return true;
}
- static bool
- check_builtin_type (const Expr *arg, struct PrintfArgChecker *ctx,
- const std::vector <BuiltinType::Kind> &k, const std::string &fmt)
- {
- auto type = arg->getType ().split ().Ty;
+ return true;
+}
- auto desugared_type = type->getUnqualifiedDesugaredType ();
+static bool
+check_builtin_type(const Expr *arg, struct PrintfArgChecker *ctx,
+ const std::vector<BuiltinType::Kind> &k, const std::string &fmt)
+{
+ auto type = arg->getType().split().Ty;
- if (!desugared_type->isBuiltinType ()) {
- auto err_msg = std::string ("not a builtin type for ") + fmt + " arg: " +
- arg->getType ().getAsString ();
- print_error (err_msg.c_str(),
+ auto desugared_type = type->getUnqualifiedDesugaredType();
+
+ if (!desugared_type->isBuiltinType()) {
+ auto err_msg = std::string("not a builtin type for ") + fmt + " arg: " +
+ arg->getType().getAsString();
+ print_error(err_msg.c_str(),
arg, ctx->past, ctx->pci);
- return false;
- }
+ return false;
+ }
- auto builtin_type = dyn_cast<BuiltinType> (desugared_type);
- auto kind = builtin_type->getKind ();
- auto found = false;
+ auto builtin_type = dyn_cast<BuiltinType>(desugared_type);
+ auto kind = builtin_type->getKind();
+ auto found = false;
- for (auto kk : k) {
- if (kind == kk) {
- found = true;
- break;
- }
+ for (auto kk: k) {
+ if (kind == kk) {
+ found = true;
+ break;
}
+ }
- if (!found) {
- auto err_msg = std::string ("bad argument for ") +
- fmt + " arg: " +
- arg->getType ().getAsString () +
- ", resolved as: " +
- builtin_type->getNameAsCString (ctx->past->getPrintingPolicy ());
- print_error (err_msg.c_str(),
+ if (!found) {
+ auto err_msg = std::string("bad argument for ") +
+ fmt + " arg: " +
+ arg->getType().getAsString() +
+ ", resolved as: " +
+ builtin_type->getNameAsCString(ctx->past->getPrintingPolicy());
+ print_error(err_msg.c_str(),
arg, ctx->past, ctx->pci);
- return false;
- }
-
- return true;
+ return false;
}
- static bool
- int_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- return check_builtin_type (arg,
- ctx,
- {BuiltinType::Kind::UInt,
- BuiltinType::Kind::Int},
- "%d or *");
- }
+ return true;
+}
- static bool
- long_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- return check_builtin_type (arg,
- ctx,
- {BuiltinType::Kind::ULong,
- BuiltinType::Kind::Long},
- "%l");
- }
+static bool
+int_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ return check_builtin_type(arg,
+ ctx,
+ {BuiltinType::Kind::UInt,
+ BuiltinType::Kind::Int},
+ "%d or *");
+}
- static bool
- char_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- return check_builtin_type (arg,
- ctx,
- {BuiltinType::Kind::UChar,
- BuiltinType::Kind::SChar,
- BuiltinType::Kind::Int}, // Because of char -> int propagation
- "%c");
- }
+static bool
+long_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ return check_builtin_type(arg,
+ ctx,
+ {BuiltinType::Kind::ULong,
+ BuiltinType::Kind::Long},
+ "%l");
+}
- static bool
- size_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- if (sizeof (size_t) == sizeof (long)) {
- if (sizeof (long long) == sizeof (long)) {
- return check_builtin_type (arg,
- ctx,
- {BuiltinType::Kind::ULong,
- BuiltinType::Kind::Long,
- BuiltinType::Kind::LongLong,
- BuiltinType::Kind::ULongLong},
- "%z");
- }
- else {
- return check_builtin_type (arg,
- ctx,
- {BuiltinType::Kind::ULong,
- BuiltinType::Kind::Long},
- "%z");
- }
- }
- else if (sizeof (size_t) == sizeof (int)) {
- return check_builtin_type (arg,
- ctx,
- {BuiltinType::Kind::UInt,
- BuiltinType::Kind::Int},
- "%z");
+static bool
+char_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ return check_builtin_type(arg,
+ ctx,
+ {BuiltinType::Kind::UChar,
+ BuiltinType::Kind::SChar,
+ BuiltinType::Kind::Int},// Because of char -> int propagation
+ "%c");
+}
+
+static bool
+size_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ if (sizeof(size_t) == sizeof(long)) {
+ if (sizeof(long long) == sizeof(long)) {
+ return check_builtin_type(arg,
+ ctx,
+ {BuiltinType::Kind::ULong,
+ BuiltinType::Kind::Long,
+ BuiltinType::Kind::LongLong,
+ BuiltinType::Kind::ULongLong},
+ "%z");
}
else {
- assert (0);
+ return check_builtin_type(arg,
+ ctx,
+ {BuiltinType::Kind::ULong,
+ BuiltinType::Kind::Long},
+ "%z");
}
-
- return true;
}
-
- static bool
- double_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- return check_builtin_type (arg,
- ctx,
- {BuiltinType::Kind::Double},
- "%f or %g");
+ else if (sizeof(size_t) == sizeof(int)) {
+ return check_builtin_type(arg,
+ ctx,
+ {BuiltinType::Kind::UInt,
+ BuiltinType::Kind::Int},
+ "%z");
}
-
- static bool
- long_double_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- return check_builtin_type (arg,
- ctx,
- {BuiltinType::Kind::LongDouble},
- "%F or %G");
+ else {
+ assert(0);
}
- static bool
- pid_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- if (sizeof (pid_t) == sizeof (long)) {
- return check_builtin_type (arg,
- ctx,
- {BuiltinType::Kind::ULong,
- BuiltinType::Kind::Long},
- "%P");
- }
- else if (sizeof (pid_t) == sizeof (int)) {
- return check_builtin_type (arg,
- ctx,
- {BuiltinType::Kind::UInt,
- BuiltinType::Kind::Int},
- "%P");
- }
- else {
- assert (0);
- }
+ return true;
+}
+
+static bool
+double_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ return check_builtin_type(arg,
+ ctx,
+ {BuiltinType::Kind::Double},
+ "%f or %g");
+}
+
+static bool
+long_double_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ return check_builtin_type(arg,
+ ctx,
+ {BuiltinType::Kind::LongDouble},
+ "%F or %G");
+}
+
+static bool
+pid_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ if (sizeof(pid_t) == sizeof(long)) {
+ return check_builtin_type(arg,
+ ctx,
+ {BuiltinType::Kind::ULong,
+ BuiltinType::Kind::Long},
+ "%P");
+ }
+ else if (sizeof(pid_t) == sizeof(int)) {
+ return check_builtin_type(arg,
+ ctx,
+ {BuiltinType::Kind::UInt,
+ BuiltinType::Kind::Int},
+ "%P");
}
+ else {
+ assert(0);
+ }
+}
- static bool
- time_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- if (sizeof (time_t) == sizeof (long)) {
- return check_builtin_type (arg,
- ctx,
- {BuiltinType::Kind::ULong,
- BuiltinType::Kind::Long},
- "%t");
- }
- else if (sizeof (time_t) == sizeof (int)) {
- return check_builtin_type (arg,
- ctx,
- {BuiltinType::Kind::UInt,
- BuiltinType::Kind::Int},
- "%t");
- }
- else {
- assert (0);
- }
+static bool
+time_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ if (sizeof(time_t) == sizeof(long)) {
+ return check_builtin_type(arg,
+ ctx,
+ {BuiltinType::Kind::ULong,
+ BuiltinType::Kind::Long},
+ "%t");
+ }
+ else if (sizeof(time_t) == sizeof(int)) {
+ return check_builtin_type(arg,
+ ctx,
+ {BuiltinType::Kind::UInt,
+ BuiltinType::Kind::Int},
+ "%t");
}
+ else {
+ assert(0);
+ }
+}
- static bool
- pointer_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- auto type = arg->getType ().split ().Ty;
+static bool
+pointer_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ auto type = arg->getType().split().Ty;
- if (!type->isPointerType ()) {
- auto err_msg = std::string ("bad pointer argument for %p: ") +
- arg->getType ().getAsString ();
- print_error (err_msg.c_str(),
+ if (!type->isPointerType()) {
+ auto err_msg = std::string("bad pointer argument for %p: ") +
+ arg->getType().getAsString();
+ print_error(err_msg.c_str(),
arg, ctx->past, ctx->pci);
- return false;
- }
-
- return true;
+ return false;
}
- static bool
- int64_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- std::vector <BuiltinType::Kind> check;
-
- if (sizeof (int64_t) == sizeof (long long)) {
- check.push_back (BuiltinType::Kind::ULongLong);
- check.push_back (BuiltinType::Kind::LongLong);
- }
- if (sizeof (int64_t) == sizeof (long)) {
- check.push_back (BuiltinType::Kind::ULong);
- check.push_back (BuiltinType::Kind::Long);
- }
+ return true;
+}
- return check_builtin_type (arg,
- ctx,
- check,
- "%L");
+static bool
+int64_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ std::vector<BuiltinType::Kind> check;
- return true;
+ if (sizeof(int64_t) == sizeof(long long)) {
+ check.push_back(BuiltinType::Kind::ULongLong);
+ check.push_back(BuiltinType::Kind::LongLong);
+ }
+ if (sizeof(int64_t) == sizeof(long)) {
+ check.push_back(BuiltinType::Kind::ULong);
+ check.push_back(BuiltinType::Kind::Long);
}
- static bool
- int32_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- std::vector < BuiltinType::Kind> check;
+ return check_builtin_type(arg,
+ ctx,
+ check,
+ "%L");
- if (sizeof (int32_t) == sizeof (long)) {
- check.push_back (BuiltinType::Kind::ULong);
- check.push_back (BuiltinType::Kind::Long);
- }
- if (sizeof (int32_t) == sizeof (int)) {
- check.push_back (BuiltinType::Kind::UInt);
- check.push_back (BuiltinType::Kind::Int);
- }
+ return true;
+}
- return check_builtin_type (arg,
- ctx,
- check,
- "%D");
+static bool
+int32_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ std::vector<BuiltinType::Kind> check;
- return true;
+ if (sizeof(int32_t) == sizeof(long)) {
+ check.push_back(BuiltinType::Kind::ULong);
+ check.push_back(BuiltinType::Kind::Long);
+ }
+ if (sizeof(int32_t) == sizeof(int)) {
+ check.push_back(BuiltinType::Kind::UInt);
+ check.push_back(BuiltinType::Kind::Int);
}
- static bool
- check_struct_type (const Expr *arg, struct PrintfArgChecker *ctx,
- const std::string &sname, const std::string &fmt)
- {
- auto type = arg->getType ().split ().Ty;
+ return check_builtin_type(arg,
+ ctx,
+ check,
+ "%D");
- if (!type->isPointerType ()) {
- auto err_msg = std::string ("non pointer argument for %s: ") +
- arg->getType ().getAsString ();
- print_error (err_msg.c_str(),
- arg, ctx->past, ctx->pci);
- return false;
- }
+ return true;
+}
- auto ptr_type = type->getPointeeType ().split ().Ty;
- auto desugared_type = ptr_type->getUnqualifiedDesugaredType ();
+static bool
+check_struct_type(const Expr *arg, struct PrintfArgChecker *ctx,
+ const std::string &sname, const std::string &fmt)
+{
+ auto type = arg->getType().split().Ty;
- if (!desugared_type->isRecordType ()) {
- auto err_msg = std::string ("not a record type for ") + fmt + " arg: " +
- arg->getType ().getAsString ();
- print_error (err_msg.c_str(),
+ if (!type->isPointerType()) {
+ auto err_msg = std::string("non pointer argument for %s: ") +
+ arg->getType().getAsString();
+ print_error(err_msg.c_str(),
arg, ctx->past, ctx->pci);
- return false;
- }
+ return false;
+ }
- auto struct_type = desugared_type->getAsStructureType ();
- auto struct_decl = struct_type->getDecl ();
- auto struct_def = struct_decl->getNameAsString ();
+ auto ptr_type = type->getPointeeType().split().Ty;
+ auto desugared_type = ptr_type->getUnqualifiedDesugaredType();
- if (struct_def != sname) {
- auto err_msg = std::string ("bad argument '") + struct_def + "' for "
- + fmt + " arg: " +
- arg->getType ().getAsString ();
- print_error (err_msg.c_str(),
+ if (!desugared_type->isRecordType()) {
+ auto err_msg = std::string("not a record type for ") + fmt + " arg: " +
+ arg->getType().getAsString();
+ print_error(err_msg.c_str(),
arg, ctx->past, ctx->pci);
- return false;
- }
-
- return true;
+ return false;
}
- static bool
- tok_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- return check_struct_type (arg,
- ctx,
- "f_str_tok",
- "%T");
- }
+ auto struct_type = desugared_type->getAsStructureType();
+ auto struct_decl = struct_type->getDecl();
+ auto struct_def = struct_decl->getNameAsString();
- static bool
- fstring_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- return check_struct_type (arg,
- ctx,
- "f_str_s",
- "%V");
+ if (struct_def != sname) {
+ auto err_msg = std::string("bad argument '") + struct_def + "' for " + fmt + " arg: " +
+ arg->getType().getAsString();
+ print_error(err_msg.c_str(),
+ arg, ctx->past, ctx->pci);
+ return false;
}
- static bool
- gstring_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- return check_struct_type (arg,
- ctx,
- "_GString",
- "%v");
- }
+ return true;
+}
- static bool
- gerr_arg_handler (const Expr *arg, struct PrintfArgChecker *ctx)
- {
- return check_struct_type (arg,
- ctx,
- "_GError",
- "%e");
- }
+static bool
+tok_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ return check_struct_type(arg,
+ ctx,
+ "f_str_tok",
+ "%T");
+}
+
+static bool
+fstring_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ return check_struct_type(arg,
+ ctx,
+ "f_str_s",
+ "%V");
+}
+
+static bool
+gstring_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ return check_struct_type(arg,
+ ctx,
+ "_GString",
+ "%v");
+}
+
+static bool
+gerr_arg_handler(const Expr *arg, struct PrintfArgChecker *ctx)
+{
+ return check_struct_type(arg,
+ ctx,
+ "_GError",
+ "%e");
}
+}// namespace rspamd