core: rework serialization
Let's be more careful with what we serialize: let's ensure we never serialize strings that are longer than LONG_LINE_MAX, so that we know we can read them back with read_line(…, LONG_LINE_MAX, …) safely. In order to implement this all serialization functions are move to serialize.[ch], and internally will do line size checks. We'd rather skip a serialization line (with a loud warning) than write an overly long line out. Of course, this is just a second level protection, after all the data we serialize shouldn't be this long in the first place. While we are at it also clean up logging: while serializing make sure to always log about errors immediately. Also, (void)ify all calls we don't expect errors in (or catch errors as part of the general fflush_and_check() at the end.
This commit is contained in:
@@ -0,0 +1,190 @@
|
||||
/* SPDX-License-Identifier: LGPL-2.1+ */
|
||||
|
||||
#include "alloc-util.h"
|
||||
#include "def.h"
|
||||
#include "env-util.h"
|
||||
#include "escape.h"
|
||||
#include "parse-util.h"
|
||||
#include "serialize.h"
|
||||
#include "strv.h"
|
||||
|
||||
int serialize_item(FILE *f, const char *key, const char *value) {
|
||||
assert(f);
|
||||
assert(key);
|
||||
|
||||
if (!value)
|
||||
return 0;
|
||||
|
||||
/* Make sure that anything we serialize we can also read back again with read_line() with a maximum line size
|
||||
* of LONG_LINE_MAX. This is a safety net only. All code calling us should filter this out earlier anyway. */
|
||||
if (strlen(key) + 1 + strlen(value) + 1 > LONG_LINE_MAX) {
|
||||
log_warning("Attempted to serialize overly long item '%s', refusing.", key);
|
||||
return -EINVAL;
|
||||
}
|
||||
|
||||
fputs(key, f);
|
||||
fputc('=', f);
|
||||
fputs(value, f);
|
||||
fputc('\n', f);
|
||||
|
||||
return 1;
|
||||
}
|
||||
|
||||
int serialize_item_escaped(FILE *f, const char *key, const char *value) {
|
||||
_cleanup_free_ char *c = NULL;
|
||||
|
||||
assert(f);
|
||||
assert(key);
|
||||
|
||||
if (!value)
|
||||
return 0;
|
||||
|
||||
c = cescape(value);
|
||||
if (!c)
|
||||
return log_oom();
|
||||
|
||||
return serialize_item(f, key, c);
|
||||
}
|
||||
|
||||
int serialize_item_format(FILE *f, const char *key, const char *format, ...) {
|
||||
char buf[LONG_LINE_MAX];
|
||||
va_list ap;
|
||||
int k;
|
||||
|
||||
assert(f);
|
||||
assert(key);
|
||||
assert(format);
|
||||
|
||||
va_start(ap, format);
|
||||
k = vsnprintf(buf, sizeof(buf), format, ap);
|
||||
va_end(ap);
|
||||
|
||||
if (k < 0 || (size_t) k >= sizeof(buf) || strlen(key) + 1 + k + 1 > LONG_LINE_MAX) {
|
||||
log_warning("Attempted to serialize overly long item '%s', refusing.", key);
|
||||
return -EINVAL;
|
||||
}
|
||||
|
||||
fputs(key, f);
|
||||
fputc('=', f);
|
||||
fputs(buf, f);
|
||||
fputc('\n', f);
|
||||
|
||||
return 1;
|
||||
}
|
||||
|
||||
int serialize_fd(FILE *f, FDSet *fds, const char *key, int fd) {
|
||||
int copy;
|
||||
|
||||
assert(f);
|
||||
assert(key);
|
||||
|
||||
if (fd < 0)
|
||||
return 0;
|
||||
|
||||
copy = fdset_put_dup(fds, fd);
|
||||
if (copy < 0)
|
||||
return log_error_errno(copy, "Failed to add file descriptor to serialization set: %m");
|
||||
|
||||
return serialize_item_format(f, key, "%i", copy);
|
||||
}
|
||||
|
||||
int serialize_usec(FILE *f, const char *key, usec_t usec) {
|
||||
assert(f);
|
||||
assert(key);
|
||||
|
||||
if (usec == USEC_INFINITY)
|
||||
return 0;
|
||||
|
||||
return serialize_item_format(f, key, USEC_FMT, usec);
|
||||
}
|
||||
|
||||
int serialize_dual_timestamp(FILE *f, const char *name, const dual_timestamp *t) {
|
||||
assert(f);
|
||||
assert(name);
|
||||
assert(t);
|
||||
|
||||
if (!dual_timestamp_is_set(t))
|
||||
return 0;
|
||||
|
||||
return serialize_item_format(f, name, USEC_FMT " " USEC_FMT, t->realtime, t->monotonic);
|
||||
}
|
||||
|
||||
int serialize_strv(FILE *f, const char *key, char **l) {
|
||||
int ret = 0, r;
|
||||
char **i;
|
||||
|
||||
/* Returns the first error */
|
||||
|
||||
STRV_FOREACH(i, l) {
|
||||
r = serialize_item_escaped(f, key, *i);
|
||||
if ((ret >= 0 && r < 0) ||
|
||||
(ret == 0 && r > 0))
|
||||
ret = r;
|
||||
}
|
||||
|
||||
return ret;
|
||||
}
|
||||
|
||||
int deserialize_usec(const char *value, usec_t *ret) {
|
||||
int r;
|
||||
|
||||
assert(value);
|
||||
|
||||
r = safe_atou64(value, ret);
|
||||
if (r < 0)
|
||||
return log_debug_errno(r, "Failed to parse usec value \"%s\": %m", value);
|
||||
|
||||
return 0;
|
||||
}
|
||||
|
||||
int deserialize_dual_timestamp(const char *value, dual_timestamp *t) {
|
||||
uint64_t a, b;
|
||||
int r, pos;
|
||||
|
||||
assert(value);
|
||||
assert(t);
|
||||
|
||||
pos = strspn(value, WHITESPACE);
|
||||
if (value[pos] == '-')
|
||||
return -EINVAL;
|
||||
pos += strspn(value + pos, DIGITS);
|
||||
pos += strspn(value + pos, WHITESPACE);
|
||||
if (value[pos] == '-')
|
||||
return -EINVAL;
|
||||
|
||||
r = sscanf(value, "%" PRIu64 "%" PRIu64 "%n", &a, &b, &pos);
|
||||
if (r != 2) {
|
||||
log_debug("Failed to parse dual timestamp value \"%s\".", value);
|
||||
return -EINVAL;
|
||||
}
|
||||
|
||||
if (value[pos] != '\0')
|
||||
/* trailing garbage */
|
||||
return -EINVAL;
|
||||
|
||||
t->realtime = a;
|
||||
t->monotonic = b;
|
||||
|
||||
return 0;
|
||||
}
|
||||
|
||||
int deserialize_environment(const char *value, char ***list) {
|
||||
_cleanup_free_ char *unescaped = NULL;
|
||||
int r;
|
||||
|
||||
assert(value);
|
||||
assert(list);
|
||||
|
||||
/* Changes the *environment strv inline. */
|
||||
|
||||
r = cunescape(value, 0, &unescaped);
|
||||
if (r < 0)
|
||||
return log_error_errno(r, "Failed to unescape: %m");
|
||||
|
||||
r = strv_env_replace(list, unescaped);
|
||||
if (r < 0)
|
||||
return log_error_errno(r, "Failed to append environment variable: %m");
|
||||
|
||||
unescaped = NULL; /* now part of 'list' */
|
||||
return 0;
|
||||
}
|
||||
Reference in New Issue
Block a user