gss_cmd.c

Bug Summary

File:	src/gss_cmd.c
Warning:	line 417, 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 gss_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/gss/src -resource-dir /usr/lib64/clang/14.0.0 -D HAVE_CONFIG_H -I . -I .. -I ../src/gl -I ../src/gl -I ../lib/headers -I ../lib/headers -D LOCALEDIR="/usr/local/share/locale" -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/gss/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/gss/clang-analyzer/2022-08-16-210225-28585-1 -x c gss_cmd.c

1/*
File autogenerated by gengetopt version 2.23
generated with the following command:
gengetopt --no-handle-help --no-handle-version --input gss.ggo --file-name gss_cmd Makefile.am 

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 "gss_cmd.h"

28const char *gengetopt_args_info_purpose = "Command line interface to GSS, used to explain error codes.";

30const char *gengetopt_args_info_usage = "Usage: " CMDLINE_PARSER_PACKAGE"gss" " [OPTION]...";

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",
"  -m, --major=LONG              See gss.c for doc string",
"  -l, --list-mechanisms         See gss.c for doc string",
"  -a, --accept-sec-context[=STRING]\n                                See gss.c for doc string",
"  -i, --init-sec-context=STRING See gss.c for doc string",
"  -n, --server-name=STRING      See gss.c for doc string",
"  -q, --quiet                   Silent operation  (default=off)",
  0
46};

48typedef enum {ARG_NO
, ARG_FLAG
, ARG_STRING
, ARG_LONG
52} cmdline_parser_arg_type;

54static
55void clear_given (struct gengetopt_args_info *args_info);
56static
57void clear_args (struct gengetopt_args_info *args_info);

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


64static char *
65gengetopt_strdup (const char *s);

67static
68void clear_given (struct gengetopt_args_info *args_info)
69{
args_info->help_given = 0 ;
args_info->version_given = 0 ;
args_info->major_given = 0 ;
args_info->list_mechanisms_given = 0 ;
args_info->accept_sec_context_given = 0 ;
args_info->init_sec_context_given = 0 ;
args_info->server_name_given = 0 ;
args_info->quiet_given = 0 ;
78}

80static
81void clear_args (struct gengetopt_args_info *args_info)
82{
FIX_UNUSED (args_info)(void) (args_info);
args_info->major_orig = NULL((void*)0);
args_info->accept_sec_context_arg = NULL((void*)0);
args_info->accept_sec_context_orig = NULL((void*)0);
args_info->init_sec_context_arg = NULL((void*)0);
args_info->init_sec_context_orig = NULL((void*)0);
args_info->server_name_arg = NULL((void*)0);
args_info->server_name_orig = NULL((void*)0);
args_info->quiet_flag = 0;

93}

95static
96void init_args_info(struct gengetopt_args_info *args_info)
97{


args_info->help_help = gengetopt_args_info_help[0] ;
args_info->version_help = gengetopt_args_info_help[1] ;
args_info->major_help = gengetopt_args_info_help[2] ;
args_info->list_mechanisms_help = gengetopt_args_info_help[3] ;
args_info->accept_sec_context_help = gengetopt_args_info_help[4] ;
args_info->init_sec_context_help = gengetopt_args_info_help[5] ;
args_info->server_name_help = gengetopt_args_info_help[6] ;
args_info->quiet_help = gengetopt_args_info_help[7] ;

109}

111void
112cmdline_parser_print_version (void)
113{
printf ("%s %s\n",
   (strlen(CMDLINE_PARSER_PACKAGE_NAME"GNU Generic Security Service") ? CMDLINE_PARSER_PACKAGE_NAME"GNU Generic Security Service" : CMDLINE_PARSER_PACKAGE"gss"),
   CMDLINE_PARSER_VERSION"1.0.4.17-aca9");

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

122static void print_help_common(void)
123{
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);
}
141}

143void
144cmdline_parser_print_help (void)
145{
int i = 0;
print_help_common();
while (gengetopt_args_info_help[i])
  printf("%s\n", gengetopt_args_info_help[i++]);
150}

152void
153cmdline_parser_init (struct gengetopt_args_info *args_info)
154{
clear_given (args_info);
clear_args (args_info);
init_args_info (args_info);
158}

160void
161cmdline_parser_params_init(struct cmdline_parser_params *params)
162{
if (params)
  { 
    params->override = 0;
    params->initialize = 1;
    params->check_required = 1;
    params->check_ambiguity = 0;
    params->print_errors = 1;
  }
171}

173struct cmdline_parser_params *
174cmdline_parser_params_create(void)
175{
struct cmdline_parser_params *params = 
  (struct cmdline_parser_params *)malloc(sizeof(struct cmdline_parser_params));
cmdline_parser_params_init(params);  
return params;
180}

182static void
183free_string_field (char **s)
184{
if (*s)
  {
    free (*s);
    *s = 0;
  }
190}


193static void
194cmdline_parser_release (struct gengetopt_args_info *args_info)
195{

free_string_field (&(args_info->major_orig));
free_string_field (&(args_info->accept_sec_context_arg));
free_string_field (&(args_info->accept_sec_context_orig));
free_string_field (&(args_info->init_sec_context_arg));
free_string_field (&(args_info->init_sec_context_orig));
free_string_field (&(args_info->server_name_arg));
free_string_field (&(args_info->server_name_orig));



clear_given (args_info);
208}


211static void
212write_into_file(FILE *outfile, const char *opt, const char *arg, const char *values[])
213{
FIX_UNUSED (values)(void) (values);
if (arg) {
  fprintf(outfile, "%s=\"%s\"\n", opt, arg);
} else {
  fprintf(outfile, "%s\n", opt);
}
220}


223int
224cmdline_parser_dump(FILE *outfile, struct gengetopt_args_info *args_info)
225{
int i = 0;

if (!outfile)
  {
    fprintf (stderrstderr, "%s: cannot dump options to stream\n", CMDLINE_PARSER_PACKAGE"gss");
    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->major_given)
  write_into_file(outfile, "major", args_info->major_orig, 0);
if (args_info->list_mechanisms_given)
  write_into_file(outfile, "list-mechanisms", 0, 0 );
if (args_info->accept_sec_context_given)
  write_into_file(outfile, "accept-sec-context", args_info->accept_sec_context_orig, 0);
if (args_info->init_sec_context_given)
  write_into_file(outfile, "init-sec-context", args_info->init_sec_context_orig, 0);
if (args_info->server_name_given)
  write_into_file(outfile, "server-name", args_info->server_name_orig, 0);
if (args_info->quiet_given)
  write_into_file(outfile, "quiet", 0, 0 );


i = EXIT_SUCCESS0;
return i;
254}

256int
257cmdline_parser_file_save(const char *filename, struct gengetopt_args_info *args_info)
258{
FILE *outfile;
int i = 0;

outfile = fopen(filename, "w");

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

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

return i;
274}

276void
277cmdline_parser_free (struct gengetopt_args_info *args_info)
278{
cmdline_parser_release (args_info);
280}

282/** @brief replacement of strdup, which is not standard */
283char *
284gengetopt_strdup (const char *s)
285{
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;
295}

297int
298cmdline_parser (int argc, char **argv, struct gengetopt_args_info *args_info)
299{
return cmdline_parser2 (argc, argv, args_info, 0, 1, 1);
301}

303int
304cmdline_parser_ext (int argc, char **argv, struct gengetopt_args_info *args_info,
                 struct cmdline_parser_params *params)
306{
int result;
result = cmdline_parser_internal (argc, argv, args_info, params, 0);
1
Passing value via 3rd parameter 'args_info'→
2
←
Calling 'cmdline_parser_internal'→

if (result == EXIT_FAILURE1)
  {
    cmdline_parser_free (args_info);
    exit (EXIT_FAILURE1);
  }

return result;
317}

319int
320cmdline_parser2 (int argc, char **argv, struct gengetopt_args_info *args_info, int override, int initialize, int check_required)
321{
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);

if (result == EXIT_FAILURE1)
  {
    cmdline_parser_free (args_info);
    exit (EXIT_FAILURE1);
  }

return result;
340}

342int
343cmdline_parser_required (struct gengetopt_args_info *args_info, const char *prog_name)
344{
FIX_UNUSED (args_info)(void) (args_info);
FIX_UNUSED (prog_name)(void) (prog_name);
return EXIT_SUCCESS0;
348}


351static char *package_name = 0;

353/**
* @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
*/
371static
372int 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)
381{
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_option10.1
'multiple_option' is 0
 && prev_given10.2
'prev_given' is non-null
 && (*prev_given || (check_ambiguity && *field_given)))
11
←
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)
12
←
Assuming 'field_given' is null→
  return 0;
if (prev_given12.1
'prev_given' is non-null
)
13
←
Taking true branch→
  (*prev_given)++;
if (field_given13.1
'field_given' is null
)
14
←
Taking false branch→
  (*field_given)++;
if (possible_values14.1
'possible_values' is null
)
15
←
Taking false branch→
  val = possible_values[found];

switch(arg_type) {
16
←
Control jumps to 'case ARG_FLAG:'  at line 416→
case ARG_FLAG:
  *((int *)field) = !*((int *)field);
17
←
Dereference of null pointer
  break;
case ARG_LONG:
  if (val) *((long *)field) = (long)strtol (val, &stop_char, 0);
  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;
};

/* check numeric conversion */
switch(arg_type) {
case ARG_LONG:
  if (val && !(stop_char && *stop_char == '\0')) {
    fprintf(stderrstderr, "%s: invalid numeric value: %s\n", package_name, val);
    return 1; /* failure */
  }
  break;
default:
  ;
};

/* 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 */
464}


467int
468cmdline_parser_internal (
int argc, char **argv, struct gengetopt_args_info *args_info,
                      struct cmdline_parser_params *params, const char *additional_error)
471{
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)
3
←
Assuming 'initialize' is 0→
4
←
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)
5
←
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' },
      { "major",	1, NULL((void*)0), 'm' },
      { "list-mechanisms",	0, NULL((void*)0), 'l' },
      { "accept-sec-context",	2, NULL((void*)0), 'a' },
      { "init-sec-context",	1, NULL((void*)0), 'i' },
      { "server-name",	1, NULL((void*)0), 'n' },
      { "quiet",	0, NULL((void*)0), 'q' },
      { 0,  0, 0, 0 }
    };

    c = getopt_long (argc, argv, "hVm:la::i:n:q", long_options, &option_index);

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

    switch (c)
8
←
Control jumps to 'case 113:'  at line 615→
      {
      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 'm':	/* See gss.c for doc string.  */
      
      
        if (update_arg( (void *)&(args_info->major_arg), 
             &(args_info->major_orig), &(args_info->major_given),
            &(local_args_info.major_given), optarg, 0, 0, ARG_LONG,
            check_ambiguity, override, 0, 0,
            "major", 'm',
            additional_error))
          goto failure;
      
        break;
      case 'l':	/* See gss.c for doc string.  */
      
      
        if (update_arg( 0 , 
             0 , &(args_info->list_mechanisms_given),
            &(local_args_info.list_mechanisms_given), optarg, 0, 0, ARG_NO,
            check_ambiguity, override, 0, 0,
            "list-mechanisms", 'l',
            additional_error))
          goto failure;
      
        break;
      case 'a':	/* See gss.c for doc string.  */
      
      
        if (update_arg( (void *)&(args_info->accept_sec_context_arg), 
             &(args_info->accept_sec_context_orig), &(args_info->accept_sec_context_given),
            &(local_args_info.accept_sec_context_given), optarg, 0, 0, ARG_STRING,
            check_ambiguity, override, 0, 0,
            "accept-sec-context", 'a',
            additional_error))
          goto failure;
      
        break;
      case 'i':	/* See gss.c for doc string.  */
      
      
        if (update_arg( (void *)&(args_info->init_sec_context_arg), 
             &(args_info->init_sec_context_orig), &(args_info->init_sec_context_given),
            &(local_args_info.init_sec_context_given), optarg, 0, 0, ARG_STRING,
            check_ambiguity, override, 0, 0,
            "init-sec-context", 'i',
            additional_error))
          goto failure;
      
        break;
      case 'n':	/* See gss.c for doc string.  */
      
      
        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", 'n',
            additional_error))
          goto failure;
      
        break;
      case 'q':	/* Silent operation.  */
      
      
        if (update_arg((void *)&(args_info->quiet_flag), 0, &(args_info->quiet_given),
9
←
Passing value via 1st parameter 'field'→
10
←
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 0:	/* Long option with no short option */
      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"gss", c, (additional_error ? additional_error : ""));
        abort ();
      } /* switch */
  } /* while */



FIX_UNUSED(check_required)(void) (check_required);

cmdline_parser_release (&local_args_info);

if ( error_occurred )
  return (EXIT_FAILURE1);

return 0;

648failure:

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