am 9df2e000
: Merge "Cleaning the linker environment as we initialize it requires less API."
* commit '9df2e000b5d56b2e529656034d684e370aa6a8d1': Cleaning the linker environment as we initialize it requires less API.
This commit is contained in:
commit
bc35807fc6
2 changed files with 66 additions and 95 deletions
|
@ -40,45 +40,6 @@ bool get_AT_SECURE() {
|
|||
return _AT_SECURE_value;
|
||||
}
|
||||
|
||||
/* Returns 1 if 'str' points to a valid environment variable definition.
|
||||
* For now, we check that:
|
||||
* - It is smaller than MAX_ENV_LEN (to detect non-zero terminated strings)
|
||||
* - It contains at least one equal sign that is not the first character
|
||||
*/
|
||||
static int _is_valid_definition(const char* str) {
|
||||
int pos = 0;
|
||||
int first_equal_pos = -1;
|
||||
|
||||
// According to its sources, the kernel uses 32*PAGE_SIZE by default
|
||||
// as the maximum size for an env. variable definition.
|
||||
const int MAX_ENV_LEN = 32*4096;
|
||||
|
||||
if (str == NULL) {
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Parse the string, looking for the first '=' there, and its size.
|
||||
while (pos < MAX_ENV_LEN) {
|
||||
if (str[pos] == '\0') {
|
||||
break;
|
||||
}
|
||||
if (str[pos] == '=' && first_equal_pos < 0) {
|
||||
first_equal_pos = pos;
|
||||
}
|
||||
pos++;
|
||||
}
|
||||
|
||||
if (pos >= MAX_ENV_LEN) {
|
||||
return 0; // Too large.
|
||||
}
|
||||
|
||||
if (first_equal_pos < 1) {
|
||||
return 0; // No equals sign, or it's the first character.
|
||||
}
|
||||
|
||||
return 1;
|
||||
}
|
||||
|
||||
static void __init_AT_SECURE(unsigned* auxv) {
|
||||
// Check auxv for AT_SECURE first to see if program is setuid, setgid,
|
||||
// has file caps, or caused a SELinux/AppArmor domain transition.
|
||||
|
@ -96,7 +57,59 @@ static void __init_AT_SECURE(unsigned* auxv) {
|
|||
exit(EXIT_FAILURE);
|
||||
}
|
||||
|
||||
static void __remove_unsafe_environment_variables() {
|
||||
// Check if the environment variable definition at 'envstr'
|
||||
// starts with '<name>=', and if so return the address of the
|
||||
// first character after the equal sign. Otherwise return NULL.
|
||||
static const char* env_match(const char* envstr, const char* name) {
|
||||
size_t i = 0;
|
||||
|
||||
while (envstr[i] == name[i] && name[i] != '\0') {
|
||||
++i;
|
||||
}
|
||||
|
||||
if (name[i] == '\0' && envstr[i] == '=') {
|
||||
return envstr + i + 1;
|
||||
}
|
||||
|
||||
return NULL;
|
||||
}
|
||||
|
||||
static bool __is_valid_environment_variable(const char* name) {
|
||||
// According to its sources, the kernel uses 32*PAGE_SIZE by default
|
||||
// as the maximum size for an env. variable definition.
|
||||
const int MAX_ENV_LEN = 32*4096;
|
||||
|
||||
if (name == NULL) {
|
||||
return false;
|
||||
}
|
||||
|
||||
// Parse the string, looking for the first '=' there, and its size.
|
||||
int pos = 0;
|
||||
int first_equal_pos = -1;
|
||||
while (pos < MAX_ENV_LEN) {
|
||||
if (name[pos] == '\0') {
|
||||
break;
|
||||
}
|
||||
if (name[pos] == '=' && first_equal_pos < 0) {
|
||||
first_equal_pos = pos;
|
||||
}
|
||||
pos++;
|
||||
}
|
||||
|
||||
// Check that it's smaller than MAX_ENV_LEN (to detect non-zero terminated strings).
|
||||
if (pos >= MAX_ENV_LEN) {
|
||||
return false;
|
||||
}
|
||||
|
||||
// Check that it contains at least one equal sign that is not the first character
|
||||
if (first_equal_pos < 1) {
|
||||
return false;
|
||||
}
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
static bool __is_unsafe_environment_variable(const char* name) {
|
||||
// None of these should be allowed in setuid programs.
|
||||
static const char* const UNSAFE_VARIABLE_NAMES[] = {
|
||||
"GCONV_PATH",
|
||||
|
@ -127,17 +140,24 @@ static void __remove_unsafe_environment_variables() {
|
|||
NULL
|
||||
};
|
||||
for (size_t i = 0; UNSAFE_VARIABLE_NAMES[i] != NULL; ++i) {
|
||||
linker_env_unset(UNSAFE_VARIABLE_NAMES[i]);
|
||||
if (env_match(name, UNSAFE_VARIABLE_NAMES[i]) != NULL) {
|
||||
return true;
|
||||
}
|
||||
}
|
||||
return false;
|
||||
}
|
||||
|
||||
static void __remove_invalid_environment_variables() {
|
||||
static void __sanitize_environment_variables() {
|
||||
char** src = _envp;
|
||||
char** dst = _envp;
|
||||
for (; src[0] != NULL; ++src) {
|
||||
if (!_is_valid_definition(src[0])) {
|
||||
if (!__is_valid_environment_variable(src[0])) {
|
||||
continue;
|
||||
}
|
||||
// Remove various unsafe environment variables if we're loading a setuid program.
|
||||
if (get_AT_SECURE() && __is_unsafe_environment_variable(src[0])) {
|
||||
continue;
|
||||
}
|
||||
dst[0] = src[0];
|
||||
++dst;
|
||||
}
|
||||
|
@ -156,42 +176,19 @@ unsigned* linker_env_init(unsigned* environment_and_aux_vectors) {
|
|||
}
|
||||
++aux_vectors;
|
||||
|
||||
__remove_invalid_environment_variables();
|
||||
__init_AT_SECURE(aux_vectors);
|
||||
|
||||
// Sanitize environment if we're loading a setuid program.
|
||||
if (get_AT_SECURE()) {
|
||||
__remove_unsafe_environment_variables();
|
||||
}
|
||||
__sanitize_environment_variables();
|
||||
|
||||
return aux_vectors;
|
||||
}
|
||||
|
||||
/* Check if the environment variable definition at 'envstr'
|
||||
* starts with '<name>=', and if so return the address of the
|
||||
* first character after the equal sign. Otherwise return NULL.
|
||||
*/
|
||||
static char* env_match(char* envstr, const char* name) {
|
||||
size_t i = 0;
|
||||
|
||||
while (envstr[i] == name[i] && name[i] != '\0') {
|
||||
++i;
|
||||
}
|
||||
|
||||
if (name[i] == '\0' && envstr[i] == '=') {
|
||||
return envstr + i + 1;
|
||||
}
|
||||
|
||||
return NULL;
|
||||
}
|
||||
|
||||
const char* linker_env_get(const char* name) {
|
||||
if (name == NULL || name[0] == '\0') {
|
||||
return NULL;
|
||||
}
|
||||
|
||||
for (char** p = _envp; p[0] != NULL; ++p) {
|
||||
char* val = env_match(p[0], name);
|
||||
const char* val = env_match(p[0], name);
|
||||
if (val != NULL) {
|
||||
if (val[0] == '\0') {
|
||||
return NULL; // Return NULL for empty strings.
|
||||
|
@ -201,22 +198,3 @@ const char* linker_env_get(const char* name) {
|
|||
}
|
||||
return NULL;
|
||||
}
|
||||
|
||||
void linker_env_unset(const char* name) {
|
||||
char** readp = _envp;
|
||||
char** writep = readp;
|
||||
|
||||
if (name == NULL || name[0] == '\0') {
|
||||
return;
|
||||
}
|
||||
|
||||
for ( ; readp[0] != NULL; readp++ ) {
|
||||
if (env_match(readp[0], name)) {
|
||||
continue;
|
||||
}
|
||||
writep[0] = readp[0];
|
||||
writep++;
|
||||
}
|
||||
/* end list with a NULL */
|
||||
writep[0] = NULL;
|
||||
}
|
||||
|
|
|
@ -34,15 +34,8 @@
|
|||
// returns the start of the aux vectors after the environment block.
|
||||
extern unsigned* linker_env_init(unsigned* environment_and_aux_vectors);
|
||||
|
||||
// Unset a given environment variable. In case the variable is defined
|
||||
// multiple times, unset all instances. This modifies the environment
|
||||
// block, so any pointer returned by linker_env_get() after this call
|
||||
// might become invalid.
|
||||
extern void linker_env_unset(const char* name);
|
||||
|
||||
// Returns the value of environment variable 'name' if defined and not
|
||||
// empty, or NULL otherwise. Note that the returned pointer may become
|
||||
// invalid if linker_env_unset() is called after this function.
|
||||
// empty, or NULL otherwise.
|
||||
extern const char* linker_env_get(const char* name);
|
||||
|
||||
// Returns the value of this program's AT_SECURE variable.
|
||||
|
|
Loading…
Reference in a new issue