When handling includes, detect missing interned strings earlier.

There were three separate places where we were hitting a sandbox Bug
warning before we actually exited.

Fixes #40094; bugfix on 0.3.1.1-alpha when %includes were introduced.
This commit is contained in:
Nick Mathewson 2020-11-12 11:55:55 -05:00
parent e2d3c9c5f8
commit dbc8d2a4e4
3 changed files with 57 additions and 12 deletions

View file

@ -19,6 +19,7 @@
#include "lib/fs/path.h" #include "lib/fs/path.h"
#include "lib/log/log.h" #include "lib/log/log.h"
#include "lib/malloc/malloc.h" #include "lib/malloc/malloc.h"
#include "lib/sandbox/sandbox.h"
#include "lib/string/printf.h" #include "lib/string/printf.h"
#include <stdbool.h> #include <stdbool.h>
@ -59,14 +60,14 @@ config_get_lines_include(const char *string, config_line_t **result,
static smartlist_t * static smartlist_t *
expand_glob(const char *pattern, smartlist_t *opened_files) expand_glob(const char *pattern, smartlist_t *opened_files)
{ {
smartlist_t *matches = tor_glob(pattern); if (! has_glob(pattern)) {
if (!matches) { smartlist_t *matches = smartlist_new();
return NULL; smartlist_add_strdup(matches, pattern);
return matches;
} }
// if it is not a glob, return error when the path is missing smartlist_t *matches = tor_glob(pattern);
if (!has_glob(pattern) && smartlist_len(matches) == 0) { if (!matches) {
smartlist_free(matches);
return NULL; return NULL;
} }
@ -107,6 +108,13 @@ config_get_file_list(const char *pattern, smartlist_t *opened_files)
if (opened_files) { if (opened_files) {
smartlist_add_strdup(opened_files, path); smartlist_add_strdup(opened_files, path);
} }
if (sandbox_interned_string_is_missing(path)) {
log_err(LD_CONFIG, "Sandbox is active, but a new configuration "
"file \"%s\" has been listed with %%include. Cannot proceed.",
path);
error_found = true;
break;
}
file_status_t file_type = file_status(path); file_status_t file_type = file_status(path);
if (file_type == FN_FILE) { if (file_type == FN_FILE) {
@ -201,6 +209,13 @@ config_process_include(const char *pattern, int recursion_level, int extended,
int rv = -1; int rv = -1;
SMARTLIST_FOREACH_BEGIN(config_files, const char *, config_file) { SMARTLIST_FOREACH_BEGIN(config_files, const char *, config_file) {
if (sandbox_interned_string_is_missing(config_file)) {
log_err(LD_CONFIG, "Sandbox is active, but a new configuration "
"file \"%s\" has been listed with %%include. Cannot proceed.",
config_file);
goto done;
}
log_notice(LD_CONFIG, "Including configuration file \"%s\".", config_file); log_notice(LD_CONFIG, "Including configuration file \"%s\".", config_file);
config_line_t *included_config = NULL; config_line_t *included_config = NULL;
config_line_t *included_config_last = NULL; config_line_t *included_config_last = NULL;

View file

@ -310,6 +310,8 @@ static int filter_nopar_gen[] = {
#define seccomp_rule_add_4(ctx,act,call,f1,f2,f3,f4) \ #define seccomp_rule_add_4(ctx,act,call,f1,f2,f3,f4) \
seccomp_rule_add((ctx),(act),(call),4,(f1),(f2),(f3),(f4)) seccomp_rule_add((ctx),(act),(call),4,(f1),(f2),(f3),(f4))
static const char *sandbox_get_interned_string(const char *str);
/** /**
* Function responsible for setting up the rt_sigaction syscall for * Function responsible for setting up the rt_sigaction syscall for
* the seccomp filter sandbox. * the seccomp filter sandbox.
@ -1224,8 +1226,39 @@ static sandbox_filter_func_t filter_func[] = {
sb_kill sb_kill
}; };
/**
* Return the interned (and hopefully sandbox-permitted) string equal
* to @a str.
*/
const char * const char *
sandbox_intern_string(const char *str) sandbox_intern_string(const char *str)
{
const char *interned = sandbox_get_interned_string(str);
if (sandbox_active && str != NULL && interned == NULL) {
log_warn(LD_BUG, "No interned sandbox parameter found for %s", str);
}
return interned ? interned : str;
}
/**
* Return true if the sandbox is running and we are missing an interned string
* equal to @a str.
*/
bool
sandbox_interned_string_is_missing(const char *str)
{
return sandbox_active && sandbox_get_interned_string(str) == NULL;
}
/**
* Try to find and return the interned string equal to @a str.
*
* If there is no such string, return NULL.
**/
static const char *
sandbox_get_interned_string(const char *str)
{ {
sandbox_cfg_t *elem; sandbox_cfg_t *elem;
@ -1245,9 +1278,7 @@ sandbox_intern_string(const char *str)
} }
} }
if (sandbox_active) return NULL;
log_warn(LD_BUG, "No interned sandbox parameter found for %s", str);
return str;
} }
/* DOCDOC */ /* DOCDOC */

View file

@ -104,12 +104,11 @@ typedef struct {
#endif /* defined(USE_LIBSECCOMP) */ #endif /* defined(USE_LIBSECCOMP) */
#ifdef USE_LIBSECCOMP #ifdef USE_LIBSECCOMP
/** Returns a registered protected string used with the sandbox, given that
* it matches the parameter.
*/
const char* sandbox_intern_string(const char *param); const char* sandbox_intern_string(const char *param);
bool sandbox_interned_string_is_missing(const char *s);
#else /* !defined(USE_LIBSECCOMP) */ #else /* !defined(USE_LIBSECCOMP) */
#define sandbox_intern_string(s) (s) #define sandbox_intern_string(s) (s)
#define sandbox_interned_string_is_missing(s) (false)
#endif /* defined(USE_LIBSECCOMP) */ #endif /* defined(USE_LIBSECCOMP) */
/** Creates an empty sandbox configuration file.*/ /** Creates an empty sandbox configuration file.*/