acl.c

Bug Summary

File:	src/acl.c
Warning:	line 527, column 18 Assigned value is garbage or undefined
Annotated Source Code

Press '?' to see keyboard shortcuts
Show analyzer invocation
clang -cc1 -triple x86_64-pc-linux-gnu -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name acl.c -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model static -mthread-model posix -mframe-pointer=none -fmath-errno -fno-rounding-math -masm-verbose -mconstructor-aliases -munwind-tables -target-cpu x86-64 -dwarf-column-info -fno-split-dwarf-inlining -debugger-tuning=gdb -resource-dir /usr/lib/llvm-10/lib/clang/10.0.0 -D REDIS_STATIC= -I ../deps/hiredis -I ../deps/linenoise -I ../deps/lua/src -I ../deps/hdr_histogram -D USE_JEMALLOC -I ../deps/jemalloc/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/llvm-10/lib/clang/10.0.0/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O2 -Wno-c11-extensions -Wno-missing-field-initializers -std=c11 -fdebug-compilation-dir /home/netto/Desktop/redis-6.2.1/src -ferror-limit 19 -fmessage-length 0 -fgnuc-version=4.2.1 -fobjc-runtime=gcc -fdiagnostics-show-option -vectorize-loops -vectorize-slp -analyzer-output=html -faddrsig -o /tmp/scan-build-2021-03-14-133648-8817-1 -x c acl.c
1/*
* Copyright (c) 2018, Salvatore Sanfilippo <antirez at gmail dot com>
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
*
*   * Redistributions of source code must retain the above copyright notice,
*     this list of conditions and the following disclaimer.
*   * Redistributions in binary form must reproduce the above copyright
*     notice, this list of conditions and the following disclaimer in the
*     documentation and/or other materials provided with the distribution.
*   * Neither the name of Redis nor the names of its contributors may be used
*     to endorse or promote products derived from this software without
*     specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
* LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
* POSSIBILITY OF SUCH DAMAGE.
*/

30#include "server.h"
31#include "sha256.h"
32#include <fcntl.h>
33#include <ctype.h>

35/* =============================================================================
* Global state for ACLs
* ==========================================================================*/

39rax *Users; /* Table mapping usernames to user structures. */

41user *DefaultUser;  /* Global reference to the default user.
                     Every new connection is associated to it, if no
                     AUTH or HELLO is used to authenticate with a
                     different user. */

46list *UsersToLoad;  /* This is a list of users found in the configuration file
                     that we'll need to load in the final stage of Redis
                     initialization, after all the modules are already
                     loaded. Every list element is a NULL terminated
                     array of SDS pointers: the first is the user name,
                     all the remaining pointers are ACL rules in the same
                     format as ACLSetUser(). */
53list *ACLLog;       /* Our security log, the user is able to inspect that
                     using the ACL LOG command .*/

56static rax *commandId = NULL((void*)0); /* Command name to id mapping */

58static unsigned long nextid = 0; /* Next command id that has not been assigned */

60struct ACLCategoryItem {
  const char *name;
  uint64_t flag;
63} ACLCommandCategories[] = {
  {"keyspace", CMD_CATEGORY_KEYSPACE(1ULL<<19)},
  {"read", CMD_CATEGORY_READ(1ULL<<20)},
  {"write", CMD_CATEGORY_WRITE(1ULL<<21)},
  {"set", CMD_CATEGORY_SET(1ULL<<22)},
  {"sortedset", CMD_CATEGORY_SORTEDSET(1ULL<<23)},
  {"list", CMD_CATEGORY_LIST(1ULL<<24)},
  {"hash", CMD_CATEGORY_HASH(1ULL<<25)},
  {"string", CMD_CATEGORY_STRING(1ULL<<26)},
  {"bitmap", CMD_CATEGORY_BITMAP(1ULL<<27)},
  {"hyperloglog", CMD_CATEGORY_HYPERLOGLOG(1ULL<<28)},
  {"geo", CMD_CATEGORY_GEO(1ULL<<29)},
  {"stream", CMD_CATEGORY_STREAM(1ULL<<30)},
  {"pubsub", CMD_CATEGORY_PUBSUB(1ULL<<31)},
  {"admin", CMD_CATEGORY_ADMIN(1ULL<<32)},
  {"fast", CMD_CATEGORY_FAST(1ULL<<33)},
  {"slow", CMD_CATEGORY_SLOW(1ULL<<34)},
  {"blocking", CMD_CATEGORY_BLOCKING(1ULL<<35)},
  {"dangerous", CMD_CATEGORY_DANGEROUS(1ULL<<36)},
  {"connection", CMD_CATEGORY_CONNECTION(1ULL<<37)},
  {"transaction", CMD_CATEGORY_TRANSACTION(1ULL<<38)},
  {"scripting", CMD_CATEGORY_SCRIPTING(1ULL<<39)},
  {NULL((void*)0),0} /* Terminator. */
86};

88struct ACLUserFlag {
  const char *name;
  uint64_t flag;
91} ACLUserFlags[] = {
  /* Note: the order here dictates the emitted order at ACLDescribeUser */
  {"on", USER_FLAG_ENABLED(1<<0)},
  {"off", USER_FLAG_DISABLED(1<<1)},
  {"allkeys", USER_FLAG_ALLKEYS(1<<2)},
  {"allchannels", USER_FLAG_ALLCHANNELS(1<<5)},
  {"allcommands", USER_FLAG_ALLCOMMANDS(1<<3)},
  {"nopass", USER_FLAG_NOPASS(1<<4)},
  {"skip-sanitize-payload", USER_FLAG_SANITIZE_PAYLOAD_SKIP(1<<7)},
  {"sanitize-payload", USER_FLAG_SANITIZE_PAYLOAD(1<<6)},
  {NULL((void*)0),0} /* Terminator. */
102};

104void ACLResetSubcommandsForCommand(user *u, unsigned long id);
105void ACLResetSubcommands(user *u);
106void ACLAddAllowedSubcommand(user *u, unsigned long id, const char *sub);
107void ACLFreeLogEntry(void *le);

109/* The length of the string representation of a hashed password. */
110#define HASH_PASSWORD_LEN32*2 SHA256_BLOCK_SIZE32*2

112/* =============================================================================
* Helper functions for the rest of the ACL implementation
* ==========================================================================*/

116/* Return zero if strings are the same, non-zero if they are not.
* The comparison is performed in a way that prevents an attacker to obtain
* information about the nature of the strings just monitoring the execution
* time of the function.
*
* Note that limiting the comparison length to strings up to 512 bytes we
* can avoid leaking any information about the password length and any
* possible branch misprediction related leak.
*/
125int time_independent_strcmp(char *a, char *b) {
  char bufa[CONFIG_AUTHPASS_MAX_LEN512], bufb[CONFIG_AUTHPASS_MAX_LEN512];
  /* The above two strlen perform len(a) + len(b) operations where either
   * a or b are fixed (our password) length, and the difference is only
   * relative to the length of the user provided string, so no information
   * leak is possible in the following two lines of code. */
  unsigned int alen = strlen(a);
  unsigned int blen = strlen(b);
  unsigned int j;
  int diff = 0;

  /* We can't compare strings longer than our static buffers.
   * Note that this will never pass the first test in practical circumstances
   * so there is no info leak. */
  if (alen > sizeof(bufa) || blen > sizeof(bufb)) return 1;

  memset(bufa,0,sizeof(bufa));        /* Constant time. */
  memset(bufb,0,sizeof(bufb));        /* Constant time. */
  /* Again the time of the following two copies is proportional to
   * len(a) + len(b) so no info is leaked. */
  memcpy(bufa,a,alen);
  memcpy(bufb,b,blen);

  /* Always compare all the chars in the two buffers without
   * conditional expressions. */
  for (j = 0; j < sizeof(bufa); j++) {
      diff |= (bufa[j] ^ bufb[j]);
  }
  /* Length must be equal as well. */
  diff |= alen ^ blen;
  return diff; /* If zero strings are the same. */
156}

158/* Given an SDS string, returns the SHA256 hex representation as a
* new SDS string. */
160sds ACLHashPassword(unsigned char *cleartext, size_t len) {
  SHA256_CTX ctx;
  unsigned char hash[SHA256_BLOCK_SIZE32];
  char hex[HASH_PASSWORD_LEN32*2];
  char *cset = "0123456789abcdef";

  sha256_init(&ctx);
  sha256_update(&ctx,(unsigned char*)cleartext,len);
  sha256_final(&ctx,hash);

  for (int j = 0; j < SHA256_BLOCK_SIZE32; j++) {
      hex[j*2] = cset[((hash[j]&0xF0)>>4)];
      hex[j*2+1] = cset[(hash[j]&0xF)];
  }
  return sdsnewlen(hex,HASH_PASSWORD_LEN32*2);
175}

177/* Given a hash and the hash length, returns C_OK if it is a valid password
* hash, or C_ERR otherwise. */
179int ACLCheckPasswordHash(unsigned char *hash, int hashlen) {
  if (hashlen != HASH_PASSWORD_LEN32*2) {
      return C_ERR-1;
  }

  /* Password hashes can only be characters that represent
   * hexadecimal values, which are numbers and lowercase
   * characters 'a' through 'f'. */
  for(int i = 0; i < HASH_PASSWORD_LEN32*2; i++) {
      char c = hash[i];
      if ((c < 'a' || c > 'f') && (c < '0' || c > '9')) {
          return C_ERR-1;
      }
  }
  return C_OK0;
194}

196/* =============================================================================
* Low level ACL API
* ==========================================================================*/

200/* Return 1 if the specified string contains spaces or null characters.
* We do this for usernames and key patterns for simpler rewriting of
* ACL rules, presentation on ACL list, and to avoid subtle security bugs
* that may arise from parsing the rules in presence of escapes.
* The function returns 0 if the string has no spaces. */
205int ACLStringHasSpaces(const char *s, size_t len) {
  for (size_t i = 0; i < len; i++) {
      if (isspace(s[i])((*__ctype_b_loc ())[(int) ((s[i]))] & (unsigned short int
) _ISspace) || s[i] == 0) return 1;
  }
  return 0;
210}

212/* Given the category name the command returns the corresponding flag, or
* zero if there is no match. */
214uint64_t ACLGetCommandCategoryFlagByName(const char *name) {
  for (int j = 0; ACLCommandCategories[j].flag != 0; j++) {
      if (!strcasecmp(name,ACLCommandCategories[j].name)) {
          return ACLCommandCategories[j].flag;
      }
  }
  return 0; /* No match. */
221}

223/* Method for passwords/pattern comparison used for the user->passwords list
* so that we can search for items with listSearchKey(). */
225int ACLListMatchSds(void *a, void *b) {
  return sdscmp(a,b) == 0;
227}

229/* Method to free list elements from ACL users password/patterns lists. */
230void ACLListFreeSds(void *item) {
  sdsfree(item);
232}

234/* Method to duplicate list elements from ACL users password/patterns lists. */
235void *ACLListDupSds(void *item) {
  return sdsdup(item);
237}

239/* Create a new user with the specified name, store it in the list
* of users (the Users global radix tree), and returns a reference to
* the structure representing the user.
*
* If the user with such name already exists NULL is returned. */
244user *ACLCreateUser(const char *name, size_t namelen) {
  if (raxFind(Users,(unsigned char*)name,namelen) != raxNotFound) return NULL((void*)0);
  user *u = zmalloc(sizeof(*u));
  u->name = sdsnewlen(name,namelen);
  u->flags = USER_FLAG_DISABLED(1<<1) | server.acl_pubusub_default;
  u->allowed_subcommands = NULL((void*)0);
  u->passwords = listCreate();
  u->patterns = listCreate();
  u->channels = listCreate();
  listSetMatchMethod(u->passwords,ACLListMatchSds)((u->passwords)->match = (ACLListMatchSds));
  listSetFreeMethod(u->passwords,ACLListFreeSds)((u->passwords)->free = (ACLListFreeSds));
  listSetDupMethod(u->passwords,ACLListDupSds)((u->passwords)->dup = (ACLListDupSds));
  listSetMatchMethod(u->patterns,ACLListMatchSds)((u->patterns)->match = (ACLListMatchSds));
  listSetFreeMethod(u->patterns,ACLListFreeSds)((u->patterns)->free = (ACLListFreeSds));
  listSetDupMethod(u->patterns,ACLListDupSds)((u->patterns)->dup = (ACLListDupSds));
  listSetMatchMethod(u->channels,ACLListMatchSds)((u->channels)->match = (ACLListMatchSds));
  listSetFreeMethod(u->channels,ACLListFreeSds)((u->channels)->free = (ACLListFreeSds));
  listSetDupMethod(u->channels,ACLListDupSds)((u->channels)->dup = (ACLListDupSds));
  memset(u->allowed_commands,0,sizeof(u->allowed_commands));
  raxInsert(Users,(unsigned char*)name,namelen,u,NULL((void*)0));
  return u;
265}

267/* This function should be called when we need an unlinked "fake" user
* we can use in order to validate ACL rules or for other similar reasons.
* The user will not get linked to the Users radix tree. The returned
* user should be released with ACLFreeUser() as usually. */
271user *ACLCreateUnlinkedUser(void) {
  char username[64];
  for (int j = 0; ; j++) {
      snprintf(username,sizeof(username),"__fakeuser:%d__",j);
      user *fakeuser = ACLCreateUser(username,strlen(username));
      if (fakeuser == NULL((void*)0)) continue;
      int retval = raxRemove(Users,(unsigned char*) username,
                             strlen(username),NULL((void*)0));
      serverAssert(retval != 0)((retval != 0)?(void)0 : (_serverAssert("retval != 0","acl.c"
,279),__builtin_unreachable()));
      return fakeuser;
  }
282}

284/* Release the memory used by the user structure. Note that this function
* will not remove the user from the Users global radix tree. */
286void ACLFreeUser(user *u) {
  sdsfree(u->name);
  listRelease(u->passwords);
  listRelease(u->patterns);
  listRelease(u->channels);
  ACLResetSubcommands(u);
  zfree(u);
293}

295/* When a user is deleted we need to cycle the active
* connections in order to kill all the pending ones that
* are authenticated with such user. */
298void ACLFreeUserAndKillClients(user *u) {
  listIter li;
  listNode *ln;
  listRewind(server.clients,&li);
  while ((ln = listNext(&li)) != NULL((void*)0)) {
      client *c = listNodeValue(ln)((ln)->value);
      if (c->user == u) {
          /* We'll free the connection asynchronously, so
           * in theory to set a different user is not needed.
           * However if there are bugs in Redis, soon or later
           * this may result in some security hole: it's much
           * more defensive to set the default user and put
           * it in non authenticated mode. */
          c->user = DefaultUser;
          c->authenticated = 0;
          /* We will write replies to this client later, so we can't
           * close it directly even if async. */
          if (c == server.current_client) {
              c->flags |= CLIENT_CLOSE_AFTER_COMMAND(1ULL<<40);
          } else {
              freeClientAsync(c);
          }
      }
  }
  ACLFreeUser(u);
323}

325/* Copy the user ACL rules from the source user 'src' to the destination
* user 'dst' so that at the end of the process they'll have exactly the
* same rules (but the names will continue to be the original ones). */
328void ACLCopyUser(user *dst, user *src) {
  listRelease(dst->passwords);
  listRelease(dst->patterns);
  listRelease(dst->channels);
  dst->passwords = listDup(src->passwords);
  dst->patterns = listDup(src->patterns);
  dst->channels = listDup(src->channels);
  memcpy(dst->allowed_commands,src->allowed_commands,
         sizeof(dst->allowed_commands));
  dst->flags = src->flags;
  ACLResetSubcommands(dst);
  /* Copy the allowed subcommands array of array of SDS strings. */
  if (src->allowed_subcommands) {
      for (int j = 0; j < USER_COMMAND_BITS_COUNT1024; j++) {
          if (src->allowed_subcommands[j]) {
              for (int i = 0; src->allowed_subcommands[j][i]; i++)
              {
                  ACLAddAllowedSubcommand(dst, j,
                      src->allowed_subcommands[j][i]);
              }
          }
      }
  }
351}

353/* Free all the users registered in the radix tree 'users' and free the
* radix tree itself. */
355void ACLFreeUsersSet(rax *users) {
  raxFreeWithCallback(users,(void(*)(void*))ACLFreeUserAndKillClients);
357}

359/* Given a command ID, this function set by reference 'word' and 'bit'
* so that user->allowed_commands[word] will address the right word
* where the corresponding bit for the provided ID is stored, and
* so that user->allowed_commands[word]&bit will identify that specific
* bit. The function returns C_ERR in case the specified ID overflows
* the bitmap in the user representation. */
365int ACLGetCommandBitCoordinates(uint64_t id, uint64_t *word, uint64_t *bit) {
  if (id >= USER_COMMAND_BITS_COUNT1024) return C_ERR-1;
  *word = id / sizeof(uint64_t) / 8;
  *bit = 1ULL << (id % (sizeof(uint64_t) * 8));
  return C_OK0;
370}

372/* Check if the specified command bit is set for the specified user.
* The function returns 1 is the bit is set or 0 if it is not.
* Note that this function does not check the ALLCOMMANDS flag of the user
* but just the lowlevel bitmask.
*
* If the bit overflows the user internal representation, zero is returned
* in order to disallow the execution of the command in such edge case. */
379int ACLGetUserCommandBit(user *u, unsigned long id) {
  uint64_t word, bit;
  if (ACLGetCommandBitCoordinates(id,&word,&bit) == C_ERR-1) return 0;
  return (u->allowed_commands[word] & bit) != 0;
383}

385/* When +@all or allcommands is given, we set a reserved bit as well that we
* can later test, to see if the user has the right to execute "future commands",
* that is, commands loaded later via modules. */
388int ACLUserCanExecuteFutureCommands(user *u) {
  return ACLGetUserCommandBit(u,USER_COMMAND_BITS_COUNT1024-1);
390}

392/* Set the specified command bit for the specified user to 'value' (0 or 1).
* If the bit overflows the user internal representation, no operation
* is performed. As a side effect of calling this function with a value of
* zero, the user flag ALLCOMMANDS is cleared since it is no longer possible
* to skip the command bit explicit test. */
397void ACLSetUserCommandBit(user *u, unsigned long id, int value) {
  uint64_t word, bit;
  if (ACLGetCommandBitCoordinates(id,&word,&bit) == C_ERR-1) return;
  if (value) {
      u->allowed_commands[word] |= bit;
  } else {
      u->allowed_commands[word] &= ~bit;
      u->flags &= ~USER_FLAG_ALLCOMMANDS(1<<3);
  }
406}

408/* This is like ACLSetUserCommandBit(), but instead of setting the specified
* ID, it will check all the commands in the category specified as argument,
* and will set all the bits corresponding to such commands to the specified
* value. Since the category passed by the user may be non existing, the
* function returns C_ERR if the category was not found, or C_OK if it was
* found and the operation was performed. */
414int ACLSetUserCommandBitsForCategory(user *u, const char *category, int value) {
  uint64_t cflag = ACLGetCommandCategoryFlagByName(category);
  if (!cflag) return C_ERR-1;
  dictIterator *di = dictGetIterator(server.orig_commands);
  dictEntry *de;
  while ((de = dictNext(di)) != NULL((void*)0)) {
      struct redisCommand *cmd = dictGetVal(de)((de)->v.val);
      if (cmd->flags & CMD_MODULE(1ULL<<3)) continue; /* Ignore modules commands. */
      if (cmd->flags & cflag) {
          ACLSetUserCommandBit(u,cmd->id,value);
          ACLResetSubcommandsForCommand(u,cmd->id);
      }
  }
  dictReleaseIterator(di);
  return C_OK0;
429}

431/* Return the number of commands allowed (on) and denied (off) for the user 'u'
* in the subset of commands flagged with the specified category name.
* If the category name is not valid, C_ERR is returned, otherwise C_OK is
* returned and on and off are populated by reference. */
435int ACLCountCategoryBitsForUser(user *u, unsigned long *on, unsigned long *off,
                              const char *category)
437{
  uint64_t cflag = ACLGetCommandCategoryFlagByName(category);
  if (!cflag) return C_ERR-1;
17
←
Assuming 'cflag' is 0→
18
←
Taking true branch→
19
←
Returning without writing to '*on'→

  *on = *off = 0;
  dictIterator *di = dictGetIterator(server.orig_commands);
  dictEntry *de;
  while ((de = dictNext(di)) != NULL((void*)0)) {
      struct redisCommand *cmd = dictGetVal(de)((de)->v.val);
      if (cmd->flags & cflag) {
          if (ACLGetUserCommandBit(u,cmd->id))
              (*on)++;
          else
              (*off)++;
      }
  }
  dictReleaseIterator(di);
  return C_OK0;
455}

457/* This function returns an SDS string representing the specified user ACL
* rules related to command execution, in the same format you could set them
* back using ACL SETUSER. The function will return just the set of rules needed
* to recreate the user commands bitmap, without including other user flags such
* as on/off, passwords and so forth. The returned string always starts with
* the +@all or -@all rule, depending on the user bitmap, and is followed, if
* needed, by the other rules needed to narrow or extend what the user can do. */
464sds ACLDescribeUserCommandRules(user *u) {
  sds rules = sdsempty();
  int additive;   /* If true we start from -@all and add, otherwise if
                     false we start from +@all and remove. */

  /* This code is based on a trick: as we generate the rules, we apply
   * them to a fake user, so that as we go we still know what are the
   * bit differences we should try to address by emitting more rules. */
  user fu = {0};
  user *fakeuser = &fu;

  /* Here we want to understand if we should start with +@all and remove
   * the commands corresponding to the bits that are not set in the user
   * commands bitmap, or the contrary. Note that semantically the two are
   * different. For instance starting with +@all and subtracting, the user
   * will be able to execute future commands, while -@all and adding will just
   * allow the user the run the selected commands and/or categories.
   * How do we test for that? We use the trick of a reserved command ID bit
   * that is set only by +@all (and its alias "allcommands"). */
  if (ACLUserCanExecuteFutureCommands(u)) {
10
←
Taking true branch→
      additive = 0;
      rules = sdscat(rules,"+@all ");
      ACLSetUser(fakeuser,"+@all",-1);
  } else {
      additive = 1;
      rules = sdscat(rules,"-@all ");
      ACLSetUser(fakeuser,"-@all",-1);
  }

  /* Attempt to find a good approximation for categories and commands
   * based on the current bits used, by looping over the category list
   * and applying the best fit each time. Often a set of categories will not 
   * perfectly match the set of commands into it, so at the end we do a 
   * final pass adding/removing the single commands needed to make the bitmap
   * exactly match. A temp user is maintained to keep track of categories 
   * already applied. */
  user tu = {0};
  user *tempuser = &tu;
  
  /* Keep track of the categories that have been applied, to prevent
   * applying them twice.  */
  char applied[sizeof(ACLCommandCategories)/sizeof(ACLCommandCategories[0])];
  memset(applied, 0, sizeof(applied));

  memcpy(tempuser->allowed_commands,
      u->allowed_commands, 
      sizeof(u->allowed_commands));
  while (1) {
11
←
Loop condition is true.  Entering loop body→
      int best = -1;
      unsigned long mindiff = INT_MAX2147483647, maxsame = 0;
      for (int j = 0; ACLCommandCategories[j].flag != 0; j++) {
12
←
Assuming field 'flag' is not equal to 0→
13
←
Loop condition is true.  Entering loop body→
          if (applied[j]) continue;
14
←
Taking false branch→

          unsigned long on, off, diff, same;
15
←
'on' declared without an initial value→
          ACLCountCategoryBitsForUser(tempuser,&on,&off,ACLCommandCategories[j].name);
16
←
Calling 'ACLCountCategoryBitsForUser'→
20
←
Returning from 'ACLCountCategoryBitsForUser'→
          /* Check if the current category is the best this loop:
           * * It has more commands in common with the user than commands
           *   that are different.
           * AND EITHER
           * * It has the fewest number of differences
           *    than the best match we have found so far. 
           * * OR it matches the fewest number of differences
           *   that we've seen but it has more in common. */
          diff = additive20.1
'additive' is 0
 ? off : on;
21
←
'?' condition is false→
22
←
Assigned value is garbage or undefined
          same = additive ? on : off;
          if (same > diff && 
              ((diff < mindiff) || (diff == mindiff && same > maxsame)))
          {
              best = j;
              mindiff = diff;
              maxsame = same;
          }
      }

      /* We didn't find a match */
      if (best == -1) break;

      sds op = sdsnewlen(additive ? "+@" : "-@", 2);
      op = sdscat(op,ACLCommandCategories[best].name);
      ACLSetUser(fakeuser,op,-1);

      sds invop = sdsnewlen(additive ? "-@" : "+@", 2);
      invop = sdscat(invop,ACLCommandCategories[best].name);
      ACLSetUser(tempuser,invop,-1);

      rules = sdscatsds(rules,op);
      rules = sdscatlen(rules," ",1);
      sdsfree(op);
      sdsfree(invop);

      applied[best] = 1;
  }

  /* Fix the final ACLs with single commands differences. */
  dictIterator *di = dictGetIterator(server.orig_commands);
  dictEntry *de;
  while ((de = dictNext(di)) != NULL((void*)0)) {
      struct redisCommand *cmd = dictGetVal(de)((de)->v.val);
      int userbit = ACLGetUserCommandBit(u,cmd->id);
      int fakebit = ACLGetUserCommandBit(fakeuser,cmd->id);
      if (userbit != fakebit) {
          rules = sdscatlen(rules, userbit ? "+" : "-", 1);
          rules = sdscat(rules,cmd->name);
          rules = sdscatlen(rules," ",1);
          ACLSetUserCommandBit(fakeuser,cmd->id,userbit);
      }

      /* Emit the subcommands if there are any. */
      if (userbit == 0 && u->allowed_subcommands &&
          u->allowed_subcommands[cmd->id])
      {
          for (int j = 0; u->allowed_subcommands[cmd->id][j]; j++) {
              rules = sdscatlen(rules,"+",1);
              rules = sdscat(rules,cmd->name);
              rules = sdscatlen(rules,"|",1);
              rules = sdscatsds(rules,u->allowed_subcommands[cmd->id][j]);
              rules = sdscatlen(rules," ",1);
          }
      }
  }
  dictReleaseIterator(di);

  /* Trim the final useless space. */
  sdsrange(rules,0,-2);

  /* This is technically not needed, but we want to verify that now the
   * predicted bitmap is exactly the same as the user bitmap, and abort
   * otherwise, because aborting is better than a security risk in this
   * code path. */
  if (memcmp(fakeuser->allowed_commands,
                      u->allowed_commands,
                      sizeof(u->allowed_commands)) != 0)
  {
      serverLog(LL_WARNING3,
          "CRITICAL ERROR: User ACLs don't match final bitmap: '%s'",
          rules);
      serverPanic("No bitmap match in ACLDescribeUserCommandRules()")_serverPanic("acl.c",600,"No bitmap match in ACLDescribeUserCommandRules()"
),__builtin_unreachable();
  }
  return rules;
603}

605/* This is similar to ACLDescribeUserCommandRules(), however instead of
* describing just the user command rules, everything is described: user
* flags, keys, passwords and finally the command rules obtained via
* the ACLDescribeUserCommandRules() function. This is the function we call
* when we want to rewrite the configuration files describing ACLs and
* in order to show users with ACL LIST. */
611sds ACLDescribeUser(user *u) {
  sds res = sdsempty();

  /* Flags. */
  for (int j = 0; ACLUserFlags[j].flag; j++) {
      /* Skip the allcommands, allkeys and allchannels flags because they'll
       * be emitted later as +@all, ~* and &*. */
      if (ACLUserFlags[j].flag == USER_FLAG_ALLKEYS(1<<2) ||
          ACLUserFlags[j].flag == USER_FLAG_ALLCHANNELS(1<<5) ||
          ACLUserFlags[j].flag == USER_FLAG_ALLCOMMANDS(1<<3)) continue;
      if (u->flags & ACLUserFlags[j].flag) {
          res = sdscat(res,ACLUserFlags[j].name);
          res = sdscatlen(res," ",1);
      }
  }

  /* Passwords. */
  listIter li;
  listNode *ln;
  listRewind(u->passwords,&li);
  while((ln = listNext(&li))) {
      sds thispass = listNodeValue(ln)((ln)->value);
      res = sdscatlen(res,"#",1);
      res = sdscatsds(res,thispass);
      res = sdscatlen(res," ",1);
  }

  /* Key patterns. */
  if (u->flags & USER_FLAG_ALLKEYS(1<<2)) {
      res = sdscatlen(res,"~* ",3);
  } else {
      listRewind(u->patterns,&li);
      while((ln = listNext(&li))) {
          sds thispat = listNodeValue(ln)((ln)->value);
          res = sdscatlen(res,"~",1);
          res = sdscatsds(res,thispat);
          res = sdscatlen(res," ",1);
      }
  }

  /* Pub/sub channel patterns. */
  if (u->flags & USER_FLAG_ALLCHANNELS(1<<5)) {
      res = sdscatlen(res,"&* ",3);
  } else {
      listRewind(u->channels,&li);
      while((ln = listNext(&li))) {
          sds thispat = listNodeValue(ln)((ln)->value);
          res = sdscatlen(res,"&",1);
          res = sdscatsds(res,thispat);
          res = sdscatlen(res," ",1);
      }
  }

  /* Command rules. */
  sds rules = ACLDescribeUserCommandRules(u);
  res = sdscatsds(res,rules);
  sdsfree(rules);
  return res;
669}

671/* Get a command from the original command table, that is not affected
* by the command renaming operations: we base all the ACL work from that
* table, so that ACLs are valid regardless of command renaming. */
674struct redisCommand *ACLLookupCommand(const char *name) {
  struct redisCommand *cmd;
  sds sdsname = sdsnew(name);
  cmd = dictFetchValue(server.orig_commands, sdsname);
  sdsfree(sdsname);
  return cmd;
680}

682/* Flush the array of allowed subcommands for the specified user
* and command ID. */
684void ACLResetSubcommandsForCommand(user *u, unsigned long id) {
  if (u->allowed_subcommands && u->allowed_subcommands[id]) {
      for (int i = 0; u->allowed_subcommands[id][i]; i++)
          sdsfree(u->allowed_subcommands[id][i]);
      zfree(u->allowed_subcommands[id]);
      u->allowed_subcommands[id] = NULL((void*)0);
  }
691}

693/* Flush the entire table of subcommands. This is useful on +@all, -@all
* or similar to return back to the minimal memory usage (and checks to do)
* for the user. */
696void ACLResetSubcommands(user *u) {
  if (u->allowed_subcommands == NULL((void*)0)) return;
  for (int j = 0; j < USER_COMMAND_BITS_COUNT1024; j++) {
      if (u->allowed_subcommands[j]) {
          for (int i = 0; u->allowed_subcommands[j][i]; i++)
              sdsfree(u->allowed_subcommands[j][i]);
          zfree(u->allowed_subcommands[j]);
      }
  }
  zfree(u->allowed_subcommands);
  u->allowed_subcommands = NULL((void*)0);
707}

709/* Add a subcommand to the list of subcommands for the user 'u' and
* the command id specified. */
711void ACLAddAllowedSubcommand(user *u, unsigned long id, const char *sub) {
  /* If this is the first subcommand to be configured for
   * this user, we have to allocate the subcommands array. */
  if (u->allowed_subcommands == NULL((void*)0)) {
      u->allowed_subcommands = zcalloc(USER_COMMAND_BITS_COUNT1024 *
                               sizeof(sds*));
  }

  /* We also need to enlarge the allocation pointing to the
   * null terminated SDS array, to make space for this one.
   * To start check the current size, and while we are here
   * make sure the subcommand is not already specified inside. */
  long items = 0;
  if (u->allowed_subcommands[id]) {
      while(u->allowed_subcommands[id][items]) {
          /* If it's already here do not add it again. */
          if (!strcasecmp(u->allowed_subcommands[id][items],sub)) return;
          items++;
      }
  }

  /* Now we can make space for the new item (and the null term). */
  items += 2;
  u->allowed_subcommands[id] = zrealloc(u->allowed_subcommands[id],
                               sizeof(sds)*items);
  u->allowed_subcommands[id][items-2] = sdsnew(sub);
  u->allowed_subcommands[id][items-1] = NULL((void*)0);
738}

740/* Set user properties according to the string "op". The following
* is a description of what different strings will do:
*
* on           Enable the user: it is possible to authenticate as this user.
* off          Disable the user: it's no longer possible to authenticate
*              with this user, however the already authenticated connections
*              will still work.
* +<command>   Allow the execution of that command
* -<command>   Disallow the execution of that command
* +@<category> Allow the execution of all the commands in such category
*              with valid categories are like @admin, @set, @sortedset, ...
*              and so forth, see the full list in the server.c file where
*              the Redis command table is described and defined.
*              The special category @all means all the commands, but currently
*              present in the server, and that will be loaded in the future
*              via modules.
* +<command>|subcommand    Allow a specific subcommand of an otherwise
*                          disabled command. Note that this form is not
*                          allowed as negative like -DEBUG|SEGFAULT, but
*                          only additive starting with "+".
* allcommands  Alias for +@all. Note that it implies the ability to execute
*              all the future commands loaded via the modules system.
* nocommands   Alias for -@all.
* ~<pattern>   Add a pattern of keys that can be mentioned as part of
*              commands. For instance ~* allows all the keys. The pattern
*              is a glob-style pattern like the one of KEYS.
*              It is possible to specify multiple patterns.
* allkeys      Alias for ~*
* resetkeys    Flush the list of allowed keys patterns.
* &<pattern>   Add a pattern of channels that can be mentioned as part of
*              Pub/Sub commands. For instance &* allows all the channels. The
*              pattern is a glob-style pattern like the one of PSUBSCRIBE.
*              It is possible to specify multiple patterns.
* allchannels              Alias for &*
* resetchannels            Flush the list of allowed keys patterns.
* ><password>  Add this password to the list of valid password for the user.
*              For example >mypass will add "mypass" to the list.
*              This directive clears the "nopass" flag (see later).
* #<hash>      Add this password hash to the list of valid hashes for
*              the user. This is useful if you have previously computed
*              the hash, and don't want to store it in plaintext.
*              This directive clears the "nopass" flag (see later).
* <<password>  Remove this password from the list of valid passwords.
* !<hash>      Remove this hashed password from the list of valid passwords.
*              This is useful when you want to remove a password just by
*              hash without knowing its plaintext version at all.
* nopass       All the set passwords of the user are removed, and the user
*              is flagged as requiring no password: it means that every
*              password will work against this user. If this directive is
*              used for the default user, every new connection will be
*              immediately authenticated with the default user without
*              any explicit AUTH command required. Note that the "resetpass"
*              directive will clear this condition.
* resetpass    Flush the list of allowed passwords. Moreover removes the
*              "nopass" status. After "resetpass" the user has no associated
*              passwords and there is no way to authenticate without adding
*              some password (or setting it as "nopass" later).
* reset        Performs the following actions: resetpass, resetkeys, off,
*              -@all. The user returns to the same state it has immediately
*              after its creation.
*
* The 'op' string must be null terminated. The 'oplen' argument should
* specify the length of the 'op' string in case the caller requires to pass
* binary data (for instance the >password form may use a binary password).
* Otherwise the field can be set to -1 and the function will use strlen()
* to determine the length.
*
* The function returns C_OK if the action to perform was understood because
* the 'op' string made sense. Otherwise C_ERR is returned if the operation
* is unknown or has some syntax error.
*
* When an error is returned, errno is set to the following values:
*
* EINVAL: The specified opcode is not understood or the key/channel pattern is
*         invalid (contains non allowed characters).
* ENOENT: The command name or command category provided with + or - is not
*         known.
* EEXIST: You are adding a key pattern after "*" was already added. This is
*         almost surely an error on the user side.
* EISDIR: You are adding a channel pattern after "*" was already added. This is
*         almost surely an error on the user side.
* ENODEV: The password you are trying to remove from the user does not exist.
* EBADMSG: The hash you are trying to add is not a valid hash.
*/
824int ACLSetUser(user *u, const char *op, ssize_t oplen) {
  if (oplen == -1) oplen = strlen(op);
  if (oplen == 0) return C_OK0; /* Empty string is a no-operation. */
  if (!strcasecmp(op,"on")) {
      u->flags |= USER_FLAG_ENABLED(1<<0);
      u->flags &= ~USER_FLAG_DISABLED(1<<1);
  } else if (!strcasecmp(op,"off")) {
      u->flags |= USER_FLAG_DISABLED(1<<1);
      u->flags &= ~USER_FLAG_ENABLED(1<<0);
  } else if (!strcasecmp(op,"skip-sanitize-payload")) {
      u->flags |= USER_FLAG_SANITIZE_PAYLOAD_SKIP(1<<7);
      u->flags &= ~USER_FLAG_SANITIZE_PAYLOAD(1<<6);
  } else if (!strcasecmp(op,"sanitize-payload")) {
      u->flags &= ~USER_FLAG_SANITIZE_PAYLOAD_SKIP(1<<7);
      u->flags |= USER_FLAG_SANITIZE_PAYLOAD(1<<6);
  } else if (!strcasecmp(op,"allkeys") ||
             !strcasecmp(op,"~*"))
  {
      u->flags |= USER_FLAG_ALLKEYS(1<<2);
      listEmpty(u->patterns);
  } else if (!strcasecmp(op,"resetkeys")) {
      u->flags &= ~USER_FLAG_ALLKEYS(1<<2);
      listEmpty(u->patterns);
  } else if (!strcasecmp(op,"allchannels") ||
             !strcasecmp(op,"&*"))
  {
      u->flags |= USER_FLAG_ALLCHANNELS(1<<5);
      listEmpty(u->channels);
  } else if (!strcasecmp(op,"resetchannels")) {
      u->flags &= ~USER_FLAG_ALLCHANNELS(1<<5);
      listEmpty(u->channels);
  } else if (!strcasecmp(op,"allcommands") ||
             !strcasecmp(op,"+@all"))
  {
      memset(u->allowed_commands,255,sizeof(u->allowed_commands));
      u->flags |= USER_FLAG_ALLCOMMANDS(1<<3);
      ACLResetSubcommands(u);
  } else if (!strcasecmp(op,"nocommands") ||
             !strcasecmp(op,"-@all"))
  {
      memset(u->allowed_commands,0,sizeof(u->allowed_commands));
      u->flags &= ~USER_FLAG_ALLCOMMANDS(1<<3);
      ACLResetSubcommands(u);
  } else if (!strcasecmp(op,"nopass")) {
      u->flags |= USER_FLAG_NOPASS(1<<4);
      listEmpty(u->passwords);
  } else if (!strcasecmp(op,"resetpass")) {
      u->flags &= ~USER_FLAG_NOPASS(1<<4);
      listEmpty(u->passwords);
  } else if (op[0] == '>' || op[0] == '#') {
      sds newpass;
      if (op[0] == '>') {
          newpass = ACLHashPassword((unsigned char*)op+1,oplen-1);
      } else {
          if (ACLCheckPasswordHash((unsigned char*)op+1,oplen-1) == C_ERR-1) {
              errno(*__errno_location ()) = EBADMSG74;
              return C_ERR-1;
          }
          newpass = sdsnewlen(op+1,oplen-1);
      }

      listNode *ln = listSearchKey(u->passwords,newpass);
      /* Avoid re-adding the same password multiple times. */
      if (ln == NULL((void*)0))
          listAddNodeTail(u->passwords,newpass);
      else
          sdsfree(newpass);
      u->flags &= ~USER_FLAG_NOPASS(1<<4);
  } else if (op[0] == '<' || op[0] == '!') {
      sds delpass;
      if (op[0] == '<') {
          delpass = ACLHashPassword((unsigned char*)op+1,oplen-1);
      } else {
          if (ACLCheckPasswordHash((unsigned char*)op+1,oplen-1) == C_ERR-1) {
              errno(*__errno_location ()) = EBADMSG74;
              return C_ERR-1;
          }
          delpass = sdsnewlen(op+1,oplen-1);
      }
      listNode *ln = listSearchKey(u->passwords,delpass);
      sdsfree(delpass);
      if (ln) {
          listDelNode(u->passwords,ln);
      } else {
          errno(*__errno_location ()) = ENODEV19;
          return C_ERR-1;
      }
  } else if (op[0] == '~') {
      if (u->flags & USER_FLAG_ALLKEYS(1<<2)) {
          errno(*__errno_location ()) = EEXIST17;
          return C_ERR-1;
      }
      if (ACLStringHasSpaces(op+1,oplen-1)) {
          errno(*__errno_location ()) = EINVAL22;
          return C_ERR-1;
      }
      sds newpat = sdsnewlen(op+1,oplen-1);
      listNode *ln = listSearchKey(u->patterns,newpat);
      /* Avoid re-adding the same key pattern multiple times. */
      if (ln == NULL((void*)0))
          listAddNodeTail(u->patterns,newpat);
      else
          sdsfree(newpat);
      u->flags &= ~USER_FLAG_ALLKEYS(1<<2);
  } else if (op[0] == '&') {
      if (u->flags & USER_FLAG_ALLCHANNELS(1<<5)) {
          errno(*__errno_location ()) = EISDIR21;
          return C_ERR-1;
      }
      if (ACLStringHasSpaces(op+1,oplen-1)) {
          errno(*__errno_location ()) = EINVAL22;
          return C_ERR-1;
      }
      sds newpat = sdsnewlen(op+1,oplen-1);
      listNode *ln = listSearchKey(u->channels,newpat);
      /* Avoid re-adding the same channel pattern multiple times. */
      if (ln == NULL((void*)0))
          listAddNodeTail(u->channels,newpat);
      else
          sdsfree(newpat);
      u->flags &= ~USER_FLAG_ALLCHANNELS(1<<5);
  } else if (op[0] == '+' && op[1] != '@') {
      if (strchr(op,'|') == NULL((void*)0)) {
          if (ACLLookupCommand(op+1) == NULL((void*)0)) {
              errno(*__errno_location ()) = ENOENT2;
              return C_ERR-1;
          }
          unsigned long id = ACLGetCommandID(op+1);
          ACLSetUserCommandBit(u,id,1);
          ACLResetSubcommandsForCommand(u,id);
      } else {
          /* Split the command and subcommand parts. */
          char *copy = zstrdup(op+1);
          char *sub = strchr(copy,'|');
          sub[0] = '\0';
          sub++;

          /* Check if the command exists. We can't check the
           * subcommand to see if it is valid. */
          if (ACLLookupCommand(copy) == NULL((void*)0)) {
              zfree(copy);
              errno(*__errno_location ()) = ENOENT2;
              return C_ERR-1;
          }

          /* The subcommand cannot be empty, so things like DEBUG|
           * are syntax errors of course. */
          if (strlen(sub) == 0) {
              zfree(copy);
              errno(*__errno_location ()) = EINVAL22;
              return C_ERR-1;
          }

          unsigned long id = ACLGetCommandID(copy);
          /* Add the subcommand to the list of valid ones, if the command is not set. */
          if (ACLGetUserCommandBit(u,id) == 0) {
              ACLAddAllowedSubcommand(u,id,sub);
          }

          zfree(copy);
      }
  } else if (op[0] == '-' && op[1] != '@') {
      if (ACLLookupCommand(op+1) == NULL((void*)0)) {
          errno(*__errno_location ()) = ENOENT2;
          return C_ERR-1;
      }
      unsigned long id = ACLGetCommandID(op+1);
      ACLSetUserCommandBit(u,id,0);
      ACLResetSubcommandsForCommand(u,id);
  } else if ((op[0] == '+' || op[0] == '-') && op[1] == '@') {
      int bitval = op[0] == '+' ? 1 : 0;
      if (ACLSetUserCommandBitsForCategory(u,op+2,bitval) == C_ERR-1) {
          errno(*__errno_location ()) = ENOENT2;
          return C_ERR-1;
      }
  } else if (!strcasecmp(op,"reset")) {
      serverAssert(ACLSetUser(u,"resetpass",-1) == C_OK)((ACLSetUser(u,"resetpass",-1) == 0)?(void)0 : (_serverAssert
("ACLSetUser(u,\"resetpass\",-1) == C_OK","acl.c",1000),__builtin_unreachable
()));
      serverAssert(ACLSetUser(u,"resetkeys",-1) == C_OK)((ACLSetUser(u,"resetkeys",-1) == 0)?(void)0 : (_serverAssert
("ACLSetUser(u,\"resetkeys\",-1) == C_OK","acl.c",1001),__builtin_unreachable
()));
      serverAssert(ACLSetUser(u,"resetchannels",-1) == C_OK)((ACLSetUser(u,"resetchannels",-1) == 0)?(void)0 : (_serverAssert
("ACLSetUser(u,\"resetchannels\",-1) == C_OK","acl.c",1002),__builtin_unreachable
()));
      serverAssert(ACLSetUser(u,"off",-1) == C_OK)((ACLSetUser(u,"off",-1) == 0)?(void)0 : (_serverAssert("ACLSetUser(u,\"off\",-1) == C_OK"
,"acl.c",1003),__builtin_unreachable()));
      serverAssert(ACLSetUser(u,"sanitize-payload",-1) == C_OK)((ACLSetUser(u,"sanitize-payload",-1) == 0)?(void)0 : (_serverAssert
("ACLSetUser(u,\"sanitize-payload\",-1) == C_OK","acl.c",1004
),__builtin_unreachable()));
      serverAssert(ACLSetUser(u,"-@all",-1) == C_OK)((ACLSetUser(u,"-@all",-1) == 0)?(void)0 : (_serverAssert("ACLSetUser(u,\"-@all\",-1) == C_OK"
,"acl.c",1005),__builtin_unreachable()));
  } else {
      errno(*__errno_location ()) = EINVAL22;
      return C_ERR-1;
  }
  return C_OK0;
1011}

1013/* Return a description of the error that occurred in ACLSetUser() according to
* the errno value set by the function on error. */
1015const char *ACLSetUserStringError(void) {
  const char *errmsg = "Wrong format";
  if (errno(*__errno_location ()) == ENOENT2)
      errmsg = "Unknown command or category name in ACL";
  else if (errno(*__errno_location ()) == EINVAL22)
      errmsg = "Syntax error";
  else if (errno(*__errno_location ()) == EEXIST17)
      errmsg = "Adding a pattern after the * pattern (or the "
               "'allkeys' flag) is not valid and does not have any "
               "effect. Try 'resetkeys' to start with an empty "
               "list of patterns";
  else if (errno(*__errno_location ()) == EISDIR21)
      errmsg = "Adding a pattern after the * pattern (or the "
               "'allchannels' flag) is not valid and does not have any "
               "effect. Try 'resetchannels' to start with an empty "
               "list of channels";
  else if (errno(*__errno_location ()) == ENODEV19)
      errmsg = "The password you are trying to remove from the user does "
               "not exist";
  else if (errno(*__errno_location ()) == EBADMSG74)
      errmsg = "The password hash must be exactly 64 characters and contain "
               "only lowercase hexadecimal characters";
  return errmsg;
1038}

1040/* Initialize the default user, that will always exist for all the process
* lifetime. */
1042void ACLInitDefaultUser(void) {
  DefaultUser = ACLCreateUser("default",7);
  ACLSetUser(DefaultUser,"+@all",-1);
  ACLSetUser(DefaultUser,"~*",-1);
  ACLSetUser(DefaultUser,"&*",-1);
  ACLSetUser(DefaultUser,"on",-1);
  ACLSetUser(DefaultUser,"nopass",-1);
1049}

1051/* Initialization of the ACL subsystem. */
1052void ACLInit(void) {
  Users = raxNew();
  UsersToLoad = listCreate();
  ACLLog = listCreate();
  ACLInitDefaultUser();
1057}

1059/* Check the username and password pair and return C_OK if they are valid,
* otherwise C_ERR is returned and errno is set to:
*
*  EINVAL: if the username-password do not match.
*  ENONENT: if the specified user does not exist at all.
*/
1065int ACLCheckUserCredentials(robj *username, robj *password) {
  user *u = ACLGetUserByName(username->ptr,sdslen(username->ptr));
  if (u == NULL((void*)0)) {
      errno(*__errno_location ()) = ENOENT2;
      return C_ERR-1;
  }

  /* Disabled users can't login. */
  if (u->flags & USER_FLAG_DISABLED(1<<1)) {
      errno(*__errno_location ()) = EINVAL22;
      return C_ERR-1;
  }

  /* If the user is configured to don't require any password, we
   * are already fine here. */
  if (u->flags & USER_FLAG_NOPASS(1<<4)) return C_OK0;

  /* Check all the user passwords for at least one to match. */
  listIter li;
  listNode *ln;
  listRewind(u->passwords,&li);
  sds hashed = ACLHashPassword(password->ptr,sdslen(password->ptr));
  while((ln = listNext(&li))) {
      sds thispass = listNodeValue(ln)((ln)->value);
      if (!time_independent_strcmp(hashed, thispass)) {
          sdsfree(hashed);
          return C_OK0;
      }
  }
  sdsfree(hashed);

  /* If we reached this point, no password matched. */
  errno(*__errno_location ()) = EINVAL22;
  return C_ERR-1;
1099}

1101/* This is like ACLCheckUserCredentials(), however if the user/pass
* are correct, the connection is put in authenticated state and the
* connection user reference is populated.
*
* The return value is C_OK or C_ERR with the same meaning as
* ACLCheckUserCredentials(). */
1107int ACLAuthenticateUser(client *c, robj *username, robj *password) {
  if (ACLCheckUserCredentials(username,password) == C_OK0) {
      c->authenticated = 1;
      c->user = ACLGetUserByName(username->ptr,sdslen(username->ptr));
      moduleNotifyUserChanged(c);
      return C_OK0;
  } else {
      addACLLogEntry(c,ACL_DENIED_AUTH3,0,username->ptr);
      return C_ERR-1;
  }
1117}

1119/* For ACL purposes, every user has a bitmap with the commands that such
* user is allowed to execute. In order to populate the bitmap, every command
* should have an assigned ID (that is used to index the bitmap). This function
* creates such an ID: it uses sequential IDs, reusing the same ID for the same
* command name, so that a command retains the same ID in case of modules that
* are unloaded and later reloaded. */
1125unsigned long ACLGetCommandID(const char *cmdname) {

  sds lowername = sdsnew(cmdname);
  sdstolower(lowername);
  if (commandId == NULL((void*)0)) commandId = raxNew();
  void *id = raxFind(commandId,(unsigned char*)lowername,sdslen(lowername));
  if (id != raxNotFound) {
      sdsfree(lowername);
      return (unsigned long)id;
  }
  raxInsert(commandId,(unsigned char*)lowername,strlen(lowername),
            (void*)nextid,NULL((void*)0));
  sdsfree(lowername);
  unsigned long thisid = nextid;
  nextid++;

  /* We never assign the last bit in the user commands bitmap structure,
   * this way we can later check if this bit is set, understanding if the
   * current ACL for the user was created starting with a +@all to add all
   * the possible commands and just subtracting other single commands or
   * categories, or if, instead, the ACL was created just adding commands
   * and command categories from scratch, not allowing future commands by
   * default (loaded via modules). This is useful when rewriting the ACLs
   * with ACL SAVE. */
  if (nextid == USER_COMMAND_BITS_COUNT1024-1) nextid++;
  return thisid;
1151}

1153/* Clear command id table and reset nextid to 0. */
1154void ACLClearCommandID(void) {
  if (commandId) raxFree(commandId);
  commandId = NULL((void*)0);
  nextid = 0;
1158}

1160/* Return an username by its name, or NULL if the user does not exist. */
1161user *ACLGetUserByName(const char *name, size_t namelen) {
  void *myuser = raxFind(Users,(unsigned char*)name,namelen);
  if (myuser == raxNotFound) return NULL((void*)0);
  return myuser;
1165}

1167/* Check if the command is ready to be executed in the client 'c', already
* referenced by c->cmd, and can be executed by this client according to the
* ACLs associated to the client user c->user.
*
* If the user can execute the command ACL_OK is returned, otherwise
* ACL_DENIED_CMD or ACL_DENIED_KEY is returned: the first in case the
* command cannot be executed because the user is not allowed to run such
* command, the second if the command is denied because the user is trying
* to access keys that are not among the specified patterns. */
1176int ACLCheckCommandPerm(client *c, int *keyidxptr) {
  user *u = c->user;
  uint64_t id = c->cmd->id;

  /* If there is no associated user, the connection can run anything. */
  if (u == NULL((void*)0)) return ACL_OK0;

  /* Check if the user can execute this command. */
  if (!(u->flags & USER_FLAG_ALLCOMMANDS(1<<3)) &&
      c->cmd->proc != authCommand)
  {
      /* If the bit is not set we have to check further, in case the
       * command is allowed just with that specific subcommand. */
      if (ACLGetUserCommandBit(u,id) == 0) {
          /* Check if the subcommand matches. */
          if (c->argc < 2 ||
              u->allowed_subcommands == NULL((void*)0) ||
              u->allowed_subcommands[id] == NULL((void*)0))
          {
              return ACL_DENIED_CMD1;
          }

          long subid = 0;
          while (1) {
              if (u->allowed_subcommands[id][subid] == NULL((void*)0))
                  return ACL_DENIED_CMD1;
              if (!strcasecmp(c->argv[1]->ptr,
                              u->allowed_subcommands[id][subid]))
                  break; /* Subcommand match found. Stop here. */
              subid++;
          }
      }
  }

  /* Check if the user can execute commands explicitly touching the keys
   * mentioned in the command arguments. */
  if (!(c->user->flags & USER_FLAG_ALLKEYS(1<<2)) &&
      (c->cmd->getkeys_proc || c->cmd->firstkey))
  {
      getKeysResult result = GETKEYS_RESULT_INIT{ {0}, ((void*)0), 0, 256 };
      int numkeys = getKeysFromCommand(c->cmd,c->argv,c->argc,&result);
      int *keyidx = result.keys;
      for (int j = 0; j < numkeys; j++) {
          listIter li;
          listNode *ln;
          listRewind(u->patterns,&li);

          /* Test this key against every pattern. */
          int match = 0;
          while((ln = listNext(&li))) {
              sds pattern = listNodeValue(ln)((ln)->value);
              size_t plen = sdslen(pattern);
              int idx = keyidx[j];
              if (stringmatchlen(pattern,plen,c->argv[idx]->ptr,
                                 sdslen(c->argv[idx]->ptr),0))
              {
                  match = 1;
                  break;
              }
          }
          if (!match) {
              if (keyidxptr) *keyidxptr = keyidx[j];
              getKeysFreeResult(&result);
              return ACL_DENIED_KEY2;
          }
      }
      getKeysFreeResult(&result);
  }

  /* If we survived all the above checks, the user can execute the
   * command. */
  return ACL_OK0;
1248}

1250/* Check if the provided channel is whitelisted by the given allowed channels
* list. Glob-style pattern matching is employed, unless the literal flag is
* set. Returns ACL_OK if access is granted or ACL_DENIED_CHANNEL otherwise. */
1253int ACLCheckPubsubChannelPerm(sds channel, list *allowed, int literal) {
  listIter li;
  listNode *ln;
  size_t clen = sdslen(channel);
  int match = 0;

  listRewind(allowed,&li);
  while((ln = listNext(&li))) {
      sds pattern = listNodeValue(ln)((ln)->value);
      size_t plen = sdslen(pattern);

      if ((literal && !sdscmp(pattern,channel)) || 
          (!literal && stringmatchlen(pattern,plen,channel,clen,0)))
      {
          match = 1;
          break;
      }
  }
  if (!match) {
      return ACL_DENIED_CHANNEL4;
  }
  return ACL_OK0;
1275}

1277/* Check if the user's existing pub/sub clients violate the ACL pub/sub
* permissions specified via the upcoming argument, and kill them if so. */
1279void ACLKillPubsubClientsIfNeeded(user *u, list *upcoming) {
  listIter li, lpi;
  listNode *ln, *lpn;
  robj *o;
  int kill = 0;
  
  /* Nothing to kill when the upcoming are a literal super set of the original
   * permissions. */
  listRewind(u->channels,&li);
  while (!kill && ((ln = listNext(&li)) != NULL((void*)0))) {
      sds pattern = listNodeValue(ln)((ln)->value);
      kill = (ACLCheckPubsubChannelPerm(pattern,upcoming,1) ==
              ACL_DENIED_CHANNEL4);
  }
  if (!kill) return;

  /* Scan all connected clients to find the user's pub/subs. */
  listRewind(server.clients,&li);
  while ((ln = listNext(&li)) != NULL((void*)0)) {
      client *c = listNodeValue(ln)((ln)->value);
      kill = 0;

      if (c->user == u && getClientType(c) == CLIENT_TYPE_PUBSUB2) {
          /* Check for pattern violations. */
          listRewind(c->pubsub_patterns,&lpi);
          while (!kill && ((lpn = listNext(&lpi)) != NULL((void*)0))) {
              o = lpn->value;
              kill = (ACLCheckPubsubChannelPerm(o->ptr,upcoming,1) == 
                      ACL_DENIED_CHANNEL4);
          }
          /* Check for channel violations. */
          if (!kill) {
              dictIterator *di = dictGetIterator(c->pubsub_channels);
              dictEntry *de;                
              while (!kill && ((de = dictNext(di)) != NULL((void*)0))) {
                  o = dictGetKey(de)((de)->key);
                  kill = (ACLCheckPubsubChannelPerm(o->ptr,upcoming,0) ==
                          ACL_DENIED_CHANNEL4);
              }
              dictReleaseIterator(di);
          }

          /* Kill it. */
          if (kill) {
              freeClient(c);
          }
      }
  }
1327}

1329/* Check if the pub/sub channels of the command, that's ready to be executed in
* the client 'c', can be executed by this client according to the ACLs channels
* associated to the client user c->user.
* 
* idx and count are the index and count of channel arguments from the
* command. The literal argument controls whether the user's ACL channels are 
* evaluated as literal values or matched as glob-like patterns.
*
* If the user can execute the command ACL_OK is returned, otherwise 
* ACL_DENIED_CHANNEL. */
1339int ACLCheckPubsubPerm(client *c, int idx, int count, int literal, int *idxptr) {
  user *u = c->user;

  /* If there is no associated user, the connection can run anything. */
  if (u == NULL((void*)0)) return ACL_OK0;

  /* Check if the user can access the channels mentioned in the command's
   * arguments. */
  if (!(c->user->flags & USER_FLAG_ALLCHANNELS(1<<5))) {
      for (int j = idx; j < idx+count; j++) {
          if (ACLCheckPubsubChannelPerm(c->argv[j]->ptr,u->channels,literal)
              != ACL_OK0) {
              if (idxptr) *idxptr = j;
              return ACL_DENIED_CHANNEL4;
          }
      }
  }

  /* If we survived all the above checks, the user can execute the
   * command. */
  return ACL_OK0;

1361}

1363/* =============================================================================
* ACL loading / saving functions
* ==========================================================================*/

1367/* Given an argument vector describing a user in the form:
*
*      user <username> ... ACL rules and flags ...
*
* this function validates, and if the syntax is valid, appends
* the user definition to a list for later loading.
*
* The rules are tested for validity and if there obvious syntax errors
* the function returns C_ERR and does nothing, otherwise C_OK is returned
* and the user is appended to the list.
*
* Note that this function cannot stop in case of commands that are not found
* and, in that case, the error will be emitted later, because certain
* commands may be defined later once modules are loaded.
*
* When an error is detected and C_ERR is returned, the function populates
* by reference (if not set to NULL) the argc_err argument with the index
* of the argv vector that caused the error. */
1385int ACLAppendUserForLoading(sds *argv, int argc, int *argc_err) {
  if (argc < 2 || strcasecmp(argv[0],"user")) {
      if (argc_err) *argc_err = 0;
      return C_ERR-1;
  }

  /* Try to apply the user rules in a fake user to see if they
   * are actually valid. */
  user *fakeuser = ACLCreateUnlinkedUser();

  for (int j = 2; j < argc; j++) {
      if (ACLSetUser(fakeuser,argv[j],sdslen(argv[j])) == C_ERR-1) {
          if (errno(*__errno_location ()) != ENOENT2) {
              ACLFreeUser(fakeuser);
              if (argc_err) *argc_err = j;
              return C_ERR-1;
          }
      }
  }

  /* Rules look valid, let's append the user to the list. */
  sds *copy = zmalloc(sizeof(sds)*argc);
  for (int j = 1; j < argc; j++) copy[j-1] = sdsdup(argv[j]);
  copy[argc-1] = NULL((void*)0);
  listAddNodeTail(UsersToLoad,copy);
  ACLFreeUser(fakeuser);
  return C_OK0;
1412}

1414/* This function will load the configured users appended to the server
* configuration via ACLAppendUserForLoading(). On loading errors it will
* log an error and return C_ERR, otherwise C_OK will be returned. */
1417int ACLLoadConfiguredUsers(void) {
  listIter li;
  listNode *ln;
  listRewind(UsersToLoad,&li);
  while ((ln = listNext(&li)) != NULL((void*)0)) {
      sds *aclrules = listNodeValue(ln)((ln)->value);
      sds username = aclrules[0];

      if (ACLStringHasSpaces(aclrules[0],sdslen(aclrules[0]))) {
          serverLog(LL_WARNING3,"Spaces not allowed in ACL usernames");
          return C_ERR-1;
      }

      user *u = ACLCreateUser(username,sdslen(username));
      if (!u) {
          u = ACLGetUserByName(username,sdslen(username));
          serverAssert(u != NULL)((u != ((void*)0))?(void)0 : (_serverAssert("u != NULL","acl.c"
,1433),__builtin_unreachable()));
          ACLSetUser(u,"reset",-1);
      }

      /* Load every rule defined for this user. */
      for (int j = 1; aclrules[j]; j++) {
          if (ACLSetUser(u,aclrules[j],sdslen(aclrules[j])) != C_OK0) {
              const char *errmsg = ACLSetUserStringError();
              serverLog(LL_WARNING3,"Error loading ACL rule '%s' for "
                                   "the user named '%s': %s",
                        aclrules[j],aclrules[0],errmsg);
              return C_ERR-1;
          }
      }

      /* Having a disabled user in the configuration may be an error,
       * warn about it without returning any error to the caller. */
      if (u->flags & USER_FLAG_DISABLED(1<<1)) {
          serverLog(LL_NOTICE2, "The user '%s' is disabled (there is no "
                               "'on' modifier in the user description). Make "
                               "sure this is not a configuration error.",
                    aclrules[0]);
      }
  }
  return C_OK0;
1458}

1460/* This function loads the ACL from the specified filename: every line
* is validated and should be either empty or in the format used to specify
* users in the redis.conf configuration or in the ACL file, that is:
*
*  user <username> ... rules ...
*
* Note that this function considers comments starting with '#' as errors
* because the ACL file is meant to be rewritten, and comments would be
* lost after the rewrite. Yet empty lines are allowed to avoid being too
* strict.
*
* One important part of implementing ACL LOAD, that uses this function, is
* to avoid ending with broken rules if the ACL file is invalid for some
* reason, so the function will attempt to validate the rules before loading
* each user. For every line that will be found broken the function will
* collect an error message.
*
* IMPORTANT: If there is at least a single error, nothing will be loaded
* and the rules will remain exactly as they were.
*
* At the end of the process, if no errors were found in the whole file then
* NULL is returned. Otherwise an SDS string describing in a single line
* a description of all the issues found is returned. */
1483sds ACLLoadFromFile(const char *filename) {
  FILE *fp;
  char buf[1024];

  /* Open the ACL file. */
  if ((fp = fopen(filename,"r")) == NULL((void*)0)) {
      sds errors = sdscatprintf(sdsempty(),
          "Error loading ACLs, opening file '%s': %s",
          filename, strerror(errno(*__errno_location ())));
      return errors;
  }

  /* Load the whole file as a single string in memory. */
  sds acls = sdsempty();
  while(fgets(buf,sizeof(buf),fp) != NULL((void*)0))
      acls = sdscat(acls,buf);
  fclose(fp);

  /* Split the file into lines and attempt to load each line. */
  int totlines;
  sds *lines, errors = sdsempty();
  lines = sdssplitlen(acls,strlen(acls),"\n",1,&totlines);
  sdsfree(acls);

  /* We need a fake user to validate the rules before making changes
   * to the real user mentioned in the ACL line. */
  user *fakeuser = ACLCreateUnlinkedUser();

  /* We do all the loading in a fresh instance of the Users radix tree,
   * so if there are errors loading the ACL file we can rollback to the
   * old version. */
  rax *old_users = Users;
  user *old_default_user = DefaultUser;
  Users = raxNew();
  ACLInitDefaultUser();

  /* Load each line of the file. */
  for (int i = 0; i < totlines; i++) {
      sds *argv;
      int argc;
      int linenum = i+1;

      lines[i] = sdstrim(lines[i]," \t\r\n");

      /* Skip blank lines */
      if (lines[i][0] == '\0') continue;

      /* Split into arguments */
      argv = sdssplitlen(lines[i],sdslen(lines[i])," ",1,&argc);
      if (argv == NULL((void*)0)) {
          errors = sdscatprintf(errors,
                   "%s:%d: unbalanced quotes in acl line. ",
                   server.acl_filename, linenum);
          continue;
      }

      /* Skip this line if the resulting command vector is empty. */
      if (argc == 0) {
          sdsfreesplitres(argv,argc);
          continue;
      }

      /* The line should start with the "user" keyword. */
      if (strcmp(argv[0],"user") || argc < 2) {
          errors = sdscatprintf(errors,
                   "%s:%d should start with user keyword followed "
                   "by the username. ", server.acl_filename,
                   linenum);
          sdsfreesplitres(argv,argc);
          continue;
      }

      /* Spaces are not allowed in usernames. */
      if (ACLStringHasSpaces(argv[1],sdslen(argv[1]))) {
          errors = sdscatprintf(errors,
                   "'%s:%d: username '%s' contains invalid characters. ",
                   server.acl_filename, linenum, argv[1]);
          sdsfreesplitres(argv,argc);
          continue;
      }

      /* Try to process the line using the fake user to validate if
       * the rules are able to apply cleanly. At this stage we also
       * trim trailing spaces, so that we don't have to handle that
       * in ACLSetUser(). */
      ACLSetUser(fakeuser,"reset",-1);
      int j;
      for (j = 2; j < argc; j++) {
          argv[j] = sdstrim(argv[j],"\t\r\n");
          if (ACLSetUser(fakeuser,argv[j],sdslen(argv[j])) != C_OK0) {
              const char *errmsg = ACLSetUserStringError();
              errors = sdscatprintf(errors,
                       "%s:%d: %s. ",
                       server.acl_filename, linenum, errmsg);
              continue;
          }
      }

      /* Apply the rule to the new users set only if so far there
       * are no errors, otherwise it's useless since we are going
       * to discard the new users set anyway. */
      if (sdslen(errors) != 0) {
          sdsfreesplitres(argv,argc);
          continue;
      }

      /* We can finally lookup the user and apply the rule. If the
       * user already exists we always reset it to start. */
      user *u = ACLCreateUser(argv[1],sdslen(argv[1]));
      if (!u) {
          u = ACLGetUserByName(argv[1],sdslen(argv[1]));
          serverAssert(u != NULL)((u != ((void*)0))?(void)0 : (_serverAssert("u != NULL","acl.c"
,1594),__builtin_unreachable()));
          ACLSetUser(u,"reset",-1);
      }

      /* Note that the same rules already applied to the fake user, so
       * we just assert that everything goes well: it should. */
      for (j = 2; j < argc; j++)
          serverAssert(ACLSetUser(u,argv[j],sdslen(argv[j])) == C_OK)((ACLSetUser(u,argv[j],sdslen(argv[j])) == 0)?(void)0 : (_serverAssert
("ACLSetUser(u,argv[j],sdslen(argv[j])) == C_OK","acl.c",1601
),__builtin_unreachable()));

      sdsfreesplitres(argv,argc);
  }

  ACLFreeUser(fakeuser);
  sdsfreesplitres(lines,totlines);
  DefaultUser = old_default_user; /* This pointer must never change. */

  /* Check if we found errors and react accordingly. */
  if (sdslen(errors) == 0) {
      /* The default user pointer is referenced in different places: instead
       * of replacing such occurrences it is much simpler to copy the new
       * default user configuration in the old one. */
      user *new = ACLGetUserByName("default",7);
      serverAssert(new != NULL)((new != ((void*)0))?(void)0 : (_serverAssert("new != NULL","acl.c"
,1616),__builtin_unreachable()));
      ACLCopyUser(DefaultUser,new);
      ACLFreeUser(new);
      raxInsert(Users,(unsigned char*)"default",7,DefaultUser,NULL((void*)0));
      raxRemove(old_users,(unsigned char*)"default",7,NULL((void*)0));
      ACLFreeUsersSet(old_users);
      sdsfree(errors);
      return NULL((void*)0);
  } else {
      ACLFreeUsersSet(Users);
      Users = old_users;
      errors = sdscat(errors,"WARNING: ACL errors detected, no change to the previously active ACL rules was performed");
      return errors;
  }
1630}

1632/* Generate a copy of the ACLs currently in memory in the specified filename.
* Returns C_OK on success or C_ERR if there was an error during the I/O.
* When C_ERR is returned a log is produced with hints about the issue. */
1635int ACLSaveToFile(const char *filename) {
  sds acl = sdsempty();
  int fd = -1;
  sds tmpfilename = NULL((void*)0);
  int retval = C_ERR-1;

  /* Let's generate an SDS string containing the new version of the
   * ACL file. */
  raxIterator ri;
  raxStart(&ri,Users);
  raxSeek(&ri,"^",NULL((void*)0),0);
  while(raxNext(&ri)) {
      user *u = ri.data;
      /* Return information in the configuration file format. */
      sds user = sdsnew("user ");
      user = sdscatsds(user,u->name);
      user = sdscatlen(user," ",1);
      sds descr = ACLDescribeUser(u);
      user = sdscatsds(user,descr);
      sdsfree(descr);
      acl = sdscatsds(acl,user);
      acl = sdscatlen(acl,"\n",1);
      sdsfree(user);
  }
  raxStop(&ri);

  /* Create a temp file with the new content. */
  tmpfilename = sdsnew(filename);
  tmpfilename = sdscatfmt(tmpfilename,".tmp-%i-%I",
      (int)getpid(),(int)mstime());
  if ((fd = open(tmpfilename,O_WRONLY01|O_CREAT0100,0644)) == -1) {
      serverLog(LL_WARNING3,"Opening temp ACL file for ACL SAVE: %s",
          strerror(errno(*__errno_location ())));
      goto cleanup;
  }

  /* Write it. */
  if (write(fd,acl,sdslen(acl)) != (ssize_t)sdslen(acl)) {
      serverLog(LL_WARNING3,"Writing ACL file for ACL SAVE: %s",
          strerror(errno(*__errno_location ())));
      goto cleanup;
  }
  close(fd); fd = -1;

  /* Let's replace the new file with the old one. */
  if (rename(tmpfilename,filename) == -1) {
      serverLog(LL_WARNING3,"Renaming ACL file for ACL SAVE: %s",
          strerror(errno(*__errno_location ())));
      goto cleanup;
  }
  sdsfree(tmpfilename); tmpfilename = NULL((void*)0);
  retval = C_OK0; /* If we reached this point, everything is fine. */

1688cleanup:
  if (fd != -1) close(fd);
  if (tmpfilename) unlink(tmpfilename);
  sdsfree(tmpfilename);
  sdsfree(acl);
  return retval;
1694}

1696/* This function is called once the server is already running, modules are
* loaded, and we are ready to start, in order to load the ACLs either from
* the pending list of users defined in redis.conf, or from the ACL file.
* The function will just exit with an error if the user is trying to mix
* both the loading methods. */
1701void ACLLoadUsersAtStartup(void) {
  if (server.acl_filename[0] != '\0' && listLength(UsersToLoad)((UsersToLoad)->len) != 0) {
      serverLog(LL_WARNING3,
          "Configuring Redis with users defined in redis.conf and at "
          "the same setting an ACL file path is invalid. This setup "
          "is very likely to lead to configuration errors and security "
          "holes, please define either an ACL file or declare users "
          "directly in your redis.conf, but not both.");
      exit(1);
  }

  if (ACLLoadConfiguredUsers() == C_ERR-1) {
      serverLog(LL_WARNING3,
          "Critical error while loading ACLs. Exiting.");
      exit(1);
  }

  if (server.acl_filename[0] != '\0') {
      sds errors = ACLLoadFromFile(server.acl_filename);
      if (errors) {
          serverLog(LL_WARNING3,
              "Aborting Redis startup because of ACL errors: %s", errors);
          sdsfree(errors);
          exit(1);
      }
  }
1727}

1729/* =============================================================================
* ACL log
* ==========================================================================*/

1733#define ACL_LOG_CTX_TOPLEVEL0 0
1734#define ACL_LOG_CTX_LUA1 1
1735#define ACL_LOG_CTX_MULTI2 2
1736#define ACL_LOG_GROUPING_MAX_TIME_DELTA60000 60000

1738/* This structure defines an entry inside the ACL log. */
1739typedef struct ACLLogEntry {
  uint64_t count;     /* Number of times this happened recently. */
  int reason;         /* Reason for denying the command. ACL_DENIED_*. */
  int context;        /* Toplevel, Lua or MULTI/EXEC? ACL_LOG_CTX_*. */
  sds object;         /* The key name or command name. */
  sds username;       /* User the client is authenticated with. */
  mstime_t ctime;     /* Milliseconds time of last update to this entry. */
  sds cinfo;          /* Client info (last client if updated). */
1747} ACLLogEntry;

1749/* This function will check if ACL entries 'a' and 'b' are similar enough
* that we should actually update the existing entry in our ACL log instead
* of creating a new one. */
1752int ACLLogMatchEntry(ACLLogEntry *a, ACLLogEntry *b) {
  if (a->reason != b->reason) return 0;
  if (a->context != b->context) return 0;
  mstime_t delta = a->ctime - b->ctime;
  if (delta < 0) delta = -delta;
  if (delta > ACL_LOG_GROUPING_MAX_TIME_DELTA60000) return 0;
  if (sdscmp(a->object,b->object) != 0) return 0;
  if (sdscmp(a->username,b->username) != 0) return 0;
  return 1;
1761}

1763/* Release an ACL log entry. */
1764void ACLFreeLogEntry(void *leptr) {
  ACLLogEntry *le = leptr;
  sdsfree(le->object);
  sdsfree(le->username);
  sdsfree(le->cinfo);
  zfree(le);
1770}

1772/* Adds a new entry in the ACL log, making sure to delete the old entry
* if we reach the maximum length allowed for the log. This function attempts
* to find similar entries in the current log in order to bump the counter of
* the log entry instead of creating many entries for very similar ACL
* rules issues.
*
* The argpos argument is used when the reason is ACL_DENIED_KEY or 
* ACL_DENIED_CHANNEL, since it allows the function to log the key or channel
* name that caused the problem. Similarly the username is only passed when we
* failed to authenticate the user with AUTH or HELLO, for the ACL_DENIED_AUTH
* reason. Otherwise it will just be NULL.
*/
1784void addACLLogEntry(client *c, int reason, int argpos, sds username) {
  /* Create a new entry. */
  struct ACLLogEntry *le = zmalloc(sizeof(*le));
  le->count = 1;
  le->reason = reason;
  le->username = sdsdup(reason == ACL_DENIED_AUTH3 ? username : c->user->name);
  le->ctime = mstime();

  switch(reason) {
  case ACL_DENIED_CMD1: le->object = sdsnew(c->cmd->name); break;
  case ACL_DENIED_KEY2: le->object = sdsdup(c->argv[argpos]->ptr); break;
  case ACL_DENIED_CHANNEL4: le->object = sdsdup(c->argv[argpos]->ptr); break;
  case ACL_DENIED_AUTH3: le->object = sdsdup(c->argv[0]->ptr); break;
  default: le->object = sdsempty();
  }

  client *realclient = c;
  if (realclient->flags & CLIENT_LUA(1<<8)) realclient = server.lua_caller;

  le->cinfo = catClientInfoString(sdsempty(),realclient);
  if (c->flags & CLIENT_MULTI(1<<3)) {
      le->context = ACL_LOG_CTX_MULTI2;
  } else if (c->flags & CLIENT_LUA(1<<8)) {
      le->context = ACL_LOG_CTX_LUA1;
  } else {
      le->context = ACL_LOG_CTX_TOPLEVEL0;
  }

  /* Try to match this entry with past ones, to see if we can just
   * update an existing entry instead of creating a new one. */
  long toscan = 10; /* Do a limited work trying to find duplicated. */
  listIter li;
  listNode *ln;
  listRewind(ACLLog,&li);
  ACLLogEntry *match = NULL((void*)0);
  while (toscan-- && (ln = listNext(&li)) != NULL((void*)0)) {
      ACLLogEntry *current = listNodeValue(ln)((ln)->value);
      if (ACLLogMatchEntry(current,le)) {
          match = current;
          listDelNode(ACLLog,ln);
          listAddNodeHead(ACLLog,current);
          break;
      }
  }

  /* If there is a match update the entry, otherwise add it as a
   * new one. */
  if (match) {
      /* We update a few fields of the existing entry and bump the
       * counter of events for this entry. */
      sdsfree(match->cinfo);
      match->cinfo = le->cinfo;
      match->ctime = le->ctime;
      match->count++;

      /* Release the old entry. */
      le->cinfo = NULL((void*)0);
      ACLFreeLogEntry(le);
  } else {
      /* Add it to our list of entries. We'll have to trim the list
       * to its maximum size. */
      listAddNodeHead(ACLLog, le);
      while(listLength(ACLLog)((ACLLog)->len) > server.acllog_max_len) {
          listNode *ln = listLast(ACLLog)((ACLLog)->tail);
          ACLLogEntry *le = listNodeValue(ln)((ln)->value);
          ACLFreeLogEntry(le);
          listDelNode(ACLLog,ln);
      }
  }
1853}

1855/* =============================================================================
* ACL related commands
* ==========================================================================*/

1859/* ACL -- show and modify the configuration of ACL users.
* ACL HELP
* ACL LOAD
* ACL SAVE
* ACL LIST
* ACL USERS
* ACL CAT [<category>]
* ACL SETUSER <username> ... acl rules ...
* ACL DELUSER <username> [...]
* ACL GETUSER <username>
* ACL GENPASS [<bits>]
* ACL WHOAMI
* ACL LOG [<count> | RESET]
*/
1873void aclCommand(client *c) {
  char *sub = c->argv[1]->ptr;
  if (!strcasecmp(sub,"setuser") && c->argc >= 3) {
1
Assuming the condition is false→
      sds username = c->argv[2]->ptr;
      /* Check username validity. */
      if (ACLStringHasSpaces(username,sdslen(username))) {
          addReplyErrorFormat(c,
              "Usernames can't contain spaces or null characters");
          return;
      }

      /* Create a temporary user to validate and stage all changes against
       * before applying to an existing user or creating a new user. If all
       * arguments are valid the user parameters will all be applied together.
       * If there are any errors then none of the changes will be applied. */
      user *tempu = ACLCreateUnlinkedUser();
      user *u = ACLGetUserByName(username,sdslen(username));
      if (u) ACLCopyUser(tempu, u);

      for (int j = 3; j < c->argc; j++) {
          if (ACLSetUser(tempu,c->argv[j]->ptr,sdslen(c->argv[j]->ptr)) != C_OK0) {
              const char *errmsg = ACLSetUserStringError();
              addReplyErrorFormat(c,
                  "Error in ACL SETUSER modifier '%s': %s",
                  (char*)c->argv[j]->ptr, errmsg);

              ACLFreeUser(tempu);
              return;
          }
      }

      /* Existing pub/sub clients authenticated with the user may need to be
       * disconnected if (some of) their channel permissions were revoked. */
      if (u && !(tempu->flags & USER_FLAG_ALLCHANNELS(1<<5)))
          ACLKillPubsubClientsIfNeeded(u,tempu->channels);

      /* Overwrite the user with the temporary user we modified above. */
      if (!u) u = ACLCreateUser(username,sdslen(username));
      serverAssert(u != NULL)((u != ((void*)0))?(void)0 : (_serverAssert("u != NULL","acl.c"
,1911),__builtin_unreachable()));
      ACLCopyUser(u, tempu);
      ACLFreeUser(tempu);
      addReply(c,shared.ok);
  } else if (!strcasecmp(sub,"deluser") && c->argc >= 3) {
2
←
Assuming the condition is false→
      int deleted = 0;
      for (int j = 2; j < c->argc; j++) {
          sds username = c->argv[j]->ptr;
          if (!strcmp(username,"default")) {
              addReplyError(c,"The 'default' user cannot be removed");
              return;
          }
      }

      for (int j = 2; j < c->argc; j++) {
          sds username = c->argv[j]->ptr;
          user *u;
          if (raxRemove(Users,(unsigned char*)username,
                        sdslen(username),
                        (void**)&u))
          {
              ACLFreeUserAndKillClients(u);
              deleted++;
          }
      }
      addReplyLongLong(c,deleted);
  } else if (!strcasecmp(sub,"getuser") && c->argc == 3) {
3
←
Assuming field 'argc' is equal to 3→
4
←
Taking true branch→
      user *u = ACLGetUserByName(c->argv[2]->ptr,sdslen(c->argv[2]->ptr));
      if (u == NULL((void*)0)) {
5
←
Assuming 'u' is not equal to NULL→
6
←
Taking false branch→
          addReplyNull(c);
          return;
      }

      addReplyMapLen(c,5);

      /* Flags */
      addReplyBulkCString(c,"flags");
      void *deflen = addReplyDeferredLen(c);
      int numflags = 0;
      for (int j = 0; ACLUserFlags[j].flag; j++) {
7
←
Loop condition is false. Execution continues on line 1956→
          if (u->flags & ACLUserFlags[j].flag) {
              addReplyBulkCString(c,ACLUserFlags[j].name);
              numflags++;
          }
      }
      setDeferredSetLen(c,deflen,numflags);

      /* Passwords */
      addReplyBulkCString(c,"passwords");
      addReplyArrayLen(c,listLength(u->passwords)((u->passwords)->len));
      listIter li;
      listNode *ln;
      listRewind(u->passwords,&li);
      while((ln = listNext(&li))) {
8
←
Loop condition is false. Execution continues on line 1970→
          sds thispass = listNodeValue(ln)((ln)->value);
          addReplyBulkCBuffer(c,thispass,sdslen(thispass));
      }

      /* Commands */
      addReplyBulkCString(c,"commands");
      sds cmddescr = ACLDescribeUserCommandRules(u);
9
←
Calling 'ACLDescribeUserCommandRules'→
      addReplyBulkSds(c,cmddescr);

      /* Key patterns */
      addReplyBulkCString(c,"keys");
      if (u->flags & USER_FLAG_ALLKEYS(1<<2)) {
          addReplyArrayLen(c,1);
          addReplyBulkCBuffer(c,"*",1);
      } else {
          addReplyArrayLen(c,listLength(u->patterns)((u->patterns)->len));
          listIter li;
          listNode *ln;
          listRewind(u->patterns,&li);
          while((ln = listNext(&li))) {
              sds thispat = listNodeValue(ln)((ln)->value);
              addReplyBulkCBuffer(c,thispat,sdslen(thispat));
          }
      }

      /* Pub/sub patterns */
      addReplyBulkCString(c,"channels");
      if (u->flags & USER_FLAG_ALLCHANNELS(1<<5)) {
          addReplyArrayLen(c,1);
          addReplyBulkCBuffer(c,"*",1);
      } else {
          addReplyArrayLen(c,listLength(u->channels)((u->channels)->len));
          listIter li;
          listNode *ln;
          listRewind(u->channels,&li);
          while((ln = listNext(&li))) {
              sds thispat = listNodeValue(ln)((ln)->value);
              addReplyBulkCBuffer(c,thispat,sdslen(thispat));
          }
      }
  } else if ((!strcasecmp(sub,"list") || !strcasecmp(sub,"users")) &&
             c->argc == 2)
  {
      int justnames = !strcasecmp(sub,"users");
      addReplyArrayLen(c,raxSize(Users));
      raxIterator ri;
      raxStart(&ri,Users);
      raxSeek(&ri,"^",NULL((void*)0),0);
      while(raxNext(&ri)) {
          user *u = ri.data;
          if (justnames) {
              addReplyBulkCBuffer(c,u->name,sdslen(u->name));
          } else {
              /* Return information in the configuration file format. */
              sds config = sdsnew("user ");
              config = sdscatsds(config,u->name);
              config = sdscatlen(config," ",1);
              sds descr = ACLDescribeUser(u);
              config = sdscatsds(config,descr);
              sdsfree(descr);
              addReplyBulkSds(c,config);
          }
      }
      raxStop(&ri);
  } else if (!strcasecmp(sub,"whoami") && c->argc == 2) {
      if (c->user != NULL((void*)0)) {
          addReplyBulkCBuffer(c,c->user->name,sdslen(c->user->name));
      } else {
          addReplyNull(c);
      }
  } else if (server.acl_filename[0] == '\0' &&
             (!strcasecmp(sub,"load") || !strcasecmp(sub,"save")))
  {
      addReplyError(c,"This Redis instance is not configured to use an ACL file. You may want to specify users via the ACL SETUSER command and then issue a CONFIG REWRITE (assuming you have a Redis configuration file set) in order to store users in the Redis configuration.");
      return;
  } else if (!strcasecmp(sub,"load") && c->argc == 2) {
      sds errors = ACLLoadFromFile(server.acl_filename);
      if (errors == NULL((void*)0)) {
          addReply(c,shared.ok);
      } else {
          addReplyError(c,errors);
          sdsfree(errors);
      }
  } else if (!strcasecmp(sub,"save") && c->argc == 2) {
      if (ACLSaveToFile(server.acl_filename) == C_OK0) {
          addReply(c,shared.ok);
      } else {
          addReplyError(c,"There was an error trying to save the ACLs. "
                          "Please check the server logs for more "
                          "information");
      }
  } else if (!strcasecmp(sub,"cat") && c->argc == 2) {
      void *dl = addReplyDeferredLen(c);
      int j;
      for (j = 0; ACLCommandCategories[j].flag != 0; j++)
          addReplyBulkCString(c,ACLCommandCategories[j].name);
      setDeferredArrayLen(c,dl,j);
  } else if (!strcasecmp(sub,"cat") && c->argc == 3) {
      uint64_t cflag = ACLGetCommandCategoryFlagByName(c->argv[2]->ptr);
      if (cflag == 0) {
          addReplyErrorFormat(c, "Unknown category '%s'", (char*)c->argv[2]->ptr);
          return;
      }
      int arraylen = 0;
      void *dl = addReplyDeferredLen(c);
      dictIterator *di = dictGetIterator(server.orig_commands);
      dictEntry *de;
      while ((de = dictNext(di)) != NULL((void*)0)) {
          struct redisCommand *cmd = dictGetVal(de)((de)->v.val);
          if (cmd->flags & CMD_MODULE(1ULL<<3)) continue;
          if (cmd->flags & cflag) {
              addReplyBulkCString(c,cmd->name);
              arraylen++;
          }
      }
      dictReleaseIterator(di);
      setDeferredArrayLen(c,dl,arraylen);
  } else if (!strcasecmp(sub,"genpass") && (c->argc == 2 || c->argc == 3)) {
      #define GENPASS_MAX_BITS4096 4096
      char pass[GENPASS_MAX_BITS4096/8*2]; /* Hex representation. */
      long bits = 256; /* By default generate 256 bits passwords. */

      if (c->argc == 3 && getLongFromObjectOrReply(c,c->argv[2],&bits,NULL((void*)0))
          != C_OK0) return;

      if (bits <= 0 || bits > GENPASS_MAX_BITS4096) {
          addReplyErrorFormat(c,
              "ACL GENPASS argument must be the number of "
              "bits for the output password, a positive number "
              "up to %d",GENPASS_MAX_BITS4096);
          return;
      }

      long chars = (bits+3)/4; /* Round to number of characters to emit. */
      getRandomHexChars(pass,chars);
      addReplyBulkCBuffer(c,pass,chars);
  } else if (!strcasecmp(sub,"log") && (c->argc == 2 || c->argc ==3)) {
      long count = 10; /* Number of entries to emit by default. */

      /* Parse the only argument that LOG may have: it could be either
       * the number of entries the user wants to display, or alternatively
       * the "RESET" command in order to flush the old entries. */
      if (c->argc == 3) {
          if (!strcasecmp(c->argv[2]->ptr,"reset")) {
              listSetFreeMethod(ACLLog,ACLFreeLogEntry)((ACLLog)->free = (ACLFreeLogEntry));
              listEmpty(ACLLog);
              listSetFreeMethod(ACLLog,NULL)((ACLLog)->free = (((void*)0)));
              addReply(c,shared.ok);
              return;
          } else if (getLongFromObjectOrReply(c,c->argv[2],&count,NULL((void*)0))
                     != C_OK0)
          {
              return;
          }
          if (count < 0) count = 0;
      }

      /* Fix the count according to the number of entries we got. */
      if ((size_t)count > listLength(ACLLog)((ACLLog)->len))
          count = listLength(ACLLog)((ACLLog)->len);

      addReplyArrayLen(c,count);
      listIter li;
      listNode *ln;
      listRewind(ACLLog,&li);
      mstime_t now = mstime();
      while (count-- && (ln = listNext(&li)) != NULL((void*)0)) {
          ACLLogEntry *le = listNodeValue(ln)((ln)->value);
          addReplyMapLen(c,7);
          addReplyBulkCString(c,"count");
          addReplyLongLong(c,le->count);

          addReplyBulkCString(c,"reason");
          char *reasonstr;
          switch(le->reason) {
          case ACL_DENIED_CMD1: reasonstr="command"; break;
          case ACL_DENIED_KEY2: reasonstr="key"; break;
          case ACL_DENIED_CHANNEL4: reasonstr="channel"; break;
          case ACL_DENIED_AUTH3: reasonstr="auth"; break;
          default: reasonstr="unknown";
          }
          addReplyBulkCString(c,reasonstr);

          addReplyBulkCString(c,"context");
          char *ctxstr;
          switch(le->context) {
          case ACL_LOG_CTX_TOPLEVEL0: ctxstr="toplevel"; break;
          case ACL_LOG_CTX_MULTI2: ctxstr="multi"; break;
          case ACL_LOG_CTX_LUA1: ctxstr="lua"; break;
          default: ctxstr="unknown";
          }
          addReplyBulkCString(c,ctxstr);

          addReplyBulkCString(c,"object");
          addReplyBulkCBuffer(c,le->object,sdslen(le->object));
          addReplyBulkCString(c,"username");
          addReplyBulkCBuffer(c,le->username,sdslen(le->username));
          addReplyBulkCString(c,"age-seconds");
          double age = (double)(now - le->ctime)/1000;
          addReplyDouble(c,age);
          addReplyBulkCString(c,"client-info");
          addReplyBulkCBuffer(c,le->cinfo,sdslen(le->cinfo));
      }
  } else if (c->argc == 2 && !strcasecmp(sub,"help")) {
      const char *help[] = {
2170"CAT [<category>]",
2171"    List all commands that belong to <category>, or all command categories",
2172"    when no category is specified.",
2173"DELUSER <username> [<username> ...]",
2174"    Delete a list of users.",
2175"GETUSER <username>",
2176"    Get the user's details.",
2177"GENPASS [<bits>]",
2178"    Generate a secure 256-bit user password. The optional `bits` argument can",
2179"    be used to specify a different size.",
2180"LIST",
2181"    Show users details in config file format.",
2182"LOAD",
2183"    Reload users from the ACL file.",
2184"LOG [<count> | RESET]",
2185"    Show the ACL log entries.",
2186"SAVE",
2187"    Save the current config to the ACL file.",
2188"SETUSER <username> <attribute> [<attribute> ...]",
2189"    Create or modify a user with the specified attributes.",
2190"USERS",
2191"    List all the registered usernames.",
2192"WHOAMI",
2193"    Return the current connection username.",
2194NULL((void*)0)
      };
      addReplyHelp(c,help);
  } else {
      addReplySubcommandSyntaxError(c);
  }
2200}

2202void addReplyCommandCategories(client *c, struct redisCommand *cmd) {
  int flagcount = 0;
  void *flaglen = addReplyDeferredLen(c);
  for (int j = 0; ACLCommandCategories[j].flag != 0; j++) {
      if (cmd->flags & ACLCommandCategories[j].flag) {
          addReplyStatusFormat(c, "@%s", ACLCommandCategories[j].name);
          flagcount++;
      }
  }
  setDeferredSetLen(c, flaglen, flagcount);
2212}

2214/* AUTH <password>
* AUTH <username> <password> (Redis >= 6.0 form)
*
* When the user is omitted it means that we are trying to authenticate
* against the default user. */
2219void authCommand(client *c) {
  /* Only two or three argument forms are allowed. */
  if (c->argc > 3) {
      addReplyErrorObject(c,shared.syntaxerr);
      return;
  }

  /* Handle the two different forms here. The form with two arguments
   * will just use "default" as username. */
  robj *username, *password;
  if (c->argc == 2) {
      /* Mimic the old behavior of giving an error for the two commands
       * from if no password is configured. */
      if (DefaultUser->flags & USER_FLAG_NOPASS(1<<4)) {
          addReplyError(c,"AUTH <password> called without any password "
                          "configured for the default user. Are you sure "
                          "your configuration is correct?");
          return;
      }

      username = shared.default_username; 
      password = c->argv[1];
  } else {
      username = c->argv[1];
      password = c->argv[2];
  }

  if (ACLAuthenticateUser(c,username,password) == C_OK0) {
      addReply(c,shared.ok);
  } else {
      addReplyError(c,"-WRONGPASS invalid username-password pair or user is disabled.");
  }
2251}

2253/* Set the password for the "default" ACL user. This implements supports for
* requirepass config, so passing in NULL will set the user to be nopass. */
2255void ACLUpdateDefaultUserPassword(sds password) {
  ACLSetUser(DefaultUser,"resetpass",-1);
  if (password) {
      sds aclop = sdscatlen(sdsnew(">"), password, sdslen(password));
      ACLSetUser(DefaultUser,aclop,sdslen(aclop));
      sdsfree(aclop);
  } else {
      ACLSetUser(DefaultUser,"nopass",-1);
  }
2264}