shishi_cmd.c

Bug Summary

File:	src/shishi_cmd.c
Warning:	line 632, column 24 Dereference of null pointer
Annotated Source Code

Press '?' to see keyboard shortcuts
Show analyzer invocation
clang -cc1 -cc1 -triple x86_64-redhat-linux-gnu -analyze -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name shishi_cmd.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 pic -pic-level 2 -fhalf-no-semantic-interposition -mframe-pointer=none -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/builds/gsasl/shishi/src -resource-dir /usr/lib64/clang/14.0.0 -D HAVE_CONFIG_H -I . -I .. -I ./gl -I ./gl -I ../lib/gl -I ../lib/gl -I ../lib -I ../lib -I ../db -D LOCALEDIR="/usr/local/share/locale" -D SYSTEMCFGFILE="/usr/local/etc/shishi/shishi.conf" -D HOSTKEYSFILE="/usr/local/etc/shishi/shishi.keys" -D PIC -internal-isystem /usr/lib64/clang/14.0.0/include -internal-isystem /usr/local/include -internal-isystem /usr/bin/../lib/gcc/x86_64-redhat-linux/12/../../../../x86_64-redhat-linux/include -internal-externc-isystem /include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/builds/gsasl/shishi/src -ferror-limit 19 -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /builds/gsasl/shishi/clang-analyzer/2022-08-08-065803-50050-1 -x c shishi_cmd.c
1/*
File autogenerated by gengetopt version 2.23
generated with the following command:
gengetopt --unamed-opts=CLIENT [SERVER] --no-handle-help --no-handle-error --no-handle-version --input ./shishi.ggo --file-name shishi_cmd 

The developers of gengetopt consider the fixed text that goes in all
gengetopt output files to be in the public domain:
we make no copyright claims on it.
9*/

11/* If we use autoconf.  */
12#ifdef HAVE_CONFIG_H1
13#include "config.h"
14#endif

16#include <stdio.h>
17#include <stdlib.h>
18#include <string.h>

20#ifndef FIX_UNUSED
21#define FIX_UNUSED(X)(void) (X) (void) (X) /* avoid warnings for unused params */
22#endif

24#include <getopt.h>

26#include "shishi_cmd.h"

28const char *gengetopt_args_info_purpose = "Shishi command line client.  If no command is given, Shishi\nacquire or list a valid ticket for you, identified by CLIENT (if\nempty, default username in default realm), for the service SERVER (if\nempty, ticket granting ticket for client realm).";

30const char *gengetopt_args_info_usage = "Usage: shishi [OPTION]... [CLIENT [SERVER]]...";

32const char *gengetopt_args_info_versiontext = "";

34const char *gengetopt_args_info_description = "";

36const char *gengetopt_args_info_help[] = {
"  -h, --help                    Print help and exit",
"  -V, --version                 Print version and exit",
"\nCommands:",
"  -d, --destroy                 Destroy tickets in local cache, limited by any\n                                  --client-name or --server-name.\n                                  (default=off)",
"  -l, --list                    List tickets in local cache, limited by any\n                                  --client-name and --server-name.\n                                  (default=off)",
"  -r, --renew                   Renew ticket.  Use --server-name to specify\n                                  ticket, default is the most recent renewable\n                                  ticket granting ticket for the default realm.\n                                  (default=off)",
"\nFlags:",
"      --forwardable             Get a forwardable ticket, i.e., one that can be\n                                  used to get forwarded tickets.  (default=off)",
"      --forwarded               Get a forwarded ticket.  (default=off)",
"      --proxiable               Get a proxiable ticket, i.e., one that can be\n                                  used to get proxy tickets.  (default=off)",
"      --proxy                   Get a proxy ticket.  (default=off)",
"      --renewable               Get a renewable ticket.  (default=off)",
"\nOptions:",
"      --client-name=NAME        Client name. Default is login username.",
"  -E, --encryption-type=ETYPE,[ETYPE...]\n                                Encryption types to use.  ETYPE is either\n                                  registered name or integer.  Valid values\n                                  include 'aes128', 'aes256', 'aes' (same as\n                                  'aes256'), '3des', 'des-md5', 'des-md4',\n                                  'des-crc', 'des' (same as 'des-md5'), and\n                                  'arcfour'.",
"  -e, --endtime=STRING          Specify when ticket validity should expire.\n                                  The time syntax may be relative (to the start\n                                  time), such as '20 hours', or absolute, such\n                                  as '2001-02-03 04:05:06 CET'. The default is\n                                  8 hours after the start time.",
"      --realm=STRING            Set default realm.",
"      --renew-till=STRING       Specify renewable life of ticket.  Implies\n                                  --renewable.  Accepts same time syntax as\n                                  --endtime.  If --renewable is specified, the\n                                  default is 1 week after the start time.",
"      --server-name=NAME        Server name. Default is 'krbtgt/REALM' where\n                                  REALM is client realm.",
"  -s, --starttime=STRING        Specify when ticket should start to be valid.\n                                  Accepts same time syntax as --endtime. The\n                                  default is to become valid immediately.",
"      --ticket-granter=NAME     Service name in ticket to use for\n                                  authenticating request. Only for TGS.\n                                  Defaults to 'krbtgt/REALM@REALM' where REALM\n                                  is client realm.",
"\nOther options:",
"      --configuration-file=FILE Read user configuration from FILE.",
"  -c, --ticket-file=FILE        Read tickets from FILE.",
"  -o, --library-options=STRING  Parse STRING as a configuration file statement.",
"  -q, --quiet                   Don't produce any diagnostic output.\n                                    (default=off)",
"      --system-configuration-file=FILE\n                                Read system configuration from FILE.",
"      --ticket-write-file=FILE  Write tickets from FILE.  Default is to write\n                                  them back to where they were read from.",
"  -v, --verbose                 Produce verbose output.\n                                  Use multiple times to increase amount of\n                                  information.",
  0
67};

69typedef enum {ARG_NO
, ARG_FLAG
, ARG_STRING
72} cmdline_parser_arg_type;

74static
75void clear_given (struct gengetopt_args_info *args_info);
76static
77void clear_args (struct gengetopt_args_info *args_info);

79static int
80cmdline_parser_internal (int argc, char **argv, struct gengetopt_args_info *args_info,
                      struct cmdline_parser_params *params, const char *additional_error);

83static int
84cmdline_parser_required2 (struct gengetopt_args_info *args_info, const char *prog_name, const char *additional_error);

86static char *
87gengetopt_strdup (const char *s);

89static
90void clear_given (struct gengetopt_args_info *args_info)
91{
args_info->help_given = 0 ;
args_info->version_given = 0 ;
args_info->destroy_given = 0 ;
args_info->list_given = 0 ;
args_info->renew_given = 0 ;
args_info->forwardable_given = 0 ;
args_info->forwarded_given = 0 ;
args_info->proxiable_given = 0 ;
args_info->proxy_given = 0 ;
args_info->renewable_given = 0 ;
args_info->client_name_given = 0 ;
args_info->encryption_type_given = 0 ;
args_info->endtime_given = 0 ;
args_info->realm_given = 0 ;
args_info->renew_till_given = 0 ;
args_info->server_name_given = 0 ;
args_info->starttime_given = 0 ;
args_info->ticket_granter_given = 0 ;
args_info->configuration_file_given = 0 ;
args_info->ticket_file_given = 0 ;
args_info->library_options_given = 0 ;
args_info->quiet_given = 0 ;
args_info->system_configuration_file_given = 0 ;
args_info->ticket_write_file_given = 0 ;
args_info->verbose_given = 0 ;
117}

119static
120void clear_args (struct gengetopt_args_info *args_info)
121{
FIX_UNUSED (args_info)(void) (args_info);
args_info->destroy_flag = 0;
args_info->list_flag = 0;
args_info->renew_flag = 0;
args_info->forwardable_flag = 0;
args_info->forwarded_flag = 0;
args_info->proxiable_flag = 0;
args_info->proxy_flag = 0;
args_info->renewable_flag = 0;
args_info->client_name_arg = NULL((void*)0);
args_info->client_name_orig = NULL((void*)0);
args_info->encryption_type_arg = NULL((void*)0);
args_info->encryption_type_orig = NULL((void*)0);
args_info->endtime_arg = NULL((void*)0);
args_info->endtime_orig = NULL((void*)0);
args_info->realm_arg = NULL((void*)0);
args_info->realm_orig = NULL((void*)0);
args_info->renew_till_arg = NULL((void*)0);
args_info->renew_till_orig = NULL((void*)0);
args_info->server_name_arg = NULL((void*)0);
args_info->server_name_orig = NULL((void*)0);
args_info->starttime_arg = NULL((void*)0);
args_info->starttime_orig = NULL((void*)0);
args_info->ticket_granter_arg = NULL((void*)0);
args_info->ticket_granter_orig = NULL((void*)0);
args_info->configuration_file_arg = NULL((void*)0);
args_info->configuration_file_orig = NULL((void*)0);
args_info->ticket_file_arg = NULL((void*)0);
args_info->ticket_file_orig = NULL((void*)0);
args_info->library_options_arg = NULL((void*)0);
args_info->library_options_orig = NULL((void*)0);
args_info->quiet_flag = 0;
args_info->system_configuration_file_arg = NULL((void*)0);
args_info->system_configuration_file_orig = NULL((void*)0);
args_info->ticket_write_file_arg = NULL((void*)0);
args_info->ticket_write_file_orig = NULL((void*)0);

159}

161static
162void init_args_info(struct gengetopt_args_info *args_info)
163{


args_info->help_help = gengetopt_args_info_help[0] ;
args_info->version_help = gengetopt_args_info_help[1] ;
args_info->destroy_help = gengetopt_args_info_help[3] ;
args_info->list_help = gengetopt_args_info_help[4] ;
args_info->renew_help = gengetopt_args_info_help[5] ;
args_info->forwardable_help = gengetopt_args_info_help[7] ;
args_info->forwarded_help = gengetopt_args_info_help[8] ;
args_info->proxiable_help = gengetopt_args_info_help[9] ;
args_info->proxy_help = gengetopt_args_info_help[10] ;
args_info->renewable_help = gengetopt_args_info_help[11] ;
args_info->client_name_help = gengetopt_args_info_help[13] ;
args_info->encryption_type_help = gengetopt_args_info_help[14] ;
args_info->endtime_help = gengetopt_args_info_help[15] ;
args_info->realm_help = gengetopt_args_info_help[16] ;
args_info->renew_till_help = gengetopt_args_info_help[17] ;
args_info->server_name_help = gengetopt_args_info_help[18] ;
args_info->starttime_help = gengetopt_args_info_help[19] ;
args_info->ticket_granter_help = gengetopt_args_info_help[20] ;
args_info->configuration_file_help = gengetopt_args_info_help[22] ;
args_info->ticket_file_help = gengetopt_args_info_help[23] ;
args_info->library_options_help = gengetopt_args_info_help[24] ;
args_info->quiet_help = gengetopt_args_info_help[25] ;
args_info->system_configuration_file_help = gengetopt_args_info_help[26] ;
args_info->ticket_write_file_help = gengetopt_args_info_help[27] ;
args_info->verbose_help = gengetopt_args_info_help[28] ;
args_info->verbose_min = 0;
args_info->verbose_max = 0;

194}

196void
197cmdline_parser_print_version (void)
198{
printf ("%s %s\n",
   (strlen(CMDLINE_PARSER_PACKAGE_NAME"shishi") ? CMDLINE_PARSER_PACKAGE_NAME"shishi" : CMDLINE_PARSER_PACKAGE"shishi"),
   CMDLINE_PARSER_VERSION"1.0.3.7-c46a");

if (strlen(gengetopt_args_info_versiontext) > 0)
  printf("\n%s\n", gengetopt_args_info_versiontext);
205}

207static void print_help_common(void)
208{
size_t len_purpose = strlen(gengetopt_args_info_purpose);
size_t len_usage = strlen(gengetopt_args_info_usage);

if (len_usage > 0) {
printf("%s\n", gengetopt_args_info_usage);
}
if (len_purpose > 0) {
printf("%s\n", gengetopt_args_info_purpose);
}

if (len_usage || len_purpose) {
printf("\n");
}

if (strlen(gengetopt_args_info_description) > 0) {
printf("%s\n\n", gengetopt_args_info_description);
}
226}

228void
229cmdline_parser_print_help (void)
230{
int i = 0;
print_help_common();
while (gengetopt_args_info_help[i])
  printf("%s\n", gengetopt_args_info_help[i++]);
235}

237void
238cmdline_parser_init (struct gengetopt_args_info *args_info)
239{
clear_given (args_info);
clear_args (args_info);
init_args_info (args_info);

args_info->inputs = 0;
args_info->inputs_num = 0;
246}

248void
249cmdline_parser_params_init(struct cmdline_parser_params *params)
250{
if (params)
  { 
    params->override = 0;
    params->initialize = 1;
    params->check_required = 1;
    params->check_ambiguity = 0;
    params->print_errors = 1;
  }
259}

261struct cmdline_parser_params *
262cmdline_parser_params_create(void)
263{
struct cmdline_parser_params *params = 
  (struct cmdline_parser_params *)malloc(sizeof(struct cmdline_parser_params));
cmdline_parser_params_init(params);  
return params;
268}

270static void
271free_string_field (char **s)
272{
if (*s)
  {
    free (*s);
    *s = 0;
  }
278}


281static void
282cmdline_parser_release (struct gengetopt_args_info *args_info)
283{
unsigned int i;
free_string_field (&(args_info->client_name_arg));
free_string_field (&(args_info->client_name_orig));
free_string_field (&(args_info->encryption_type_arg));
free_string_field (&(args_info->encryption_type_orig));
free_string_field (&(args_info->endtime_arg));
free_string_field (&(args_info->endtime_orig));
free_string_field (&(args_info->realm_arg));
free_string_field (&(args_info->realm_orig));
free_string_field (&(args_info->renew_till_arg));
free_string_field (&(args_info->renew_till_orig));
free_string_field (&(args_info->server_name_arg));
free_string_field (&(args_info->server_name_orig));
free_string_field (&(args_info->starttime_arg));
free_string_field (&(args_info->starttime_orig));
free_string_field (&(args_info->ticket_granter_arg));
free_string_field (&(args_info->ticket_granter_orig));
free_string_field (&(args_info->configuration_file_arg));
free_string_field (&(args_info->configuration_file_orig));
free_string_field (&(args_info->ticket_file_arg));
free_string_field (&(args_info->ticket_file_orig));
free_string_field (&(args_info->library_options_arg));
free_string_field (&(args_info->library_options_orig));
free_string_field (&(args_info->system_configuration_file_arg));
free_string_field (&(args_info->system_configuration_file_orig));
free_string_field (&(args_info->ticket_write_file_arg));
free_string_field (&(args_info->ticket_write_file_orig));


for (i = 0; i < args_info->inputs_num; ++i)
  free (args_info->inputs [i]);

if (args_info->inputs_num)
  free (args_info->inputs);

clear_given (args_info);
320}


323static void
324write_into_file(FILE *outfile, const char *opt, const char *arg, const char *values[])
325{
FIX_UNUSED (values)(void) (values);
if (arg) {
  fprintf(outfile, "%s=\"%s\"\n", opt, arg);
} else {
  fprintf(outfile, "%s\n", opt);
}
332}

334static void
335write_multiple_into_file(FILE *outfile, int len, const char *opt, char **arg, const char *values[])
336{
int i;

for (i = 0; i < len; ++i)
  write_into_file(outfile, opt, (arg ? arg[i] : 0), values);
341}

343int
344cmdline_parser_dump(FILE *outfile, struct gengetopt_args_info *args_info)
345{
int i = 0;

if (!outfile)
  {
    fprintf (stderrstderr, "%s: cannot dump options to stream\n", CMDLINE_PARSER_PACKAGE"shishi");
    return EXIT_FAILURE1;
  }

if (args_info->help_given)
  write_into_file(outfile, "help", 0, 0 );
if (args_info->version_given)
  write_into_file(outfile, "version", 0, 0 );
if (args_info->destroy_given)
  write_into_file(outfile, "destroy", 0, 0 );
if (args_info->list_given)
  write_into_file(outfile, "list", 0, 0 );
if (args_info->renew_given)
  write_into_file(outfile, "renew", 0, 0 );
if (args_info->forwardable_given)
  write_into_file(outfile, "forwardable", 0, 0 );
if (args_info->forwarded_given)
  write_into_file(outfile, "forwarded", 0, 0 );
if (args_info->proxiable_given)
  write_into_file(outfile, "proxiable", 0, 0 );
if (args_info->proxy_given)
  write_into_file(outfile, "proxy", 0, 0 );
if (args_info->renewable_given)
  write_into_file(outfile, "renewable", 0, 0 );
if (args_info->client_name_given)
  write_into_file(outfile, "client-name", args_info->client_name_orig, 0);
if (args_info->encryption_type_given)
  write_into_file(outfile, "encryption-type", args_info->encryption_type_orig, 0);
if (args_info->endtime_given)
  write_into_file(outfile, "endtime", args_info->endtime_orig, 0);
if (args_info->realm_given)
  write_into_file(outfile, "realm", args_info->realm_orig, 0);
if (args_info->renew_till_given)
  write_into_file(outfile, "renew-till", args_info->renew_till_orig, 0);
if (args_info->server_name_given)
  write_into_file(outfile, "server-name", args_info->server_name_orig, 0);
if (args_info->starttime_given)
  write_into_file(outfile, "starttime", args_info->starttime_orig, 0);
if (args_info->ticket_granter_given)
  write_into_file(outfile, "ticket-granter", args_info->ticket_granter_orig, 0);
if (args_info->configuration_file_given)
  write_into_file(outfile, "configuration-file", args_info->configuration_file_orig, 0);
if (args_info->ticket_file_given)
  write_into_file(outfile, "ticket-file", args_info->ticket_file_orig, 0);
if (args_info->library_options_given)
  write_into_file(outfile, "library-options", args_info->library_options_orig, 0);
if (args_info->quiet_given)
  write_into_file(outfile, "quiet", 0, 0 );
if (args_info->system_configuration_file_given)
  write_into_file(outfile, "system-configuration-file", args_info->system_configuration_file_orig, 0);
if (args_info->ticket_write_file_given)
  write_into_file(outfile, "ticket-write-file", args_info->ticket_write_file_orig, 0);
write_multiple_into_file(outfile, args_info->verbose_given, "verbose", 0, 0);


i = EXIT_SUCCESS0;
return i;
407}

409int
410cmdline_parser_file_save(const char *filename, struct gengetopt_args_info *args_info)
411{
FILE *outfile;
int i = 0;

outfile = fopen(filename, "w");

if (!outfile)
  {
    fprintf (stderrstderr, "%s: cannot open file for writing: %s\n", CMDLINE_PARSER_PACKAGE"shishi", filename);
    return EXIT_FAILURE1;
  }

i = cmdline_parser_dump(outfile, args_info);
fclose (outfile);

return i;
427}

429void
430cmdline_parser_free (struct gengetopt_args_info *args_info)
431{
cmdline_parser_release (args_info);
433}

435/** @brief replacement of strdup, which is not standard */
436char *
437gengetopt_strdup (const char *s)
438{
char *result = 0;
if (!s)
  return result;

result = (char*)malloc(strlen(s) + 1);
if (result == (char*)0)
  return (char*)0;
strcpy(result, s);
return result;
448}

450static int
451check_multiple_option_occurrences(const char *prog_name, unsigned int option_given, unsigned int min, unsigned int max, const char *option_desc);

453int
454check_multiple_option_occurrences(const char *prog_name, unsigned int option_given, unsigned int min, unsigned int max, const char *option_desc)
455{
int error_occurred = 0;

if (option_given && (min > 0 || max > 0))
  {
    if (min > 0 && max > 0)
      {
        if (min == max)
          {
            /* specific occurrences */
            if (option_given != (unsigned int) min)
              {
                fprintf (stderrstderr, "%s: %s option occurrences must be %d\n",
                  prog_name, option_desc, min);
                error_occurred = 1;
              }
          }
        else if (option_given < (unsigned int) min
              || option_given > (unsigned int) max)
          {
            /* range occurrences */
            fprintf (stderrstderr, "%s: %s option occurrences must be between %d and %d\n",
              prog_name, option_desc, min, max);
            error_occurred = 1;
          }
      }
    else if (min > 0)
      {
        /* at least check */
        if (option_given < min)
          {
            fprintf (stderrstderr, "%s: %s option occurrences must be at least %d\n",
              prog_name, option_desc, min);
            error_occurred = 1;
          }
      }
    else if (max > 0)
      {
        /* at most check */
        if (option_given > max)
          {
            fprintf (stderrstderr, "%s: %s option occurrences must be at most %d\n",
              prog_name, option_desc, max);
            error_occurred = 1;
          }
      }
  }
  
return error_occurred;
504}
505int
506cmdline_parser (int argc, char **argv, struct gengetopt_args_info *args_info)
507{
return cmdline_parser2 (argc, argv, args_info, 0, 1, 1);
509}

511int
512cmdline_parser_ext (int argc, char **argv, struct gengetopt_args_info *args_info,
                 struct cmdline_parser_params *params)
514{
int result;
result = cmdline_parser_internal (argc, argv, args_info, params, 0);

return result;
519}

521int
522cmdline_parser2 (int argc, char **argv, struct gengetopt_args_info *args_info, int override, int initialize, int check_required)
523{
int result;
struct cmdline_parser_params params;

params.override = override;
params.initialize = initialize;
params.check_required = check_required;
params.check_ambiguity = 0;
params.print_errors = 1;

result = cmdline_parser_internal (argc, argv, args_info, &params, 0);

return result;
536}

538int
539cmdline_parser_required (struct gengetopt_args_info *args_info, const char *prog_name)
540{
int result = EXIT_SUCCESS0;

if (cmdline_parser_required2(args_info, prog_name, 0) > 0)
  result = EXIT_FAILURE1;

return result;
547}

549int
550cmdline_parser_required2 (struct gengetopt_args_info *args_info, const char *prog_name, const char *additional_error)
551{
int error_occurred = 0;
FIX_UNUSED (additional_error)(void) (additional_error);

/* checks for required options */
if (check_multiple_option_occurrences(prog_name, args_info->verbose_given, args_info->verbose_min, args_info->verbose_max, "'--verbose' ('-v')"))
   error_occurred = 1;


/* checks for dependences among options */

return error_occurred;
563}


566static char *package_name = 0;

568/**
* @brief updates an option
* @param field the generic pointer to the field to update
* @param orig_field the pointer to the orig field
* @param field_given the pointer to the number of occurrence of this option
* @param prev_given the pointer to the number of occurrence already seen
* @param value the argument for this option (if null no arg was specified)
* @param possible_values the possible values for this option (if specified)
* @param default_value the default value (in case the option only accepts fixed values)
* @param arg_type the type of this option
* @param check_ambiguity @see cmdline_parser_params.check_ambiguity
* @param override @see cmdline_parser_params.override
* @param no_free whether to free a possible previous value
* @param multiple_option whether this is a multiple option
* @param long_opt the corresponding long option
* @param short_opt the corresponding short option (or '-' if none)
* @param additional_error possible further error specification
*/
586static
587int update_arg(void *field, char **orig_field,
             unsigned int *field_given, unsigned int *prev_given, 
             char *value, const char *possible_values[],
             const char *default_value,
             cmdline_parser_arg_type arg_type,
             int check_ambiguity, int override,
             int no_free, int multiple_option,
             const char *long_opt, char short_opt,
             const char *additional_error)
596{
char *stop_char = 0;
const char *val = value;
int found;
char **string_field;
FIX_UNUSED (field)(void) (field);

stop_char = 0;
found = 0;

if (!multiple_option8.1
'multiple_option' is 0
 && prev_given8.2
'prev_given' is non-null
 && (*prev_given || (check_ambiguity && *field_given)))
9
←
Assuming 'check_ambiguity' is 0→
  {
    if (short_opt != '-')
      fprintf (stderrstderr, "%s: `--%s' (`-%c') option given more than once%s\n", 
             package_name, long_opt, short_opt,
             (additional_error ? additional_error : ""));
    else
      fprintf (stderrstderr, "%s: `--%s' option given more than once%s\n", 
             package_name, long_opt,
             (additional_error ? additional_error : ""));
    return 1; /* failure */
  }

FIX_UNUSED (default_value)(void) (default_value);
  
if (field_given && *field_given && ! override)
10
←
Assuming 'field_given' is null→
  return 0;
if (prev_given10.1
'prev_given' is non-null
)
11
←
Taking true branch→
  (*prev_given)++;
if (field_given11.1
'field_given' is null
)
12
←
Taking false branch→
  (*field_given)++;
if (possible_values12.1
'possible_values' is null
)
13
←
Taking false branch→
  val = possible_values[found];

switch(arg_type) {
14
←
Control jumps to 'case ARG_FLAG:'  at line 631→
case ARG_FLAG:
  *((int *)field) = !*((int *)field);
15
←
Dereference of null pointer
  break;
case ARG_STRING:
  if (val) {
    string_field = (char **)field;
    if (!no_free && *string_field)
      free (*string_field); /* free previous string */
    *string_field = gengetopt_strdup (val);
  }
  break;
default:
  break;
};

FIX_UNUSED(stop_char)(void) (stop_char);

/* store the original value */
switch(arg_type) {
case ARG_NO:
case ARG_FLAG:
  break;
default:
  if (value && orig_field) {
    if (no_free) {
      *orig_field = value;
    } else {
      if (*orig_field)
        free (*orig_field); /* free previous string */
      *orig_field = gengetopt_strdup (value);
    }
  }
};

return 0; /* OK */
666}


669int
670cmdline_parser_internal (
int argc, char **argv, struct gengetopt_args_info *args_info,
                      struct cmdline_parser_params *params, const char *additional_error)
673{
int c;	/* Character of the parsed option.  */

int error_occurred = 0;
struct gengetopt_args_info local_args_info;

int override;
int initialize;
int check_required;
int check_ambiguity;

package_name = argv[0];

/* TODO: Why is this here? It is not used anywhere. */
override = params->override;
FIX_UNUSED(override)(void) (override);

initialize = params->initialize;
check_required = params->check_required;

/* TODO: Why is this here? It is not used anywhere. */
check_ambiguity = params->check_ambiguity;
FIX_UNUSED(check_ambiguity)(void) (check_ambiguity);

if (initialize)
1
Assuming 'initialize' is 0→
2
←
Taking false branch→
  cmdline_parser_init (args_info);

cmdline_parser_init (&local_args_info);

optarg = 0;
optind = 0;
opterr = params->print_errors;
optopt = '?';

while (1)
3
←
Loop condition is true.  Entering loop body→
  {
    int option_index = 0;

    static struct option long_options[] = {
      { "help",	0, NULL((void*)0), 'h' },
      { "version",	0, NULL((void*)0), 'V' },
      { "destroy",	0, NULL((void*)0), 'd' },
      { "list",	0, NULL((void*)0), 'l' },
      { "renew",	0, NULL((void*)0), 'r' },
      { "forwardable",	0, NULL((void*)0), 0 },
      { "forwarded",	0, NULL((void*)0), 0 },
      { "proxiable",	0, NULL((void*)0), 0 },
      { "proxy",	0, NULL((void*)0), 0 },
      { "renewable",	0, NULL((void*)0), 0 },
      { "client-name",	1, NULL((void*)0), 0 },
      { "encryption-type",	1, NULL((void*)0), 'E' },
      { "endtime",	1, NULL((void*)0), 'e' },
      { "realm",	1, NULL((void*)0), 0 },
      { "renew-till",	1, NULL((void*)0), 0 },
      { "server-name",	1, NULL((void*)0), 0 },
      { "starttime",	1, NULL((void*)0), 's' },
      { "ticket-granter",	1, NULL((void*)0), 0 },
      { "configuration-file",	1, NULL((void*)0), 0 },
      { "ticket-file",	1, NULL((void*)0), 'c' },
      { "library-options",	1, NULL((void*)0), 'o' },
      { "quiet",	0, NULL((void*)0), 'q' },
      { "system-configuration-file",	1, NULL((void*)0), 0 },
      { "ticket-write-file",	1, NULL((void*)0), 0 },
      { "verbose",	0, NULL((void*)0), 'v' },
      { 0,  0, 0, 0 }
    };

    c = getopt_long (argc, argv, "hVdlrE:e:s:c:o:qv", long_options, &option_index);

    if (c == -1) break;	/* Exit from `while (1)' loop.  */
4
←
Assuming the condition is false→
5
←
Taking false branch→

    switch (c)
6
←
Control jumps to 'case 113:'  at line 864→
      {
      case 'h':	/* Print help and exit.  */
      
      
        if (update_arg( 0 , 
             0 , &(args_info->help_given),
            &(local_args_info.help_given), optarg, 0, 0, ARG_NO,
            check_ambiguity, override, 0, 0,
            "help", 'h',
            additional_error))
          goto failure;
        cmdline_parser_free (&local_args_info);
        return 0;
      
        break;
      case 'V':	/* Print version and exit.  */
      
      
        if (update_arg( 0 , 
             0 , &(args_info->version_given),
            &(local_args_info.version_given), optarg, 0, 0, ARG_NO,
            check_ambiguity, override, 0, 0,
            "version", 'V',
            additional_error))
          goto failure;
        cmdline_parser_free (&local_args_info);
        return 0;
      
        break;
      case 'd':	/* Destroy tickets in local cache, limited by any --client-name or --server-name..  */
      
      
        if (update_arg((void *)&(args_info->destroy_flag), 0, &(args_info->destroy_given),
            &(local_args_info.destroy_given), optarg, 0, 0, ARG_FLAG,
            check_ambiguity, override, 1, 0, "destroy", 'd',
            additional_error))
          goto failure;
      
        break;
      case 'l':	/* List tickets in local cache, limited by any --client-name and --server-name..  */
      
      
        if (update_arg((void *)&(args_info->list_flag), 0, &(args_info->list_given),
            &(local_args_info.list_given), optarg, 0, 0, ARG_FLAG,
            check_ambiguity, override, 1, 0, "list", 'l',
            additional_error))
          goto failure;
      
        break;
      case 'r':	/* Renew ticket.  Use --server-name to specify ticket, default is the most recent renewable ticket granting ticket for the default realm..  */
      
      
        if (update_arg((void *)&(args_info->renew_flag), 0, &(args_info->renew_given),
            &(local_args_info.renew_given), optarg, 0, 0, ARG_FLAG,
            check_ambiguity, override, 1, 0, "renew", 'r',
            additional_error))
          goto failure;
      
        break;
      case 'E':	/* Encryption types to use.  ETYPE is either registered name or integer.  Valid values include 'aes128', 'aes256', 'aes' (same as 'aes256'), '3des', 'des-md5', 'des-md4', 'des-crc', 'des' (same as 'des-md5'), and 'arcfour'..  */
      
      
        if (update_arg( (void *)&(args_info->encryption_type_arg), 
             &(args_info->encryption_type_orig), &(args_info->encryption_type_given),
            &(local_args_info.encryption_type_given), optarg, 0, 0, ARG_STRING,
            check_ambiguity, override, 0, 0,
            "encryption-type", 'E',
            additional_error))
          goto failure;
      
        break;
      case 'e':	/* Specify when ticket validity should expire.  The time syntax may be relative (to the start time), such as '20 hours', or absolute, such as '2001-02-03 04:05:06 CET'. The default is 8 hours after the start time..  */
      
      
        if (update_arg( (void *)&(args_info->endtime_arg), 
             &(args_info->endtime_orig), &(args_info->endtime_given),
            &(local_args_info.endtime_given), optarg, 0, 0, ARG_STRING,
            check_ambiguity, override, 0, 0,
            "endtime", 'e',
            additional_error))
          goto failure;
      
        break;
      case 's':	/* Specify when ticket should start to be valid.  Accepts same time syntax as --endtime. The default is to become valid immediately..  */
      
      
        if (update_arg( (void *)&(args_info->starttime_arg), 
             &(args_info->starttime_orig), &(args_info->starttime_given),
            &(local_args_info.starttime_given), optarg, 0, 0, ARG_STRING,
            check_ambiguity, override, 0, 0,
            "starttime", 's',
            additional_error))
          goto failure;
      
        break;
      case 'c':	/* Read tickets from FILE..  */
      
      
        if (update_arg( (void *)&(args_info->ticket_file_arg), 
             &(args_info->ticket_file_orig), &(args_info->ticket_file_given),
            &(local_args_info.ticket_file_given), optarg, 0, 0, ARG_STRING,
            check_ambiguity, override, 0, 0,
            "ticket-file", 'c',
            additional_error))
          goto failure;
      
        break;
      case 'o':	/* Parse STRING as a configuration file statement..  */
      
      
        if (update_arg( (void *)&(args_info->library_options_arg), 
             &(args_info->library_options_orig), &(args_info->library_options_given),
            &(local_args_info.library_options_given), optarg, 0, 0, ARG_STRING,
            check_ambiguity, override, 0, 0,
            "library-options", 'o',
            additional_error))
          goto failure;
      
        break;
      case 'q':	/* Don't produce any diagnostic output.
 */
      
      
        if (update_arg((void *)&(args_info->quiet_flag), 0, &(args_info->quiet_given),
7
←
Passing value via 1st parameter 'field'→
8
←
Calling 'update_arg'→
            &(local_args_info.quiet_given), optarg, 0, 0, ARG_FLAG,
            check_ambiguity, override, 1, 0, "quiet", 'q',
            additional_error))
          goto failure;
      
        break;
      case 'v':	/* Produce verbose output.
      Use multiple times to increase amount of information..  */
      
        local_args_info.verbose_given++;
      
        break;

      case 0:	/* Long option with no short option */
        /* Get a forwardable ticket, i.e., one that can be used to get forwarded tickets..  */
        if (strcmp (long_options[option_index].name, "forwardable") == 0)
        {
        
        
          if (update_arg((void *)&(args_info->forwardable_flag), 0, &(args_info->forwardable_given),
              &(local_args_info.forwardable_given), optarg, 0, 0, ARG_FLAG,
              check_ambiguity, override, 1, 0, "forwardable", '-',
              additional_error))
            goto failure;
        
        }
        /* Get a forwarded ticket..  */
        else if (strcmp (long_options[option_index].name, "forwarded") == 0)
        {
        
        
          if (update_arg((void *)&(args_info->forwarded_flag), 0, &(args_info->forwarded_given),
              &(local_args_info.forwarded_given), optarg, 0, 0, ARG_FLAG,
              check_ambiguity, override, 1, 0, "forwarded", '-',
              additional_error))
            goto failure;
        
        }
        /* Get a proxiable ticket, i.e., one that can be used to get proxy tickets..  */
        else if (strcmp (long_options[option_index].name, "proxiable") == 0)
        {
        
        
          if (update_arg((void *)&(args_info->proxiable_flag), 0, &(args_info->proxiable_given),
              &(local_args_info.proxiable_given), optarg, 0, 0, ARG_FLAG,
              check_ambiguity, override, 1, 0, "proxiable", '-',
              additional_error))
            goto failure;
        
        }
        /* Get a proxy ticket..  */
        else if (strcmp (long_options[option_index].name, "proxy") == 0)
        {
        
        
          if (update_arg((void *)&(args_info->proxy_flag), 0, &(args_info->proxy_given),
              &(local_args_info.proxy_given), optarg, 0, 0, ARG_FLAG,
              check_ambiguity, override, 1, 0, "proxy", '-',
              additional_error))
            goto failure;
        
        }
        /* Get a renewable ticket..  */
        else if (strcmp (long_options[option_index].name, "renewable") == 0)
        {
        
        
          if (update_arg((void *)&(args_info->renewable_flag), 0, &(args_info->renewable_given),
              &(local_args_info.renewable_given), optarg, 0, 0, ARG_FLAG,
              check_ambiguity, override, 1, 0, "renewable", '-',
              additional_error))
            goto failure;
        
        }
        /* Client name. Default is login username..  */
        else if (strcmp (long_options[option_index].name, "client-name") == 0)
        {
        
        
          if (update_arg( (void *)&(args_info->client_name_arg), 
               &(args_info->client_name_orig), &(args_info->client_name_given),
              &(local_args_info.client_name_given), optarg, 0, 0, ARG_STRING,
              check_ambiguity, override, 0, 0,
              "client-name", '-',
              additional_error))
            goto failure;
        
        }
        /* Set default realm..  */
        else if (strcmp (long_options[option_index].name, "realm") == 0)
        {
        
        
          if (update_arg( (void *)&(args_info->realm_arg), 
               &(args_info->realm_orig), &(args_info->realm_given),
              &(local_args_info.realm_given), optarg, 0, 0, ARG_STRING,
              check_ambiguity, override, 0, 0,
              "realm", '-',
              additional_error))
            goto failure;
        
        }
        /* Specify renewable life of ticket.  Implies --renewable.  Accepts same time syntax as --endtime.  If --renewable is specified, the default is 1 week after the start time..  */
        else if (strcmp (long_options[option_index].name, "renew-till") == 0)
        {
        
        
          if (update_arg( (void *)&(args_info->renew_till_arg), 
               &(args_info->renew_till_orig), &(args_info->renew_till_given),
              &(local_args_info.renew_till_given), optarg, 0, 0, ARG_STRING,
              check_ambiguity, override, 0, 0,
              "renew-till", '-',
              additional_error))
            goto failure;
        
        }
        /* Server name. Default is 'krbtgt/REALM' where REALM is client realm..  */
        else if (strcmp (long_options[option_index].name, "server-name") == 0)
        {
        
        
          if (update_arg( (void *)&(args_info->server_name_arg), 
               &(args_info->server_name_orig), &(args_info->server_name_given),
              &(local_args_info.server_name_given), optarg, 0, 0, ARG_STRING,
              check_ambiguity, override, 0, 0,
              "server-name", '-',
              additional_error))
            goto failure;
        
        }
        /* Service name in ticket to use for authenticating request. Only for TGS. Defaults to 'krbtgt/REALM@REALM' where REALM is client realm..  */
        else if (strcmp (long_options[option_index].name, "ticket-granter") == 0)
        {
        
        
          if (update_arg( (void *)&(args_info->ticket_granter_arg), 
               &(args_info->ticket_granter_orig), &(args_info->ticket_granter_given),
              &(local_args_info.ticket_granter_given), optarg, 0, 0, ARG_STRING,
              check_ambiguity, override, 0, 0,
              "ticket-granter", '-',
              additional_error))
            goto failure;
        
        }
        /* Read user configuration from FILE..  */
        else if (strcmp (long_options[option_index].name, "configuration-file") == 0)
        {
        
        
          if (update_arg( (void *)&(args_info->configuration_file_arg), 
               &(args_info->configuration_file_orig), &(args_info->configuration_file_given),
              &(local_args_info.configuration_file_given), optarg, 0, 0, ARG_STRING,
              check_ambiguity, override, 0, 0,
              "configuration-file", '-',
              additional_error))
            goto failure;
        
        }
        /* Read system configuration from FILE..  */
        else if (strcmp (long_options[option_index].name, "system-configuration-file") == 0)
        {
        
        
          if (update_arg( (void *)&(args_info->system_configuration_file_arg), 
               &(args_info->system_configuration_file_orig), &(args_info->system_configuration_file_given),
              &(local_args_info.system_configuration_file_given), optarg, 0, 0, ARG_STRING,
              check_ambiguity, override, 0, 0,
              "system-configuration-file", '-',
              additional_error))
            goto failure;
        
        }
        /* Write tickets from FILE.  Default is to write them back to where they were read from..  */
        else if (strcmp (long_options[option_index].name, "ticket-write-file") == 0)
        {
        
        
          if (update_arg( (void *)&(args_info->ticket_write_file_arg), 
               &(args_info->ticket_write_file_orig), &(args_info->ticket_write_file_given),
              &(local_args_info.ticket_write_file_given), optarg, 0, 0, ARG_STRING,
              check_ambiguity, override, 0, 0,
              "ticket-write-file", '-',
              additional_error))
            goto failure;
        
        }
        
        break;
      case '?':	/* Invalid option.  */
        /* `getopt_long' already printed an error message.  */
        goto failure;

      default:	/* bug: option not considered.  */
        fprintf (stderrstderr, "%s: option unknown: %c%s\n", CMDLINE_PARSER_PACKAGE"shishi", c, (additional_error ? additional_error : ""));
        abort ();
      } /* switch */
  } /* while */



args_info->verbose_given += local_args_info.verbose_given;
local_args_info.verbose_given = 0;

if (check_required)
  {
    error_occurred += cmdline_parser_required2 (args_info, argv[0], additional_error);
  }

cmdline_parser_release (&local_args_info);

if ( error_occurred )
  return (EXIT_FAILURE1);

if (optind < argc)
  {
    int i = 0 ;
    int found_prog_name = 0;
    /* whether program name, i.e., argv[0], is in the remaining args
       (this may happen with some implementations of getopt,
        but surely not with the one included by gengetopt) */

    i = optind;
    while (i < argc)
      if (argv[i++] == argv[0]) {
        found_prog_name = 1;
        break;
      }
    i = 0;

    args_info->inputs_num = argc - optind - found_prog_name;
    args_info->inputs =
      (char **)(malloc ((args_info->inputs_num)*sizeof(char *))) ;
    while (optind < argc)
      if (argv[optind++] != argv[0])
        args_info->inputs[ i++ ] = gengetopt_strdup (argv[optind-1]) ;
  }

return 0;

1108failure:

cmdline_parser_release (&local_args_info);
return (EXIT_FAILURE1);
1112}
1113/* vim: set ft=c noet ts=8 sts=8 sw=8 tw=80 nojs spell : */