Lennart Poettering
309a747fa6
This is preparation for making our Varlink API a public API. Since our Varlink API is built on top of our JSON API we need to make that public first (it's a nice API, but JSON APIs there are already enough, this is purely about the Varlink angle). I made most of the json.h APIs public, and just placed them in sd-json.h. Sometimes I wasn't so sure however, since the underlying data structures would have to be made public too. If in doubt I didn#t risk it, and moved the relevant API to src/libsystemd/sd-json/json-util.h instead (without any sd_* symbol prefixes). This is mostly a giant search/replace patch.
118 lines
4.2 KiB
C
118 lines
4.2 KiB
C
/* SPDX-License-Identifier: LGPL-2.1-or-later */
|
|
|
|
#include "sd-json.h"
|
|
|
|
#include "alloc-util.h"
|
|
#include "env-util.h"
|
|
#include "fd-util.h"
|
|
#include "fuzz.h"
|
|
#include "memstream-util.h"
|
|
#include "string-util.h"
|
|
|
|
int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
|
|
_cleanup_(memstream_done) MemStream m = {};
|
|
_cleanup_(sd_json_variant_unrefp) sd_json_variant *v = NULL;
|
|
_cleanup_fclose_ FILE *f = NULL;
|
|
FILE *g = NULL;
|
|
int r;
|
|
|
|
fuzz_setup_logging();
|
|
|
|
f = data_to_file(data, size);
|
|
assert_se(f);
|
|
|
|
r = sd_json_parse_file(f, NULL, 0, &v, NULL, NULL);
|
|
if (r < 0) {
|
|
log_debug_errno(r, "failed to parse input: %m");
|
|
return 0;
|
|
}
|
|
|
|
if (getenv_bool("SYSTEMD_FUZZ_OUTPUT") <= 0)
|
|
assert_se(g = memstream_init(&m));
|
|
|
|
sd_json_variant_dump(v, 0, g ?: stdout, NULL);
|
|
sd_json_variant_dump(v, SD_JSON_FORMAT_PRETTY|SD_JSON_FORMAT_COLOR|SD_JSON_FORMAT_SOURCE, g ?: stdout, NULL);
|
|
|
|
bool sorted = sd_json_variant_is_sorted(v);
|
|
log_debug("sd_json_variant_is_sorted: %s", yes_no(sorted));
|
|
|
|
r = sd_json_variant_sort(&v);
|
|
log_debug_errno(r, "sd_json_variant_sort: %d/%m", r);
|
|
|
|
sorted = sd_json_variant_is_sorted(v);
|
|
log_debug("json_variant_is_sorted: %s", yes_no(sorted));
|
|
assert_se(r < 0 || sorted);
|
|
|
|
bool normalized = sd_json_variant_is_normalized(v);
|
|
log_debug("json_variant_is_normalized: %s", yes_no(normalized));
|
|
|
|
r = sd_json_variant_normalize(&v);
|
|
log_debug_errno(r, "json_variant_normalize: %d/%m", r);
|
|
|
|
normalized = sd_json_variant_is_normalized(v);
|
|
log_debug("json_variant_is_normalized: %s", yes_no(normalized));
|
|
assert_se(r < 0 || normalized);
|
|
|
|
double real = sd_json_variant_real(v);
|
|
log_debug("json_variant_real: %lf", real);
|
|
|
|
bool negative = sd_json_variant_is_negative(v);
|
|
log_debug("json_variant_is_negative: %s", yes_no(negative));
|
|
|
|
bool blank = sd_json_variant_is_blank_object(v);
|
|
log_debug("json_variant_is_blank_object: %s", yes_no(blank));
|
|
|
|
blank = sd_json_variant_is_blank_array(v);
|
|
log_debug("json_variant_is_blank_array: %s", yes_no(blank));
|
|
|
|
size_t elements = sd_json_variant_elements(v);
|
|
log_debug("json_variant_elements: %zu", elements);
|
|
|
|
for (size_t i = 0; i <= elements + 2; i++)
|
|
(void) sd_json_variant_by_index(v, i);
|
|
|
|
assert_se(sd_json_variant_equal(v, v));
|
|
assert_se(!sd_json_variant_equal(v, NULL));
|
|
assert_se(!sd_json_variant_equal(NULL, v));
|
|
|
|
bool sensitive = sd_json_variant_is_sensitive(v);
|
|
log_debug("json_variant_is_sensitive: %s", yes_no(sensitive));
|
|
|
|
sd_json_variant_sensitive(v);
|
|
|
|
sensitive = sd_json_variant_is_sensitive(v);
|
|
log_debug("json_variant_is_sensitive: %s", yes_no(sensitive));
|
|
|
|
const char *source;
|
|
unsigned line, column;
|
|
assert_se(sd_json_variant_get_source(v, &source, &line, &column) == 0);
|
|
log_debug("json_variant_get_source: %s:%u:%u", source ?: "-", line, column);
|
|
|
|
r = sd_json_variant_set_field_string(&v, "a", "string-a");
|
|
log_debug_errno(r, "json_set_field_string: %d/%m", r);
|
|
|
|
r = sd_json_variant_set_field_integer(&v, "b", -12345);
|
|
log_debug_errno(r, "json_set_field_integer: %d/%m", r);
|
|
|
|
r = sd_json_variant_set_field_unsigned(&v, "c", 12345);
|
|
log_debug_errno(r, "json_set_field_unsigned: %d/%m", r);
|
|
|
|
r = sd_json_variant_set_field_boolean(&v, "d", false);
|
|
log_debug_errno(r, "json_set_field_boolean: %d/%m", r);
|
|
|
|
r = sd_json_variant_set_field_strv(&v, "e", STRV_MAKE("e-1", "e-2", "e-3"));
|
|
log_debug_errno(r, "json_set_field_strv: %d/%m", r);
|
|
|
|
r = sd_json_variant_filter(&v, STRV_MAKE("a", "b", "c", "d", "e"));
|
|
log_debug_errno(r, "json_variant_filter: %d/%m", r);
|
|
|
|
/* I assume we can merge v with itself… */
|
|
r = sd_json_variant_merge_object(&v, v);
|
|
log_debug_errno(r, "json_variant_merge: %d/%m", r);
|
|
|
|
r = sd_json_variant_append_array(&v, v);
|
|
log_debug_errno(r, "json_variant_append_array: %d/%m", r);
|
|
|
|
return 0;
|
|
}
|