Home | History | Annotate | Download | only in run-as
      1 /*
      2 **
      3 ** Copyright 2010, The Android Open Source Project
      4 **
      5 ** Licensed under the Apache License, Version 2.0 (the "License");
      6 ** you may not use this file except in compliance with the License.
      7 ** You may obtain a copy of the License at
      8 **
      9 **     http://www.apache.org/licenses/LICENSE-2.0
     10 **
     11 ** Unless required by applicable law or agreed to in writing, software
     12 ** distributed under the License is distributed on an "AS IS" BASIS,
     13 ** WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
     14 ** See the License for the specific language governing permissions and
     15 ** limitations under the License.
     16 */
     17 #include <errno.h>
     18 #include <fcntl.h>
     19 #include <stdio.h>
     20 #include <string.h>
     21 #include <sys/mman.h>
     22 #include <sys/stat.h>
     23 #include <unistd.h>
     24 
     25 #include <private/android_filesystem_config.h>
     26 #include "package.h"
     27 
     28 /*
     29  *  WARNING WARNING WARNING WARNING
     30  *
     31  *  The following code runs as root on production devices, before
     32  *  the run-as command has dropped the uid/gid. Hence be very
     33  *  conservative and keep in mind the following:
     34  *
     35  *  - Performance does not matter here, clarity and safety of the code
     36  *    does however. Documentation is a must.
     37  *
     38  *  - Avoid calling C library functions with complex implementations
     39  *    like malloc() and printf(). You want to depend on simple system
     40  *    calls instead, which behaviour is not going to be altered in
     41  *    unpredictible ways by environment variables or system properties.
     42  *
     43  *  - Do not trust user input and/or the filesystem whenever possible.
     44  *
     45  */
     46 
     47 /* The file containing the list of installed packages on the system */
     48 #define PACKAGES_LIST_FILE  "/data/system/packages.list"
     49 
     50 /* Copy 'srclen' string bytes from 'src' into buffer 'dst' of size 'dstlen'
     51  * This function always zero-terminate the destination buffer unless
     52  * 'dstlen' is 0, even in case of overflow.
     53  * Returns a pointer into the src string, leaving off where the copy
     54  * has stopped. The copy will stop when dstlen, srclen or a null
     55  * character on src has been reached.
     56  */
     57 static const char*
     58 string_copy(char* dst, size_t dstlen, const char* src, size_t srclen)
     59 {
     60     const char* srcend = src + srclen;
     61     const char* dstend = dst + dstlen;
     62 
     63     if (dstlen == 0)
     64         return src;
     65 
     66     dstend--; /* make room for terminating zero */
     67 
     68     while (dst < dstend && src < srcend && *src != '\0')
     69         *dst++ = *src++;
     70 
     71     *dst = '\0'; /* zero-terminate result */
     72     return src;
     73 }
     74 
     75 /* Open 'filename' and map it into our address-space.
     76  * Returns buffer address, or NULL on error
     77  * On exit, *filesize will be set to the file's size, or 0 on error
     78  */
     79 static void*
     80 map_file(const char* filename, size_t* filesize)
     81 {
     82     int  fd, ret, old_errno;
     83     struct stat  st;
     84     size_t  length = 0;
     85     void*   address = NULL;
     86     gid_t   oldegid;
     87 
     88     *filesize = 0;
     89 
     90     /*
     91      * Temporarily switch effective GID to allow us to read
     92      * the packages file
     93      */
     94 
     95     oldegid = getegid();
     96     if (setegid(AID_PACKAGE_INFO) < 0) {
     97         return NULL;
     98     }
     99 
    100     /* open the file for reading */
    101     fd = TEMP_FAILURE_RETRY(open(filename, O_RDONLY));
    102     if (fd < 0) {
    103         return NULL;
    104     }
    105 
    106     /* restore back to our old egid */
    107     if (setegid(oldegid) < 0) {
    108         goto EXIT;
    109     }
    110 
    111     /* get its size */
    112     ret = TEMP_FAILURE_RETRY(fstat(fd, &st));
    113     if (ret < 0)
    114         goto EXIT;
    115 
    116     /* Ensure that the file is owned by the system user */
    117     if ((st.st_uid != AID_SYSTEM) || (st.st_gid != AID_PACKAGE_INFO)) {
    118         goto EXIT;
    119     }
    120 
    121     /* Ensure that the file has sane permissions */
    122     if ((st.st_mode & S_IWOTH) != 0) {
    123         goto EXIT;
    124     }
    125 
    126     /* Ensure that the size is not ridiculously large */
    127     length = (size_t)st.st_size;
    128     if ((off_t)length != st.st_size) {
    129         errno = ENOMEM;
    130         goto EXIT;
    131     }
    132 
    133     /* Memory-map the file now */
    134     do {
    135         address = mmap(NULL, length, PROT_READ, MAP_PRIVATE, fd, 0);
    136     } while (address == MAP_FAILED && errno == EINTR);
    137     if (address == MAP_FAILED) {
    138         address = NULL;
    139         goto EXIT;
    140     }
    141 
    142     /* We're good, return size */
    143     *filesize = length;
    144 
    145 EXIT:
    146     /* close the file, preserve old errno for better diagnostics */
    147     old_errno = errno;
    148     close(fd);
    149     errno = old_errno;
    150 
    151     return address;
    152 }
    153 
    154 /* unmap the file, but preserve errno */
    155 static void
    156 unmap_file(void*  address, size_t  size)
    157 {
    158     int old_errno = errno;
    159     TEMP_FAILURE_RETRY(munmap(address, size));
    160     errno = old_errno;
    161 }
    162 
    163 /* Check that a given directory:
    164  * - exists
    165  * - is owned by a given uid/gid
    166  * - is a real directory, not a symlink
    167  * - isn't readable or writable by others
    168  *
    169  * Return 0 on success, or -1 on error.
    170  * errno is set to EINVAL in case of failed check.
    171  */
    172 static int
    173 check_directory_ownership(const char* path, uid_t uid)
    174 {
    175     int ret;
    176     struct stat st;
    177 
    178     do {
    179         ret = lstat(path, &st);
    180     } while (ret < 0 && errno == EINTR);
    181 
    182     if (ret < 0)
    183         return -1;
    184 
    185     /* /data/user/0 is a known safe symlink */
    186     if (strcmp("/data/user/0", path) == 0)
    187         return 0;
    188 
    189     /* must be a real directory, not a symlink */
    190     if (!S_ISDIR(st.st_mode))
    191         goto BAD;
    192 
    193     /* must be owned by specific uid/gid */
    194     if (st.st_uid != uid || st.st_gid != uid)
    195         goto BAD;
    196 
    197     /* must not be readable or writable by others */
    198     if ((st.st_mode & (S_IROTH|S_IWOTH)) != 0)
    199         goto BAD;
    200 
    201     /* everything ok */
    202     return 0;
    203 
    204 BAD:
    205     errno = EINVAL;
    206     return -1;
    207 }
    208 
    209 /* This function is used to check the data directory path for safety.
    210  * We check that every sub-directory is owned by the 'system' user
    211  * and exists and is not a symlink. We also check that the full directory
    212  * path is properly owned by the user ID.
    213  *
    214  * Return 0 on success, -1 on error.
    215  */
    216 int
    217 check_data_path(const char* dataPath, uid_t  uid)
    218 {
    219     int  nn;
    220 
    221     /* the path should be absolute */
    222     if (dataPath[0] != '/') {
    223         errno = EINVAL;
    224         return -1;
    225     }
    226 
    227     /* look for all sub-paths, we do that by finding
    228      * directory separators in the input path and
    229      * checking each sub-path independently
    230      */
    231     for (nn = 1; dataPath[nn] != '\0'; nn++)
    232     {
    233         char subpath[PATH_MAX];
    234 
    235         /* skip non-separator characters */
    236         if (dataPath[nn] != '/')
    237             continue;
    238 
    239         /* handle trailing separator case */
    240         if (dataPath[nn+1] == '\0') {
    241             break;
    242         }
    243 
    244         /* found a separator, check that dataPath is not too long. */
    245         if (nn >= (int)(sizeof subpath)) {
    246             errno = EINVAL;
    247             return -1;
    248         }
    249 
    250         /* reject any '..' subpath */
    251         if (nn >= 3               &&
    252             dataPath[nn-3] == '/' &&
    253             dataPath[nn-2] == '.' &&
    254             dataPath[nn-1] == '.') {
    255             errno = EINVAL;
    256             return -1;
    257         }
    258 
    259         /* copy to 'subpath', then check ownership */
    260         memcpy(subpath, dataPath, nn);
    261         subpath[nn] = '\0';
    262 
    263         if (check_directory_ownership(subpath, AID_SYSTEM) < 0)
    264             return -1;
    265     }
    266 
    267     /* All sub-paths were checked, now verify that the full data
    268      * directory is owned by the application uid
    269      */
    270     if (check_directory_ownership(dataPath, uid) < 0)
    271         return -1;
    272 
    273     /* all clear */
    274     return 0;
    275 }
    276 
    277 /* Return TRUE iff a character is a space or tab */
    278 static inline int
    279 is_space(char c)
    280 {
    281     return (c == ' ' || c == '\t');
    282 }
    283 
    284 /* Skip any space or tab character from 'p' until 'end' is reached.
    285  * Return new position.
    286  */
    287 static const char*
    288 skip_spaces(const char*  p, const char*  end)
    289 {
    290     while (p < end && is_space(*p))
    291         p++;
    292 
    293     return p;
    294 }
    295 
    296 /* Skip any non-space and non-tab character from 'p' until 'end'.
    297  * Return new position.
    298  */
    299 static const char*
    300 skip_non_spaces(const char* p, const char* end)
    301 {
    302     while (p < end && !is_space(*p))
    303         p++;
    304 
    305     return p;
    306 }
    307 
    308 /* Find the first occurence of 'ch' between 'p' and 'end'
    309  * Return its position, or 'end' if none is found.
    310  */
    311 static const char*
    312 find_first(const char* p, const char* end, char ch)
    313 {
    314     while (p < end && *p != ch)
    315         p++;
    316 
    317     return p;
    318 }
    319 
    320 /* Check that the non-space string starting at 'p' and eventually
    321  * ending at 'end' equals 'name'. Return new position (after name)
    322  * on success, or NULL on failure.
    323  *
    324  * This function fails is 'name' is NULL, empty or contains any space.
    325  */
    326 static const char*
    327 compare_name(const char* p, const char* end, const char* name)
    328 {
    329     /* 'name' must not be NULL or empty */
    330     if (name == NULL || name[0] == '\0' || p == end)
    331         return NULL;
    332 
    333     /* compare characters to those in 'name', excluding spaces */
    334     while (*name) {
    335         /* note, we don't check for *p == '\0' since
    336          * it will be caught in the next conditional.
    337          */
    338         if (p >= end || is_space(*p))
    339             goto BAD;
    340 
    341         if (*p != *name)
    342             goto BAD;
    343 
    344         p++;
    345         name++;
    346     }
    347 
    348     /* must be followed by end of line or space */
    349     if (p < end && !is_space(*p))
    350         goto BAD;
    351 
    352     return p;
    353 
    354 BAD:
    355     return NULL;
    356 }
    357 
    358 /* Parse one or more whitespace characters starting from '*pp'
    359  * until 'end' is reached. Updates '*pp' on exit.
    360  *
    361  * Return 0 on success, -1 on failure.
    362  */
    363 static int
    364 parse_spaces(const char** pp, const char* end)
    365 {
    366     const char* p = *pp;
    367 
    368     if (p >= end || !is_space(*p)) {
    369         errno = EINVAL;
    370         return -1;
    371     }
    372     p   = skip_spaces(p, end);
    373     *pp = p;
    374     return 0;
    375 }
    376 
    377 /* Parse a positive decimal number starting from '*pp' until 'end'
    378  * is reached. Adjust '*pp' on exit. Return decimal value or -1
    379  * in case of error.
    380  *
    381  * If the value is larger than INT_MAX, -1 will be returned,
    382  * and errno set to EOVERFLOW.
    383  *
    384  * If '*pp' does not start with a decimal digit, -1 is returned
    385  * and errno set to EINVAL.
    386  */
    387 static int
    388 parse_positive_decimal(const char** pp, const char* end)
    389 {
    390     const char* p = *pp;
    391     int value = 0;
    392     int overflow = 0;
    393 
    394     if (p >= end || *p < '0' || *p > '9') {
    395         errno = EINVAL;
    396         return -1;
    397     }
    398 
    399     while (p < end) {
    400         int      ch = *p;
    401         unsigned d  = (unsigned)(ch - '0');
    402         int      val2;
    403 
    404         if (d >= 10U) /* d is unsigned, no lower bound check */
    405             break;
    406 
    407         val2 = value*10 + (int)d;
    408         if (val2 < value)
    409             overflow = 1;
    410         value = val2;
    411         p++;
    412     }
    413     *pp = p;
    414 
    415     if (overflow) {
    416         errno = EOVERFLOW;
    417         value = -1;
    418     }
    419     return value;
    420 }
    421 
    422 /* Read the system's package database and extract information about
    423  * 'pkgname'. Return 0 in case of success, or -1 in case of error.
    424  *
    425  * If the package is unknown, return -1 and set errno to ENOENT
    426  * If the package database is corrupted, return -1 and set errno to EINVAL
    427  */
    428 int
    429 get_package_info(const char* pkgName, uid_t userId, PackageInfo *info)
    430 {
    431     char*        buffer;
    432     size_t       buffer_len;
    433     const char*  p;
    434     const char*  buffer_end;
    435     int          result = -1;
    436 
    437     info->uid          = 0;
    438     info->isDebuggable = 0;
    439     info->dataDir[0]   = '\0';
    440     info->seinfo[0]    = '\0';
    441 
    442     buffer = map_file(PACKAGES_LIST_FILE, &buffer_len);
    443     if (buffer == NULL)
    444         return -1;
    445 
    446     p          = buffer;
    447     buffer_end = buffer + buffer_len;
    448 
    449     /* expect the following format on each line of the control file:
    450      *
    451      *  <pkgName> <uid> <debugFlag> <dataDir> <seinfo>
    452      *
    453      * where:
    454      *  <pkgName>    is the package's name
    455      *  <uid>        is the application-specific user Id (decimal)
    456      *  <debugFlag>  is 1 if the package is debuggable, or 0 otherwise
    457      *  <dataDir>    is the path to the package's data directory (e.g. /data/data/com.example.foo)
    458      *  <seinfo>     is the seinfo label associated with the package
    459      *
    460      * The file is generated in com.android.server.PackageManagerService.Settings.writeLP()
    461      */
    462 
    463     while (p < buffer_end) {
    464         /* find end of current line and start of next one */
    465         const char*  end  = find_first(p, buffer_end, '\n');
    466         const char*  next = (end < buffer_end) ? end + 1 : buffer_end;
    467         const char*  q;
    468         int          uid, debugFlag;
    469 
    470         /* first field is the package name */
    471         p = compare_name(p, end, pkgName);
    472         if (p == NULL)
    473             goto NEXT_LINE;
    474 
    475         /* skip spaces */
    476         if (parse_spaces(&p, end) < 0)
    477             goto BAD_FORMAT;
    478 
    479         /* second field is the pid */
    480         uid = parse_positive_decimal(&p, end);
    481         if (uid < 0)
    482             return -1;
    483 
    484         info->uid = (uid_t) uid;
    485 
    486         /* skip spaces */
    487         if (parse_spaces(&p, end) < 0)
    488             goto BAD_FORMAT;
    489 
    490         /* third field is debug flag (0 or 1) */
    491         debugFlag = parse_positive_decimal(&p, end);
    492         switch (debugFlag) {
    493         case 0:
    494             info->isDebuggable = 0;
    495             break;
    496         case 1:
    497             info->isDebuggable = 1;
    498             break;
    499         default:
    500             goto BAD_FORMAT;
    501         }
    502 
    503         /* skip spaces */
    504         if (parse_spaces(&p, end) < 0)
    505             goto BAD_FORMAT;
    506 
    507         /* fourth field is data directory path and must not contain
    508          * spaces.
    509          */
    510         q = skip_non_spaces(p, end);
    511         if (q == p)
    512             goto BAD_FORMAT;
    513 
    514         /* If userId == 0 (i.e. user is device owner) we can use dataDir value
    515          * from packages.list, otherwise compose data directory as
    516          * /data/user/$uid/$packageId
    517          */
    518         if (userId == 0) {
    519             p = string_copy(info->dataDir, sizeof info->dataDir, p, q - p);
    520         } else {
    521             snprintf(info->dataDir,
    522                      sizeof info->dataDir,
    523                      "/data/user/%d/%s",
    524                      userId,
    525                      pkgName);
    526             p = q;
    527         }
    528 
    529         /* skip spaces */
    530         if (parse_spaces(&p, end) < 0)
    531             goto BAD_FORMAT;
    532 
    533         /* fifth field is the seinfo string */
    534         q = skip_non_spaces(p, end);
    535         if (q == p)
    536             goto BAD_FORMAT;
    537 
    538         string_copy(info->seinfo, sizeof info->seinfo, p, q - p);
    539 
    540         /* Ignore the rest */
    541         result = 0;
    542         goto EXIT;
    543 
    544     NEXT_LINE:
    545         p = next;
    546     }
    547 
    548     /* the package is unknown */
    549     errno = ENOENT;
    550     result = -1;
    551     goto EXIT;
    552 
    553 BAD_FORMAT:
    554     errno = EINVAL;
    555     result = -1;
    556 
    557 EXIT:
    558     unmap_file(buffer, buffer_len);
    559     return result;
    560 }
    561