configure: WARNING:
  You will not be able to create source packages with 'make dist'
  because gtk-doc >= 1.2 is not found.
ASN1.c:75:25: warning: no previous declaration for '_asn1_yychar' [-Wmissing-variable-declarations]
   75 | #define yychar          _asn1_yychar
      |                         ^~~~~~~~~~~~
ASN1.c:1589:5: note: in expansion of macro 'yychar'
 1589 | int yychar;
      |     ^~~~~~
ASN1.c:73:25: warning: no previous declaration for '_asn1_yynerrs' [-Wmissing-variable-declarations]
   73 | #define yynerrs         _asn1_yynerrs
      |                         ^~~~~~~~~~~~~
ASN1.c:1594:5: note: in expansion of macro 'yynerrs'
 1594 | int yynerrs;
      |     ^~~~~~~
parser_aux.c:32:6: warning: no previous declaration for '_asn1_identifierMissing' [-Wmissing-variable-declarations]
   32 | char _asn1_identifierMissing[ASN1_MAX_NAME_SIZE + 1];   /* identifier name not found */
      |      ^~~~~~~~~~~~~~~~~~~~~~~
coding.c: In function '_asn1_tag_der.part.0':
coding.c:121:1: warning: stack protector not protecting function: all local arrays are less than 8 bytes long [-Wstack-protector]
  121 | _asn1_tag_der (unsigned char class, unsigned int tag_value,
      | ^~~~~~~~~~~~~
In function '_asn1_find_up',
    inlined from '_asn1_set_default_tag' at parser_aux.c:1173:12:
parser_aux.c:537:6: warning: infinite loop [CWE-835] [-Wanalyzer-infinite-loop]
  537 |   if (node == NULL)
      |      ^
  '_asn1_set_default_tag': event 1
    │
    │ 1144 | _asn1_set_default_tag (asn1_node node)
    │      | ^~~~~~~~~~~~~~~~~~~~~
    │      | |
    │      | (1) entry to '_asn1_set_default_tag'
    │
    └──> '_asn1_find_up.part.0': event 2
           │
           │  533 | _asn1_find_up (asn1_node_const node)
           │      | ^~~~~~~~~~~~~
           │      | |
           │      | (2) entry to '_asn1_find_up'
           │
    <──────┘
    │
  '_asn1_set_default_tag': event 3
    │
    │ 1173 |               p = _asn1_find_up (p);
    │      |                   ^
    │      |                   |
    │      |                   (3) inlined call to '_asn1_find_up' from '_asn1_set_default_tag'
    │
    └──> '_asn1_find_up': events 4-5
           │
           │  537 |   if (node == NULL)
           │      |      ^
           │      |      |
           │      |      (4) ⚠️  infinite loop here
           │      |      (5) when 'p' is NULL: always following 'true' branch... ─>─┐
           │      |                                                                 │
           │
    <──────┘
    │
  '_asn1_set_default_tag': events 6-9
    │
    │      |                                                                 │
    │      |┌────────────────────────────────────────────────────────────────┘
    │ 1174 |│              if (p == node)
    │      |│                 ^
    │      |│                 |
    │      |└────────────────>(6) ...to here
    │      |                  (7) if it ever follows 'false' branch, it will always do so... ─>─┐
    │      |                                                                                    │
    │......
    │      |                                                                                    │
    │      |┌───────────────────────────────────────────────────────────────────────────────────┘
    │ 1179 |│              if (p && p->right)
    │      |│                 ~
    │      |│                 |
    │      |└────────────────>(8) ...to here
    │      |                  (9) if it ever follows 'false' branch, it will always do so... ─>─┐
    │      |                                                                                    │
    │
  '_asn1_set_default_tag': event 10
    │
    │cc1:
    │ (10): ...to here
    │
  '_asn1_set_default_tag': event 11
    │
    │cc1:
    │ (11): looping back...
    │
  '_asn1_set_default_tag': event 12
    │
    │ 1173 |               p = _asn1_find_up (p);
    │      |                   ^
    │      |                   |
    │      |└─────────────────>(12) inlined call to '_asn1_find_up' from '_asn1_set_default_tag'
    │
    └──> '_asn1_find_up': event 13
           │
           │  537 |   if (node == NULL)
           │      |      ^
           │      |      |
           │      |      (13) ...to here
           │
structure.c: In function '_asn1_copy_structure3':
structure.c:458:22: warning: dereference of NULL 'p_d' [CWE-476] [-Wanalyzer-null-dereference]
  458 |           p_d->start = p_s->start;
      |           ~~~~~~~~~~~^~~~~~~~~~~~
  'asn1_dup_node': events 1-2
    │
    │ 1234 | asn1_dup_node (asn1_node_const src, const char *src_name)
    │      | ^~~~~~~~~~~~~
    │      | |
    │      | (1) entry to 'asn1_dup_node'
    │ 1235 | {
    │ 1236 |   return _asn1_copy_structure2 (src, src_name);
    │      |          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    │      |          |
    │      |          (2) calling '_asn1_copy_structure2' from 'asn1_dup_node'
    │
    └──> '_asn1_copy_structure2': events 3-4
           │
           │  495 | _asn1_copy_structure2 (asn1_node_const root, const char *source_name)
           │      | ^~~~~~~~~~~~~~~~~~~~~
           │      | |
           │      | (3) entry to '_asn1_copy_structure2'
           │......
           │  501 |   return _asn1_copy_structure3 (source_node);
           │      |          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           │      |          |
           │      |          (4) calling '_asn1_copy_structure3' from '_asn1_copy_structure2'
           │
           └──> '_asn1_copy_structure3': events 5-7
                  │
                  │  424 | _asn1_copy_structure3 (asn1_node_const source_node)
                  │      | ^~~~~~~~~~~~~~~~~~~~~
                  │      | |
                  │      | (5) entry to '_asn1_copy_structure3'
                  │......
                  │  430 |   if (source_node == NULL)
                  │      |      ~
                  │      |      |
                  │      |      (6) following 'false' branch (when 'source_node' is non-NULL)... ─>─┐
                  │      |                                                                          │
                  │......
                  │      |                                                                          │
                  │      |┌─────────────────────────────────────────────────────────────────────────┘
                  │  433 |│  dest_node = _asn1_add_single_node (source_node->type);
                  │      |│                                     ~~~~~~~~~~~~~~~~~
                  │      |│                                                |
                  │      |└───────────────────────────────────────────────>(7) ...to here
                  │
                '_asn1_copy_structure3': event 8
                  │
                  │  433 |   dest_node = _asn1_add_single_node (source_node->type);
                  │      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                  │      |               |
                  │      |               (8) calling '_asn1_add_single_node' from '_asn1_copy_structure3'
                  │
                  └──> '_asn1_add_single_node': events 9-11
                         │
                         │   51 | _asn1_add_single_node (unsigned int type)
                         │      | ^~~~~~~~~~~~~~~~~~~~~
                         │      | |
                         │      | (9) entry to '_asn1_add_single_node'
                         │......
                         │   56 |   if (punt == NULL)
                         │      |      ~
                         │      |      |
                         │      |      (10) following 'false' branch (when 'punt' is non-NULL)... ─>─┐
                         │      |                                                                    │
                         │......
                         │      |                                                                    │
                         │      |┌───────────────────────────────────────────────────────────────────┘
                         │   59 |│  punt->type = type;
                         │      |│  ~~~~~~~~~~~~~~~~~
                         │      |│             |
                         │      |└────────────>(11) ...to here
                         │
                  <──────┘
                  │
                '_asn1_copy_structure3': events 12-13
                  │
                  │  433 |   dest_node = _asn1_add_single_node (source_node->type);
                  │      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                  │      |               |
                  │      |               (12) returning to '_asn1_copy_structure3' from '_asn1_add_single_node'
                  │  434 |   if (dest_node == NULL)
                  │      |      ~         
                  │      |      |
                  │      |      (13) following 'false' branch (when 'dest_node' is non-NULL)... ─>─┐
                  │      |                                                                         │
                  │
                '_asn1_copy_structure3': event 14
                  │
                  │cc1:
                  │ (14): ...to here
                  │
                '_asn1_copy_structure3': events 15-20
                  │
                  │  444 |       if (move != UP)
                  │      |          ^
                  │      |          |
                  │      |          (15) following 'true' branch (when 'move != 1')... ─>─┐
                  │      |                                                                │
                  │      |                                                                │
                  │      |┌───────────────────────────────────────────────────────────────┘
                  │  445 |│        {
                  │  446 |│          if (p_s->name[0] != 0)
                  │      |│              ~~~~~~~~~~~~
                  │      |│                       |
                  │      |└──────────────────────>(16) ...to here
                  │  447 |             _asn1_cpy_name (p_d, p_s);
                  │  448 |           if (p_s->value)
                  │      |              ~
                  │      |              |
                  │      |              (17) following 'true' branch... ─>─┐
                  │      |                                                 │
                  │      |                                                 │
                  │      |┌────────────────────────────────────────────────┘
                  │  449 |│            _asn1_set_value (p_d, p_s->value, p_s->value_len);
                  │      |│                                              ~~~~~~~~~~~~~~
                  │      |│                                                 |
                  │      |└────────────────────────────────────────────────>(18) ...to here
                  │  450 |           if (p_s->down)
                  │      |              ~
                  │      |              |
                  │      |              (19) following 'true' branch... ─>─┐
                  │      |                                                 │
                  │......
                  │      |                                                 │
                  │      |┌────────────────────────────────────────────────┘
                  │  454 |│              p_d = _asn1_add_single_node (p_s->type);
                  │      |│                                           ~~~~~~~~~
                  │      |│                                              |
                  │      |└─────────────────────────────────────────────>(20) ...to here
                  │
                '_asn1_copy_structure3': event 21
                  │
                  │  454 |               p_d = _asn1_add_single_node (p_s->type);
                  │      |                     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                  │      |                     |
                  │      |                     (21) calling '_asn1_add_single_node' from '_asn1_copy_structure3'
                  │
                  └──> '_asn1_add_single_node': events 22-25
                         │
                         │   51 | _asn1_add_single_node (unsigned int type)
                         │      | ^~~~~~~~~~~~~~~~~~~~~
                         │      | |
                         │      | (22) entry to '_asn1_add_single_node'
                         │......
                         │   55 |   punt = calloc (1, sizeof (struct asn1_node_st));
                         │      |          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                         │      |          |
                         │      |          (23) allocated here
                         │   56 |   if (punt == NULL)
                         │      |      ~
                         │      |      |
                         │      |      (24) assuming 'punt' is NULL
                         │      |      (25) following 'true' branch (when 'punt' is NULL)... ─>─┐
                         │      |                                                               │
                         │
                       '_asn1_add_single_node': event 26
                         │
                         │cc1:
                         │ (26): ...to here
                         │
                  <──────┘
                  │
                '_asn1_copy_structure3': events 27-28
                  │
                  │  454 |               p_d = _asn1_add_single_node (p_s->type);
                  │      |                     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                  │      |                     |
                  │      |                     (27) return of NULL to '_asn1_copy_structure3' from '_asn1_add_single_node'
                  │  455 |               _asn1_set_down (p_d_prev, p_d);
                  │      |               ~      
                  │      |               |
                  │      |               (28) inlined call to '_asn1_set_down' from '_asn1_copy_structure3'
                  │
                  └──> '_asn1_set_down': events 29-31
                         │
                         │parser_aux.h:112:6:
                         │  112 |   if (node == NULL)
                         │      |      ^
                         │      |      |
                         │      |      (29) following 'false' branch (when 'p_d' is non-NULL)... ─>─┐
                         │      |                                                                   │
                         │      |                                                                   │
                         │      |┌──────────────────────────────────────────────────────────────────┘
                         │  113 |│    return node;
                         │  114 |│  node->down = down;
                         │      |│  ~~~~~~~~~~~~~~~~~
                         │      |│             |
                         │      |└────────────>(30) ...to here
                         │  115 |   if (down)
                         │      |      ~
                         │      |      |
                         │      |      (31) following 'false' branch (when 'p_d' is NULL)... ─>─┐
                         │      |                                                               │
                         │
                  <──────┘
                  │
                '_asn1_copy_structure3': events 32-33
                  │
                  │structure.c:450:14:
                  │      |                                                               │
                  │      |┌──────────────────────────────────────────────────────────────┘
                  │  450 |│          if (p_s->down)
                  │      |│             ^
                  │      |│             |
                  │      |└────────────>(32) ...to here
                  │......
                  │  480 |   while (p_s != source_node);
                  │      |          ~~~~~~~~~~~~~~~~~~
                  │      |              |
                  │      |              (33) following 'true' branch (when 'p_s != source_node')... ─>─┐
                  │      |                                                                             │
                  │
                '_asn1_copy_structure3': event 34
                  │
                  │cc1:
                  │ (34): ...to here
                  │
                '_asn1_copy_structure3': events 35-36
                  │
                  │  444 |       if (move != UP)
                  │      |          ^
                  │      |          |
                  │      |          (35) following 'true' branch (when 'move != 1')... ─>─┐
                  │      |                                                                │
                  │      |                                                                │
                  │      |┌───────────────────────────────────────────────────────────────┘
                  │  445 |│        {
                  │  446 |│          if (p_s->name[0] != 0)
                  │      |│              ~~~~~~~~~~~~
                  │      |│                       |
                  │      |└──────────────────────>(36) ...to here
                  │
                '_asn1_copy_structure3': events 37-38
                  │
                  │  446 |           if (p_s->name[0] != 0)
                  │      |              ^
                  │      |              |
                  │      |              (37) following 'false' branch... ─>─┐
                  │      |                                                  │
                  │      |                                                  │
                  │      |┌─────────────────────────────────────────────────┘
                  │  447 |│            _asn1_cpy_name (p_d, p_s);
                  │  448 |│          if (p_s->value)
                  │      |│              ~~~~~~~~~~
                  │      |│                 |
                  │      |└────────────────>(38) ...to here
                  │
                '_asn1_copy_structure3': events 39-40
                  │
                  │  448 |           if (p_s->value)
                  │      |              ^
                  │      |              |
                  │      |              (39) following 'false' branch... ─>─┐
                  │      |                                                  │
                  │      |                                                  │
                  │      |┌─────────────────────────────────────────────────┘
                  │  449 |│            _asn1_set_value (p_d, p_s->value, p_s->value_len);
                  │  450 |│          if (p_s->down)
                  │      |│              ~~~~~~~~~
                  │      |│                 |
                  │      |└────────────────>(40) ...to here
                  │
                '_asn1_copy_structure3': events 41-42
                  │
                  │  450 |           if (p_s->down)
                  │      |              ^
                  │      |              |
                  │      |              (41) following 'false' branch... ─>─┐
                  │      |                                                  │
                  │......
                  │      |                                                  │
                  │      |┌─────────────────────────────────────────────────┘
                  │  458 |│          p_d->start = p_s->start;
                  │      |│                       ~~~~~~~~~~
                  │      |│                          |
                  │      |└─────────────────────────>(42) ...to here
                  │
                '_asn1_copy_structure3': event 43
                  │
                  │  458 |           p_d->start = p_s->start;
                  │      |           ~~~~~~~~~~~^~~~~~~~~~~~
                  │      |                      |
                  │      |                      (43) ⚠️  dereference of NULL 'p_d'
                  │
ASN1.c: In function '_asn1_yyparse':
ASN1.c:754:7: warning: use of uninitialized value 'yyss' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  754 |       __builtin_memcpy (Dst, Src, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src)))
      |       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
ASN1.c:739:9: note: in expansion of macro 'YYCOPY'
  739 |         YYCOPY (&yyptr->Stack_alloc, Stack, yysize);                    \
      |         ^~~~~~
ASN1.c:1715:9: note: in expansion of macro 'YYSTACK_RELOCATE'
 1715 |         YYSTACK_RELOCATE (yyss_alloc, yyss);
      |         ^~~~~~~~~~~~~~~~
  'asn1_parser2array': events 1-2
    │
    │ASN1.y:788:1:
    │  788 | asn1_parser2array (const char *inputFileName, const char *outputFileName,
    │      | ^~~~~~~~~~~~~~~~~
    │      | |
    │      | (1) entry to 'asn1_parser2array'
    │......
    │  802 |   if (file_asn1 == NULL)
    │      |      ~
    │      |      |
    │      |      (2) following 'false' branch... ─>─┐
    │      |                                         │
    │
  'asn1_parser2array': event 3
    │
    │      |                                         │
    │      |┌────────────────────────────────────────┘
    │  808 |│  result_parse = ASN1_SUCCESS;
    │
  'asn1_parser2array': event 4
    │
    │ASN1.c:69:25:
    │   69 | #define yyparse         _asn1_yyparse
ASN1.y:811:3: note: in expansion of macro 'yyparse'
    │  811 |   yyparse ();
    │      |   ^~~~~~~
    │
    └──> '_asn1_yyparse': event 5
           │
           │ASN1.c:69:25:
           │   69 | #define yyparse         _asn1_yyparse
           │      |                         ^~~~~~~~~~~~~
           │      |                         |
           │      |                         (5) entry to '_asn1_yyparse'
ASN1.c:1604:1: note: in expansion of macro 'yyparse'
           │ 1604 | yyparse (void)
           │      | ^~~~~~~
           │
         '_asn1_yyparse': events 6-12
           │
           │ 1617 |     yy_state_t yyssa[YYINITDEPTH];
           │      |                ^~~~~
           │      |                |
           │      |                (6) region created on stack here
           │      |                (7) capacity: 200 bytes
           │......
           │ 1673 |   if (yyss + yystacksize - 1 <= yyssp)
           │      |      ~          
           │      |      |
           │      |      (8) following 'true' branch... ─>─┐
           │      |                                        │
           │......
           │      |                                        │
           │      |┌───────────────────────────────────────┘
           │ 1679 |│      YYPTRDIFF_T yysize = yyssp - yyss + 1;
           │      |│                           ~~~~~~~~~~~~
           │      |│                                 |
           │      |└────────────────────────────────>(9) ...to here
           │......
           │ 1702 |       if (YYMAXDEPTH <= yystacksize)
           │      |          ~      
           │      |          |
           │      |          (10) following 'false' branch (when 'yystacksize <= 9999')... ─>─┐
           │      |                                                                           │
           │      |                                                                           │
           │      |┌──────────────────────────────────────────────────────────────────────────┘
           │ 1703 |│        YYNOMEM;
           │ 1704 |│      yystacksize *= 2;
           │      |│      ~~~~~~~~~~~~~~~~
           │      |│                  |
           │      |└─────────────────>(11) ...to here
           │......
           │ 1713 |         if (! yyptr)
           │      |            ~    
           │      |            |
           │      |            (12) following 'false' branch (when 'yyptr' is non-NULL)... ─>─┐
           │      |                                                                           │
           │
         '_asn1_yyparse': event 13
           │
           │      |                                                                           │
           │      |┌──────────────────────────────────────────────────────────────────────────┘
           │  754 |│      __builtin_memcpy (Dst, Src, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src)))
           │      |│      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           │      |│      |
           │      |└─────>(13) ...to here
ASN1.c:739:9: note: in expansion of macro 'YYCOPY'
           │  739 |         YYCOPY (&yyptr->Stack_alloc, Stack, yysize);                    \
           │      |         ^~~~~~
ASN1.c:1715:9: note: in expansion of macro 'YYSTACK_RELOCATE'
           │ 1715 |         YYSTACK_RELOCATE (yyss_alloc, yyss);
           │      |         ^~~~~~~~~~~~~~~~
           │
         '_asn1_yyparse': event 14
           │
           │  754 |       __builtin_memcpy (Dst, Src, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src)))
           │      |       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           │      |       |
           │      |       (14) ⚠️  use of uninitialized value 'yyss' here
ASN1.c:739:9: note: in expansion of macro 'YYCOPY'
           │  739 |         YYCOPY (&yyptr->Stack_alloc, Stack, yysize);                    \
           │      |         ^~~~~~
ASN1.c:1715:9: note: in expansion of macro 'YYSTACK_RELOCATE'
           │ 1715 |         YYSTACK_RELOCATE (yyss_alloc, yyss);
           │      |         ^~~~~~~~~~~~~~~~
           │
ASN1.c:1842:9: warning: use of uninitialized value '*' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
 1842 |   yyval = yyvsp[1-yylen];
      |   ~~~~~~^~~~~~~~~~~~~~~~
  'asn1_parser2array': events 1-2
    │
    │ASN1.y:788:1:
    │  788 | asn1_parser2array (const char *inputFileName, const char *outputFileName,
    │      | ^~~~~~~~~~~~~~~~~
    │      | |
    │      | (1) entry to 'asn1_parser2array'
    │......
    │  802 |   if (file_asn1 == NULL)
    │      |      ~
    │      |      |
    │      |      (2) following 'false' branch... ─>─┐
    │      |                                         │
    │
  'asn1_parser2array': event 3
    │
    │      |                                         │
    │      |┌────────────────────────────────────────┘
    │  808 |│  result_parse = ASN1_SUCCESS;
    │
  'asn1_parser2array': event 4
    │
    │ASN1.c:69:25:
    │   69 | #define yyparse         _asn1_yyparse
ASN1.y:811:3: note: in expansion of macro 'yyparse'
    │  811 |   yyparse ();
    │      |   ^~~~~~~
    │
    └──> '_asn1_yyparse': event 5
           │
           │ASN1.c:69:25:
           │   69 | #define yyparse         _asn1_yyparse
           │      |                         ^~~~~~~~~~~~~
           │      |                         |
           │      |                         (5) entry to '_asn1_yyparse'
ASN1.c:1604:1: note: in expansion of macro 'yyparse'
           │ 1604 | yyparse (void)
           │      | ^~~~~~~
           │
         '_asn1_yyparse': events 6-11
           │
           │ 1622 |     YYSTYPE yyvsa[YYINITDEPTH];
           │      |             ^~~~~
           │      |             |
           │      |             (6) region created on stack here
           │......
           │ 1673 |   if (yyss + yystacksize - 1 <= yyssp)
           │      |      ~       
           │      |      |
           │      |      (7) following 'false' branch... ─>─┐
           │      |                                         │
           │......
           │      |                                         │
           │      |┌────────────────────────────────────────┘
           │ 1737 |│  if (yystate == YYFINAL)
           │      |│     ~       
           │      |│     |
           │      |└────>(8) ...to here
           │      |      (9) following 'false' branch (when 'yystate != 5')... ─>─┐
           │      |                                                               │
           │......
           │      |                                                               │
           │      |┌──────────────────────────────────────────────────────────────┘
           │ 1740 |│  goto yybackup;
           │      |│  ~~~~       
           │      |│  |
           │      |└─>(10) ...to here
           │......
           │ 1752 |   if (yypact_value_is_default (yyn))
           │      |      ~       
           │      |      |
           │      |      (11) following 'false' branch (when 'yyn != -140')... ─>─┐
           │      |                                                               │
           │
         '_asn1_yyparse': event 12
           │
           │      |                                                               │
           │      |┌──────────────────────────────────────────────────────────────┘
           │ 1758 |│  if (yychar == _ASN1_YYEMPTY)
           │
         '_asn1_yyparse': event 13
           │
           │ 1758 |   if (yychar == _ASN1_YYEMPTY)
           │      |      ^
           │      |      |
           │      |      (13) following 'true' branch... ─>─┐
           │      |                                         │
           │
         '_asn1_yyparse': event 14
           │
           │ASN1.c:70:25:
           │      |                                         │
           │      |┌────────────────────────────────────────┘
           │   70 |│#define yylex           _asn1_yylex
ASN1.c:1761:16: note: in expansion of macro 'yylex'
           │ 1761 |       yychar = yylex ();
           │      |                ^~~~~
           │
         '_asn1_yyparse': event 15
           │
           │ 1770 |   else if (yychar == _ASN1_YYerror)
           │      |           ^
           │      |           |
           │      |           (15) following 'false' branch... ─>─┐
           │      |                                               │
           │
         '_asn1_yyparse': event 16
           │
           │      |                                               │
           │      |┌──────────────────────────────────────────────┘
           │  789 |│  (0 <= (YYX) && (YYX) <= YYMAXUTOK                     \
           │      |│              ^
           │      |│              |
           │      |└─────────────>(16) ...to here
ASN1.c:1782:17: note: in expansion of macro 'YYTRANSLATE'
           │ 1782 |       yytoken = YYTRANSLATE (yychar);
           │      |                 ^~~~~~~~~~~
           │
         '_asn1_yyparse': events 17-21
           │
           │ 1789 |   if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
           │      |      ^
           │      |      |
           │      |      (17) following 'false' branch... ─>─┐
           │      |                                          │
           │      |                                          │
           │      |┌─────────────────────────────────────────┘
           │ 1790 |│    goto yydefault;
           │ 1791 |│  yyn = yytable[yyn];
           │      |│        ~~~~~~~~~~~~
           │      |│               |
           │      |└──────────────>(18) ...to here
           │ 1792 |   if (yyn <= 0)
           │      |      ~
           │      |      |
           │      |      (19) following 'true' branch (when 'yyn <= 0')... ─>─┐
           │      |                                                           │
           │......
           │      |                                                           │
           │      |┌──────────────────────────────────────────────────────────┘
           │ 1796 |│      yyn = -yyn;
           │      |│      ~~~~~~~~~~
           │      |│          |
           │      |└─────────>(20) ...to here
           │......
           │ 1842 |   yyval = yyvsp[1-yylen];
           │      |   ~~~~~~~~~~~~~~~~~~~~~~
           │      |         |
           │      |         (21) ⚠️  use of uninitialized value '*' here
           │
asn1Coding.c: In function 'main':
asn1Coding.c:344:34: warning: dereference of NULL 'der' [CWE-476] [-Wanalyzer-null-dereference]
  344 |     fprintf (stderr, "%02x ", der[k]);
      |                               ~~~^~~
  'main': events 1-10
  207 |   if (optind == argc || optind == argc - 1)
      |      ^
      |      |
      |      (1) following 'false' branch... ─>─┐
      |                                         │
......
      |                                         │
      |┌────────────────────────────────────────┘
  214 |│  inputFileAsnName = strdup (argv[optind]);
      |│                                 ~
      |│                                 |
      |└────────────────────────────────>(2) ...to here
  215 |   if (inputFileAsnName == NULL)
      |      ~
      |      |
      |      (3) following 'false' branch (when 'inputFileAsnName' is non-NULL)... ─>─┐
      |                                                                               │
......
      |                                                                               │
      |┌──────────────────────────────────────────────────────────────────────────────┘
  221 |│  inputFileAssignmentName = strdup (argv[optind + 1]);
      |│                                         ~~~~~~~~~~
      |│                                                |
      |└───────────────────────────────────────────────>(4) ...to here
  222 |   if (inputFileAssignmentName == NULL)
      |      ~
      |      |
      |      (5) following 'false' branch (when 'inputFileAssignmentName' is non-NULL)... ─>─┐
      |                                                                                      │
......
      |                                                                                      │
      |┌─────────────────────────────────────────────────────────────────────────────────────┘
  229 |│    asn1_parser2tree (inputFileAsnName, &definitions, errorDescription);
      |│    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│    |
      |└───>(6) ...to here
......
  248 |   if (asn1_result != ASN1_SUCCESS)
      |      ~
      |      |
      |      (7) following 'false' branch (when 'asn1_result == 0')... ─>─┐
      |                                                                   │
......
      |                                                                   │
      |┌──────────────────────────────────────────────────────────────────┘
  256 |│  inputFile = fopen (inputFileAssignmentName, "r");
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(8) ...to here
  257 | 
  258 |   if (inputFile == NULL)
      |      ~
      |      |
      |      (9) following 'false' branch (when 'inputFile' is non-NULL)... ─>─┐
      |                                                                        │
......
      |                                                                        │
      |┌───────────────────────────────────────────────────────────────────────┘
  268 |│  putc ('\n', stderr);
      |│  ~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(10) ...to here
  'main': events 11-22
  271 |          == ASSIGNMENT_SUCCESS)
      |          ^
      |          |
      |          (11) following 'false' branch (when 'last_ra != 1')... ─>─┐
      |                                                                    │
......
      |                                                                    │
      |┌───────────────────────────────────────────────────────────────────┘
  301 |│  if (last_ra != ASSIGNMENT_EOF)
      |│     ~    
      |│     |
      |└────>(12) ...to here
      |      (13) following 'false' branch (when 'last_ra == 3')... ─>─┐
      |                                                                │
......
      |                                                                │
      |┌───────────────────────────────────────────────────────────────┘
  306 |│  fclose (inputFile);
      |│  ~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(14) ...to here
......
  314 |   if (asn1_result == ASN1_MEM_ERROR)
      |      ~    
      |      |
      |      (15) following 'false' branch (when 'asn1_result != 12')... ─>─┐
      |                                                                     │
......
      |                                                                     │
      |┌────────────────────────────────────────────────────────────────────┘
  325 |│  fprintf (stderr, "\nCoding: %s\n\n", asn1_strerror (asn1_result));
      |│  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(16) ...to here
  326 |   if (asn1_result != ASN1_SUCCESS)
      |      ~    
      |      |
      |      (17) following 'false' branch (when 'asn1_result == 0')... ─>─┐
      |                                                                    │
......
      |                                                                    │
      |┌───────────────────────────────────────────────────────────────────┘
  342 |│  fprintf (stderr, "-----------------\nNumber of bytes=%i\n", der_len);
      |│  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(18) ...to here
  343 |   for (k = 0; k < der_len; k++)
      |               ~~~~~~~~~~~
      |                 |
      |                 (19) following 'true' branch... ─>─┐
      |                                                    │
      |                                                    │
      |┌───────────────────────────────────────────────────┘
  344 |│    fprintf (stderr, "%02x ", der[k]);
      |│                              ~~~~~~
      |│                                 |
      |└────────────────────────────────>(20) ...to here
      |                                  (21) 'der' is NULL
      |                                  (22) ⚠️  dereference of NULL 'der + (sizetype)k'
asn1Coding.c:372:39: warning: dereference of NULL 'der' [CWE-476] [-Wanalyzer-null-dereference]
  372 |         fprintf (outputFile, "%c", der[k]);
      |                                    ~~~^~~
  'main': events 1-2
  166 |       if (option_result == -1)
      |          ^
      |          |
      |          (1) following 'false' branch (when 'option_result != -1')... ─>─┐
      |                                                                          │
......
      |                                                                          │
      |┌─────────────────────────────────────────────────────────────────────────┘
  169 |│      switch (option_result)
      |│      ~~~~~~
      |│      |
      |└─────>(2) ...to here
  'main': event 3
  185 |           assert (optarg != NULL);
      |           ^~~~~~
      |           |
      |           (3) following 'true' branch... ─>─┐
      |                                             │
  'main': events 4-5
      |                                             │
      |┌────────────────────────────────────────────┘
  186 |│          outputFileName = strdup (optarg);
      |│                           ^~~~~~~~~~~~~~~
      |│                           |
      |└──────────────────────────>(4) ...to here
  187 |           if (outputFileName == NULL)
      |              ~              
      |              |
      |              (5) following 'false' branch... ─>─┐
      |                                                 │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-25
  207 |   if (optind == argc || optind == argc - 1)
      |      ^
      |      |
      |      (7) following 'false' branch... ─>─┐
      |                                         │
......
      |                                         │
      |┌────────────────────────────────────────┘
  214 |│  inputFileAsnName = strdup (argv[optind]);
      |│                                 ~
      |│                                 |
      |└────────────────────────────────>(8) ...to here
  215 |   if (inputFileAsnName == NULL)
      |      ~
      |      |
      |      (9) following 'false' branch (when 'inputFileAsnName' is non-NULL)... ─>─┐
      |                                                                               │
......
      |                                                                               │
      |┌──────────────────────────────────────────────────────────────────────────────┘
  221 |│  inputFileAssignmentName = strdup (argv[optind + 1]);
      |│                                         ~~~~~~~~~~
      |│                                                |
      |└───────────────────────────────────────────────>(10) ...to here
  222 |   if (inputFileAssignmentName == NULL)
      |      ~
      |      |
      |      (11) following 'false' branch (when 'inputFileAssignmentName' is non-NULL)... ─>─┐
      |                                                                                       │
......
      |                                                                                       │
      |┌──────────────────────────────────────────────────────────────────────────────────────┘
  229 |│    asn1_parser2tree (inputFileAsnName, &definitions, errorDescription);
      |│    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│    |
      |└───>(12) ...to here
......
  248 |   if (asn1_result != ASN1_SUCCESS)
      |      ~
      |      |
      |      (13) following 'false' branch (when 'asn1_result == 0')... ─>─┐
      |                                                                    │
......
      |                                                                    │
      |┌───────────────────────────────────────────────────────────────────┘
  256 |│  inputFile = fopen (inputFileAssignmentName, "r");
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(14) ...to here
  257 | 
  258 |   if (inputFile == NULL)
      |      ~
      |      |
      |      (15) following 'false' branch (when 'inputFile' is non-NULL)... ─>─┐
      |                                                                         │
......
      |                                                                         │
      |┌────────────────────────────────────────────────────────────────────────┘
  268 |│  putc ('\n', stderr);
      |│  ~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(16) ...to here
......
  301 |   if (last_ra != ASSIGNMENT_EOF)
      |      ~
      |      |
      |      (17) following 'false' branch (when 'last_ra == 3')... ─>─┐
      |                                                                │
......
      |                                                                │
      |┌───────────────────────────────────────────────────────────────┘
  306 |│  fclose (inputFile);
      |│  ~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(18) ...to here
......
  314 |   if (asn1_result == ASN1_MEM_ERROR)
      |      ~
      |      |
      |      (19) following 'false' branch (when 'asn1_result != 12')... ─>─┐
      |                                                                     │
......
      |                                                                     │
      |┌────────────────────────────────────────────────────────────────────┘
  325 |│  fprintf (stderr, "\nCoding: %s\n\n", asn1_strerror (asn1_result));
      |│  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(20) ...to here
  326 |   if (asn1_result != ASN1_SUCCESS)
      |      ~
      |      |
      |      (21) following 'false' branch (when 'asn1_result == 0')... ─>─┐
      |                                                                    │
......
      |                                                                    │
      |┌───────────────────────────────────────────────────────────────────┘
  342 |│  fprintf (stderr, "-----------------\nNumber of bytes=%i\n", der_len);
      |│  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(22) ...to here
  343 |   for (k = 0; k < der_len; k++)
      |               ~~~~~~~~~~~
      |                 |
      |                 (23) following 'false' branch... ─>─┐
      |                                                     │
      |                                                     │
      |┌────────────────────────────────────────────────────┘
  344 |│    fprintf (stderr, "%02x ", der[k]);
  345 |│  fputs ("\n-----------------\n", stderr);
      |│  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(24) ...to here
......
  350 |   if (!checkSyntaxOnly)
      |      ~
      |      |
      |      (25) following 'true' branch (when 'checkSyntaxOnly == 0')... ─>─┐
      |                                                                       │
  'main': event 26
      |                                                                       │
      |┌──────────────────────────────────────────────────────────────────────┘
  352 |│      if (outputFileName == NULL)
      |│                         ^
      |│                         |
      |└────────────────────────>(26) ...to here
  'main': events 27-29
  352 |       if (outputFileName == NULL)
      |          ^
      |          |
      |          (27) following 'false' branch... ─>─┐
      |                                              │
......
      |                                              │
      |┌─────────────────────────────────────────────┘
  355 |│      fprintf (stderr, "\nOutputFile=%s\n", outputFileName);
      |│      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│      |
      |└─────>(28) ...to here
......
  359 |       if (outputFile == NULL)
      |          ~
      |          |
      |          (29) following 'false' branch (when 'outputFile' is non-NULL)... ─>─┐
      |                                                                              │
  'main': event 30
cc1:
 (30): ...to here
  'main': events 31-34
  371 |       for (k = 0; k < der_len; k++)
      |                   ~~^~~~~~~~~
      |                     |
      |                     (31) following 'true' branch... ─>─┐
      |                                                        │
      |                                                        │
      |┌───────────────────────────────────────────────────────┘
  372 |│        fprintf (outputFile, "%c", der[k]);
      |│                                   ~~~~~~
      |│                                      |
      |└─────────────────────────────────────>(32) ...to here
      |                                       (33) 'der' is NULL
      |                                       (34) ⚠️  dereference of NULL 'der + (sizetype)k'
pkix_asn1_tab.c:7:24: warning: no previous declaration for 'pkix_asn1_tab' [-Wmissing-variable-declarations]
    7 | const asn1_static_node pkix_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~
libtasn1_gnutls_der_fuzzer.c:36:24: warning: no previous declaration for 'gnutls_asn1_tab' [-Wmissing-variable-declarations]
   36 | const asn1_static_node gnutls_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~~~
libtasn1_array2tree_fuzzer.c:32:24: warning: no previous declaration for 'pkix_asn1_tab' [-Wmissing-variable-declarations]
   32 | const asn1_static_node pkix_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~
Test_parser.c:44:13: warning: no previous declaration for 'fileCorrectName' [-Wmissing-variable-declarations]
   44 | const char *fileCorrectName;
      |             ^~~~~~~~~~~~~~~
Test_parser.c:45:6: warning: no previous declaration for 'fileErroredName' [-Wmissing-variable-declarations]
   45 | char fileErroredName[] = "Test_parser_ERROR.asn";
      |      ^~~~~~~~~~~~~~~
Test_parser.c:49:11: warning: no previous declaration for 'test_array' [-Wmissing-variable-declarations]
   49 | test_type test_array[] = {
      |           ^~~~~~~~~~
Test_parser.c: In function 'readLine':
Test_parser.c:130:16: warning: use of possibly-NULL 'file' where non-null expected [CWE-690] [-Wanalyzer-possible-null-argument]
  130 |   while (((c = fgetc (file)) != EOF) && (c != '\n'))
      |                ^~~~~~~~~~~~
  'createFile': events 1-3
    │
    │  142 | createFile (int lineNumber, const char *line)
    │      | ^~~~~~~~~~
    │      | |
    │      | (1) entry to 'createFile'
    │......
    │  148 |   fileIn = fopen (fileCorrectName, "r");
    │      |            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    │      |            |
    │      |            (2) this call could return NULL
    │......
    │  151 |   while (readLine (fileIn, lineRead) != EOF)
    │      |          ~~~~~~~~~~~~~~~~~~~~~~~~~~~
    │      |          |
    │      |          (3) calling 'readLine' from 'createFile'
    │
    └──> 'readLine': events 4-5
           │
           │  126 | readLine (FILE *file, char *line)
           │      | ^~~~~~~~
           │      | |
           │      | (4) entry to 'readLine'
           │......
           │  130 |   while (((c = fgetc (file)) != EOF) && (c != '\n'))
           │      |                ~~~~~~~~~~~~
           │      |                |
           │      |                (5) ⚠️  argument 1 ('file') from (2) could be NULL where non-null expected
           │
In file included from Test_parser.c:29:
/usr/include/stdio.h:578:12: note: argument 1 of 'fgetc' must be non-null
  578 | extern int fgetc (FILE *__stream) __nonnull ((1));
      |            ^~~~~
Test_parser.c: In function 'createFile':
Test_parser.c:160:3: warning: use of possibly-NULL 'fileOut' where non-null expected [CWE-690] [-Wanalyzer-possible-null-argument]
  160 |   fclose (fileOut);
      |   ^~~~~~~~~~~~~~~~
  'createFile': event 1
  149 |   fileOut = fopen (fileErroredName, "w");
      |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |             |
      |             (1) this call could return NULL
  'createFile': events 2-4
  151 |   while (readLine (fileIn, lineRead) != EOF)
      |                                      ^
      |                                      |
      |                                      (2) following 'false' branch... ─>─┐
      |                                                                         │
......
      |                                                                         │
      |┌────────────────────────────────────────────────────────────────────────┘
  160 |│  fclose (fileOut);
      |│  ~~~~~~~~~~~~~~~~                    
      |│  |
      |└─>(3) ...to here
      |   (4) ⚠️  argument 1 ('fileOut') from (1) could be NULL where non-null expected
/usr/include/stdio.h:187:12: note: argument 1 of 'fclose' must be non-null
  187 | extern int fclose (FILE *__stream) __nonnull ((1));
      |            ^~~~~~
In file included from Test_tree.c:41:
Test_tree_asn1_tab.c:7:24: warning: no previous declaration for 'Test_tree_asn1_tab' [-Wmissing-variable-declarations]
    7 | const asn1_static_node Test_tree_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~~~~~~
Test_tree.c:79:11: warning: no previous declaration for 'test_array' [-Wmissing-variable-declarations]
   79 | test_type test_array[] = {
      |           ^~~~~~~~~~
Test_encoding.c:34:15: warning: no previous declaration for 'data' [-Wmissing-variable-declarations]
   34 | unsigned char data[256];
      |               ^~~~
Test_encoding.c:35:5: warning: no previous declaration for 'data_size' [-Wmissing-variable-declarations]
   35 | int data_size = sizeof (data);
      |     ^~~~~~~~~
Test_tree.c: In function 'main':
Test_tree.c:552:15: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  552 |               asn1_write_value (asn1_element, test->par1, der, der_len);
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-13
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
  532 | 
  533 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 3:' branch... ─>─┐
      |                                            │
......
      |                                            │
      |┌───────────────────────────────────────────┘
  549 |│        case ACT_WRITE:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  550 |           if ((test->par2) && (!strcmp ("DER", test->par2)))
      |              ~         
      |              |
      |              (11) following 'true' branch... ─>─┐
      |                                                 │
      |                                                 │
      |┌────────────────────────────────────────────────┘
  551 |│            result =
  552 |│              asn1_write_value (asn1_element, test->par1, der, der_len);
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(12) ...to here
      |               (13) ⚠️  use of uninitialized value 'der_len' here
Test_tree.c:588:20: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  588 |           result = asn1_der_decoding (&asn1_element, der, der_len,
      |                    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  589 |                                       errorDescription);
      |                                       ~~~~~~~~~~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-11
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
  532 | 
  533 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 7:' branch... ─>─┐
      |                                            │
......
      |                                            │
      |┌───────────────────────────────────────────┘
  587 |│        case ACT_DECODING:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  588 |           result = asn1_der_decoding (&asn1_element, der, der_len,
      |                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |                    |
      |                    (11) ⚠️  use of uninitialized value 'der_len' here
  589 |                                       errorDescription);
      |                                       ~~~~~~~~~~~~~~~~~
Test_tree.c:593:13: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  593 |             asn1_der_decoding_element (&asn1_element, test->par1, der,
      |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  594 |                                        der_len, errorDescription);
      |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-11
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
  532 | 
  533 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 10:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  591 |│        case ACT_DECODING_ELEMENT:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  592 |           result =
  593 |             asn1_der_decoding_element (&asn1_element, test->par1, der,
      |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |             |
      |             (11) ⚠️  use of uninitialized value 'der_len' here
  594 |                                        der_len, errorDescription);
      |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~
Test_tree.c:598:13: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  598 |             asn1_der_decoding_startEnd (asn1_element, der, der_len,
      |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  599 |                                         test->par1, &start, &end);
      |                                         ~~~~~~~~~~~~~~~~~~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-11
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
  532 | 
  533 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 13:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  596 |│        case ACT_DECODING_START_END:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  597 |           result =
  598 |             asn1_der_decoding_startEnd (asn1_element, der, der_len,
      |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |             |
      |             (11) ⚠️  use of uninitialized value 'der_len' here
  599 |                                         test->par1, &start, &end);
      |                                         ~~~~~~~~~~~~~~~~~~~~~~~~~
Test_tree.c:624:15: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  624 |               printf ("DER encoding len:%i\n", der_len);
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-13
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
  532 | 
  533 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 8:' branch... ─>─┐
      |                                            │
......
      |                                            │
      |┌───────────────────────────────────────────┘
  621 |│        case ACT_PRINT_DER:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  622 |           if (verbose)
      |              ~         
      |              |
      |              (11) following 'true' branch (when 'verbose != 0')... ─>─┐
      |                                                                       │
      |                                                                       │
      |┌──────────────────────────────────────────────────────────────────────┘
  623 |│            {
  624 |│              printf ("DER encoding len:%i\n", der_len);
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(12) ...to here
      |               (13) ⚠️  use of uninitialized value 'der_len' here
Test_tree.c:687:58: warning: use of uninitialized value 'valueLen' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  687 |           if ((result != test->errorNumber) || (valueLen != test->par3))
      |                                                ~~~~~~~~~~^~~~~~~~~~~~~~
  'main': events 1-3
  472 |   int valueLen, tag = 0, class = 0;
      |       ^~~~~~~~
      |       |
      |       (1) region created on stack here
      |       (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~ 
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-11
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 12:, case 17:' branch... ─>─┐
      |                                                       │
......
      |                                                       │
      |┌──────────────────────────────────────────────────────┘
  685 |│        case ACT_NUMBER_OF_ELEMENTS:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  686 |         case ACT_READ_LENGTH:
  687 |           if ((result != test->errorNumber) || (valueLen != test->par3))
      |              ~         
      |              |
      |              (11) following 'false' branch... ─>─┐
      |                                                  │
  'main': event 12
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  687 |│          if ((result != test->errorNumber) || (valueLen != test->par3))
      |│                                                            ~~~~^~~~~~
      |│                                                                |
      |└───────────────────────────────────────────────────────────────>(12) ...to here
  'main': event 13
  687 |           if ((result != test->errorNumber) || (valueLen != test->par3))
      |                                                ~~~~~~~~~~^~~~~~~~~~~~~~
      |                                                          |
      |                                                          (13) ⚠️  use of uninitialized value 'valueLen' here
Test_tree.c:694:15: warning: use of uninitialized value 'valueLen' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  694 |               printf ("  Error detected: %s - %d\n\n", asn1_strerror (result),
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  695 |                       valueLen);
      |                       ~~~~~~~~~
  'main': events 1-3
  472 |   int valueLen, tag = 0, class = 0;
      |       ^~~~~~~~
      |       |
      |       (1) region created on stack here
      |       (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~ 
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-13
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 12:, case 17:' branch... ─>─┐
      |                                                       │
......
      |                                                       │
      |┌──────────────────────────────────────────────────────┘
  685 |│        case ACT_NUMBER_OF_ELEMENTS:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  686 |         case ACT_READ_LENGTH:
  687 |           if ((result != test->errorNumber) || (valueLen != test->par3))
      |              ~         
      |              |
      |              (11) following 'true' branch... ─>─┐
      |                                                 │
......
      |                                                 │
      |┌────────────────────────────────────────────────┘
  690 |│              printf ("ERROR in %d:\n", test->line);
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(12) ...to here
......
  694 |               printf ("  Error detected: %s - %d\n\n", asn1_strerror (result),
      |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |               |
      |               (13) ⚠️  use of uninitialized value 'valueLen' here
  695 |                       valueLen);
      |                       ~~~~~~~~~
Test_tree.c:700:57: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  700 |           if ((result != test->errorNumber) || (der_len != test->par3))
      |                                                ~~~~~~~~~^~~~~~~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-11
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 18:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  699 |│        case ACT_ENCODING_LENGTH:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  700 |           if ((result != test->errorNumber) || (der_len != test->par3))
      |              ~         
      |              |
      |              (11) following 'false' branch... ─>─┐
      |                                                  │
  'main': event 12
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  700 |│          if ((result != test->errorNumber) || (der_len != test->par3))
      |│                                                           ~~~~^~~~~~
      |│                                                               |
      |└──────────────────────────────────────────────────────────────>(12) ...to here
  'main': event 13
  700 |           if ((result != test->errorNumber) || (der_len != test->par3))
      |                                                ~~~~~~~~~^~~~~~~~~~~~~~
      |                                                         |
      |                                                         (13) ⚠️  use of uninitialized value 'der_len' here
Test_tree.c:707:15: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  707 |               printf ("  Error detected: %s - %d\n\n", asn1_strerror (result),
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  708 |                       der_len);
      |                       ~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-13
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 18:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  699 |│        case ACT_ENCODING_LENGTH:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  700 |           if ((result != test->errorNumber) || (der_len != test->par3))
      |              ~         
      |              |
      |              (11) following 'true' branch... ─>─┐
      |                                                 │
......
      |                                                 │
      |┌────────────────────────────────────────────────┘
  703 |│              printf ("ERROR in %d:\n", test->line);
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(12) ...to here
......
  707 |               printf ("  Error detected: %s - %d\n\n", asn1_strerror (result),
      |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |               |
      |               (13) ⚠️  use of uninitialized value 'der_len' here
  708 |                       der_len);
      |                       ~~~~~~~~
Test_tree.c:729:58: warning: use of uninitialized value 'start' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  729 |               ((!strcmp (test->par2, "START")) && (start != test->par3)) ||
      |                                                   ~~~~~~~^~~~~~~~~~~~~~
  'main': events 1-3
  474 |   int start, end, verbose = 0;
      |       ^~~~~
      |       |
      |       (1) region created on stack here
      |       (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~ 
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-12
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 13:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  727 |│        case ACT_DECODING_START_END:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  728 |           if ((result != test->errorNumber) ||
      |              ~         
      |              |
      |              (11) following 'false' branch... ─>─┐
      |                                                  │
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  729 |│              ((!strcmp (test->par2, "START")) && (start != test->par3)) ||
      |│                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│                 |
      |└────────────────>(12) ...to here
  'main': events 13-14
  728 |           if ((result != test->errorNumber) ||
      |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
      |                                             |
      |                                             (13) following 'true' branch (when the strings are equal)... ─>─┐
      |                                                                                                             │
      |                                                                                                             │
      |┌────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
  729 |│              ((!strcmp (test->par2, "START")) && (start != test->par3)) ||
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│                                                                |
      |└───────────────────────────────────────────────────────────────>(14) ...to here
  'main': event 15
  729 |               ((!strcmp (test->par2, "START")) && (start != test->par3)) ||
      |                                                   ~~~~~~~^~~~~~~~~~~~~~
      |                                                          |
      |                                                          (15) ⚠️  use of uninitialized value 'start' here
Test_tree.c:730:54: warning: use of uninitialized value 'end' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  730 |               ((!strcmp (test->par2, "END")) && (end != test->par3)))
      |                                                 ~~~~~^~~~~~~~~~~~~~
  'main': events 1-3
  474 |   int start, end, verbose = 0;
      |              ^~~
      |              |
      |              (1) region created on stack here
      |              (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~        
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-12
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 13:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  727 |│        case ACT_DECODING_START_END:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  728 |           if ((result != test->errorNumber) ||
      |              ~         
      |              |
      |              (11) following 'false' branch... ─>─┐
      |                                                  │
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  729 |│              ((!strcmp (test->par2, "START")) && (start != test->par3)) ||
      |│                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│                 |
      |└────────────────>(12) ...to here
  'main': events 13-15
  728 |           if ((result != test->errorNumber) ||
      |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
      |                                             |
      |                                             (13) following 'false' branch (when the strings are non-equal)... ─>─┐
      |                                                                                                                  │
      |                                                                                                                  │
      |┌─────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
  729 |│              ((!strcmp (test->par2, "START")) && (start != test->par3)) ||
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│                                                                         |
      |│                                                                         (15) following 'true' branch (when the strings are equal)... ─>─┐
      |│                                                                                                                                         │
      |│                                                                                                                                         │
      |┌─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
  730 |│              ((!strcmp (test->par2, "END")) && (end != test->par3)))
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│                 |
      |└────────────────>(14) ...to here
  'main': event 16
  730 |               ((!strcmp (test->par2, "END")) && (end != test->par3)))
      |                                                         ~~~~^~~~~~
      |                                                             |
      |└───────────────────────────────────────────────────────────>(16) ...to here
  'main': event 17
  730 |               ((!strcmp (test->par2, "END")) && (end != test->par3)))
      |                                                 ~~~~~^~~~~~~~~~~~~~
      |                                                      |
      |                                                      (17) ⚠️  use of uninitialized value 'end' here
Test_tree.c:739:15: warning: use of uninitialized value 'end' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  739 |               printf ("  Error detected: %s - %d - %d\n\n",
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  740 |                       asn1_strerror (result), start, end);
      |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  'main': events 1-3
  474 |   int start, end, verbose = 0;
      |              ^~~
      |              |
      |              (1) region created on stack here
      |              (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~        
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-13
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 13:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  727 |│        case ACT_DECODING_START_END:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  728 |           if ((result != test->errorNumber) ||
      |              ~         
      |              |
      |              (11) following 'true' branch... ─>─┐
      |                                                 │
......
      |                                                 │
      |┌────────────────────────────────────────────────┘
  733 |│              printf ("ERROR in %d:\n", test->line);
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(12) ...to here
......
  739 |               printf ("  Error detected: %s - %d - %d\n\n",
      |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |               |
      |               (13) ⚠️  use of uninitialized value 'end' here
  740 |                       asn1_strerror (result), start, end);
      |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Test_tree.c:769:32: warning: use of uninitialized value 'valueLen' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  769 |               if (valueLen % 8 == 0)
      |                   ~~~~~~~~~~~~~^~~~
  'main': events 1-3
  472 |   int valueLen, tag = 0, class = 0;
      |       ^~~~~~~~
      |       |
      |       (1) region created on stack here
      |       (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~ 
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-13
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 4:, case 14:, case 19:' branch... ─>─┐
      |                                                                │
......
      |                                                                │
      |┌───────────────────────────────────────────────────────────────┘
  764 |│        case ACT_READ:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
......
  767 |           if (test->action == ACT_READ_BIT)
      |              ~         
      |              |
      |              (11) following 'true' branch... ─>─┐
      |                                                 │
      |                                                 │
      |┌────────────────────────────────────────────────┘
  768 |│            {
  769 |│              if (valueLen % 8 == 0)
      |│                  ~~~~~~~~~~~~~~~~~
      |│                               |
      |└──────────────────────────────>(12) ...to here
      |                                (13) ⚠️  use of uninitialized value 'valueLen' here
Test_tree.c:787:25: warning: use of uninitialized value 'valueLen' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  787 |               (valueLen != test->par3) || (k == -1))
      |               ~~~~~~~~~~^~~~~~~~~~~~~~
  'main': events 1-3
  472 |   int valueLen, tag = 0, class = 0;
      |       ^~~~~~~~
      |       |
      |       (1) region created on stack here
      |       (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~ 
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-14
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 4:, case 14:, case 19:' branch... ─>─┐
      |                                                                │
......
      |                                                                │
      |┌───────────────────────────────────────────────────────────────┘
  764 |│        case ACT_READ:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
......
  767 |           if (test->action == ACT_READ_BIT)
      |              ~         
      |              |
      |              (11) following 'false' branch... ─>─┐
      |                                                  │
......
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  779 |│          for (k = 0; k < class; k++)
      |│          ~~~         ~~~~~~~~~
      |│          |             |
      |│          |             (13) following 'false' branch... ─>─┐
      |└─────────>(12) ...to here                                   │
      |                                                             │
......
      |                                                             │
      |┌────────────────────────────────────────────────────────────┘
  786 |│          if ((result != test->errorNumber) ||
      |│                         ~~~~~~~~~~~~~~~~~
      |│                             |
      |└────────────────────────────>(14) ...to here
  'main': events 15-16
  786 |           if ((result != test->errorNumber) ||
      |              ^
      |              |
      |              (15) following 'false' branch... ─>─┐
      |                                                  │
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  787 |│              (valueLen != test->par3) || (k == -1))
      |│                           ~~~~~~~~~~
      |│                               |
      |└──────────────────────────────>(16) ...to here
  'main': event 17
  787 |               (valueLen != test->par3) || (k == -1))
      |               ~~~~~~~~~~^~~~~~~~~~~~~~
      |                         |
      |                         (17) ⚠️  use of uninitialized value 'valueLen' here
Test_tree.c:796:15: warning: use of uninitialized value 'valueLen' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  796 |               printf ("\n  Error detected: %s - %d - ",
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  797 |                       asn1_strerror (result), valueLen);
      |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  'main': events 1-3
  472 |   int valueLen, tag = 0, class = 0;
      |       ^~~~~~~~
      |       |
      |       (1) region created on stack here
      |       (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~ 
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-14
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 4:, case 14:, case 19:' branch... ─>─┐
      |                                                                │
......
      |                                                                │
      |┌───────────────────────────────────────────────────────────────┘
  764 |│        case ACT_READ:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
......
  767 |           if (test->action == ACT_READ_BIT)
      |              ~         
      |              |
      |              (11) following 'false' branch... ─>─┐
      |                                                  │
......
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  779 |│          for (k = 0; k < class; k++)
      |│          ~~~         ~~~~~~~~~
      |│          |             |
      |│          |             (13) following 'false' branch... ─>─┐
      |└─────────>(12) ...to here                                   │
      |                                                             │
......
      |                                                             │
      |┌────────────────────────────────────────────────────────────┘
  786 |│          if ((result != test->errorNumber) ||
      |│                         ~~~~~~~~~~~~~~~~~
      |│                             |
      |└────────────────────────────>(14) ...to here
  'main': events 15-17
  786 |           if ((result != test->errorNumber) ||
      |              ^
      |              |
      |              (15) following 'true' branch... ─>─┐
      |                                                 │
......
      |                                                 │
      |┌────────────────────────────────────────────────┘
  790 |│              printf ("ERROR in %d:\n", test->line);
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(16) ...to here
......
  796 |               printf ("\n  Error detected: %s - %d - ",
      |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |               |
      |               (17) ⚠️  use of uninitialized value 'valueLen' here
  797 |                       asn1_strerror (result), valueLen);
      |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
coding-long-oid.c:32:21: warning: no previous declaration for 'der_data' [-Wmissing-variable-declarations]
   32 | const unsigned char der_data[] =
      |                     ^~~~~~~~
coding-long-oid.c:144:5: warning: no previous declaration for 'der_data_size' [-Wmissing-variable-declarations]
  144 | int der_data_size = sizeof (der_data) - 1;
      |     ^~~~~~~~~~~~~
coding-long-oid.c:146:6: warning: no previous declaration for 'new_data' [-Wmissing-variable-declarations]
  146 | char new_data[4 * 1024];
      |      ^~~~~~~~
setof.c:47:5: warning: no previous declaration for 'data_size' [-Wmissing-variable-declarations]
   47 | int data_size = sizeof (data);
      |     ^~~~~~~~~
reproducers.c:38:24: warning: no previous declaration for 'endless_asn1_tab' [-Wmissing-variable-declarations]
   38 | const asn1_static_node endless_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~~~~
reproducers.c:50:24: warning: no previous declaration for 'tab' [-Wmissing-variable-declarations]
   50 | const asn1_static_node tab[] = {
      |                        ^~~
In file included from CVE-2018-1000654.c:30:
CVE-2018-1000654-1_asn1_tab.h:7:24: warning: no previous declaration for 'CVE_2018_1000654_1_asn1_tab' [-Wmissing-variable-declarations]
    7 | const asn1_static_node CVE_2018_1000654_1_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from CVE-2018-1000654.c:31:
CVE-2018-1000654-2_asn1_tab.h:7:24: warning: no previous declaration for 'CVE_2018_1000654_2_asn1_tab' [-Wmissing-variable-declarations]
    7 | const asn1_static_node CVE_2018_1000654_2_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~~~~~~~~~~~~~~~
libtool: warning: remember to run 'libtool --finish /usr/lib'
libtool: warning: '../lib/libtasn1.la' has not been installed in '/usr/lib'
libtool: warning: '../lib/libtasn1.la' has not been installed in '/usr/lib'
libtool: warning: '../lib/libtasn1.la' has not been installed in '/usr/lib'
configure: WARNING:
  You will not be able to create source packages with 'make dist'
  because gtk-doc >= 1.2 is not found.
ASN1.c:75:25: warning: no previous declaration for '_asn1_yychar' [-Wmissing-variable-declarations]
   75 | #define yychar          _asn1_yychar
      |                         ^~~~~~~~~~~~
ASN1.c:1589:5: note: in expansion of macro 'yychar'
 1589 | int yychar;
      |     ^~~~~~
ASN1.c:73:25: warning: no previous declaration for '_asn1_yynerrs' [-Wmissing-variable-declarations]
   73 | #define yynerrs         _asn1_yynerrs
      |                         ^~~~~~~~~~~~~
ASN1.c:1594:5: note: in expansion of macro 'yynerrs'
 1594 | int yynerrs;
      |     ^~~~~~~
parser_aux.c:32:6: warning: no previous declaration for '_asn1_identifierMissing' [-Wmissing-variable-declarations]
   32 | char _asn1_identifierMissing[ASN1_MAX_NAME_SIZE + 1];   /* identifier name not found */
      |      ^~~~~~~~~~~~~~~~~~~~~~~
element.c: In function '_asn1_convert_integer':
element.c:81:1: warning: stack protector not protecting function: all local arrays are less than 8 bytes long [-Wstack-protector]
   81 | _asn1_convert_integer (const unsigned char *value, unsigned char *value_out,
      | ^~~~~~~~~~~~~~~~~~~~~
In function '_asn1_find_up',
    inlined from '_asn1_set_default_tag' at parser_aux.c:1173:12:
parser_aux.c:537:6: warning: infinite loop [CWE-835] [-Wanalyzer-infinite-loop]
  537 |   if (node == NULL)
      |      ^
  '_asn1_set_default_tag': event 1
    │
    │ 1144 | _asn1_set_default_tag (asn1_node node)
    │      | ^~~~~~~~~~~~~~~~~~~~~
    │      | |
    │      | (1) entry to '_asn1_set_default_tag'
    │
    └──> '_asn1_find_up.part.0': event 2
           │
           │  533 | _asn1_find_up (asn1_node_const node)
           │      | ^~~~~~~~~~~~~
           │      | |
           │      | (2) entry to '_asn1_find_up'
           │
    <──────┘
    │
  '_asn1_set_default_tag': event 3
    │
    │ 1173 |               p = _asn1_find_up (p);
    │      |                   ^
    │      |                   |
    │      |                   (3) inlined call to '_asn1_find_up' from '_asn1_set_default_tag'
    │
    └──> '_asn1_find_up': events 4-5
           │
           │  537 |   if (node == NULL)
           │      |      ^
           │      |      |
           │      |      (4) ⚠️  infinite loop here
           │      |      (5) when 'p' is NULL: always following 'true' branch... ─>─┐
           │      |                                                                 │
           │
    <──────┘
    │
  '_asn1_set_default_tag': events 6-9
    │
    │      |                                                                 │
    │      |┌────────────────────────────────────────────────────────────────┘
    │ 1174 |│              if (p == node)
    │      |│                 ^
    │      |│                 |
    │      |└────────────────>(6) ...to here
    │      |                  (7) if it ever follows 'false' branch, it will always do so... ─>─┐
    │      |                                                                                    │
    │......
    │      |                                                                                    │
    │      |┌───────────────────────────────────────────────────────────────────────────────────┘
    │ 1179 |│              if (p && p->right)
    │      |│                 ~
    │      |│                 |
    │      |└────────────────>(8) ...to here
    │      |                  (9) if it ever follows 'false' branch, it will always do so... ─>─┐
    │      |                                                                                    │
    │
  '_asn1_set_default_tag': event 10
    │
    │cc1:
    │ (10): ...to here
    │
  '_asn1_set_default_tag': event 11
    │
    │cc1:
    │ (11): looping back...
    │
  '_asn1_set_default_tag': event 12
    │
    │ 1173 |               p = _asn1_find_up (p);
    │      |                   ^
    │      |                   |
    │      |└─────────────────>(12) inlined call to '_asn1_find_up' from '_asn1_set_default_tag'
    │
    └──> '_asn1_find_up': event 13
           │
           │  537 |   if (node == NULL)
           │      |      ^
           │      |      |
           │      |      (13) ...to here
           │
coding.c: In function '_asn1_tag_der.part.0':
coding.c:121:1: warning: stack protector not protecting function: all local arrays are less than 8 bytes long [-Wstack-protector]
  121 | _asn1_tag_der (unsigned char class, unsigned int tag_value,
      | ^~~~~~~~~~~~~
parser_aux.c: In function '_asn1_change_integer_value':
parser_aux.c:672:1: warning: stack protector not protecting function: all local arrays are less than 8 bytes long [-Wstack-protector]
  672 | _asn1_change_integer_value (asn1_node node)
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~
ASN1.c: In function '_asn1_yyparse':
ASN1.c:754:7: warning: use of uninitialized value 'yyss' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  754 |       __builtin_memcpy (Dst, Src, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src)))
      |       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
ASN1.c:739:9: note: in expansion of macro 'YYCOPY'
  739 |         YYCOPY (&yyptr->Stack_alloc, Stack, yysize);                    \
      |         ^~~~~~
ASN1.c:1715:9: note: in expansion of macro 'YYSTACK_RELOCATE'
 1715 |         YYSTACK_RELOCATE (yyss_alloc, yyss);
      |         ^~~~~~~~~~~~~~~~
  'asn1_parser2array': events 1-2
    │
    │ASN1.y:788:1:
    │  788 | asn1_parser2array (const char *inputFileName, const char *outputFileName,
    │      | ^~~~~~~~~~~~~~~~~
    │      | |
    │      | (1) entry to 'asn1_parser2array'
    │......
    │  802 |   if (file_asn1 == NULL)
    │      |      ~
    │      |      |
    │      |      (2) following 'false' branch... ─>─┐
    │      |                                         │
    │
  'asn1_parser2array': event 3
    │
    │      |                                         │
    │      |┌────────────────────────────────────────┘
    │  808 |│  result_parse = ASN1_SUCCESS;
    │
  'asn1_parser2array': event 4
    │
    │ASN1.c:69:25:
    │   69 | #define yyparse         _asn1_yyparse
ASN1.y:811:3: note: in expansion of macro 'yyparse'
    │  811 |   yyparse ();
    │      |   ^~~~~~~
    │
    └──> '_asn1_yyparse': event 5
           │
           │ASN1.c:69:25:
           │   69 | #define yyparse         _asn1_yyparse
           │      |                         ^~~~~~~~~~~~~
           │      |                         |
           │      |                         (5) entry to '_asn1_yyparse'
ASN1.c:1604:1: note: in expansion of macro 'yyparse'
           │ 1604 | yyparse (void)
           │      | ^~~~~~~
           │
         '_asn1_yyparse': events 6-12
           │
           │ 1617 |     yy_state_t yyssa[YYINITDEPTH];
           │      |                ^~~~~
           │      |                |
           │      |                (6) region created on stack here
           │      |                (7) capacity: 200 bytes
           │......
           │ 1673 |   if (yyss + yystacksize - 1 <= yyssp)
           │      |      ~          
           │      |      |
           │      |      (8) following 'true' branch... ─>─┐
           │      |                                        │
           │......
           │      |                                        │
           │      |┌───────────────────────────────────────┘
           │ 1679 |│      YYPTRDIFF_T yysize = yyssp - yyss + 1;
           │      |│                           ~~~~~~~~~~~~
           │      |│                                 |
           │      |└────────────────────────────────>(9) ...to here
           │......
           │ 1702 |       if (YYMAXDEPTH <= yystacksize)
           │      |          ~      
           │      |          |
           │      |          (10) following 'false' branch (when 'yystacksize <= 9999')... ─>─┐
           │      |                                                                           │
           │      |                                                                           │
           │      |┌──────────────────────────────────────────────────────────────────────────┘
           │ 1703 |│        YYNOMEM;
           │ 1704 |│      yystacksize *= 2;
           │      |│      ~~~~~~~~~~~~~~~~
           │      |│                  |
           │      |└─────────────────>(11) ...to here
           │......
           │ 1713 |         if (! yyptr)
           │      |            ~    
           │      |            |
           │      |            (12) following 'false' branch (when 'yyptr' is non-NULL)... ─>─┐
           │      |                                                                           │
           │
         '_asn1_yyparse': event 13
           │
           │      |                                                                           │
           │      |┌──────────────────────────────────────────────────────────────────────────┘
           │  754 |│      __builtin_memcpy (Dst, Src, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src)))
           │      |│      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           │      |│      |
           │      |└─────>(13) ...to here
ASN1.c:739:9: note: in expansion of macro 'YYCOPY'
           │  739 |         YYCOPY (&yyptr->Stack_alloc, Stack, yysize);                    \
           │      |         ^~~~~~
ASN1.c:1715:9: note: in expansion of macro 'YYSTACK_RELOCATE'
           │ 1715 |         YYSTACK_RELOCATE (yyss_alloc, yyss);
           │      |         ^~~~~~~~~~~~~~~~
           │
         '_asn1_yyparse': event 14
           │
           │  754 |       __builtin_memcpy (Dst, Src, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src)))
           │      |       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           │      |       |
           │      |       (14) ⚠️  use of uninitialized value 'yyss' here
ASN1.c:739:9: note: in expansion of macro 'YYCOPY'
           │  739 |         YYCOPY (&yyptr->Stack_alloc, Stack, yysize);                    \
           │      |         ^~~~~~
ASN1.c:1715:9: note: in expansion of macro 'YYSTACK_RELOCATE'
           │ 1715 |         YYSTACK_RELOCATE (yyss_alloc, yyss);
           │      |         ^~~~~~~~~~~~~~~~
           │
ASN1.c:1842:9: warning: use of uninitialized value '*' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
 1842 |   yyval = yyvsp[1-yylen];
      |   ~~~~~~^~~~~~~~~~~~~~~~
  'asn1_parser2array': events 1-2
    │
    │ASN1.y:788:1:
    │  788 | asn1_parser2array (const char *inputFileName, const char *outputFileName,
    │      | ^~~~~~~~~~~~~~~~~
    │      | |
    │      | (1) entry to 'asn1_parser2array'
    │......
    │  802 |   if (file_asn1 == NULL)
    │      |      ~
    │      |      |
    │      |      (2) following 'false' branch... ─>─┐
    │      |                                         │
    │
  'asn1_parser2array': event 3
    │
    │      |                                         │
    │      |┌────────────────────────────────────────┘
    │  808 |│  result_parse = ASN1_SUCCESS;
    │
  'asn1_parser2array': event 4
    │
    │ASN1.c:69:25:
    │   69 | #define yyparse         _asn1_yyparse
ASN1.y:811:3: note: in expansion of macro 'yyparse'
    │  811 |   yyparse ();
    │      |   ^~~~~~~
    │
    └──> '_asn1_yyparse': event 5
           │
           │ASN1.c:69:25:
           │   69 | #define yyparse         _asn1_yyparse
           │      |                         ^~~~~~~~~~~~~
           │      |                         |
           │      |                         (5) entry to '_asn1_yyparse'
ASN1.c:1604:1: note: in expansion of macro 'yyparse'
           │ 1604 | yyparse (void)
           │      | ^~~~~~~
           │
         '_asn1_yyparse': events 6-11
           │
           │ 1622 |     YYSTYPE yyvsa[YYINITDEPTH];
           │      |             ^~~~~
           │      |             |
           │      |             (6) region created on stack here
           │......
           │ 1673 |   if (yyss + yystacksize - 1 <= yyssp)
           │      |      ~       
           │      |      |
           │      |      (7) following 'false' branch... ─>─┐
           │      |                                         │
           │......
           │      |                                         │
           │      |┌────────────────────────────────────────┘
           │ 1737 |│  if (yystate == YYFINAL)
           │      |│     ~       
           │      |│     |
           │      |└────>(8) ...to here
           │      |      (9) following 'false' branch (when 'yystate != 5')... ─>─┐
           │      |                                                               │
           │......
           │      |                                                               │
           │      |┌──────────────────────────────────────────────────────────────┘
           │ 1740 |│  goto yybackup;
           │      |│  ~~~~       
           │      |│  |
           │      |└─>(10) ...to here
           │......
           │ 1752 |   if (yypact_value_is_default (yyn))
           │      |      ~       
           │      |      |
           │      |      (11) following 'false' branch (when 'yyn != -140')... ─>─┐
           │      |                                                               │
           │
         '_asn1_yyparse': event 12
           │
           │      |                                                               │
           │      |┌──────────────────────────────────────────────────────────────┘
           │ 1758 |│  if (yychar == _ASN1_YYEMPTY)
           │
         '_asn1_yyparse': event 13
           │
           │ 1758 |   if (yychar == _ASN1_YYEMPTY)
           │      |      ^
           │      |      |
           │      |      (13) following 'true' branch... ─>─┐
           │      |                                         │
           │
         '_asn1_yyparse': event 14
           │
           │ASN1.c:70:25:
           │      |                                         │
           │      |┌────────────────────────────────────────┘
           │   70 |│#define yylex           _asn1_yylex
ASN1.c:1761:16: note: in expansion of macro 'yylex'
           │ 1761 |       yychar = yylex ();
           │      |                ^~~~~
           │
         '_asn1_yyparse': event 15
           │
           │ 1770 |   else if (yychar == _ASN1_YYerror)
           │      |           ^
           │      |           |
           │      |           (15) following 'false' branch... ─>─┐
           │      |                                               │
           │
         '_asn1_yyparse': event 16
           │
           │      |                                               │
           │      |┌──────────────────────────────────────────────┘
           │  789 |│  (0 <= (YYX) && (YYX) <= YYMAXUTOK                     \
           │      |│              ^
           │      |│              |
           │      |└─────────────>(16) ...to here
ASN1.c:1782:17: note: in expansion of macro 'YYTRANSLATE'
           │ 1782 |       yytoken = YYTRANSLATE (yychar);
           │      |                 ^~~~~~~~~~~
           │
         '_asn1_yyparse': events 17-21
           │
           │ 1789 |   if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
           │      |      ^
           │      |      |
           │      |      (17) following 'false' branch... ─>─┐
           │      |                                          │
           │      |                                          │
           │      |┌─────────────────────────────────────────┘
           │ 1790 |│    goto yydefault;
           │ 1791 |│  yyn = yytable[yyn];
           │      |│        ~~~~~~~~~~~~
           │      |│               |
           │      |└──────────────>(18) ...to here
           │ 1792 |   if (yyn <= 0)
           │      |      ~
           │      |      |
           │      |      (19) following 'true' branch (when 'yyn <= 0')... ─>─┐
           │      |                                                           │
           │......
           │      |                                                           │
           │      |┌──────────────────────────────────────────────────────────┘
           │ 1796 |│      yyn = -yyn;
           │      |│      ~~~~~~~~~~
           │      |│          |
           │      |└─────────>(20) ...to here
           │......
           │ 1842 |   yyval = yyvsp[1-yylen];
           │      |   ~~~~~~~~~~~~~~~~~~~~~~
           │      |         |
           │      |         (21) ⚠️  use of uninitialized value '*' here
           │
structure.c: In function '_asn1_copy_structure3':
structure.c:458:22: warning: dereference of NULL 'p_d' [CWE-476] [-Wanalyzer-null-dereference]
  458 |           p_d->start = p_s->start;
      |           ~~~~~~~~~~~^~~~~~~~~~~~
  'asn1_dup_node': events 1-2
    │
    │ 1234 | asn1_dup_node (asn1_node_const src, const char *src_name)
    │      | ^~~~~~~~~~~~~
    │      | |
    │      | (1) entry to 'asn1_dup_node'
    │ 1235 | {
    │ 1236 |   return _asn1_copy_structure2 (src, src_name);
    │      |          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    │      |          |
    │      |          (2) calling '_asn1_copy_structure2' from 'asn1_dup_node'
    │
    └──> '_asn1_copy_structure2': events 3-4
           │
           │  495 | _asn1_copy_structure2 (asn1_node_const root, const char *source_name)
           │      | ^~~~~~~~~~~~~~~~~~~~~
           │      | |
           │      | (3) entry to '_asn1_copy_structure2'
           │......
           │  501 |   return _asn1_copy_structure3 (source_node);
           │      |          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           │      |          |
           │      |          (4) calling '_asn1_copy_structure3' from '_asn1_copy_structure2'
           │
           └──> '_asn1_copy_structure3': events 5-7
                  │
                  │  424 | _asn1_copy_structure3 (asn1_node_const source_node)
                  │      | ^~~~~~~~~~~~~~~~~~~~~
                  │      | |
                  │      | (5) entry to '_asn1_copy_structure3'
                  │......
                  │  430 |   if (source_node == NULL)
                  │      |      ~
                  │      |      |
                  │      |      (6) following 'false' branch (when 'source_node' is non-NULL)... ─>─┐
                  │      |                                                                          │
                  │......
                  │      |                                                                          │
                  │      |┌─────────────────────────────────────────────────────────────────────────┘
                  │  433 |│  dest_node = _asn1_add_single_node (source_node->type);
                  │      |│                                     ~~~~~~~~~~~~~~~~~
                  │      |│                                                |
                  │      |└───────────────────────────────────────────────>(7) ...to here
                  │
                '_asn1_copy_structure3': event 8
                  │
                  │  433 |   dest_node = _asn1_add_single_node (source_node->type);
                  │      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                  │      |               |
                  │      |               (8) calling '_asn1_add_single_node' from '_asn1_copy_structure3'
                  │
                  └──> '_asn1_add_single_node': events 9-11
                         │
                         │   51 | _asn1_add_single_node (unsigned int type)
                         │      | ^~~~~~~~~~~~~~~~~~~~~
                         │      | |
                         │      | (9) entry to '_asn1_add_single_node'
                         │......
                         │   56 |   if (punt == NULL)
                         │      |      ~
                         │      |      |
                         │      |      (10) following 'false' branch (when 'punt' is non-NULL)... ─>─┐
                         │      |                                                                    │
                         │......
                         │      |                                                                    │
                         │      |┌───────────────────────────────────────────────────────────────────┘
                         │   59 |│  punt->type = type;
                         │      |│  ~~~~~~~~~~~~~~~~~
                         │      |│             |
                         │      |└────────────>(11) ...to here
                         │
                  <──────┘
                  │
                '_asn1_copy_structure3': events 12-13
                  │
                  │  433 |   dest_node = _asn1_add_single_node (source_node->type);
                  │      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                  │      |               |
                  │      |               (12) returning to '_asn1_copy_structure3' from '_asn1_add_single_node'
                  │  434 |   if (dest_node == NULL)
                  │      |      ~         
                  │      |      |
                  │      |      (13) following 'false' branch (when 'dest_node' is non-NULL)... ─>─┐
                  │      |                                                                         │
                  │
                '_asn1_copy_structure3': event 14
                  │
                  │cc1:
                  │ (14): ...to here
                  │
                '_asn1_copy_structure3': events 15-20
                  │
                  │  444 |       if (move != UP)
                  │      |          ^
                  │      |          |
                  │      |          (15) following 'true' branch (when 'move != 1')... ─>─┐
                  │      |                                                                │
                  │      |                                                                │
                  │      |┌───────────────────────────────────────────────────────────────┘
                  │  445 |│        {
                  │  446 |│          if (p_s->name[0] != 0)
                  │      |│              ~~~~~~~~~~~~
                  │      |│                       |
                  │      |└──────────────────────>(16) ...to here
                  │  447 |             _asn1_cpy_name (p_d, p_s);
                  │  448 |           if (p_s->value)
                  │      |              ~
                  │      |              |
                  │      |              (17) following 'true' branch... ─>─┐
                  │      |                                                 │
                  │      |                                                 │
                  │      |┌────────────────────────────────────────────────┘
                  │  449 |│            _asn1_set_value (p_d, p_s->value, p_s->value_len);
                  │      |│                                              ~~~~~~~~~~~~~~
                  │      |│                                                 |
                  │      |└────────────────────────────────────────────────>(18) ...to here
                  │  450 |           if (p_s->down)
                  │      |              ~
                  │      |              |
                  │      |              (19) following 'true' branch... ─>─┐
                  │      |                                                 │
                  │......
                  │      |                                                 │
                  │      |┌────────────────────────────────────────────────┘
                  │  454 |│              p_d = _asn1_add_single_node (p_s->type);
                  │      |│                                           ~~~~~~~~~
                  │      |│                                              |
                  │      |└─────────────────────────────────────────────>(20) ...to here
                  │
                '_asn1_copy_structure3': event 21
                  │
                  │  454 |               p_d = _asn1_add_single_node (p_s->type);
                  │      |                     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                  │      |                     |
                  │      |                     (21) calling '_asn1_add_single_node' from '_asn1_copy_structure3'
                  │
                  └──> '_asn1_add_single_node': events 22-25
                         │
                         │   51 | _asn1_add_single_node (unsigned int type)
                         │      | ^~~~~~~~~~~~~~~~~~~~~
                         │      | |
                         │      | (22) entry to '_asn1_add_single_node'
                         │......
                         │   55 |   punt = calloc (1, sizeof (struct asn1_node_st));
                         │      |          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                         │      |          |
                         │      |          (23) allocated here
                         │   56 |   if (punt == NULL)
                         │      |      ~
                         │      |      |
                         │      |      (24) assuming 'punt' is NULL
                         │      |      (25) following 'true' branch (when 'punt' is NULL)... ─>─┐
                         │      |                                                               │
                         │
                       '_asn1_add_single_node': event 26
                         │
                         │cc1:
                         │ (26): ...to here
                         │
                  <──────┘
                  │
                '_asn1_copy_structure3': events 27-28
                  │
                  │  454 |               p_d = _asn1_add_single_node (p_s->type);
                  │      |                     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                  │      |                     |
                  │      |                     (27) return of NULL to '_asn1_copy_structure3' from '_asn1_add_single_node'
                  │  455 |               _asn1_set_down (p_d_prev, p_d);
                  │      |               ~      
                  │      |               |
                  │      |               (28) inlined call to '_asn1_set_down' from '_asn1_copy_structure3'
                  │
                  └──> '_asn1_set_down': events 29-31
                         │
                         │parser_aux.h:112:6:
                         │  112 |   if (node == NULL)
                         │      |      ^
                         │      |      |
                         │      |      (29) following 'false' branch (when 'p_d' is non-NULL)... ─>─┐
                         │      |                                                                   │
                         │      |                                                                   │
                         │      |┌──────────────────────────────────────────────────────────────────┘
                         │  113 |│    return node;
                         │  114 |│  node->down = down;
                         │      |│  ~~~~~~~~~~~~~~~~~
                         │      |│             |
                         │      |└────────────>(30) ...to here
                         │  115 |   if (down)
                         │      |      ~
                         │      |      |
                         │      |      (31) following 'false' branch (when 'p_d' is NULL)... ─>─┐
                         │      |                                                               │
                         │
                  <──────┘
                  │
                '_asn1_copy_structure3': events 32-33
                  │
                  │structure.c:450:14:
                  │      |                                                               │
                  │      |┌──────────────────────────────────────────────────────────────┘
                  │  450 |│          if (p_s->down)
                  │      |│             ^
                  │      |│             |
                  │      |└────────────>(32) ...to here
                  │......
                  │  480 |   while (p_s != source_node);
                  │      |          ~~~~~~~~~~~~~~~~~~
                  │      |              |
                  │      |              (33) following 'true' branch (when 'p_s != source_node')... ─>─┐
                  │      |                                                                             │
                  │
                '_asn1_copy_structure3': event 34
                  │
                  │cc1:
                  │ (34): ...to here
                  │
                '_asn1_copy_structure3': events 35-36
                  │
                  │  444 |       if (move != UP)
                  │      |          ^
                  │      |          |
                  │      |          (35) following 'true' branch (when 'move != 1')... ─>─┐
                  │      |                                                                │
                  │      |                                                                │
                  │      |┌───────────────────────────────────────────────────────────────┘
                  │  445 |│        {
                  │  446 |│          if (p_s->name[0] != 0)
                  │      |│              ~~~~~~~~~~~~
                  │      |│                       |
                  │      |└──────────────────────>(36) ...to here
                  │
                '_asn1_copy_structure3': events 37-38
                  │
                  │  446 |           if (p_s->name[0] != 0)
                  │      |              ^
                  │      |              |
                  │      |              (37) following 'false' branch... ─>─┐
                  │      |                                                  │
                  │      |                                                  │
                  │      |┌─────────────────────────────────────────────────┘
                  │  447 |│            _asn1_cpy_name (p_d, p_s);
                  │  448 |│          if (p_s->value)
                  │      |│              ~~~~~~~~~~
                  │      |│                 |
                  │      |└────────────────>(38) ...to here
                  │
                '_asn1_copy_structure3': events 39-40
                  │
                  │  448 |           if (p_s->value)
                  │      |              ^
                  │      |              |
                  │      |              (39) following 'false' branch... ─>─┐
                  │      |                                                  │
                  │      |                                                  │
                  │      |┌─────────────────────────────────────────────────┘
                  │  449 |│            _asn1_set_value (p_d, p_s->value, p_s->value_len);
                  │  450 |│          if (p_s->down)
                  │      |│              ~~~~~~~~~
                  │      |│                 |
                  │      |└────────────────>(40) ...to here
                  │
                '_asn1_copy_structure3': events 41-42
                  │
                  │  450 |           if (p_s->down)
                  │      |              ^
                  │      |              |
                  │      |              (41) following 'false' branch... ─>─┐
                  │      |                                                  │
                  │......
                  │      |                                                  │
                  │      |┌─────────────────────────────────────────────────┘
                  │  458 |│          p_d->start = p_s->start;
                  │      |│                       ~~~~~~~~~~
                  │      |│                          |
                  │      |└─────────────────────────>(42) ...to here
                  │
                '_asn1_copy_structure3': event 43
                  │
                  │  458 |           p_d->start = p_s->start;
                  │      |           ~~~~~~~~~~~^~~~~~~~~~~~
                  │      |                      |
                  │      |                      (43) ⚠️  dereference of NULL 'p_d'
                  │
asn1Coding.c: In function 'main':
asn1Coding.c:344:34: warning: dereference of NULL 'der' [CWE-476] [-Wanalyzer-null-dereference]
  344 |     fprintf (stderr, "%02x ", der[k]);
      |                               ~~~^~~
  'main': events 1-10
  207 |   if (optind == argc || optind == argc - 1)
      |      ^
      |      |
      |      (1) following 'false' branch... ─>─┐
      |                                         │
......
      |                                         │
      |┌────────────────────────────────────────┘
  214 |│  inputFileAsnName = strdup (argv[optind]);
      |│                                 ~
      |│                                 |
      |└────────────────────────────────>(2) ...to here
  215 |   if (inputFileAsnName == NULL)
      |      ~
      |      |
      |      (3) following 'false' branch (when 'inputFileAsnName' is non-NULL)... ─>─┐
      |                                                                               │
......
      |                                                                               │
      |┌──────────────────────────────────────────────────────────────────────────────┘
  221 |│  inputFileAssignmentName = strdup (argv[optind + 1]);
      |│                                         ~~~~~~~~~~
      |│                                                |
      |└───────────────────────────────────────────────>(4) ...to here
  222 |   if (inputFileAssignmentName == NULL)
      |      ~
      |      |
      |      (5) following 'false' branch (when 'inputFileAssignmentName' is non-NULL)... ─>─┐
      |                                                                                      │
......
      |                                                                                      │
      |┌─────────────────────────────────────────────────────────────────────────────────────┘
  229 |│    asn1_parser2tree (inputFileAsnName, &definitions, errorDescription);
      |│    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│    |
      |└───>(6) ...to here
......
  248 |   if (asn1_result != ASN1_SUCCESS)
      |      ~
      |      |
      |      (7) following 'false' branch (when 'asn1_result == 0')... ─>─┐
      |                                                                   │
......
      |                                                                   │
      |┌──────────────────────────────────────────────────────────────────┘
  256 |│  inputFile = fopen (inputFileAssignmentName, "r");
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(8) ...to here
  257 | 
  258 |   if (inputFile == NULL)
      |      ~
      |      |
      |      (9) following 'false' branch (when 'inputFile' is non-NULL)... ─>─┐
      |                                                                        │
......
      |                                                                        │
      |┌───────────────────────────────────────────────────────────────────────┘
  268 |│  putc ('\n', stderr);
      |│  ~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(10) ...to here
  'main': events 11-22
  271 |          == ASSIGNMENT_SUCCESS)
      |          ^
      |          |
      |          (11) following 'false' branch (when 'last_ra != 1')... ─>─┐
      |                                                                    │
......
      |                                                                    │
      |┌───────────────────────────────────────────────────────────────────┘
  301 |│  if (last_ra != ASSIGNMENT_EOF)
      |│     ~    
      |│     |
      |└────>(12) ...to here
      |      (13) following 'false' branch (when 'last_ra == 3')... ─>─┐
      |                                                                │
......
      |                                                                │
      |┌───────────────────────────────────────────────────────────────┘
  306 |│  fclose (inputFile);
      |│  ~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(14) ...to here
......
  314 |   if (asn1_result == ASN1_MEM_ERROR)
      |      ~    
      |      |
      |      (15) following 'false' branch (when 'asn1_result != 12')... ─>─┐
      |                                                                     │
......
      |                                                                     │
      |┌────────────────────────────────────────────────────────────────────┘
  325 |│  fprintf (stderr, "\nCoding: %s\n\n", asn1_strerror (asn1_result));
      |│  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(16) ...to here
  326 |   if (asn1_result != ASN1_SUCCESS)
      |      ~    
      |      |
      |      (17) following 'false' branch (when 'asn1_result == 0')... ─>─┐
      |                                                                    │
......
      |                                                                    │
      |┌───────────────────────────────────────────────────────────────────┘
  342 |│  fprintf (stderr, "-----------------\nNumber of bytes=%i\n", der_len);
      |│  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(18) ...to here
  343 |   for (k = 0; k < der_len; k++)
      |               ~~~~~~~~~~~
      |                 |
      |                 (19) following 'true' branch... ─>─┐
      |                                                    │
      |                                                    │
      |┌───────────────────────────────────────────────────┘
  344 |│    fprintf (stderr, "%02x ", der[k]);
      |│                              ~~~~~~
      |│                                 |
      |└────────────────────────────────>(20) ...to here
      |                                  (21) 'der' is NULL
      |                                  (22) ⚠️  dereference of NULL 'der + (sizetype)k'
asn1Coding.c:372:39: warning: dereference of NULL 'der' [CWE-476] [-Wanalyzer-null-dereference]
  372 |         fprintf (outputFile, "%c", der[k]);
      |                                    ~~~^~~
  'main': events 1-2
  166 |       if (option_result == -1)
      |          ^
      |          |
      |          (1) following 'false' branch (when 'option_result != -1')... ─>─┐
      |                                                                          │
......
      |                                                                          │
      |┌─────────────────────────────────────────────────────────────────────────┘
  169 |│      switch (option_result)
      |│      ~~~~~~
      |│      |
      |└─────>(2) ...to here
  'main': event 3
  185 |           assert (optarg != NULL);
      |           ^~~~~~
      |           |
      |           (3) following 'true' branch... ─>─┐
      |                                             │
  'main': events 4-5
      |                                             │
      |┌────────────────────────────────────────────┘
  186 |│          outputFileName = strdup (optarg);
      |│                           ^~~~~~~~~~~~~~~
      |│                           |
      |└──────────────────────────>(4) ...to here
  187 |           if (outputFileName == NULL)
      |              ~              
      |              |
      |              (5) following 'false' branch... ─>─┐
      |                                                 │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-25
  207 |   if (optind == argc || optind == argc - 1)
      |      ^
      |      |
      |      (7) following 'false' branch... ─>─┐
      |                                         │
......
      |                                         │
      |┌────────────────────────────────────────┘
  214 |│  inputFileAsnName = strdup (argv[optind]);
      |│                                 ~
      |│                                 |
      |└────────────────────────────────>(8) ...to here
  215 |   if (inputFileAsnName == NULL)
      |      ~
      |      |
      |      (9) following 'false' branch (when 'inputFileAsnName' is non-NULL)... ─>─┐
      |                                                                               │
......
      |                                                                               │
      |┌──────────────────────────────────────────────────────────────────────────────┘
  221 |│  inputFileAssignmentName = strdup (argv[optind + 1]);
      |│                                         ~~~~~~~~~~
      |│                                                |
      |└───────────────────────────────────────────────>(10) ...to here
  222 |   if (inputFileAssignmentName == NULL)
      |      ~
      |      |
      |      (11) following 'false' branch (when 'inputFileAssignmentName' is non-NULL)... ─>─┐
      |                                                                                       │
......
      |                                                                                       │
      |┌──────────────────────────────────────────────────────────────────────────────────────┘
  229 |│    asn1_parser2tree (inputFileAsnName, &definitions, errorDescription);
      |│    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│    |
      |└───>(12) ...to here
......
  248 |   if (asn1_result != ASN1_SUCCESS)
      |      ~
      |      |
      |      (13) following 'false' branch (when 'asn1_result == 0')... ─>─┐
      |                                                                    │
......
      |                                                                    │
      |┌───────────────────────────────────────────────────────────────────┘
  256 |│  inputFile = fopen (inputFileAssignmentName, "r");
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(14) ...to here
  257 | 
  258 |   if (inputFile == NULL)
      |      ~
      |      |
      |      (15) following 'false' branch (when 'inputFile' is non-NULL)... ─>─┐
      |                                                                         │
......
      |                                                                         │
      |┌────────────────────────────────────────────────────────────────────────┘
  268 |│  putc ('\n', stderr);
      |│  ~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(16) ...to here
......
  301 |   if (last_ra != ASSIGNMENT_EOF)
      |      ~
      |      |
      |      (17) following 'false' branch (when 'last_ra == 3')... ─>─┐
      |                                                                │
......
      |                                                                │
      |┌───────────────────────────────────────────────────────────────┘
  306 |│  fclose (inputFile);
      |│  ~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(18) ...to here
......
  314 |   if (asn1_result == ASN1_MEM_ERROR)
      |      ~
      |      |
      |      (19) following 'false' branch (when 'asn1_result != 12')... ─>─┐
      |                                                                     │
......
      |                                                                     │
      |┌────────────────────────────────────────────────────────────────────┘
  325 |│  fprintf (stderr, "\nCoding: %s\n\n", asn1_strerror (asn1_result));
      |│  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(20) ...to here
  326 |   if (asn1_result != ASN1_SUCCESS)
      |      ~
      |      |
      |      (21) following 'false' branch (when 'asn1_result == 0')... ─>─┐
      |                                                                    │
......
      |                                                                    │
      |┌───────────────────────────────────────────────────────────────────┘
  342 |│  fprintf (stderr, "-----------------\nNumber of bytes=%i\n", der_len);
      |│  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(22) ...to here
  343 |   for (k = 0; k < der_len; k++)
      |               ~~~~~~~~~~~
      |                 |
      |                 (23) following 'false' branch... ─>─┐
      |                                                     │
      |                                                     │
      |┌────────────────────────────────────────────────────┘
  344 |│    fprintf (stderr, "%02x ", der[k]);
  345 |│  fputs ("\n-----------------\n", stderr);
      |│  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│  |
      |└─>(24) ...to here
......
  350 |   if (!checkSyntaxOnly)
      |      ~
      |      |
      |      (25) following 'true' branch (when 'checkSyntaxOnly == 0')... ─>─┐
      |                                                                       │
  'main': event 26
      |                                                                       │
      |┌──────────────────────────────────────────────────────────────────────┘
  352 |│      if (outputFileName == NULL)
      |│                         ^
      |│                         |
      |└────────────────────────>(26) ...to here
  'main': events 27-29
  352 |       if (outputFileName == NULL)
      |          ^
      |          |
      |          (27) following 'false' branch... ─>─┐
      |                                              │
......
      |                                              │
      |┌─────────────────────────────────────────────┘
  355 |│      fprintf (stderr, "\nOutputFile=%s\n", outputFileName);
      |│      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│      |
      |└─────>(28) ...to here
......
  359 |       if (outputFile == NULL)
      |          ~
      |          |
      |          (29) following 'false' branch (when 'outputFile' is non-NULL)... ─>─┐
      |                                                                              │
  'main': event 30
cc1:
 (30): ...to here
  'main': events 31-34
  371 |       for (k = 0; k < der_len; k++)
      |                   ~~^~~~~~~~~
      |                     |
      |                     (31) following 'true' branch... ─>─┐
      |                                                        │
      |                                                        │
      |┌───────────────────────────────────────────────────────┘
  372 |│        fprintf (outputFile, "%c", der[k]);
      |│                                   ~~~~~~
      |│                                      |
      |└─────────────────────────────────────>(32) ...to here
      |                                       (33) 'der' is NULL
      |                                       (34) ⚠️  dereference of NULL 'der + (sizetype)k'
pkix_asn1_tab.c:7:24: warning: no previous declaration for 'pkix_asn1_tab' [-Wmissing-variable-declarations]
    7 | const asn1_static_node pkix_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~
libtasn1_array2tree_fuzzer.c:32:24: warning: no previous declaration for 'pkix_asn1_tab' [-Wmissing-variable-declarations]
   32 | const asn1_static_node pkix_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~
libtasn1_gnutls_der_fuzzer.c:36:24: warning: no previous declaration for 'gnutls_asn1_tab' [-Wmissing-variable-declarations]
   36 | const asn1_static_node gnutls_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~~~
Test_parser.c:44:13: warning: no previous declaration for 'fileCorrectName' [-Wmissing-variable-declarations]
   44 | const char *fileCorrectName;
      |             ^~~~~~~~~~~~~~~
Test_parser.c:45:6: warning: no previous declaration for 'fileErroredName' [-Wmissing-variable-declarations]
   45 | char fileErroredName[] = "Test_parser_ERROR.asn";
      |      ^~~~~~~~~~~~~~~
Test_parser.c:49:11: warning: no previous declaration for 'test_array' [-Wmissing-variable-declarations]
   49 | test_type test_array[] = {
      |           ^~~~~~~~~~
In file included from Test_tree.c:41:
Test_tree_asn1_tab.c:7:24: warning: no previous declaration for 'Test_tree_asn1_tab' [-Wmissing-variable-declarations]
    7 | const asn1_static_node Test_tree_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~~~~~~
Test_tree.c:79:11: warning: no previous declaration for 'test_array' [-Wmissing-variable-declarations]
   79 | test_type test_array[] = {
      |           ^~~~~~~~~~
Test_encoding.c:34:15: warning: no previous declaration for 'data' [-Wmissing-variable-declarations]
   34 | unsigned char data[256];
      |               ^~~~
Test_encoding.c:35:5: warning: no previous declaration for 'data_size' [-Wmissing-variable-declarations]
   35 | int data_size = sizeof (data);
      |     ^~~~~~~~~
Test_parser.c: In function 'readLine':
Test_parser.c:130:16: warning: use of possibly-NULL 'file' where non-null expected [CWE-690] [-Wanalyzer-possible-null-argument]
  130 |   while (((c = fgetc (file)) != EOF) && (c != '\n'))
      |                ^~~~~~~~~~~~
  'createFile': events 1-3
    │
    │  142 | createFile (int lineNumber, const char *line)
    │      | ^~~~~~~~~~
    │      | |
    │      | (1) entry to 'createFile'
    │......
    │  148 |   fileIn = fopen (fileCorrectName, "r");
    │      |            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    │      |            |
    │      |            (2) this call could return NULL
    │......
    │  151 |   while (readLine (fileIn, lineRead) != EOF)
    │      |          ~~~~~~~~~~~~~~~~~~~~~~~~~~~
    │      |          |
    │      |          (3) calling 'readLine' from 'createFile'
    │
    └──> 'readLine': events 4-5
           │
           │  126 | readLine (FILE *file, char *line)
           │      | ^~~~~~~~
           │      | |
           │      | (4) entry to 'readLine'
           │......
           │  130 |   while (((c = fgetc (file)) != EOF) && (c != '\n'))
           │      |                ~~~~~~~~~~~~
           │      |                |
           │      |                (5) ⚠️  argument 1 ('file') from (2) could be NULL where non-null expected
           │
In file included from Test_parser.c:29:
/usr/include/stdio.h:578:12: note: argument 1 of 'fgetc' must be non-null
  578 | extern int fgetc (FILE *__stream) __nonnull ((1));
      |            ^~~~~
Test_parser.c: In function 'createFile':
Test_parser.c:160:3: warning: use of possibly-NULL 'fileOut' where non-null expected [CWE-690] [-Wanalyzer-possible-null-argument]
  160 |   fclose (fileOut);
      |   ^~~~~~~~~~~~~~~~
  'createFile': event 1
  149 |   fileOut = fopen (fileErroredName, "w");
      |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |             |
      |             (1) this call could return NULL
  'createFile': events 2-4
  151 |   while (readLine (fileIn, lineRead) != EOF)
      |                                      ^
      |                                      |
      |                                      (2) following 'false' branch... ─>─┐
      |                                                                         │
......
      |                                                                         │
      |┌────────────────────────────────────────────────────────────────────────┘
  160 |│  fclose (fileOut);
      |│  ~~~~~~~~~~~~~~~~                    
      |│  |
      |└─>(3) ...to here
      |   (4) ⚠️  argument 1 ('fileOut') from (1) could be NULL where non-null expected
/usr/include/stdio.h:187:12: note: argument 1 of 'fclose' must be non-null
  187 | extern int fclose (FILE *__stream) __nonnull ((1));
      |            ^~~~~~
Test_overflow.c: In function 'main':
Test_overflow.c:65:45: warning: left shift of negative value [-Wshift-negative-value]
   65 |       unsigned long num = ((long) UINT_MAX) << 2;
      |                                             ^~
coding-long-oid.c:32:21: warning: no previous declaration for 'der_data' [-Wmissing-variable-declarations]
   32 | const unsigned char der_data[] =
      |                     ^~~~~~~~
coding-long-oid.c:144:5: warning: no previous declaration for 'der_data_size' [-Wmissing-variable-declarations]
  144 | int der_data_size = sizeof (der_data) - 1;
      |     ^~~~~~~~~~~~~
coding-long-oid.c:146:6: warning: no previous declaration for 'new_data' [-Wmissing-variable-declarations]
  146 | char new_data[4 * 1024];
      |      ^~~~~~~~
setof.c:47:5: warning: no previous declaration for 'data_size' [-Wmissing-variable-declarations]
   47 | int data_size = sizeof (data);
      |     ^~~~~~~~~
In file included from CVE-2018-1000654.c:30:
CVE-2018-1000654-1_asn1_tab.h:7:24: warning: no previous declaration for 'CVE_2018_1000654_1_asn1_tab' [-Wmissing-variable-declarations]
    7 | const asn1_static_node CVE_2018_1000654_1_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from CVE-2018-1000654.c:31:
CVE-2018-1000654-2_asn1_tab.h:7:24: warning: no previous declaration for 'CVE_2018_1000654_2_asn1_tab' [-Wmissing-variable-declarations]
    7 | const asn1_static_node CVE_2018_1000654_2_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~~~~~~~~~~~~~~~
reproducers.c:38:24: warning: no previous declaration for 'endless_asn1_tab' [-Wmissing-variable-declarations]
   38 | const asn1_static_node endless_asn1_tab[] = {
      |                        ^~~~~~~~~~~~~~~~
reproducers.c:50:24: warning: no previous declaration for 'tab' [-Wmissing-variable-declarations]
   50 | const asn1_static_node tab[] = {
      |                        ^~~
Test_tree.c: In function 'main':
Test_tree.c:552:15: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  552 |               asn1_write_value (asn1_element, test->par1, der, der_len);
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-13
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
  532 | 
  533 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 3:' branch... ─>─┐
      |                                            │
......
      |                                            │
      |┌───────────────────────────────────────────┘
  549 |│        case ACT_WRITE:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  550 |           if ((test->par2) && (!strcmp ("DER", test->par2)))
      |              ~         
      |              |
      |              (11) following 'true' branch... ─>─┐
      |                                                 │
      |                                                 │
      |┌────────────────────────────────────────────────┘
  551 |│            result =
  552 |│              asn1_write_value (asn1_element, test->par1, der, der_len);
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(12) ...to here
      |               (13) ⚠️  use of uninitialized value 'der_len' here
Test_tree.c:588:20: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  588 |           result = asn1_der_decoding (&asn1_element, der, der_len,
      |                    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  589 |                                       errorDescription);
      |                                       ~~~~~~~~~~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-11
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
  532 | 
  533 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 7:' branch... ─>─┐
      |                                            │
......
      |                                            │
      |┌───────────────────────────────────────────┘
  587 |│        case ACT_DECODING:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  588 |           result = asn1_der_decoding (&asn1_element, der, der_len,
      |                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |                    |
      |                    (11) ⚠️  use of uninitialized value 'der_len' here
  589 |                                       errorDescription);
      |                                       ~~~~~~~~~~~~~~~~~
Test_tree.c:593:13: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  593 |             asn1_der_decoding_element (&asn1_element, test->par1, der,
      |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  594 |                                        der_len, errorDescription);
      |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-11
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
  532 | 
  533 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 10:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  591 |│        case ACT_DECODING_ELEMENT:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  592 |           result =
  593 |             asn1_der_decoding_element (&asn1_element, test->par1, der,
      |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |             |
      |             (11) ⚠️  use of uninitialized value 'der_len' here
  594 |                                        der_len, errorDescription);
      |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~
Test_tree.c:598:13: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  598 |             asn1_der_decoding_startEnd (asn1_element, der, der_len,
      |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  599 |                                         test->par1, &start, &end);
      |                                         ~~~~~~~~~~~~~~~~~~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-11
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
  532 | 
  533 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 13:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  596 |│        case ACT_DECODING_START_END:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  597 |           result =
  598 |             asn1_der_decoding_startEnd (asn1_element, der, der_len,
      |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |             |
      |             (11) ⚠️  use of uninitialized value 'der_len' here
  599 |                                         test->par1, &start, &end);
      |                                         ~~~~~~~~~~~~~~~~~~~~~~~~~
Test_tree.c:624:15: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  624 |               printf ("DER encoding len:%i\n", der_len);
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-13
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
  532 | 
  533 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 8:' branch... ─>─┐
      |                                            │
......
      |                                            │
      |┌───────────────────────────────────────────┘
  621 |│        case ACT_PRINT_DER:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  622 |           if (verbose)
      |              ~         
      |              |
      |              (11) following 'true' branch (when 'verbose != 0')... ─>─┐
      |                                                                       │
      |                                                                       │
      |┌──────────────────────────────────────────────────────────────────────┘
  623 |│            {
  624 |│              printf ("DER encoding len:%i\n", der_len);
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(12) ...to here
      |               (13) ⚠️  use of uninitialized value 'der_len' here
Test_tree.c:687:58: warning: use of uninitialized value 'valueLen' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  687 |           if ((result != test->errorNumber) || (valueLen != test->par3))
      |                                                ~~~~~~~~~~^~~~~~~~~~~~~~
  'main': events 1-3
  472 |   int valueLen, tag = 0, class = 0;
      |       ^~~~~~~~
      |       |
      |       (1) region created on stack here
      |       (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~ 
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-11
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 12:, case 17:' branch... ─>─┐
      |                                                       │
......
      |                                                       │
      |┌──────────────────────────────────────────────────────┘
  685 |│        case ACT_NUMBER_OF_ELEMENTS:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  686 |         case ACT_READ_LENGTH:
  687 |           if ((result != test->errorNumber) || (valueLen != test->par3))
      |              ~         
      |              |
      |              (11) following 'false' branch... ─>─┐
      |                                                  │
  'main': event 12
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  687 |│          if ((result != test->errorNumber) || (valueLen != test->par3))
      |│                                                            ~~~~^~~~~~
      |│                                                                |
      |└───────────────────────────────────────────────────────────────>(12) ...to here
  'main': event 13
  687 |           if ((result != test->errorNumber) || (valueLen != test->par3))
      |                                                ~~~~~~~~~~^~~~~~~~~~~~~~
      |                                                          |
      |                                                          (13) ⚠️  use of uninitialized value 'valueLen' here
Test_tree.c:694:15: warning: use of uninitialized value 'valueLen' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  694 |               printf ("  Error detected: %s - %d\n\n", asn1_strerror (result),
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  695 |                       valueLen);
      |                       ~~~~~~~~~
  'main': events 1-3
  472 |   int valueLen, tag = 0, class = 0;
      |       ^~~~~~~~
      |       |
      |       (1) region created on stack here
      |       (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~ 
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-13
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 12:, case 17:' branch... ─>─┐
      |                                                       │
......
      |                                                       │
      |┌──────────────────────────────────────────────────────┘
  685 |│        case ACT_NUMBER_OF_ELEMENTS:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  686 |         case ACT_READ_LENGTH:
  687 |           if ((result != test->errorNumber) || (valueLen != test->par3))
      |              ~         
      |              |
      |              (11) following 'true' branch... ─>─┐
      |                                                 │
......
      |                                                 │
      |┌────────────────────────────────────────────────┘
  690 |│              printf ("ERROR in %d:\n", test->line);
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(12) ...to here
......
  694 |               printf ("  Error detected: %s - %d\n\n", asn1_strerror (result),
      |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |               |
      |               (13) ⚠️  use of uninitialized value 'valueLen' here
  695 |                       valueLen);
      |                       ~~~~~~~~~
Test_tree.c:700:57: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  700 |           if ((result != test->errorNumber) || (der_len != test->par3))
      |                                                ~~~~~~~~~^~~~~~~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-11
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 18:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  699 |│        case ACT_ENCODING_LENGTH:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  700 |           if ((result != test->errorNumber) || (der_len != test->par3))
      |              ~         
      |              |
      |              (11) following 'false' branch... ─>─┐
      |                                                  │
  'main': event 12
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  700 |│          if ((result != test->errorNumber) || (der_len != test->par3))
      |│                                                           ~~~~^~~~~~
      |│                                                               |
      |└──────────────────────────────────────────────────────────────>(12) ...to here
  'main': event 13
  700 |           if ((result != test->errorNumber) || (der_len != test->par3))
      |                                                ~~~~~~~~~^~~~~~~~~~~~~~
      |                                                         |
      |                                                         (13) ⚠️  use of uninitialized value 'der_len' here
Test_tree.c:707:15: warning: use of uninitialized value 'der_len' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  707 |               printf ("  Error detected: %s - %d\n\n", asn1_strerror (result),
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  708 |                       der_len);
      |                       ~~~~~~~~
  'main': events 1-3
  470 |   int errorCounter = 0, testCounter = 0, der_len;
      |                                          ^~~~~~~
      |                                          |
      |                                          (1) region created on stack here
      |                                          (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~                                    
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-13
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 18:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  699 |│        case ACT_ENCODING_LENGTH:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  700 |           if ((result != test->errorNumber) || (der_len != test->par3))
      |              ~         
      |              |
      |              (11) following 'true' branch... ─>─┐
      |                                                 │
......
      |                                                 │
      |┌────────────────────────────────────────────────┘
  703 |│              printf ("ERROR in %d:\n", test->line);
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(12) ...to here
......
  707 |               printf ("  Error detected: %s - %d\n\n", asn1_strerror (result),
      |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |               |
      |               (13) ⚠️  use of uninitialized value 'der_len' here
  708 |                       der_len);
      |                       ~~~~~~~~
Test_tree.c:729:58: warning: use of uninitialized value 'start' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  729 |               ((!strcmp (test->par2, "START")) && (start != test->par3)) ||
      |                                                   ~~~~~~~^~~~~~~~~~~~~~
  'main': events 1-3
  474 |   int start, end, verbose = 0;
      |       ^~~~~
      |       |
      |       (1) region created on stack here
      |       (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~ 
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-12
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 13:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  727 |│        case ACT_DECODING_START_END:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  728 |           if ((result != test->errorNumber) ||
      |              ~         
      |              |
      |              (11) following 'false' branch... ─>─┐
      |                                                  │
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  729 |│              ((!strcmp (test->par2, "START")) && (start != test->par3)) ||
      |│                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│                 |
      |└────────────────>(12) ...to here
  'main': events 13-14
  728 |           if ((result != test->errorNumber) ||
      |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
      |                                             |
      |                                             (13) following 'true' branch (when the strings are equal)... ─>─┐
      |                                                                                                             │
      |                                                                                                             │
      |┌────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
  729 |│              ((!strcmp (test->par2, "START")) && (start != test->par3)) ||
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│                                                                |
      |└───────────────────────────────────────────────────────────────>(14) ...to here
  'main': event 15
  729 |               ((!strcmp (test->par2, "START")) && (start != test->par3)) ||
      |                                                   ~~~~~~~^~~~~~~~~~~~~~
      |                                                          |
      |                                                          (15) ⚠️  use of uninitialized value 'start' here
Test_tree.c:730:54: warning: use of uninitialized value 'end' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  730 |               ((!strcmp (test->par2, "END")) && (end != test->par3)))
      |                                                 ~~~~~^~~~~~~~~~~~~~
  'main': events 1-3
  474 |   int start, end, verbose = 0;
      |              ^~~
      |              |
      |              (1) region created on stack here
      |              (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~        
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-12
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 13:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  727 |│        case ACT_DECODING_START_END:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  728 |           if ((result != test->errorNumber) ||
      |              ~         
      |              |
      |              (11) following 'false' branch... ─>─┐
      |                                                  │
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  729 |│              ((!strcmp (test->par2, "START")) && (start != test->par3)) ||
      |│                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│                 |
      |└────────────────>(12) ...to here
  'main': events 13-15
  728 |           if ((result != test->errorNumber) ||
      |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
      |                                             |
      |                                             (13) following 'false' branch (when the strings are non-equal)... ─>─┐
      |                                                                                                                  │
      |                                                                                                                  │
      |┌─────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
  729 |│              ((!strcmp (test->par2, "START")) && (start != test->par3)) ||
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│                                                                         |
      |│                                                                         (15) following 'true' branch (when the strings are equal)... ─>─┐
      |│                                                                                                                                         │
      |│                                                                                                                                         │
      |┌─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
  730 |│              ((!strcmp (test->par2, "END")) && (end != test->par3)))
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│                 |
      |└────────────────>(14) ...to here
  'main': event 16
  730 |               ((!strcmp (test->par2, "END")) && (end != test->par3)))
      |                                                         ~~~~^~~~~~
      |                                                             |
      |└───────────────────────────────────────────────────────────>(16) ...to here
  'main': event 17
  730 |               ((!strcmp (test->par2, "END")) && (end != test->par3)))
      |                                                 ~~~~~^~~~~~~~~~~~~~
      |                                                      |
      |                                                      (17) ⚠️  use of uninitialized value 'end' here
Test_tree.c:739:15: warning: use of uninitialized value 'end' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  739 |               printf ("  Error detected: %s - %d - %d\n\n",
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  740 |                       asn1_strerror (result), start, end);
      |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  'main': events 1-3
  474 |   int start, end, verbose = 0;
      |              ^~~
      |              |
      |              (1) region created on stack here
      |              (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~        
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-13
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 13:' branch... ─>─┐
      |                                             │
......
      |                                             │
      |┌────────────────────────────────────────────┘
  727 |│        case ACT_DECODING_START_END:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
  728 |           if ((result != test->errorNumber) ||
      |              ~         
      |              |
      |              (11) following 'true' branch... ─>─┐
      |                                                 │
......
      |                                                 │
      |┌────────────────────────────────────────────────┘
  733 |│              printf ("ERROR in %d:\n", test->line);
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(12) ...to here
......
  739 |               printf ("  Error detected: %s - %d - %d\n\n",
      |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |               |
      |               (13) ⚠️  use of uninitialized value 'end' here
  740 |                       asn1_strerror (result), start, end);
      |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Test_tree.c:769:32: warning: use of uninitialized value 'valueLen' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  769 |               if (valueLen % 8 == 0)
      |                   ~~~~~~~~~~~~~^~~~
  'main': events 1-3
  472 |   int valueLen, tag = 0, class = 0;
      |       ^~~~~~~~
      |       |
      |       (1) region created on stack here
      |       (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~ 
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-13
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 4:, case 14:, case 19:' branch... ─>─┐
      |                                                                │
......
      |                                                                │
      |┌───────────────────────────────────────────────────────────────┘
  764 |│        case ACT_READ:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
......
  767 |           if (test->action == ACT_READ_BIT)
      |              ~         
      |              |
      |              (11) following 'true' branch... ─>─┐
      |                                                 │
      |                                                 │
      |┌────────────────────────────────────────────────┘
  768 |│            {
  769 |│              if (valueLen % 8 == 0)
      |│                  ~~~~~~~~~~~~~~~~~
      |│                               |
      |└──────────────────────────────>(12) ...to here
      |                                (13) ⚠️  use of uninitialized value 'valueLen' here
Test_tree.c:787:25: warning: use of uninitialized value 'valueLen' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  787 |               (valueLen != test->par3) || (k == -1))
      |               ~~~~~~~~~~^~~~~~~~~~~~~~
  'main': events 1-3
  472 |   int valueLen, tag = 0, class = 0;
      |       ^~~~~~~~
      |       |
      |       (1) region created on stack here
      |       (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~ 
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-14
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 4:, case 14:, case 19:' branch... ─>─┐
      |                                                                │
......
      |                                                                │
      |┌───────────────────────────────────────────────────────────────┘
  764 |│        case ACT_READ:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
......
  767 |           if (test->action == ACT_READ_BIT)
      |              ~         
      |              |
      |              (11) following 'false' branch... ─>─┐
      |                                                  │
......
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  779 |│          for (k = 0; k < class; k++)
      |│          ~~~         ~~~~~~~~~
      |│          |             |
      |│          |             (13) following 'false' branch... ─>─┐
      |└─────────>(12) ...to here                                   │
      |                                                             │
......
      |                                                             │
      |┌────────────────────────────────────────────────────────────┘
  786 |│          if ((result != test->errorNumber) ||
      |│                         ~~~~~~~~~~~~~~~~~
      |│                             |
      |└────────────────────────────>(14) ...to here
  'main': events 15-16
  786 |           if ((result != test->errorNumber) ||
      |              ^
      |              |
      |              (15) following 'false' branch... ─>─┐
      |                                                  │
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  787 |│              (valueLen != test->par3) || (k == -1))
      |│                           ~~~~~~~~~~
      |│                               |
      |└──────────────────────────────>(16) ...to here
  'main': event 17
  787 |               (valueLen != test->par3) || (k == -1))
      |               ~~~~~~~~~~^~~~~~~~~~~~~~
      |                         |
      |                         (17) ⚠️  use of uninitialized value 'valueLen' here
Test_tree.c:796:15: warning: use of uninitialized value 'valueLen' [CWE-457] [-Wanalyzer-use-of-uninitialized-value]
  796 |               printf ("\n  Error detected: %s - %d - ",
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  797 |                       asn1_strerror (result), valueLen);
      |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  'main': events 1-3
  472 |   int valueLen, tag = 0, class = 0;
      |       ^~~~~~~~
      |       |
      |       (1) region created on stack here
      |       (2) capacity: 4 bytes
......
  503 |   if (result != ASN1_SUCCESS)
      |      ~ 
      |      |
      |      (3) following 'false' branch (when 'result == 0')... ─>─┐
      |                                                              │
  'main': events 4-5
      |                                                              │
      |┌─────────────────────────────────────────────────────────────┘
  511 |│    out = stdout;
      |│        ^
      |│        |
      |└───────>(4) ...to here
......
  515 |   if (out == NULL)
      |      ~   
      |      |
      |      (5) following 'false' branch (when 'out' is non-NULL)... ─>─┐
      |                                                                  │
  'main': event 6
cc1:
 (6): ...to here
  'main': events 7-14
  529 |   while (test->action != ACT_NULL)
      |                       ^
      |                       |
      |                       (7) following 'true' branch... ─>─┐
      |                                                         │
      |                                                         │
      |┌────────────────────────────────────────────────────────┘
  530 |│    {
  531 |│      testCounter++;
      |│      ~~~~~~~~~~~~~    
      |│                 |
      |└────────────────>(8) ...to here
......
  646 |       switch (test->action)
      |       ~~~~~~           
      |       |
      |       (9) following 'case 4:, case 14:, case 19:' branch... ─>─┐
      |                                                                │
......
      |                                                                │
      |┌───────────────────────────────────────────────────────────────┘
  764 |│        case ACT_READ:
      |│        ~~~~           
      |│        |
      |└───────>(10) ...to here
......
  767 |           if (test->action == ACT_READ_BIT)
      |              ~         
      |              |
      |              (11) following 'false' branch... ─>─┐
      |                                                  │
......
      |                                                  │
      |┌─────────────────────────────────────────────────┘
  779 |│          for (k = 0; k < class; k++)
      |│          ~~~         ~~~~~~~~~
      |│          |             |
      |│          |             (13) following 'false' branch... ─>─┐
      |└─────────>(12) ...to here                                   │
      |                                                             │
......
      |                                                             │
      |┌────────────────────────────────────────────────────────────┘
  786 |│          if ((result != test->errorNumber) ||
      |│                         ~~~~~~~~~~~~~~~~~
      |│                             |
      |└────────────────────────────>(14) ...to here
  'main': events 15-17
  786 |           if ((result != test->errorNumber) ||
      |              ^
      |              |
      |              (15) following 'true' branch... ─>─┐
      |                                                 │
......
      |                                                 │
      |┌────────────────────────────────────────────────┘
  790 |│              printf ("ERROR in %d:\n", test->line);
      |│              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |│              |
      |└─────────────>(16) ...to here
......
  796 |               printf ("\n  Error detected: %s - %d - ",
      |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      |               |
      |               (17) ⚠️  use of uninitialized value 'valueLen' here
  797 |                       asn1_strerror (result), valueLen);
      |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
libtool: warning: remember to run 'libtool --finish /usr/lib32'
libtool: warning: '../lib/libtasn1.la' has not been installed in '/usr/lib32'
libtool: warning: '../lib/libtasn1.la' has not been installed in '/usr/lib32'
libtool: warning: '../lib/libtasn1.la' has not been installed in '/usr/lib32'