alloc_state_str
struct smatch_state *alloc_state_str(const char *name);
set_state(param_id, name, sym, alloc_state_str(buf));
set_state_expr(my_id, dest, alloc_state_str(src->string->data));
state = alloc_state_str(expr->string->data);