LCOV - code coverage report
Current view: top level - security/apparmor - policy_unpack.c (source / functions) Hit Total Coverage
Test: Real Lines: 0 436 0.0 %
Date: 2020-10-17 15:46:16 Functions: 0 30 0.0 %
Legend: Neither, QEMU, Real, Both Branches: 0 0 -

           Branch data     Line data    Source code
       1                 :            : // SPDX-License-Identifier: GPL-2.0-only
       2                 :            : /*
       3                 :            :  * AppArmor security module
       4                 :            :  *
       5                 :            :  * This file contains AppArmor functions for unpacking policy loaded from
       6                 :            :  * userspace.
       7                 :            :  *
       8                 :            :  * Copyright (C) 1998-2008 Novell/SUSE
       9                 :            :  * Copyright 2009-2010 Canonical Ltd.
      10                 :            :  *
      11                 :            :  * AppArmor uses a serialized binary format for loading policy. To find
      12                 :            :  * policy format documentation see Documentation/admin-guide/LSM/apparmor.rst
      13                 :            :  * All policy is validated before it is used.
      14                 :            :  */
      15                 :            : 
      16                 :            : #include <asm/unaligned.h>
      17                 :            : #include <linux/ctype.h>
      18                 :            : #include <linux/errno.h>
      19                 :            : 
      20                 :            : #include "include/apparmor.h"
      21                 :            : #include "include/audit.h"
      22                 :            : #include "include/cred.h"
      23                 :            : #include "include/crypto.h"
      24                 :            : #include "include/match.h"
      25                 :            : #include "include/path.h"
      26                 :            : #include "include/policy.h"
      27                 :            : #include "include/policy_unpack.h"
      28                 :            : 
      29                 :            : #define K_ABI_MASK 0x3ff
      30                 :            : #define FORCE_COMPLAIN_FLAG 0x800
      31                 :            : #define VERSION_LT(X, Y) (((X) & K_ABI_MASK) < ((Y) & K_ABI_MASK))
      32                 :            : #define VERSION_GT(X, Y) (((X) & K_ABI_MASK) > ((Y) & K_ABI_MASK))
      33                 :            : 
      34                 :            : #define v5      5       /* base version */
      35                 :            : #define v6      6       /* per entry policydb mediation check */
      36                 :            : #define v7      7
      37                 :            : #define v8      8       /* full network masking */
      38                 :            : 
      39                 :            : /*
      40                 :            :  * The AppArmor interface treats data as a type byte followed by the
      41                 :            :  * actual data.  The interface has the notion of a a named entry
      42                 :            :  * which has a name (AA_NAME typecode followed by name string) followed by
      43                 :            :  * the entries typecode and data.  Named types allow for optional
      44                 :            :  * elements and extensions to be added and tested for without breaking
      45                 :            :  * backwards compatibility.
      46                 :            :  */
      47                 :            : 
      48                 :            : enum aa_code {
      49                 :            :         AA_U8,
      50                 :            :         AA_U16,
      51                 :            :         AA_U32,
      52                 :            :         AA_U64,
      53                 :            :         AA_NAME,                /* same as string except it is items name */
      54                 :            :         AA_STRING,
      55                 :            :         AA_BLOB,
      56                 :            :         AA_STRUCT,
      57                 :            :         AA_STRUCTEND,
      58                 :            :         AA_LIST,
      59                 :            :         AA_LISTEND,
      60                 :            :         AA_ARRAY,
      61                 :            :         AA_ARRAYEND,
      62                 :            : };
      63                 :            : 
      64                 :            : /*
      65                 :            :  * aa_ext is the read of the buffer containing the serialized profile.  The
      66                 :            :  * data is copied into a kernel buffer in apparmorfs and then handed off to
      67                 :            :  * the unpack routines.
      68                 :            :  */
      69                 :            : struct aa_ext {
      70                 :            :         void *start;
      71                 :            :         void *end;
      72                 :            :         void *pos;              /* pointer to current position in the buffer */
      73                 :            :         u32 version;
      74                 :            : };
      75                 :            : 
      76                 :            : /* audit callback for unpack fields */
      77                 :          0 : static void audit_cb(struct audit_buffer *ab, void *va)
      78                 :            : {
      79                 :            :         struct common_audit_data *sa = va;
      80                 :            : 
      81                 :          0 :         if (aad(sa)->iface.ns) {
      82                 :          0 :                 audit_log_format(ab, " ns=");
      83                 :          0 :                 audit_log_untrustedstring(ab, aad(sa)->iface.ns);
      84                 :            :         }
      85                 :          0 :         if (aad(sa)->name) {
      86                 :          0 :                 audit_log_format(ab, " name=");
      87                 :          0 :                 audit_log_untrustedstring(ab, aad(sa)->name);
      88                 :            :         }
      89                 :          0 :         if (aad(sa)->iface.pos)
      90                 :          0 :                 audit_log_format(ab, " offset=%ld", aad(sa)->iface.pos);
      91                 :          0 : }
      92                 :            : 
      93                 :            : /**
      94                 :            :  * audit_iface - do audit message for policy unpacking/load/replace/remove
      95                 :            :  * @new: profile if it has been allocated (MAYBE NULL)
      96                 :            :  * @ns_name: name of the ns the profile is to be loaded to (MAY BE NULL)
      97                 :            :  * @name: name of the profile being manipulated (MAYBE NULL)
      98                 :            :  * @info: any extra info about the failure (MAYBE NULL)
      99                 :            :  * @e: buffer position info
     100                 :            :  * @error: error code
     101                 :            :  *
     102                 :            :  * Returns: %0 or error
     103                 :            :  */
     104                 :          0 : static int audit_iface(struct aa_profile *new, const char *ns_name,
     105                 :            :                        const char *name, const char *info, struct aa_ext *e,
     106                 :            :                        int error)
     107                 :            : {
     108                 :          0 :         struct aa_profile *profile = labels_profile(aa_current_raw_label());
     109                 :          0 :         DEFINE_AUDIT_DATA(sa, LSM_AUDIT_DATA_NONE, NULL);
     110                 :          0 :         if (e)
     111                 :          0 :                 aad(&sa)->iface.pos = e->pos - e->start;
     112                 :          0 :         aad(&sa)->iface.ns = ns_name;
     113                 :          0 :         if (new)
     114                 :          0 :                 aad(&sa)->name = new->base.hname;
     115                 :            :         else
     116                 :          0 :                 aad(&sa)->name = name;
     117                 :          0 :         aad(&sa)->info = info;
     118                 :          0 :         aad(&sa)->error = error;
     119                 :            : 
     120                 :          0 :         return aa_audit(AUDIT_APPARMOR_STATUS, profile, &sa, audit_cb);
     121                 :            : }
     122                 :            : 
     123                 :          0 : void __aa_loaddata_update(struct aa_loaddata *data, long revision)
     124                 :            : {
     125                 :            :         AA_BUG(!data);
     126                 :            :         AA_BUG(!data->ns);
     127                 :            :         AA_BUG(!data->dents[AAFS_LOADDATA_REVISION]);
     128                 :            :         AA_BUG(!mutex_is_locked(&data->ns->lock));
     129                 :            :         AA_BUG(data->revision > revision);
     130                 :            : 
     131                 :          0 :         data->revision = revision;
     132                 :          0 :         d_inode(data->dents[AAFS_LOADDATA_DIR])->i_mtime =
     133                 :            :                 current_time(d_inode(data->dents[AAFS_LOADDATA_DIR]));
     134                 :          0 :         d_inode(data->dents[AAFS_LOADDATA_REVISION])->i_mtime =
     135                 :            :                 current_time(d_inode(data->dents[AAFS_LOADDATA_REVISION]));
     136                 :          0 : }
     137                 :            : 
     138                 :          0 : bool aa_rawdata_eq(struct aa_loaddata *l, struct aa_loaddata *r)
     139                 :            : {
     140                 :          0 :         if (l->size != r->size)
     141                 :            :                 return false;
     142                 :          0 :         if (aa_g_hash_policy && memcmp(l->hash, r->hash, aa_hash_size()) != 0)
     143                 :            :                 return false;
     144                 :          0 :         return memcmp(l->data, r->data, r->size) == 0;
     145                 :            : }
     146                 :            : 
     147                 :            : /*
     148                 :            :  * need to take the ns mutex lock which is NOT safe most places that
     149                 :            :  * put_loaddata is called, so we have to delay freeing it
     150                 :            :  */
     151                 :          0 : static void do_loaddata_free(struct work_struct *work)
     152                 :            : {
     153                 :          0 :         struct aa_loaddata *d = container_of(work, struct aa_loaddata, work);
     154                 :          0 :         struct aa_ns *ns = aa_get_ns(d->ns);
     155                 :            : 
     156                 :          0 :         if (ns) {
     157                 :          0 :                 mutex_lock_nested(&ns->lock, ns->level);
     158                 :          0 :                 __aa_fs_remove_rawdata(d);
     159                 :          0 :                 mutex_unlock(&ns->lock);
     160                 :          0 :                 aa_put_ns(ns);
     161                 :            :         }
     162                 :            : 
     163                 :          0 :         kzfree(d->hash);
     164                 :          0 :         kzfree(d->name);
     165                 :          0 :         kvfree(d->data);
     166                 :          0 :         kzfree(d);
     167                 :          0 : }
     168                 :            : 
     169                 :          0 : void aa_loaddata_kref(struct kref *kref)
     170                 :            : {
     171                 :            :         struct aa_loaddata *d = container_of(kref, struct aa_loaddata, count);
     172                 :            : 
     173                 :          0 :         if (d) {
     174                 :          0 :                 INIT_WORK(&d->work, do_loaddata_free);
     175                 :          0 :                 schedule_work(&d->work);
     176                 :            :         }
     177                 :          0 : }
     178                 :            : 
     179                 :          0 : struct aa_loaddata *aa_loaddata_alloc(size_t size)
     180                 :            : {
     181                 :            :         struct aa_loaddata *d;
     182                 :            : 
     183                 :          0 :         d = kzalloc(sizeof(*d), GFP_KERNEL);
     184                 :          0 :         if (d == NULL)
     185                 :            :                 return ERR_PTR(-ENOMEM);
     186                 :          0 :         d->data = kvzalloc(size, GFP_KERNEL);
     187                 :          0 :         if (!d->data) {
     188                 :          0 :                 kfree(d);
     189                 :          0 :                 return ERR_PTR(-ENOMEM);
     190                 :            :         }
     191                 :            :         kref_init(&d->count);
     192                 :          0 :         INIT_LIST_HEAD(&d->list);
     193                 :            : 
     194                 :          0 :         return d;
     195                 :            : }
     196                 :            : 
     197                 :            : /* test if read will be in packed data bounds */
     198                 :            : static bool inbounds(struct aa_ext *e, size_t size)
     199                 :            : {
     200                 :          0 :         return (size <= e->end - e->pos);
     201                 :            : }
     202                 :            : 
     203                 :          0 : static void *kvmemdup(const void *src, size_t len)
     204                 :            : {
     205                 :            :         void *p = kvmalloc(len, GFP_KERNEL);
     206                 :            : 
     207                 :          0 :         if (p)
     208                 :          0 :                 memcpy(p, src, len);
     209                 :          0 :         return p;
     210                 :            : }
     211                 :            : 
     212                 :            : /**
     213                 :            :  * aa_u16_chunck - test and do bounds checking for a u16 size based chunk
     214                 :            :  * @e: serialized data read head (NOT NULL)
     215                 :            :  * @chunk: start address for chunk of data (NOT NULL)
     216                 :            :  *
     217                 :            :  * Returns: the size of chunk found with the read head at the end of the chunk.
     218                 :            :  */
     219                 :            : static size_t unpack_u16_chunk(struct aa_ext *e, char **chunk)
     220                 :            : {
     221                 :            :         size_t size = 0;
     222                 :          0 :         void *pos = e->pos;
     223                 :            : 
     224                 :          0 :         if (!inbounds(e, sizeof(u16)))
     225                 :            :                 goto fail;
     226                 :          0 :         size = le16_to_cpu(get_unaligned((__le16 *) e->pos));
     227                 :          0 :         e->pos += sizeof(__le16);
     228                 :          0 :         if (!inbounds(e, size))
     229                 :            :                 goto fail;
     230                 :            :         *chunk = e->pos;
     231                 :          0 :         e->pos += size;
     232                 :            :         return size;
     233                 :            : 
     234                 :            : fail:
     235                 :          0 :         e->pos = pos;
     236                 :            :         return 0;
     237                 :            : }
     238                 :            : 
     239                 :            : /* unpack control byte */
     240                 :            : static bool unpack_X(struct aa_ext *e, enum aa_code code)
     241                 :            : {
     242                 :          0 :         if (!inbounds(e, 1))
     243                 :            :                 return 0;
     244                 :          0 :         if (*(u8 *) e->pos != code)
     245                 :            :                 return 0;
     246                 :          0 :         e->pos++;
     247                 :            :         return 1;
     248                 :            : }
     249                 :            : 
     250                 :            : /**
     251                 :            :  * unpack_nameX - check is the next element is of type X with a name of @name
     252                 :            :  * @e: serialized data extent information  (NOT NULL)
     253                 :            :  * @code: type code
     254                 :            :  * @name: name to match to the serialized element.  (MAYBE NULL)
     255                 :            :  *
     256                 :            :  * check that the next serialized data element is of type X and has a tag
     257                 :            :  * name @name.  If @name is specified then there must be a matching
     258                 :            :  * name element in the stream.  If @name is NULL any name element will be
     259                 :            :  * skipped and only the typecode will be tested.
     260                 :            :  *
     261                 :            :  * Returns 1 on success (both type code and name tests match) and the read
     262                 :            :  * head is advanced past the headers
     263                 :            :  *
     264                 :            :  * Returns: 0 if either match fails, the read head does not move
     265                 :            :  */
     266                 :          0 : static bool unpack_nameX(struct aa_ext *e, enum aa_code code, const char *name)
     267                 :            : {
     268                 :            :         /*
     269                 :            :          * May need to reset pos if name or type doesn't match
     270                 :            :          */
     271                 :          0 :         void *pos = e->pos;
     272                 :            :         /*
     273                 :            :          * Check for presence of a tagname, and if present name size
     274                 :            :          * AA_NAME tag value is a u16.
     275                 :            :          */
     276                 :          0 :         if (unpack_X(e, AA_NAME)) {
     277                 :            :                 char *tag = NULL;
     278                 :            :                 size_t size = unpack_u16_chunk(e, &tag);
     279                 :            :                 /* if a name is specified it must match. otherwise skip tag */
     280                 :          0 :                 if (name && (!size || tag[size-1] != '\0' || strcmp(name, tag)))
     281                 :            :                         goto fail;
     282                 :          0 :         } else if (name) {
     283                 :            :                 /* if a name is specified and there is no name tag fail */
     284                 :            :                 goto fail;
     285                 :            :         }
     286                 :            : 
     287                 :            :         /* now check if type code matches */
     288                 :          0 :         if (unpack_X(e, code))
     289                 :            :                 return 1;
     290                 :            : 
     291                 :            : fail:
     292                 :          0 :         e->pos = pos;
     293                 :          0 :         return 0;
     294                 :            : }
     295                 :            : 
     296                 :          0 : static bool unpack_u8(struct aa_ext *e, u8 *data, const char *name)
     297                 :            : {
     298                 :          0 :         void *pos = e->pos;
     299                 :            : 
     300                 :          0 :         if (unpack_nameX(e, AA_U8, name)) {
     301                 :          0 :                 if (!inbounds(e, sizeof(u8)))
     302                 :            :                         goto fail;
     303                 :          0 :                 if (data)
     304                 :          0 :                         *data = get_unaligned((u8 *)e->pos);
     305                 :          0 :                 e->pos += sizeof(u8);
     306                 :          0 :                 return 1;
     307                 :            :         }
     308                 :            : 
     309                 :            : fail:
     310                 :          0 :         e->pos = pos;
     311                 :          0 :         return 0;
     312                 :            : }
     313                 :            : 
     314                 :          0 : static bool unpack_u32(struct aa_ext *e, u32 *data, const char *name)
     315                 :            : {
     316                 :          0 :         void *pos = e->pos;
     317                 :            : 
     318                 :          0 :         if (unpack_nameX(e, AA_U32, name)) {
     319                 :          0 :                 if (!inbounds(e, sizeof(u32)))
     320                 :            :                         goto fail;
     321                 :          0 :                 if (data)
     322                 :          0 :                         *data = le32_to_cpu(get_unaligned((__le32 *) e->pos));
     323                 :          0 :                 e->pos += sizeof(u32);
     324                 :          0 :                 return 1;
     325                 :            :         }
     326                 :            : 
     327                 :            : fail:
     328                 :          0 :         e->pos = pos;
     329                 :          0 :         return 0;
     330                 :            : }
     331                 :            : 
     332                 :          0 : static bool unpack_u64(struct aa_ext *e, u64 *data, const char *name)
     333                 :            : {
     334                 :          0 :         void *pos = e->pos;
     335                 :            : 
     336                 :          0 :         if (unpack_nameX(e, AA_U64, name)) {
     337                 :          0 :                 if (!inbounds(e, sizeof(u64)))
     338                 :            :                         goto fail;
     339                 :          0 :                 if (data)
     340                 :          0 :                         *data = le64_to_cpu(get_unaligned((__le64 *) e->pos));
     341                 :          0 :                 e->pos += sizeof(u64);
     342                 :          0 :                 return 1;
     343                 :            :         }
     344                 :            : 
     345                 :            : fail:
     346                 :          0 :         e->pos = pos;
     347                 :          0 :         return 0;
     348                 :            : }
     349                 :            : 
     350                 :          0 : static size_t unpack_array(struct aa_ext *e, const char *name)
     351                 :            : {
     352                 :          0 :         void *pos = e->pos;
     353                 :            : 
     354                 :          0 :         if (unpack_nameX(e, AA_ARRAY, name)) {
     355                 :            :                 int size;
     356                 :          0 :                 if (!inbounds(e, sizeof(u16)))
     357                 :            :                         goto fail;
     358                 :            :                 size = (int)le16_to_cpu(get_unaligned((__le16 *) e->pos));
     359                 :          0 :                 e->pos += sizeof(u16);
     360                 :          0 :                 return size;
     361                 :            :         }
     362                 :            : 
     363                 :            : fail:
     364                 :          0 :         e->pos = pos;
     365                 :          0 :         return 0;
     366                 :            : }
     367                 :            : 
     368                 :          0 : static size_t unpack_blob(struct aa_ext *e, char **blob, const char *name)
     369                 :            : {
     370                 :          0 :         void *pos = e->pos;
     371                 :            : 
     372                 :          0 :         if (unpack_nameX(e, AA_BLOB, name)) {
     373                 :            :                 u32 size;
     374                 :          0 :                 if (!inbounds(e, sizeof(u32)))
     375                 :            :                         goto fail;
     376                 :            :                 size = le32_to_cpu(get_unaligned((__le32 *) e->pos));
     377                 :          0 :                 e->pos += sizeof(u32);
     378                 :          0 :                 if (inbounds(e, (size_t) size)) {
     379                 :          0 :                         *blob = e->pos;
     380                 :          0 :                         e->pos += size;
     381                 :          0 :                         return size;
     382                 :            :                 }
     383                 :            :         }
     384                 :            : 
     385                 :            : fail:
     386                 :          0 :         e->pos = pos;
     387                 :          0 :         return 0;
     388                 :            : }
     389                 :            : 
     390                 :          0 : static int unpack_str(struct aa_ext *e, const char **string, const char *name)
     391                 :            : {
     392                 :            :         char *src_str;
     393                 :            :         size_t size = 0;
     394                 :          0 :         void *pos = e->pos;
     395                 :          0 :         *string = NULL;
     396                 :          0 :         if (unpack_nameX(e, AA_STRING, name)) {
     397                 :            :                 size = unpack_u16_chunk(e, &src_str);
     398                 :          0 :                 if (size) {
     399                 :            :                         /* strings are null terminated, length is size - 1 */
     400                 :          0 :                         if (src_str[size - 1] != 0)
     401                 :            :                                 goto fail;
     402                 :          0 :                         *string = src_str;
     403                 :            : 
     404                 :          0 :                         return size;
     405                 :            :                 }
     406                 :            :         }
     407                 :            : 
     408                 :            : fail:
     409                 :          0 :         e->pos = pos;
     410                 :          0 :         return 0;
     411                 :            : }
     412                 :            : 
     413                 :          0 : static int unpack_strdup(struct aa_ext *e, char **string, const char *name)
     414                 :            : {
     415                 :            :         const char *tmp;
     416                 :          0 :         void *pos = e->pos;
     417                 :          0 :         int res = unpack_str(e, &tmp, name);
     418                 :          0 :         *string = NULL;
     419                 :            : 
     420                 :          0 :         if (!res)
     421                 :            :                 return 0;
     422                 :            : 
     423                 :          0 :         *string = kmemdup(tmp, res, GFP_KERNEL);
     424                 :          0 :         if (!*string) {
     425                 :          0 :                 e->pos = pos;
     426                 :          0 :                 return 0;
     427                 :            :         }
     428                 :            : 
     429                 :            :         return res;
     430                 :            : }
     431                 :            : 
     432                 :            : 
     433                 :            : /**
     434                 :            :  * unpack_dfa - unpack a file rule dfa
     435                 :            :  * @e: serialized data extent information (NOT NULL)
     436                 :            :  *
     437                 :            :  * returns dfa or ERR_PTR or NULL if no dfa
     438                 :            :  */
     439                 :          0 : static struct aa_dfa *unpack_dfa(struct aa_ext *e)
     440                 :            : {
     441                 :          0 :         char *blob = NULL;
     442                 :            :         size_t size;
     443                 :            :         struct aa_dfa *dfa = NULL;
     444                 :            : 
     445                 :          0 :         size = unpack_blob(e, &blob, "aadfa");
     446                 :          0 :         if (size) {
     447                 :            :                 /*
     448                 :            :                  * The dfa is aligned with in the blob to 8 bytes
     449                 :            :                  * from the beginning of the stream.
     450                 :            :                  * alignment adjust needed by dfa unpack
     451                 :            :                  */
     452                 :          0 :                 size_t sz = blob - (char *) e->start -
     453                 :          0 :                         ((e->pos - e->start) & 7);
     454                 :          0 :                 size_t pad = ALIGN(sz, 8) - sz;
     455                 :            :                 int flags = TO_ACCEPT1_FLAG(YYTD_DATA32) |
     456                 :            :                         TO_ACCEPT2_FLAG(YYTD_DATA32) | DFA_FLAG_VERIFY_STATES;
     457                 :          0 :                 dfa = aa_dfa_unpack(blob + pad, size - pad, flags);
     458                 :            : 
     459                 :          0 :                 if (IS_ERR(dfa))
     460                 :            :                         return dfa;
     461                 :            : 
     462                 :            :         }
     463                 :            : 
     464                 :          0 :         return dfa;
     465                 :            : }
     466                 :            : 
     467                 :            : /**
     468                 :            :  * unpack_trans_table - unpack a profile transition table
     469                 :            :  * @e: serialized data extent information  (NOT NULL)
     470                 :            :  * @profile: profile to add the accept table to (NOT NULL)
     471                 :            :  *
     472                 :            :  * Returns: 1 if table successfully unpacked
     473                 :            :  */
     474                 :          0 : static bool unpack_trans_table(struct aa_ext *e, struct aa_profile *profile)
     475                 :            : {
     476                 :          0 :         void *saved_pos = e->pos;
     477                 :            : 
     478                 :            :         /* exec table is optional */
     479                 :          0 :         if (unpack_nameX(e, AA_STRUCT, "xtable")) {
     480                 :            :                 int i, size;
     481                 :            : 
     482                 :          0 :                 size = unpack_array(e, NULL);
     483                 :            :                 /* currently 4 exec bits and entries 0-3 are reserved iupcx */
     484                 :          0 :                 if (size > 16 - 4)
     485                 :            :                         goto fail;
     486                 :          0 :                 profile->file.trans.table = kcalloc(size, sizeof(char *),
     487                 :            :                                                     GFP_KERNEL);
     488                 :          0 :                 if (!profile->file.trans.table)
     489                 :            :                         goto fail;
     490                 :            : 
     491                 :          0 :                 profile->file.trans.size = size;
     492                 :          0 :                 for (i = 0; i < size; i++) {
     493                 :            :                         char *str;
     494                 :          0 :                         int c, j, pos, size2 = unpack_strdup(e, &str, NULL);
     495                 :            :                         /* unpack_strdup verifies that the last character is
     496                 :            :                          * null termination byte.
     497                 :            :                          */
     498                 :          0 :                         if (!size2)
     499                 :            :                                 goto fail;
     500                 :          0 :                         profile->file.trans.table[i] = str;
     501                 :            :                         /* verify that name doesn't start with space */
     502                 :          0 :                         if (isspace(*str))
     503                 :            :                                 goto fail;
     504                 :            : 
     505                 :            :                         /* count internal #  of internal \0 */
     506                 :          0 :                         for (c = j = 0; j < size2 - 1; j++) {
     507                 :          0 :                                 if (!str[j]) {
     508                 :            :                                         pos = j;
     509                 :          0 :                                         c++;
     510                 :            :                                 }
     511                 :            :                         }
     512                 :          0 :                         if (*str == ':') {
     513                 :            :                                 /* first character after : must be valid */
     514                 :          0 :                                 if (!str[1])
     515                 :            :                                         goto fail;
     516                 :            :                                 /* beginning with : requires an embedded \0,
     517                 :            :                                  * verify that exactly 1 internal \0 exists
     518                 :            :                                  * trailing \0 already verified by unpack_strdup
     519                 :            :                                  *
     520                 :            :                                  * convert \0 back to : for label_parse
     521                 :            :                                  */
     522                 :          0 :                                 if (c == 1)
     523                 :          0 :                                         str[pos] = ':';
     524                 :          0 :                                 else if (c > 1)
     525                 :            :                                         goto fail;
     526                 :          0 :                         } else if (c)
     527                 :            :                                 /* fail - all other cases with embedded \0 */
     528                 :            :                                 goto fail;
     529                 :            :                 }
     530                 :          0 :                 if (!unpack_nameX(e, AA_ARRAYEND, NULL))
     531                 :            :                         goto fail;
     532                 :          0 :                 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
     533                 :            :                         goto fail;
     534                 :            :         }
     535                 :            :         return 1;
     536                 :            : 
     537                 :            : fail:
     538                 :          0 :         aa_free_domain_entries(&profile->file.trans);
     539                 :          0 :         e->pos = saved_pos;
     540                 :          0 :         return 0;
     541                 :            : }
     542                 :            : 
     543                 :          0 : static bool unpack_xattrs(struct aa_ext *e, struct aa_profile *profile)
     544                 :            : {
     545                 :          0 :         void *pos = e->pos;
     546                 :            : 
     547                 :          0 :         if (unpack_nameX(e, AA_STRUCT, "xattrs")) {
     548                 :            :                 int i, size;
     549                 :            : 
     550                 :          0 :                 size = unpack_array(e, NULL);
     551                 :          0 :                 profile->xattr_count = size;
     552                 :          0 :                 profile->xattrs = kcalloc(size, sizeof(char *), GFP_KERNEL);
     553                 :          0 :                 if (!profile->xattrs)
     554                 :            :                         goto fail;
     555                 :          0 :                 for (i = 0; i < size; i++) {
     556                 :          0 :                         if (!unpack_strdup(e, &profile->xattrs[i], NULL))
     557                 :            :                                 goto fail;
     558                 :            :                 }
     559                 :          0 :                 if (!unpack_nameX(e, AA_ARRAYEND, NULL))
     560                 :            :                         goto fail;
     561                 :          0 :                 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
     562                 :            :                         goto fail;
     563                 :            :         }
     564                 :            : 
     565                 :            :         return 1;
     566                 :            : 
     567                 :            : fail:
     568                 :          0 :         e->pos = pos;
     569                 :          0 :         return 0;
     570                 :            : }
     571                 :            : 
     572                 :          0 : static bool unpack_secmark(struct aa_ext *e, struct aa_profile *profile)
     573                 :            : {
     574                 :          0 :         void *pos = e->pos;
     575                 :            :         int i, size;
     576                 :            : 
     577                 :          0 :         if (unpack_nameX(e, AA_STRUCT, "secmark")) {
     578                 :          0 :                 size = unpack_array(e, NULL);
     579                 :            : 
     580                 :          0 :                 profile->secmark = kcalloc(size, sizeof(struct aa_secmark),
     581                 :            :                                            GFP_KERNEL);
     582                 :          0 :                 if (!profile->secmark)
     583                 :            :                         goto fail;
     584                 :            : 
     585                 :          0 :                 profile->secmark_count = size;
     586                 :            : 
     587                 :          0 :                 for (i = 0; i < size; i++) {
     588                 :          0 :                         if (!unpack_u8(e, &profile->secmark[i].audit, NULL))
     589                 :            :                                 goto fail;
     590                 :          0 :                         if (!unpack_u8(e, &profile->secmark[i].deny, NULL))
     591                 :            :                                 goto fail;
     592                 :          0 :                         if (!unpack_strdup(e, &profile->secmark[i].label, NULL))
     593                 :            :                                 goto fail;
     594                 :            :                 }
     595                 :          0 :                 if (!unpack_nameX(e, AA_ARRAYEND, NULL))
     596                 :            :                         goto fail;
     597                 :          0 :                 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
     598                 :            :                         goto fail;
     599                 :            :         }
     600                 :            : 
     601                 :            :         return 1;
     602                 :            : 
     603                 :            : fail:
     604                 :          0 :         if (profile->secmark) {
     605                 :          0 :                 for (i = 0; i < size; i++)
     606                 :          0 :                         kfree(profile->secmark[i].label);
     607                 :          0 :                 kfree(profile->secmark);
     608                 :          0 :                 profile->secmark_count = 0;
     609                 :          0 :                 profile->secmark = NULL;
     610                 :            :         }
     611                 :            : 
     612                 :          0 :         e->pos = pos;
     613                 :          0 :         return 0;
     614                 :            : }
     615                 :            : 
     616                 :          0 : static bool unpack_rlimits(struct aa_ext *e, struct aa_profile *profile)
     617                 :            : {
     618                 :          0 :         void *pos = e->pos;
     619                 :            : 
     620                 :            :         /* rlimits are optional */
     621                 :          0 :         if (unpack_nameX(e, AA_STRUCT, "rlimits")) {
     622                 :            :                 int i, size;
     623                 :          0 :                 u32 tmp = 0;
     624                 :          0 :                 if (!unpack_u32(e, &tmp, NULL))
     625                 :            :                         goto fail;
     626                 :          0 :                 profile->rlimits.mask = tmp;
     627                 :            : 
     628                 :          0 :                 size = unpack_array(e, NULL);
     629                 :          0 :                 if (size > RLIM_NLIMITS)
     630                 :            :                         goto fail;
     631                 :          0 :                 for (i = 0; i < size; i++) {
     632                 :          0 :                         u64 tmp2 = 0;
     633                 :          0 :                         int a = aa_map_resource(i);
     634                 :          0 :                         if (!unpack_u64(e, &tmp2, NULL))
     635                 :            :                                 goto fail;
     636                 :          0 :                         profile->rlimits.limits[a].rlim_max = tmp2;
     637                 :            :                 }
     638                 :          0 :                 if (!unpack_nameX(e, AA_ARRAYEND, NULL))
     639                 :            :                         goto fail;
     640                 :          0 :                 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
     641                 :            :                         goto fail;
     642                 :            :         }
     643                 :            :         return 1;
     644                 :            : 
     645                 :            : fail:
     646                 :          0 :         e->pos = pos;
     647                 :          0 :         return 0;
     648                 :            : }
     649                 :            : 
     650                 :          0 : static u32 strhash(const void *data, u32 len, u32 seed)
     651                 :            : {
     652                 :            :         const char * const *key = data;
     653                 :            : 
     654                 :          0 :         return jhash(*key, strlen(*key), seed);
     655                 :            : }
     656                 :            : 
     657                 :          0 : static int datacmp(struct rhashtable_compare_arg *arg, const void *obj)
     658                 :            : {
     659                 :            :         const struct aa_data *data = obj;
     660                 :          0 :         const char * const *key = arg->key;
     661                 :            : 
     662                 :          0 :         return strcmp(data->key, *key);
     663                 :            : }
     664                 :            : 
     665                 :            : /**
     666                 :            :  * unpack_profile - unpack a serialized profile
     667                 :            :  * @e: serialized data extent information (NOT NULL)
     668                 :            :  *
     669                 :            :  * NOTE: unpack profile sets audit struct if there is a failure
     670                 :            :  */
     671                 :          0 : static struct aa_profile *unpack_profile(struct aa_ext *e, char **ns_name)
     672                 :            : {
     673                 :            :         struct aa_profile *profile = NULL;
     674                 :          0 :         const char *tmpname, *tmpns = NULL, *name = NULL;
     675                 :            :         const char *info = "failed to unpack profile";
     676                 :            :         size_t ns_len;
     677                 :          0 :         struct rhashtable_params params = { 0 };
     678                 :          0 :         char *key = NULL;
     679                 :            :         struct aa_data *data;
     680                 :            :         int i, error = -EPROTO;
     681                 :            :         kernel_cap_t tmpcap;
     682                 :            :         u32 tmp;
     683                 :            : 
     684                 :          0 :         *ns_name = NULL;
     685                 :            : 
     686                 :            :         /* check that we have the right struct being passed */
     687                 :          0 :         if (!unpack_nameX(e, AA_STRUCT, "profile"))
     688                 :            :                 goto fail;
     689                 :          0 :         if (!unpack_str(e, &name, NULL))
     690                 :            :                 goto fail;
     691                 :          0 :         if (*name == '\0')
     692                 :            :                 goto fail;
     693                 :            : 
     694                 :          0 :         tmpname = aa_splitn_fqname(name, strlen(name), &tmpns, &ns_len);
     695                 :          0 :         if (tmpns) {
     696                 :          0 :                 *ns_name = kstrndup(tmpns, ns_len, GFP_KERNEL);
     697                 :          0 :                 if (!*ns_name) {
     698                 :            :                         info = "out of memory";
     699                 :            :                         goto fail;
     700                 :            :                 }
     701                 :          0 :                 name = tmpname;
     702                 :            :         }
     703                 :            : 
     704                 :          0 :         profile = aa_alloc_profile(name, NULL, GFP_KERNEL);
     705                 :          0 :         if (!profile)
     706                 :            :                 return ERR_PTR(-ENOMEM);
     707                 :            : 
     708                 :            :         /* profile renaming is optional */
     709                 :          0 :         (void) unpack_str(e, &profile->rename, "rename");
     710                 :            : 
     711                 :            :         /* attachment string is optional */
     712                 :          0 :         (void) unpack_str(e, &profile->attach, "attach");
     713                 :            : 
     714                 :            :         /* xmatch is optional and may be NULL */
     715                 :          0 :         profile->xmatch = unpack_dfa(e);
     716                 :          0 :         if (IS_ERR(profile->xmatch)) {
     717                 :            :                 error = PTR_ERR(profile->xmatch);
     718                 :          0 :                 profile->xmatch = NULL;
     719                 :            :                 info = "bad xmatch";
     720                 :          0 :                 goto fail;
     721                 :            :         }
     722                 :            :         /* xmatch_len is not optional if xmatch is set */
     723                 :          0 :         if (profile->xmatch) {
     724                 :          0 :                 if (!unpack_u32(e, &tmp, NULL)) {
     725                 :            :                         info = "missing xmatch len";
     726                 :            :                         goto fail;
     727                 :            :                 }
     728                 :          0 :                 profile->xmatch_len = tmp;
     729                 :            :         }
     730                 :            : 
     731                 :            :         /* disconnected attachment string is optional */
     732                 :          0 :         (void) unpack_str(e, &profile->disconnected, "disconnected");
     733                 :            : 
     734                 :            :         /* per profile debug flags (complain, audit) */
     735                 :          0 :         if (!unpack_nameX(e, AA_STRUCT, "flags")) {
     736                 :            :                 info = "profile missing flags";
     737                 :            :                 goto fail;
     738                 :            :         }
     739                 :            :         info = "failed to unpack profile flags";
     740                 :          0 :         if (!unpack_u32(e, &tmp, NULL))
     741                 :            :                 goto fail;
     742                 :          0 :         if (tmp & PACKED_FLAG_HAT)
     743                 :          0 :                 profile->label.flags |= FLAG_HAT;
     744                 :          0 :         if (!unpack_u32(e, &tmp, NULL))
     745                 :            :                 goto fail;
     746                 :          0 :         if (tmp == PACKED_MODE_COMPLAIN || (e->version & FORCE_COMPLAIN_FLAG))
     747                 :          0 :                 profile->mode = APPARMOR_COMPLAIN;
     748                 :          0 :         else if (tmp == PACKED_MODE_KILL)
     749                 :          0 :                 profile->mode = APPARMOR_KILL;
     750                 :          0 :         else if (tmp == PACKED_MODE_UNCONFINED)
     751                 :          0 :                 profile->mode = APPARMOR_UNCONFINED;
     752                 :          0 :         if (!unpack_u32(e, &tmp, NULL))
     753                 :            :                 goto fail;
     754                 :          0 :         if (tmp)
     755                 :          0 :                 profile->audit = AUDIT_ALL;
     756                 :            : 
     757                 :          0 :         if (!unpack_nameX(e, AA_STRUCTEND, NULL))
     758                 :            :                 goto fail;
     759                 :            : 
     760                 :            :         /* path_flags is optional */
     761                 :          0 :         if (unpack_u32(e, &profile->path_flags, "path_flags"))
     762                 :          0 :                 profile->path_flags |= profile->label.flags &
     763                 :            :                         PATH_MEDIATE_DELETED;
     764                 :            :         else
     765                 :            :                 /* set a default value if path_flags field is not present */
     766                 :          0 :                 profile->path_flags = PATH_MEDIATE_DELETED;
     767                 :            : 
     768                 :            :         info = "failed to unpack profile capabilities";
     769                 :          0 :         if (!unpack_u32(e, &(profile->caps.allow.cap[0]), NULL))
     770                 :            :                 goto fail;
     771                 :          0 :         if (!unpack_u32(e, &(profile->caps.audit.cap[0]), NULL))
     772                 :            :                 goto fail;
     773                 :          0 :         if (!unpack_u32(e, &(profile->caps.quiet.cap[0]), NULL))
     774                 :            :                 goto fail;
     775                 :          0 :         if (!unpack_u32(e, &tmpcap.cap[0], NULL))
     776                 :            :                 goto fail;
     777                 :            : 
     778                 :            :         info = "failed to unpack upper profile capabilities";
     779                 :          0 :         if (unpack_nameX(e, AA_STRUCT, "caps64")) {
     780                 :            :                 /* optional upper half of 64 bit caps */
     781                 :          0 :                 if (!unpack_u32(e, &(profile->caps.allow.cap[1]), NULL))
     782                 :            :                         goto fail;
     783                 :          0 :                 if (!unpack_u32(e, &(profile->caps.audit.cap[1]), NULL))
     784                 :            :                         goto fail;
     785                 :          0 :                 if (!unpack_u32(e, &(profile->caps.quiet.cap[1]), NULL))
     786                 :            :                         goto fail;
     787                 :          0 :                 if (!unpack_u32(e, &(tmpcap.cap[1]), NULL))
     788                 :            :                         goto fail;
     789                 :          0 :                 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
     790                 :            :                         goto fail;
     791                 :            :         }
     792                 :            : 
     793                 :            :         info = "failed to unpack extended profile capabilities";
     794                 :          0 :         if (unpack_nameX(e, AA_STRUCT, "capsx")) {
     795                 :            :                 /* optional extended caps mediation mask */
     796                 :          0 :                 if (!unpack_u32(e, &(profile->caps.extended.cap[0]), NULL))
     797                 :            :                         goto fail;
     798                 :          0 :                 if (!unpack_u32(e, &(profile->caps.extended.cap[1]), NULL))
     799                 :            :                         goto fail;
     800                 :          0 :                 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
     801                 :            :                         goto fail;
     802                 :            :         }
     803                 :            : 
     804                 :          0 :         if (!unpack_xattrs(e, profile)) {
     805                 :            :                 info = "failed to unpack profile xattrs";
     806                 :            :                 goto fail;
     807                 :            :         }
     808                 :            : 
     809                 :          0 :         if (!unpack_rlimits(e, profile)) {
     810                 :            :                 info = "failed to unpack profile rlimits";
     811                 :            :                 goto fail;
     812                 :            :         }
     813                 :            : 
     814                 :          0 :         if (!unpack_secmark(e, profile)) {
     815                 :            :                 info = "failed to unpack profile secmark rules";
     816                 :            :                 goto fail;
     817                 :            :         }
     818                 :            : 
     819                 :          0 :         if (unpack_nameX(e, AA_STRUCT, "policydb")) {
     820                 :            :                 /* generic policy dfa - optional and may be NULL */
     821                 :            :                 info = "failed to unpack policydb";
     822                 :          0 :                 profile->policy.dfa = unpack_dfa(e);
     823                 :          0 :                 if (IS_ERR(profile->policy.dfa)) {
     824                 :            :                         error = PTR_ERR(profile->policy.dfa);
     825                 :          0 :                         profile->policy.dfa = NULL;
     826                 :          0 :                         goto fail;
     827                 :          0 :                 } else if (!profile->policy.dfa) {
     828                 :            :                         error = -EPROTO;
     829                 :            :                         goto fail;
     830                 :            :                 }
     831                 :          0 :                 if (!unpack_u32(e, &profile->policy.start[0], "start"))
     832                 :            :                         /* default start state */
     833                 :          0 :                         profile->policy.start[0] = DFA_START;
     834                 :            :                 /* setup class index */
     835                 :          0 :                 for (i = AA_CLASS_FILE; i <= AA_CLASS_LAST; i++) {
     836                 :          0 :                         profile->policy.start[i] =
     837                 :          0 :                                 aa_dfa_next(profile->policy.dfa,
     838                 :            :                                             profile->policy.start[0],
     839                 :            :                                             i);
     840                 :            :                 }
     841                 :          0 :                 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
     842                 :            :                         goto fail;
     843                 :            :         } else
     844                 :          0 :                 profile->policy.dfa = aa_get_dfa(nulldfa);
     845                 :            : 
     846                 :            :         /* get file rules */
     847                 :          0 :         profile->file.dfa = unpack_dfa(e);
     848                 :          0 :         if (IS_ERR(profile->file.dfa)) {
     849                 :            :                 error = PTR_ERR(profile->file.dfa);
     850                 :          0 :                 profile->file.dfa = NULL;
     851                 :            :                 info = "failed to unpack profile file rules";
     852                 :          0 :                 goto fail;
     853                 :          0 :         } else if (profile->file.dfa) {
     854                 :          0 :                 if (!unpack_u32(e, &profile->file.start, "dfa_start"))
     855                 :            :                         /* default start state */
     856                 :          0 :                         profile->file.start = DFA_START;
     857                 :          0 :         } else if (profile->policy.dfa &&
     858                 :          0 :                    profile->policy.start[AA_CLASS_FILE]) {
     859                 :          0 :                 profile->file.dfa = aa_get_dfa(profile->policy.dfa);
     860                 :          0 :                 profile->file.start = profile->policy.start[AA_CLASS_FILE];
     861                 :            :         } else
     862                 :          0 :                 profile->file.dfa = aa_get_dfa(nulldfa);
     863                 :            : 
     864                 :          0 :         if (!unpack_trans_table(e, profile)) {
     865                 :            :                 info = "failed to unpack profile transition table";
     866                 :            :                 goto fail;
     867                 :            :         }
     868                 :            : 
     869                 :          0 :         if (unpack_nameX(e, AA_STRUCT, "data")) {
     870                 :            :                 info = "out of memory";
     871                 :          0 :                 profile->data = kzalloc(sizeof(*profile->data), GFP_KERNEL);
     872                 :          0 :                 if (!profile->data)
     873                 :            :                         goto fail;
     874                 :            : 
     875                 :          0 :                 params.nelem_hint = 3;
     876                 :          0 :                 params.key_len = sizeof(void *);
     877                 :          0 :                 params.key_offset = offsetof(struct aa_data, key);
     878                 :          0 :                 params.head_offset = offsetof(struct aa_data, head);
     879                 :          0 :                 params.hashfn = strhash;
     880                 :          0 :                 params.obj_cmpfn = datacmp;
     881                 :            : 
     882                 :          0 :                 if (rhashtable_init(profile->data, &params)) {
     883                 :            :                         info = "failed to init key, value hash table";
     884                 :            :                         goto fail;
     885                 :            :                 }
     886                 :            : 
     887                 :          0 :                 while (unpack_strdup(e, &key, NULL)) {
     888                 :          0 :                         data = kzalloc(sizeof(*data), GFP_KERNEL);
     889                 :          0 :                         if (!data) {
     890                 :          0 :                                 kzfree(key);
     891                 :          0 :                                 goto fail;
     892                 :            :                         }
     893                 :            : 
     894                 :          0 :                         data->key = key;
     895                 :          0 :                         data->size = unpack_blob(e, &data->data, NULL);
     896                 :          0 :                         data->data = kvmemdup(data->data, data->size);
     897                 :          0 :                         if (data->size && !data->data) {
     898                 :          0 :                                 kzfree(data->key);
     899                 :          0 :                                 kzfree(data);
     900                 :          0 :                                 goto fail;
     901                 :            :                         }
     902                 :            : 
     903                 :          0 :                         rhashtable_insert_fast(profile->data, &data->head,
     904                 :          0 :                                                profile->data->p);
     905                 :            :                 }
     906                 :            : 
     907                 :          0 :                 if (!unpack_nameX(e, AA_STRUCTEND, NULL)) {
     908                 :            :                         info = "failed to unpack end of key, value data table";
     909                 :            :                         goto fail;
     910                 :            :                 }
     911                 :            :         }
     912                 :            : 
     913                 :          0 :         if (!unpack_nameX(e, AA_STRUCTEND, NULL)) {
     914                 :            :                 info = "failed to unpack end of profile";
     915                 :            :                 goto fail;
     916                 :            :         }
     917                 :            : 
     918                 :            :         return profile;
     919                 :            : 
     920                 :            : fail:
     921                 :          0 :         if (profile)
     922                 :          0 :                 name = NULL;
     923                 :          0 :         else if (!name)
     924                 :          0 :                 name = "unknown";
     925                 :          0 :         audit_iface(profile, NULL, name, info, e, error);
     926                 :          0 :         aa_free_profile(profile);
     927                 :            : 
     928                 :          0 :         return ERR_PTR(error);
     929                 :            : }
     930                 :            : 
     931                 :            : /**
     932                 :            :  * verify_head - unpack serialized stream header
     933                 :            :  * @e: serialized data read head (NOT NULL)
     934                 :            :  * @required: whether the header is required or optional
     935                 :            :  * @ns: Returns - namespace if one is specified else NULL (NOT NULL)
     936                 :            :  *
     937                 :            :  * Returns: error or 0 if header is good
     938                 :            :  */
     939                 :          0 : static int verify_header(struct aa_ext *e, int required, const char **ns)
     940                 :            : {
     941                 :            :         int error = -EPROTONOSUPPORT;
     942                 :          0 :         const char *name = NULL;
     943                 :          0 :         *ns = NULL;
     944                 :            : 
     945                 :            :         /* get the interface version */
     946                 :          0 :         if (!unpack_u32(e, &e->version, "version")) {
     947                 :          0 :                 if (required) {
     948                 :          0 :                         audit_iface(NULL, NULL, NULL, "invalid profile format",
     949                 :            :                                     e, error);
     950                 :          0 :                         return error;
     951                 :            :                 }
     952                 :            :         }
     953                 :            : 
     954                 :            :         /* Check that the interface version is currently supported.
     955                 :            :          * if not specified use previous version
     956                 :            :          * Mask off everything that is not kernel abi version
     957                 :            :          */
     958                 :          0 :         if (VERSION_LT(e->version, v5) || VERSION_GT(e->version, v7)) {
     959                 :          0 :                 audit_iface(NULL, NULL, NULL, "unsupported interface version",
     960                 :            :                             e, error);
     961                 :          0 :                 return error;
     962                 :            :         }
     963                 :            : 
     964                 :            :         /* read the namespace if present */
     965                 :          0 :         if (unpack_str(e, &name, "namespace")) {
     966                 :          0 :                 if (*name == '\0') {
     967                 :          0 :                         audit_iface(NULL, NULL, NULL, "invalid namespace name",
     968                 :            :                                     e, error);
     969                 :          0 :                         return error;
     970                 :            :                 }
     971                 :          0 :                 if (*ns && strcmp(*ns, name))
     972                 :          0 :                         audit_iface(NULL, NULL, NULL, "invalid ns change", e,
     973                 :            :                                     error);
     974                 :          0 :                 else if (!*ns)
     975                 :          0 :                         *ns = name;
     976                 :            :         }
     977                 :            : 
     978                 :            :         return 0;
     979                 :            : }
     980                 :            : 
     981                 :            : static bool verify_xindex(int xindex, int table_size)
     982                 :            : {
     983                 :            :         int index, xtype;
     984                 :          0 :         xtype = xindex & AA_X_TYPE_MASK;
     985                 :          0 :         index = xindex & AA_X_INDEX_MASK;
     986                 :          0 :         if (xtype == AA_X_TABLE && index >= table_size)
     987                 :            :                 return 0;
     988                 :            :         return 1;
     989                 :            : }
     990                 :            : 
     991                 :            : /* verify dfa xindexes are in range of transition tables */
     992                 :          0 : static bool verify_dfa_xindex(struct aa_dfa *dfa, int table_size)
     993                 :            : {
     994                 :            :         int i;
     995                 :          0 :         for (i = 0; i < dfa->tables[YYTD_ID_ACCEPT]->td_lolen; i++) {
     996                 :          0 :                 if (!verify_xindex(dfa_user_xindex(dfa, i), table_size))
     997                 :            :                         return 0;
     998                 :          0 :                 if (!verify_xindex(dfa_other_xindex(dfa, i), table_size))
     999                 :            :                         return 0;
    1000                 :            :         }
    1001                 :            :         return 1;
    1002                 :            : }
    1003                 :            : 
    1004                 :            : /**
    1005                 :            :  * verify_profile - Do post unpack analysis to verify profile consistency
    1006                 :            :  * @profile: profile to verify (NOT NULL)
    1007                 :            :  *
    1008                 :            :  * Returns: 0 if passes verification else error
    1009                 :            :  */
    1010                 :          0 : static int verify_profile(struct aa_profile *profile)
    1011                 :            : {
    1012                 :          0 :         if (profile->file.dfa &&
    1013                 :          0 :             !verify_dfa_xindex(profile->file.dfa,
    1014                 :            :                                profile->file.trans.size)) {
    1015                 :          0 :                 audit_iface(profile, NULL, NULL, "Invalid named transition",
    1016                 :            :                             NULL, -EPROTO);
    1017                 :          0 :                 return -EPROTO;
    1018                 :            :         }
    1019                 :            : 
    1020                 :            :         return 0;
    1021                 :            : }
    1022                 :            : 
    1023                 :          0 : void aa_load_ent_free(struct aa_load_ent *ent)
    1024                 :            : {
    1025                 :          0 :         if (ent) {
    1026                 :          0 :                 aa_put_profile(ent->rename);
    1027                 :          0 :                 aa_put_profile(ent->old);
    1028                 :          0 :                 aa_put_profile(ent->new);
    1029                 :          0 :                 kfree(ent->ns_name);
    1030                 :          0 :                 kzfree(ent);
    1031                 :            :         }
    1032                 :          0 : }
    1033                 :            : 
    1034                 :          0 : struct aa_load_ent *aa_load_ent_alloc(void)
    1035                 :            : {
    1036                 :          0 :         struct aa_load_ent *ent = kzalloc(sizeof(*ent), GFP_KERNEL);
    1037                 :          0 :         if (ent)
    1038                 :          0 :                 INIT_LIST_HEAD(&ent->list);
    1039                 :          0 :         return ent;
    1040                 :            : }
    1041                 :            : 
    1042                 :            : /**
    1043                 :            :  * aa_unpack - unpack packed binary profile(s) data loaded from user space
    1044                 :            :  * @udata: user data copied to kmem  (NOT NULL)
    1045                 :            :  * @lh: list to place unpacked profiles in a aa_repl_ws
    1046                 :            :  * @ns: Returns namespace profile is in if specified else NULL (NOT NULL)
    1047                 :            :  *
    1048                 :            :  * Unpack user data and return refcounted allocated profile(s) stored in
    1049                 :            :  * @lh in order of discovery, with the list chain stored in base.list
    1050                 :            :  * or error
    1051                 :            :  *
    1052                 :            :  * Returns: profile(s) on @lh else error pointer if fails to unpack
    1053                 :            :  */
    1054                 :          0 : int aa_unpack(struct aa_loaddata *udata, struct list_head *lh,
    1055                 :            :               const char **ns)
    1056                 :            : {
    1057                 :            :         struct aa_load_ent *tmp, *ent;
    1058                 :            :         struct aa_profile *profile = NULL;
    1059                 :            :         int error;
    1060                 :          0 :         struct aa_ext e = {
    1061                 :          0 :                 .start = udata->data,
    1062                 :          0 :                 .end = udata->data + udata->size,
    1063                 :            :                 .pos = udata->data,
    1064                 :            :         };
    1065                 :            : 
    1066                 :          0 :         *ns = NULL;
    1067                 :          0 :         while (e.pos < e.end) {
    1068                 :          0 :                 char *ns_name = NULL;
    1069                 :            :                 void *start;
    1070                 :          0 :                 error = verify_header(&e, e.pos == e.start, ns);
    1071                 :          0 :                 if (error)
    1072                 :            :                         goto fail;
    1073                 :            : 
    1074                 :          0 :                 start = e.pos;
    1075                 :          0 :                 profile = unpack_profile(&e, &ns_name);
    1076                 :          0 :                 if (IS_ERR(profile)) {
    1077                 :            :                         error = PTR_ERR(profile);
    1078                 :          0 :                         goto fail;
    1079                 :            :                 }
    1080                 :            : 
    1081                 :          0 :                 error = verify_profile(profile);
    1082                 :          0 :                 if (error)
    1083                 :            :                         goto fail_profile;
    1084                 :            : 
    1085                 :          0 :                 if (aa_g_hash_policy)
    1086                 :          0 :                         error = aa_calc_profile_hash(profile, e.version, start,
    1087                 :          0 :                                                      e.pos - start);
    1088                 :          0 :                 if (error)
    1089                 :            :                         goto fail_profile;
    1090                 :            : 
    1091                 :          0 :                 ent = aa_load_ent_alloc();
    1092                 :          0 :                 if (!ent) {
    1093                 :            :                         error = -ENOMEM;
    1094                 :            :                         goto fail_profile;
    1095                 :            :                 }
    1096                 :            : 
    1097                 :          0 :                 ent->new = profile;
    1098                 :          0 :                 ent->ns_name = ns_name;
    1099                 :          0 :                 list_add_tail(&ent->list, lh);
    1100                 :            :         }
    1101                 :          0 :         udata->abi = e.version & K_ABI_MASK;
    1102                 :          0 :         if (aa_g_hash_policy) {
    1103                 :          0 :                 udata->hash = aa_calc_hash(udata->data, udata->size);
    1104                 :          0 :                 if (IS_ERR(udata->hash)) {
    1105                 :            :                         error = PTR_ERR(udata->hash);
    1106                 :          0 :                         udata->hash = NULL;
    1107                 :          0 :                         goto fail;
    1108                 :            :                 }
    1109                 :            :         }
    1110                 :            :         return 0;
    1111                 :            : 
    1112                 :            : fail_profile:
    1113                 :            :         aa_put_profile(profile);
    1114                 :            : 
    1115                 :            : fail:
    1116                 :          0 :         list_for_each_entry_safe(ent, tmp, lh, list) {
    1117                 :            :                 list_del_init(&ent->list);
    1118                 :          0 :                 aa_load_ent_free(ent);
    1119                 :            :         }
    1120                 :            : 
    1121                 :            :         return error;
    1122                 :            : }
    

Generated by: LCOV version 1.14