| /* |
| ** |
| ** Copyright 2010, The Android Open Source Project |
| ** |
| ** Licensed under the Apache License, Version 2.0 (the "License"); |
| ** you may not use this file except in compliance with the License. |
| ** You may obtain a copy of the License at |
| ** |
| ** http://www.apache.org/licenses/LICENSE-2.0 |
| ** |
| ** Unless required by applicable law or agreed to in writing, software |
| ** distributed under the License is distributed on an "AS IS" BASIS, |
| ** WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| ** See the License for the specific language governing permissions and |
| ** limitations under the License. |
| */ |
| #include <errno.h> |
| #include <fcntl.h> |
| #include <unistd.h> |
| #include <sys/stat.h> |
| #include <sys/mman.h> |
| #include <private/android_filesystem_config.h> |
| #include "package.h" |
| |
| /* |
| * WARNING WARNING WARNING WARNING |
| * |
| * The following code runs as root on production devices, before |
| * the run-as command has dropped the uid/gid. Hence be very |
| * conservative and keep in mind the following: |
| * |
| * - Performance does not matter here, clarity and safety of the code |
| * does however. Documentation is a must. |
| * |
| * - Avoid calling C library functions with complex implementations |
| * like malloc() and printf(). You want to depend on simple system |
| * calls instead, which behaviour is not going to be altered in |
| * unpredictible ways by environment variables or system properties. |
| * |
| * - Do not trust user input and/or the filesystem whenever possible. |
| * |
| */ |
| |
| /* The file containing the list of installed packages on the system */ |
| #define PACKAGES_LIST_FILE "/data/system/packages.list" |
| |
| /* Copy 'srclen' string bytes from 'src' into buffer 'dst' of size 'dstlen' |
| * This function always zero-terminate the destination buffer unless |
| * 'dstlen' is 0, even in case of overflow. |
| * Returns a pointer into the src string, leaving off where the copy |
| * has stopped. The copy will stop when dstlen, srclen or a null |
| * character on src has been reached. |
| */ |
| static const char* |
| string_copy(char* dst, size_t dstlen, const char* src, size_t srclen) |
| { |
| const char* srcend = src + srclen; |
| const char* dstend = dst + dstlen; |
| |
| if (dstlen == 0) |
| return src; |
| |
| dstend--; /* make room for terminating zero */ |
| |
| while (dst < dstend && src < srcend && *src != '\0') |
| *dst++ = *src++; |
| |
| *dst = '\0'; /* zero-terminate result */ |
| return src; |
| } |
| |
| /* Open 'filename' and map it into our address-space. |
| * Returns buffer address, or NULL on error |
| * On exit, *filesize will be set to the file's size, or 0 on error |
| */ |
| static void* |
| map_file(const char* filename, size_t* filesize) |
| { |
| int fd, ret, old_errno; |
| struct stat st; |
| size_t length = 0; |
| void* address = NULL; |
| gid_t oldegid; |
| |
| *filesize = 0; |
| |
| /* |
| * Temporarily switch effective GID to allow us to read |
| * the packages file |
| */ |
| |
| oldegid = getegid(); |
| if (setegid(AID_PACKAGE_INFO) < 0) { |
| return NULL; |
| } |
| |
| /* open the file for reading */ |
| fd = TEMP_FAILURE_RETRY(open(filename, O_RDONLY)); |
| if (fd < 0) { |
| return NULL; |
| } |
| |
| /* restore back to our old egid */ |
| if (setegid(oldegid) < 0) { |
| goto EXIT; |
| } |
| |
| /* get its size */ |
| ret = TEMP_FAILURE_RETRY(fstat(fd, &st)); |
| if (ret < 0) |
| goto EXIT; |
| |
| /* Ensure that the file is owned by the system user */ |
| if ((st.st_uid != AID_SYSTEM) || (st.st_gid != AID_PACKAGE_INFO)) { |
| goto EXIT; |
| } |
| |
| /* Ensure that the file has sane permissions */ |
| if ((st.st_mode & S_IWOTH) != 0) { |
| goto EXIT; |
| } |
| |
| /* Ensure that the size is not ridiculously large */ |
| length = (size_t)st.st_size; |
| if ((off_t)length != st.st_size) { |
| errno = ENOMEM; |
| goto EXIT; |
| } |
| |
| /* Memory-map the file now */ |
| address = TEMP_FAILURE_RETRY(mmap(NULL, length, PROT_READ, MAP_PRIVATE, fd, 0)); |
| if (address == MAP_FAILED) { |
| address = NULL; |
| goto EXIT; |
| } |
| |
| /* We're good, return size */ |
| *filesize = length; |
| |
| EXIT: |
| /* close the file, preserve old errno for better diagnostics */ |
| old_errno = errno; |
| close(fd); |
| errno = old_errno; |
| |
| return address; |
| } |
| |
| /* unmap the file, but preserve errno */ |
| static void |
| unmap_file(void* address, size_t size) |
| { |
| int old_errno = errno; |
| TEMP_FAILURE_RETRY(munmap(address, size)); |
| errno = old_errno; |
| } |
| |
| /* Check that a given directory: |
| * - exists |
| * - is owned by a given uid/gid |
| * - is a real directory, not a symlink |
| * - isn't readable or writable by others |
| * |
| * Return 0 on success, or -1 on error. |
| * errno is set to EINVAL in case of failed check. |
| */ |
| static int |
| check_directory_ownership(const char* path, uid_t uid) |
| { |
| int ret; |
| struct stat st; |
| |
| do { |
| ret = lstat(path, &st); |
| } while (ret < 0 && errno == EINTR); |
| |
| if (ret < 0) |
| return -1; |
| |
| /* must be a real directory, not a symlink */ |
| if (!S_ISDIR(st.st_mode)) |
| goto BAD; |
| |
| /* must be owned by specific uid/gid */ |
| if (st.st_uid != uid || st.st_gid != uid) |
| goto BAD; |
| |
| /* must not be readable or writable by others */ |
| if ((st.st_mode & (S_IROTH|S_IWOTH)) != 0) |
| goto BAD; |
| |
| /* everything ok */ |
| return 0; |
| |
| BAD: |
| errno = EINVAL; |
| return -1; |
| } |
| |
| /* This function is used to check the data directory path for safety. |
| * We check that every sub-directory is owned by the 'system' user |
| * and exists and is not a symlink. We also check that the full directory |
| * path is properly owned by the user ID. |
| * |
| * Return 0 on success, -1 on error. |
| */ |
| int |
| check_data_path(const char* dataPath, uid_t uid) |
| { |
| int nn; |
| |
| /* the path should be absolute */ |
| if (dataPath[0] != '/') { |
| errno = EINVAL; |
| return -1; |
| } |
| |
| /* look for all sub-paths, we do that by finding |
| * directory separators in the input path and |
| * checking each sub-path independently |
| */ |
| for (nn = 1; dataPath[nn] != '\0'; nn++) |
| { |
| char subpath[PATH_MAX]; |
| |
| /* skip non-separator characters */ |
| if (dataPath[nn] != '/') |
| continue; |
| |
| /* handle trailing separator case */ |
| if (dataPath[nn+1] == '\0') { |
| break; |
| } |
| |
| /* found a separator, check that dataPath is not too long. */ |
| if (nn >= (int)(sizeof subpath)) { |
| errno = EINVAL; |
| return -1; |
| } |
| |
| /* reject any '..' subpath */ |
| if (nn >= 3 && |
| dataPath[nn-3] == '/' && |
| dataPath[nn-2] == '.' && |
| dataPath[nn-1] == '.') { |
| errno = EINVAL; |
| return -1; |
| } |
| |
| /* copy to 'subpath', then check ownership */ |
| memcpy(subpath, dataPath, nn); |
| subpath[nn] = '\0'; |
| |
| if (check_directory_ownership(subpath, AID_SYSTEM) < 0) |
| return -1; |
| } |
| |
| /* All sub-paths were checked, now verify that the full data |
| * directory is owned by the application uid |
| */ |
| if (check_directory_ownership(dataPath, uid) < 0) |
| return -1; |
| |
| /* all clear */ |
| return 0; |
| } |
| |
| /* Return TRUE iff a character is a space or tab */ |
| static inline int |
| is_space(char c) |
| { |
| return (c == ' ' || c == '\t'); |
| } |
| |
| /* Skip any space or tab character from 'p' until 'end' is reached. |
| * Return new position. |
| */ |
| static const char* |
| skip_spaces(const char* p, const char* end) |
| { |
| while (p < end && is_space(*p)) |
| p++; |
| |
| return p; |
| } |
| |
| /* Skip any non-space and non-tab character from 'p' until 'end'. |
| * Return new position. |
| */ |
| static const char* |
| skip_non_spaces(const char* p, const char* end) |
| { |
| while (p < end && !is_space(*p)) |
| p++; |
| |
| return p; |
| } |
| |
| /* Find the first occurence of 'ch' between 'p' and 'end' |
| * Return its position, or 'end' if none is found. |
| */ |
| static const char* |
| find_first(const char* p, const char* end, char ch) |
| { |
| while (p < end && *p != ch) |
| p++; |
| |
| return p; |
| } |
| |
| /* Check that the non-space string starting at 'p' and eventually |
| * ending at 'end' equals 'name'. Return new position (after name) |
| * on success, or NULL on failure. |
| * |
| * This function fails is 'name' is NULL, empty or contains any space. |
| */ |
| static const char* |
| compare_name(const char* p, const char* end, const char* name) |
| { |
| /* 'name' must not be NULL or empty */ |
| if (name == NULL || name[0] == '\0' || p == end) |
| return NULL; |
| |
| /* compare characters to those in 'name', excluding spaces */ |
| while (*name) { |
| /* note, we don't check for *p == '\0' since |
| * it will be caught in the next conditional. |
| */ |
| if (p >= end || is_space(*p)) |
| goto BAD; |
| |
| if (*p != *name) |
| goto BAD; |
| |
| p++; |
| name++; |
| } |
| |
| /* must be followed by end of line or space */ |
| if (p < end && !is_space(*p)) |
| goto BAD; |
| |
| return p; |
| |
| BAD: |
| return NULL; |
| } |
| |
| /* Parse one or more whitespace characters starting from '*pp' |
| * until 'end' is reached. Updates '*pp' on exit. |
| * |
| * Return 0 on success, -1 on failure. |
| */ |
| static int |
| parse_spaces(const char** pp, const char* end) |
| { |
| const char* p = *pp; |
| |
| if (p >= end || !is_space(*p)) { |
| errno = EINVAL; |
| return -1; |
| } |
| p = skip_spaces(p, end); |
| *pp = p; |
| return 0; |
| } |
| |
| /* Parse a positive decimal number starting from '*pp' until 'end' |
| * is reached. Adjust '*pp' on exit. Return decimal value or -1 |
| * in case of error. |
| * |
| * If the value is larger than INT_MAX, -1 will be returned, |
| * and errno set to EOVERFLOW. |
| * |
| * If '*pp' does not start with a decimal digit, -1 is returned |
| * and errno set to EINVAL. |
| */ |
| static int |
| parse_positive_decimal(const char** pp, const char* end) |
| { |
| const char* p = *pp; |
| int value = 0; |
| int overflow = 0; |
| |
| if (p >= end || *p < '0' || *p > '9') { |
| errno = EINVAL; |
| return -1; |
| } |
| |
| while (p < end) { |
| int ch = *p; |
| unsigned d = (unsigned)(ch - '0'); |
| int val2; |
| |
| if (d >= 10U) /* d is unsigned, no lower bound check */ |
| break; |
| |
| val2 = value*10 + (int)d; |
| if (val2 < value) |
| overflow = 1; |
| value = val2; |
| p++; |
| } |
| *pp = p; |
| |
| if (overflow) { |
| errno = EOVERFLOW; |
| value = -1; |
| } |
| return value; |
| } |
| |
| /* Read the system's package database and extract information about |
| * 'pkgname'. Return 0 in case of success, or -1 in case of error. |
| * |
| * If the package is unknown, return -1 and set errno to ENOENT |
| * If the package database is corrupted, return -1 and set errno to EINVAL |
| */ |
| int |
| get_package_info(const char* pkgName, PackageInfo *info) |
| { |
| char* buffer; |
| size_t buffer_len; |
| const char* p; |
| const char* buffer_end; |
| int result = -1; |
| |
| info->uid = 0; |
| info->isDebuggable = 0; |
| info->dataDir[0] = '\0'; |
| info->seinfo[0] = '\0'; |
| |
| buffer = map_file(PACKAGES_LIST_FILE, &buffer_len); |
| if (buffer == NULL) |
| return -1; |
| |
| p = buffer; |
| buffer_end = buffer + buffer_len; |
| |
| /* expect the following format on each line of the control file: |
| * |
| * <pkgName> <uid> <debugFlag> <dataDir> <seinfo> |
| * |
| * where: |
| * <pkgName> is the package's name |
| * <uid> is the application-specific user Id (decimal) |
| * <debugFlag> is 1 if the package is debuggable, or 0 otherwise |
| * <dataDir> is the path to the package's data directory (e.g. /data/data/com.example.foo) |
| * <seinfo> is the seinfo label associated with the package |
| * |
| * The file is generated in com.android.server.PackageManagerService.Settings.writeLP() |
| */ |
| |
| while (p < buffer_end) { |
| /* find end of current line and start of next one */ |
| const char* end = find_first(p, buffer_end, '\n'); |
| const char* next = (end < buffer_end) ? end + 1 : buffer_end; |
| const char* q; |
| int uid, debugFlag; |
| |
| /* first field is the package name */ |
| p = compare_name(p, end, pkgName); |
| if (p == NULL) |
| goto NEXT_LINE; |
| |
| /* skip spaces */ |
| if (parse_spaces(&p, end) < 0) |
| goto BAD_FORMAT; |
| |
| /* second field is the pid */ |
| uid = parse_positive_decimal(&p, end); |
| if (uid < 0) |
| return -1; |
| |
| info->uid = (uid_t) uid; |
| |
| /* skip spaces */ |
| if (parse_spaces(&p, end) < 0) |
| goto BAD_FORMAT; |
| |
| /* third field is debug flag (0 or 1) */ |
| debugFlag = parse_positive_decimal(&p, end); |
| switch (debugFlag) { |
| case 0: |
| info->isDebuggable = 0; |
| break; |
| case 1: |
| info->isDebuggable = 1; |
| break; |
| default: |
| goto BAD_FORMAT; |
| } |
| |
| /* skip spaces */ |
| if (parse_spaces(&p, end) < 0) |
| goto BAD_FORMAT; |
| |
| /* fourth field is data directory path and must not contain |
| * spaces. |
| */ |
| q = skip_non_spaces(p, end); |
| if (q == p) |
| goto BAD_FORMAT; |
| |
| p = string_copy(info->dataDir, sizeof info->dataDir, p, q - p); |
| |
| /* skip spaces */ |
| if (parse_spaces(&p, end) < 0) |
| goto BAD_FORMAT; |
| |
| /* fifth field is the seinfo string */ |
| q = skip_non_spaces(p, end); |
| if (q == p) |
| goto BAD_FORMAT; |
| |
| string_copy(info->seinfo, sizeof info->seinfo, p, q - p); |
| |
| /* Ignore the rest */ |
| result = 0; |
| goto EXIT; |
| |
| NEXT_LINE: |
| p = next; |
| } |
| |
| /* the package is unknown */ |
| errno = ENOENT; |
| result = -1; |
| goto EXIT; |
| |
| BAD_FORMAT: |
| errno = EINVAL; |
| result = -1; |
| |
| EXIT: |
| unmap_file(buffer, buffer_len); |
| return result; |
| } |