sm_msg
sm_msg("info: bit shifter '%s' '%s'", name, sval_to_str(sval));
sm_msg("info: bit shifter '%s' '%s'", name, sval_to_str(sval));
sm_msg("%s = %s", tmp->name, tmp->state->name);
sm_msg("known: '%s' = '%s'. implied = '%s'", name, known ? sval_to_str(sval) : "<unknown>", show_rl(rl));
sm_msg("implied: %s = '%s'", name, show_rl(rl));
sm_msg("real absolute: %s = '%s'", name, show_rl(rl));
sm_msg("implied min: %s = %s", name, sval_to_str(sval));
sm_msg("implied min: %s = <unknown>", name);
sm_msg("implied max: %s = %s", name, sval_to_str(sval));
sm_msg("implied max: %s = <unknown>", name);
sm_msg("no user data for project = '%s'", option_project_str);
sm_msg("user rl: '%s' = '%s'%s", name, show_rl(rl), capped ? " (capped)" : "");
sm_msg("'%s' = '%s'", name, is_capped(arg) ? "capped" : "not capped");
sm_msg("hard max: %s = %s", name, sval_to_str(sval));
sm_msg("hard max: %s = <unknown>", name);
sm_msg("fuzzy max: %s = %s", name, sval_to_str(sval));
sm_msg("fuzzy max: %s = <unknown>", name);
sm_msg("absolute: %s = %s", name, show_rl(rl));
sm_msg("absolute min: %s = %s", name, sval_to_str(sval));
sm_msg("absolute min: %s = <unknown>", name);
sm_msg("absolute max: %s = %s", name, sval_to_str(sval));
sm_msg("no sval for '%s'", name);
sm_msg("implied: %s %c%d ->value = %llx", name, sval_unsigned(sval) ? 'u' : 's', sval_bits(sval), sval.value);
sm_msg("member name: '%s => %s'", name, member_name);
sm_msg("Possible values for %s", sm->name);
sm_msg("===");
sm_msg("strlen: '%s' %s characters", name, show_rl(rl));
sm_msg("%s", buf);
sm_msg("%s", arg_expr->string->data);
sm_msg("%s %s %s", one_name, buf, two_name);
sm_msg("arg = '%s'", option_debug_check);
sm_msg("mtag = %llu offset = %d rl = '%s'", tag, offset, show_rl(rl));
sm_msg("---- about ----");
sm_msg("info: not a straight forward variable.");
sm_msg("%s", show_sm(sm));
sm_msg("'%s' intersect '%s' is '%s'", show_rl(one_rl), show_rl(two_rl), show_rl(res));
sm_msg("type of '%s' is: '%s'", name, type_to_str(type));
sm_msg("expected: __smatch_type_rl(type, \"string\")");
sm_msg("no sm state for '%s'", name);
sm_msg("stree_id %d", __stree_id);
sm_msg("bit info '%s': definitely set 0x%llx. possibly set 0x%llx.",
sm_msg("mtag: '%s' => tag: %llu %d", name, tag, offset);
sm_msg("mtag: '%s' => tag: %lld, offset: %d", name, tag, offset);
sm_msg("'%s' = '%s'", sm->name, sm->state->name);
sm_msg("container: '%s' vs '%s' --> '%s'", cont, name, str);
sm_msg("str = '%s', arg = '%s' expr = '%s'", str->string->data, name, new_name);
sm_msg("state_count = %d\n", sm_state_counter);
sm_msg("%s '%s' not found", check_arg->string->data, state_arg->string->data);
sm_msg("%lu pools", get_pool_count());
sm_msg("%d strees", unfree_stree);
sm_msg("[%d] %s '%s': '%s' => '%s'", stmt->type,
sm_msg("invalid check name '%s'", check_arg->string->data);
sm_msg("%s: no states", check_arg->string->data);
sm_msg("debug: odd... found an function without an end.");
sm_msg("info: expects ERR_PTR %d", arg_num);
sm_msg("return type: %s\n", cur_return_type->ident->name);
sm_msg("=======check_impl: arguments for call %s=========\n", syscall_name);
sm_msg("arg type: %s\n", cur_return_type->ident->name);
sm_msg("=================================\n");
sm_msg(args); \
sm_msg("warn: inconsistent returns '%s'.", name);
sm_msg("error: double %s '%s' (orig line %u)",
sm_msg("info: param_mapper %d => %s %d", arg_num, func, i);
sm_msg("info: sizeof_param '%s' %d", name, i);
sm_msg("info: sizeof_param '%s' %d %d", name, i, buf_nr);
sm_msg("warn: possible spectre second half. '%s'", name);
sm_msg("info: '%s' is not actually initialized (unreached code).",
sm_msg("info: is unwind function");
sm_msg("%s", implied_debug_msg);
sm_msg("internal: wrong size type %u", limit_type);
sm_msg("%s: %s: op = '%s' negated '%s'. true_intersect = '%s' false_insersect = '%s' sm = '%s'",
sm_msg("implications from comparison: (%s)", show_sm(sm));
sm_msg("%d in split_conditions (%s)", get_lineno(), cond);
sm_msg("constraint %d not found", con->id);
sm_msg("%s: cur_tag = %llu container_offset = %d",
sm_msg("%s: container_tag = %llu p = '%s'",
sm_msg("%s", sql);
sm_msg("SQL: %s", buf);
sm_msg("SQL_caller_info: insert into caller_info values ("
sm_msg("SQL: insert or ignore into constraints (str) values('%s');", escape_newlines(con));
sm_msg("SQL_late: insert or ignore into constraints_required (data, op, bound) "
sm_msg("func_time: %lu", stop.tv_sec - fn_start_time.tv_sec);
sm_msg("time: %lu", stop.tv_sec - start.tv_sec);
sm_msg("mem: %luKb", get_max_memory());
sm_msg("impossible: %d '%s' limit '%s' == '%s'", param, key, show_rl(passed), value);
sm_msg("param_compare_limit_is_impossible: %d %s %s", param, key, value);
sm_msg("%s return_id %d return_ranges %s",
sm_msg("warn: internal. problem with scope: %s",
sm_msg("fake_history: %s vs %s. %s %s %s. --> T: %s F: %s",
sm_msg("debug: %s: implications taking too long. (%s %s %s)",
sm_msg("TRUE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool));
sm_msg("MAYBE %s %s[stree %d]",
sm_msg("FALSE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool));
sm_msg("impossible return. return_id = %d return ranges = %s", return_id, return_ranges);
sm_msg("Error saving mtag data");
sm_msg("SQL: insert into mtag_data values ('%s', '%s', '%s', '%s');",
sm_msg("parsing %s", c);
sm_msg("val = %s remaining = %s", show_rl(tmp), c);
sm_msg("op = %c remaining = %s", *c, c);
sm_msg("%s: my_state: name = '%s' sm = '%s'",
sm_msg("dynamic state: %s", show_sm(one));
sm_msg("dumping stree [%ld states]", stree_count(stree));
sm_msg("%s new [%s] '%s' %s", __func__,
sm_msg("%s change [%s] '%s' %s => %s",
sm_msg("%s new %s", __func__, show_sm(sm));
sm_msg("%s change %s (was %s)", __func__, show_sm(sm),
sm_msg("%s new %s", __func__, show_sm(sm));
sm_msg("%s change %s (was %s)",
sm_msg("%s new %s", __func__, show_sm(sm));
sm_msg("%s change %s (was %s)",
sm_msg("%s [%s] '%s'. Was %s. Now T:%s F:%s", __func__,
sm_msg("%s [%s] '%s'. Was %s. Now T:%s F:%s", __func__,
sm_msg("%s", show_sm(sm));