---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    LLVMFuzzerTestOneInput
      functionSourceFile: '/src/krb5/fuzzing/Fuzz_json.c'
      linkageType:     externalLinkage
      functionLinenumber: 23
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'char *'
        - 'size_t '
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         9
      ICount:          64
      EdgeCount:       11
      CyclomaticComplexity: 4
      functionsReached:
        - calloc
        - k5_json_decode
        - k5_json_release
      functionUses:    0
      BranchProfiles:
        - Branch String:   'Fuzz_json.c:25,32'
          Branch Sides:
            - BranchSide:      'Fuzz_json.c:25,35'
              BranchSideFuncs: []
            - BranchSide:      'Fuzz_json.c:26,9'
              BranchSideFuncs: []
        - Branch String:   'Fuzz_json.c:25,9'
          Branch Sides:
            - BranchSide:      'Fuzz_json.c:26,9'
              BranchSideFuncs: []
            - BranchSide:      'Fuzz_json.c:30,14'
              BranchSideFuncs:
                - calloc
                - llvm.memcpy.p0i8.p0i8.i64
                - k5_json_decode
                - k5_json_release
                - free
      Callsites:
        - Src:             'Fuzz_json.c:32,25'
          Dst:             calloc
        - Src:             'Fuzz_json.c:36,5'
          Dst:             k5_json_decode
        - Src:             'Fuzz_json.c:37,5'
          Dst:             k5_json_release
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    calloc
      functionSourceFile: ''
      linkageType:     externalLinkage
      functionLinenumber: -1
      functionDepth:   0
      returnType:      'char *'
      argCount:        2
      argTypes:
        - 'size_t '
        - 'size_t '
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         0
      ICount:          0
      EdgeCount:       0
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    2
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    parse_array_item
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 940
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'struct.k5_json_array_st *'
        - 'struct.decode_ctx *'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         6
      ICount:          48
      EdgeCount:       7
      CyclomaticComplexity: 3
      functionsReached:
        - k5_json_array_add
        - k5_json_release
        - parse_value
      functionUses:    1
      BranchProfiles:
        - Branch String:   'json.c:945,9'
          Branch Sides:
            - BranchSide:      'json.c:946,16'
              BranchSideFuncs: []
            - BranchSide:      'json.c:947,29'
              BranchSideFuncs:
                - k5_json_array_add
                - k5_json_release
      Callsites:
        - Src:             'json.c:944,11'
          Dst:             parse_value
        - Src:             'json.c:947,11'
          Dst:             k5_json_array_add
        - Src:             'json.c:948,5'
          Dst:             k5_json_release
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    parse_value
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 1003
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'struct.decode_ctx *'
        - 'char **'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         48
      ICount:          329
      EdgeCount:       66
      CyclomaticComplexity: 20
      functionsReached:
        - is_digit
        - k5_json_bool_create
        - k5_json_null_create
        - k5_json_string_create
        - parse_array
        - parse_number
        - parse_object
        - parse_string
        - strncmp
        - white_spaces
      functionUses:    3
      BranchProfiles:
        - Branch String:   'json.c:1015,9'
          Branch Sides:
            - BranchSide:      'json.c:1016,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:1018,10'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - is_digit
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - parse_number
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp8
                - parse_array
                - __sanitizer_cov_trace_const_cmp8
                - parse_object
                - __sanitizer_cov_trace_const_cmp4
                - parse_string
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - free
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:1018,9'
          Branch Sides:
            - BranchSide:      'json.c:1019,28'
              BranchSideFuncs:
                - parse_string
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - free
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:1027,17'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - is_digit
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - parse_number
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp8
                - parse_array
                - __sanitizer_cov_trace_const_cmp8
                - parse_object
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:1020,13'
          Branch Sides:
            - BranchSide:      'json.c:1021,20'
              BranchSideFuncs: []
            - BranchSide:      'json.c:1022,37'
              BranchSideFuncs:
                - k5_json_string_create
                - free
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:1024,13'
          Branch Sides:
            - BranchSide:      'json.c:1025,20'
              BranchSideFuncs: []
            - BranchSide:      'json.c:1026,20'
              BranchSideFuncs: []
        - Branch String:   'json.c:1027,16'
          Branch Sides:
            - BranchSide:      'json.c:1028,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp8
                - parse_object
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:1035,17'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - is_digit
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - parse_number
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp8
                - parse_array
        - Branch String:   'json.c:1028,13'
          Branch Sides:
            - BranchSide:      'json.c:1029,13'
              BranchSideFuncs: []
            - BranchSide:      'json.c:1030,28'
              BranchSideFuncs:
                - parse_object
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:1031,13'
          Branch Sides:
            - BranchSide:      'json.c:1032,20'
              BranchSideFuncs: []
            - BranchSide:      'json.c:1033,9'
              BranchSideFuncs: []
        - Branch String:   'json.c:1035,16'
          Branch Sides:
            - BranchSide:      'json.c:1036,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp8
                - parse_array
            - BranchSide:      'json.c:1041,26'
              BranchSideFuncs:
                - is_digit
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - parse_number
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:1036,13'
          Branch Sides:
            - BranchSide:      'json.c:1037,13'
              BranchSideFuncs: []
            - BranchSide:      'json.c:1038,27'
              BranchSideFuncs:
                - parse_array
        - Branch String:   'json.c:1041,34'
          Branch Sides:
            - BranchSide:      'json.c:1041,38'
              BranchSideFuncs:
                - parse_number
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:1042,28'
              BranchSideFuncs:
                - parse_number
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:1041,16'
          Branch Sides:
            - BranchSide:      'json.c:1042,28'
              BranchSideFuncs:
                - parse_number
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:1046,32'
              BranchSideFuncs:
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:1043,13'
          Branch Sides:
            - BranchSide:      'json.c:1044,20'
              BranchSideFuncs: []
            - BranchSide:      'json.c:1045,20'
              BranchSideFuncs: []
        - Branch String:   'json.c:1046,16'
          Branch Sides:
            - BranchSide:      'json.c:1047,9'
              BranchSideFuncs:
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:1052,32'
              BranchSideFuncs:
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:1049,13'
          Branch Sides:
            - BranchSide:      'json.c:1050,20'
              BranchSideFuncs: []
            - BranchSide:      'json.c:1051,20'
              BranchSideFuncs: []
        - Branch String:   'json.c:1052,16'
          Branch Sides:
            - BranchSide:      'json.c:1053,9'
              BranchSideFuncs:
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:1058,32'
              BranchSideFuncs:
                - strncmp
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:1055,13'
          Branch Sides:
            - BranchSide:      'json.c:1056,20'
              BranchSideFuncs: []
            - BranchSide:      'json.c:1057,20'
              BranchSideFuncs: []
        - Branch String:   'json.c:1058,16'
          Branch Sides:
            - BranchSide:      'json.c:1059,9'
              BranchSideFuncs:
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:1065,9'
              BranchSideFuncs: []
        - Branch String:   'json.c:1061,13'
          Branch Sides:
            - BranchSide:      'json.c:1062,20'
              BranchSideFuncs: []
            - BranchSide:      'json.c:1063,20'
              BranchSideFuncs: []
      Callsites:
        - Src:             'json.c:1015,9'
          Dst:             white_spaces
        - Src:             'json.c:1019,15'
          Dst:             parse_string
        - Src:             'json.c:1022,15'
          Dst:             k5_json_string_create
        - Src:             'json.c:1030,15'
          Dst:             parse_object
        - Src:             'json.c:1038,15'
          Dst:             parse_array
        - Src:             'json.c:1041,16'
          Dst:             is_digit
        - Src:             'json.c:1042,15'
          Dst:             parse_number
        - Src:             'json.c:1046,16'
          Dst:             strncmp
        - Src:             'json.c:1048,15'
          Dst:             k5_json_null_create
        - Src:             'json.c:1052,16'
          Dst:             strncmp
        - Src:             'json.c:1054,15'
          Dst:             k5_json_bool_create
        - Src:             'json.c:1058,16'
          Dst:             strncmp
        - Src:             'json.c:1060,15'
          Dst:             k5_json_bool_create
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_array_add
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 231
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'struct.k5_json_array_st *'
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         12
      ICount:          102
      EdgeCount:       15
      CyclomaticComplexity: 5
      functionsReached:
        - k5_json_retain
        - realloc
      functionUses:    2
      BranchProfiles:
        - Branch String:   'json.c:235,9'
          Branch Sides:
            - BranchSide:      'json.c:237,21'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp8
                - realloc
                - k5_json_retain
            - BranchSide:      'json.c:246,50'
              BranchSideFuncs:
                - k5_json_retain
        - Branch String:   'json.c:238,13'
          Branch Sides:
            - BranchSide:      'json.c:239,23'
              BranchSideFuncs:
                - realloc
                - k5_json_retain
            - BranchSide:      'json.c:240,23'
              BranchSideFuncs:
                - realloc
                - k5_json_retain
        - Branch String:   'json.c:241,13'
          Branch Sides:
            - BranchSide:      'json.c:242,13'
              BranchSideFuncs: []
            - BranchSide:      'json.c:243,25'
              BranchSideFuncs:
                - k5_json_retain
      Callsites:
        - Src:             'json.c:240,15'
          Dst:             realloc
        - Src:             'json.c:246,35'
          Dst:             k5_json_retain
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_release
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 112
      functionDepth:   0
      returnType:      'N/A'
      argCount:        1
      argTypes:
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         14
      ICount:          82
      EdgeCount:       17
      CyclomaticComplexity: 5
      functionsReached:
        - __assert_fail
      functionUses:    14
      BranchProfiles:
        - Branch String:   'json.c:115,9'
          Branch Sides:
            - BranchSide:      'json.c:116,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:117,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __assert_fail
                - __sanitizer_cov_trace_const_cmp4
                - free
                - __sanitizer_cov_trace_pc_indir
        - Branch String:   'json.c:118,5'
          Branch Sides:
            - BranchSide:      'json.c:118,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - free
                - __sanitizer_cov_trace_pc_indir
            - BranchSide:      'json.c:119,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - free
                - __sanitizer_cov_trace_pc_indir
        - Branch String:   'json.c:120,9'
          Branch Sides:
            - BranchSide:      'json.c:120,9'
              BranchSideFuncs:
                - free
                - __sanitizer_cov_trace_pc_indir
            - BranchSide:      'json.c:121,13'
              BranchSideFuncs:
                - free
                - __sanitizer_cov_trace_pc_indir
        - Branch String:   'json.c:121,13'
          Branch Sides:
            - BranchSide:      'json.c:122,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_pc_indir
                - free
            - BranchSide:      'json.c:123,14'
              BranchSideFuncs:
                - free
      Callsites:
        - Src:             'json.c:118,5'
          Dst:             __assert_fail
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    __assert_fail
      functionSourceFile: ''
      linkageType:     externalLinkage
      functionLinenumber: -1
      functionDepth:   0
      returnType:      'N/A'
      argCount:        4
      argTypes:
        - 'char *'
        - 'char *'
        - 'int '
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
        - ''
      BBCount:         0
      ICount:          0
      EdgeCount:       0
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    7
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    realloc
      functionSourceFile: ''
      linkageType:     externalLinkage
      functionLinenumber: -1
      functionDepth:   0
      returnType:      'char *'
      argCount:        2
      argTypes:
        - 'char *'
        - 'size_t '
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         0
      ICount:          0
      EdgeCount:       0
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    3
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_retain
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 99
      functionDepth:   0
      returnType:      'char *'
      argCount:        1
      argTypes:
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         9
      ICount:          54
      EdgeCount:       10
      CyclomaticComplexity: 3
      functionsReached:
        - __assert_fail
      functionUses:    5
      BranchProfiles:
        - Branch String:   'json.c:102,9'
          Branch Sides:
            - BranchSide:      'json.c:103,16'
              BranchSideFuncs: []
            - BranchSide:      'json.c:104,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __assert_fail
        - Branch String:   'json.c:105,5'
          Branch Sides:
            - BranchSide:      'json.c:105,5'
              BranchSideFuncs: []
            - BranchSide:      'json.c:106,5'
              BranchSideFuncs: []
      Callsites:
        - Src:             'json.c:105,5'
          Dst:             __assert_fail
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    white_spaces
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 716
      functionDepth:   0
      returnType:      'int '
      argCount:        1
      argTypes:
        - 'struct.decode_ctx *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         15
      ICount:          81
      EdgeCount:       19
      CyclomaticComplexity: 6
      functionsReached: []
      functionUses:    10
      BranchProfiles:
        - Branch String:   'json.c:719,5'
          Branch Sides:
            - BranchSide:      'json.c:720,14'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:724,5'
              BranchSideFuncs: []
        - Branch String:   'json.c:721,22'
          Branch Sides:
            - BranchSide:      'json.c:721,25'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:723,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:721,35'
          Branch Sides:
            - BranchSide:      'json.c:721,38'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:723,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:721,48'
          Branch Sides:
            - BranchSide:      'json.c:721,51'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:723,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:721,13'
          Branch Sides:
            - BranchSide:      'json.c:722,13'
              BranchSideFuncs: []
            - BranchSide:      'json.c:723,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    parse_string
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 790
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'struct.decode_ctx *'
        - 'char **'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         46
      ICount:          329
      EdgeCount:       62
      CyclomaticComplexity: 18
      functionsReached:
        - hexval
        - is_hex_digit
        - strchr
      functionUses:    2
      BranchProfiles:
        - Branch String:   'json.c:799,9'
          Branch Sides:
            - BranchSide:      'json.c:800,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:801,15'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - malloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:802,5'
          Branch Sides:
            - BranchSide:      'json.c:803,14'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - malloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:812,9'
              BranchSideFuncs:
                - malloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'json.c:803,13'
          Branch Sides:
            - BranchSide:      'json.c:804,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - malloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:807,21'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - malloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:805,17'
          Branch Sides:
            - BranchSide:      'json.c:806,17'
              BranchSideFuncs: []
            - BranchSide:      'json.c:807,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - malloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:807,20'
          Branch Sides:
            - BranchSide:      'json.c:0,0'
              BranchSideFuncs:
                - malloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
            - BranchSide:      'json.c:808,19'
              BranchSideFuncs:
                - malloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'json.c:812,9'
          Branch Sides:
            - BranchSide:      'json.c:813,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:815,24'
              BranchSideFuncs:
                - malloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'json.c:816,9'
          Branch Sides:
            - BranchSide:      'json.c:817,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:818,14'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'json.c:818,5'
          Branch Sides:
            - BranchSide:      'json.c:819,14'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
            - BranchSide:      'json.c:848,6'
              BranchSideFuncs: []
        - Branch String:   'json.c:819,13'
          Branch Sides:
            - BranchSide:      'json.c:820,14'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
            - BranchSide:      'json.c:845,24'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'json.c:821,27'
          Branch Sides:
            - BranchSide:      'json.c:821,43'
              BranchSideFuncs:
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
            - BranchSide:      'json.c:835,44'
              BranchSideFuncs:
                - strchr
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'json.c:821,49'
          Branch Sides:
            - BranchSide:      'json.c:821,65'
              BranchSideFuncs:
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
            - BranchSide:      'json.c:835,44'
              BranchSideFuncs:
                - strchr
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'json.c:821,71'
          Branch Sides:
            - BranchSide:      'json.c:822,30'
              BranchSideFuncs:
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
            - BranchSide:      'json.c:835,44'
              BranchSideFuncs:
                - strchr
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'json.c:822,36'
          Branch Sides:
            - BranchSide:      'json.c:822,52'
              BranchSideFuncs:
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
            - BranchSide:      'json.c:835,44'
              BranchSideFuncs:
                - strchr
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'json.c:821,17'
          Branch Sides:
            - BranchSide:      'json.c:823,32'
              BranchSideFuncs:
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:835,44'
              BranchSideFuncs:
                - strchr
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'json.c:825,21'
          Branch Sides:
            - BranchSide:      'json.c:826,30'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
            - BranchSide:      'json.c:830,26'
              BranchSideFuncs:
                - free
        - Branch String:   'json.c:836,21'
          Branch Sides:
            - BranchSide:      'json.c:837,41'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - free
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_hex_digit
                - __sanitizer_cov_trace_const_cmp4
                - hexval
                - hexval
                - hexval
                - hexval
                - __sanitizer_cov_trace_const_cmp4
                - free
            - BranchSide:      'json.c:839,26'
              BranchSideFuncs:
                - free
      Callsites:
        - Src:             'json.c:821,30'
          Dst:             is_hex_digit
        - Src:             'json.c:821,52'
          Dst:             is_hex_digit
        - Src:             'json.c:822,17'
          Dst:             is_hex_digit
        - Src:             'json.c:822,39'
          Dst:             is_hex_digit
        - Src:             'json.c:823,25'
          Dst:             hexval
        - Src:             'json.c:823,48'
          Dst:             hexval
        - Src:             'json.c:824,22'
          Dst:             hexval
        - Src:             'json.c:824,43'
          Dst:             hexval
        - Src:             'json.c:835,21'
          Dst:             strchr
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_string_create
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 489
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'char *'
        - 'struct.k5_json_string_st **'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         3
      ICount:          22
      EdgeCount:       3
      CyclomaticComplexity: 2
      functionsReached:
        - k5_json_string_create_len
        - strlen
      functionUses:    3
      BranchProfiles:  []
      Callsites:
        - Src:             'json.c:490,47'
          Dst:             strlen
        - Src:             'json.c:490,12'
          Dst:             k5_json_string_create_len
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    parse_object
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 892
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'struct.decode_ctx *'
        - 'struct.k5_json_object_st **'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         26
      ICount:          163
      EdgeCount:       35
      CyclomaticComplexity: 11
      functionsReached:
        - k5_json_object_create
        - k5_json_release
        - parse_object_association
        - white_spaces
      functionUses:    1
      BranchProfiles:
        - Branch String:   'json.c:899,9'
          Branch Sides:
            - BranchSide:      'json.c:900,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:901,5'
              BranchSideFuncs:
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_object_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - parse_object_association
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:902,9'
          Branch Sides:
            - BranchSide:      'json.c:903,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:905,11'
              BranchSideFuncs:
                - k5_json_object_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - parse_object_association
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:906,9'
          Branch Sides:
            - BranchSide:      'json.c:907,16'
              BranchSideFuncs: []
            - BranchSide:      'json.c:910,10'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - parse_object_association
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:910,9'
          Branch Sides:
            - BranchSide:      'json.c:911,9'
              BranchSideFuncs:
                - parse_object_association
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - k5_json_release
                - k5_json_release
            - BranchSide:      'json.c:928,5'
              BranchSideFuncs: []
        - Branch String:   'json.c:913,17'
          Branch Sides:
            - BranchSide:      'json.c:914,33'
              BranchSideFuncs:
                - k5_json_release
            - BranchSide:      'json.c:917,30'
              BranchSideFuncs:
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - parse_object_association
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:917,17'
          Branch Sides:
            - BranchSide:      'json.c:918,17'
              BranchSideFuncs:
                - k5_json_release
            - BranchSide:      'json.c:919,18'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - parse_object_association
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:919,17'
          Branch Sides:
            - BranchSide:      'json.c:920,17'
              BranchSideFuncs: []
            - BranchSide:      'json.c:921,18'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - parse_object_association
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:921,17'
          Branch Sides:
            - BranchSide:      'json.c:922,17'
              BranchSideFuncs:
                - k5_json_release
            - BranchSide:      'json.c:923,13'
              BranchSideFuncs:
                - white_spaces
                - parse_object_association
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:924,17'
          Branch Sides:
            - BranchSide:      'json.c:911,9'
              BranchSideFuncs:
                - k5_json_release
            - BranchSide:      'json.c:925,17'
              BranchSideFuncs:
                - k5_json_release
      Callsites:
        - Src:             'json.c:902,9'
          Dst:             white_spaces
        - Src:             'json.c:905,11'
          Dst:             k5_json_object_create
        - Src:             'json.c:912,19'
          Dst:             parse_object_association
        - Src:             'json.c:914,17'
          Dst:             k5_json_release
        - Src:             'json.c:917,17'
          Dst:             white_spaces
        - Src:             'json.c:924,17'
          Dst:             white_spaces
        - Src:             'json.c:933,5'
          Dst:             k5_json_release
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    parse_array
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 955
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'struct.decode_ctx *'
        - 'struct.k5_json_array_st **'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         26
      ICount:          163
      EdgeCount:       35
      CyclomaticComplexity: 11
      functionsReached:
        - k5_json_array_create
        - k5_json_release
        - parse_array_item
        - white_spaces
      functionUses:    1
      BranchProfiles:
        - Branch String:   'json.c:962,9'
          Branch Sides:
            - BranchSide:      'json.c:963,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:964,5'
              BranchSideFuncs:
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - parse_array_item
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:965,9'
          Branch Sides:
            - BranchSide:      'json.c:966,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:968,11'
              BranchSideFuncs:
                - k5_json_array_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - parse_array_item
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:969,9'
          Branch Sides:
            - BranchSide:      'json.c:970,16'
              BranchSideFuncs: []
            - BranchSide:      'json.c:973,10'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - parse_array_item
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:973,9'
          Branch Sides:
            - BranchSide:      'json.c:974,9'
              BranchSideFuncs:
                - parse_array_item
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - k5_json_release
                - k5_json_release
            - BranchSide:      'json.c:991,5'
              BranchSideFuncs: []
        - Branch String:   'json.c:976,17'
          Branch Sides:
            - BranchSide:      'json.c:977,33'
              BranchSideFuncs:
                - k5_json_release
            - BranchSide:      'json.c:980,30'
              BranchSideFuncs:
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - parse_array_item
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:980,17'
          Branch Sides:
            - BranchSide:      'json.c:981,17'
              BranchSideFuncs:
                - k5_json_release
            - BranchSide:      'json.c:982,18'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - parse_array_item
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:982,17'
          Branch Sides:
            - BranchSide:      'json.c:983,17'
              BranchSideFuncs: []
            - BranchSide:      'json.c:984,18'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - parse_array_item
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:984,17'
          Branch Sides:
            - BranchSide:      'json.c:985,17'
              BranchSideFuncs:
                - k5_json_release
            - BranchSide:      'json.c:986,13'
              BranchSideFuncs:
                - white_spaces
                - parse_array_item
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_release
                - k5_json_release
        - Branch String:   'json.c:987,17'
          Branch Sides:
            - BranchSide:      'json.c:974,9'
              BranchSideFuncs:
                - k5_json_release
            - BranchSide:      'json.c:988,17'
              BranchSideFuncs:
                - k5_json_release
      Callsites:
        - Src:             'json.c:965,9'
          Dst:             white_spaces
        - Src:             'json.c:968,11'
          Dst:             k5_json_array_create
        - Src:             'json.c:975,19'
          Dst:             parse_array_item
        - Src:             'json.c:977,17'
          Dst:             k5_json_release
        - Src:             'json.c:980,17'
          Dst:             white_spaces
        - Src:             'json.c:987,17'
          Dst:             white_spaces
        - Src:             'json.c:996,5'
          Dst:             k5_json_release
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    is_digit
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 730
      functionDepth:   0
      returnType:      'int '
      argCount:        1
      argTypes:
        - 'char '
      constantsTouched: []
      argNames:
        - ''
      BBCount:         4
      ICount:          26
      EdgeCount:       4
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    5
      BranchProfiles:
        - Branch String:   'json.c:731,22'
          Branch Sides:
            - BranchSide:      'json.c:731,25'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:731,22'
              BranchSideFuncs: []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    parse_number
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 756
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'struct.decode_ctx *'
        - 'struct.k5_json_number_st **'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         22
      ICount:          144
      EdgeCount:       29
      CyclomaticComplexity: 9
      functionsReached:
        - is_digit
        - k5_json_number_create
      functionUses:    1
      BranchProfiles:
        - Branch String:   'json.c:763,9'
          Branch Sides:
            - BranchSide:      'json.c:764,13'
              BranchSideFuncs:
                - is_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_digit
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp8
                - __sanitizer_cov_trace_const_cmp8
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:768,20'
              BranchSideFuncs:
                - is_digit
                - __sanitizer_cov_trace_const_cmp4
                - is_digit
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp8
                - __sanitizer_cov_trace_const_cmp8
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:768,9'
          Branch Sides:
            - BranchSide:      'json.c:769,9'
              BranchSideFuncs:
                - is_digit
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp8
                - __sanitizer_cov_trace_const_cmp8
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:773,5'
              BranchSideFuncs:
                - is_digit
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp8
                - __sanitizer_cov_trace_const_cmp8
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:773,5'
          Branch Sides:
            - BranchSide:      'json.c:774,13'
              BranchSideFuncs:
                - is_digit
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp8
                - __sanitizer_cov_trace_const_cmp8
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:781,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp8
                - __sanitizer_cov_trace_const_cmp8
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:774,13'
          Branch Sides:
            - BranchSide:      'json.c:775,13'
              BranchSideFuncs: []
            - BranchSide:      'json.c:776,19'
              BranchSideFuncs:
                - is_digit
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp8
                - __sanitizer_cov_trace_const_cmp8
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:781,27'
          Branch Sides:
            - BranchSide:      'json.c:781,31'
              BranchSideFuncs: []
            - BranchSide:      'json.c:782,9'
              BranchSideFuncs: []
        - Branch String:   'json.c:781,45'
          Branch Sides:
            - BranchSide:      'json.c:781,48'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
            - BranchSide:      'json.c:784,34'
              BranchSideFuncs:
                - k5_json_number_create
        - Branch String:   'json.c:781,9'
          Branch Sides:
            - BranchSide:      'json.c:782,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:784,34'
              BranchSideFuncs:
                - k5_json_number_create
      Callsites:
        - Src:             'json.c:768,10'
          Dst:             is_digit
        - Src:             'json.c:773,12'
          Dst:             is_digit
        - Src:             'json.c:784,12'
          Dst:             k5_json_number_create
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    strncmp
      functionSourceFile: ''
      linkageType:     externalLinkage
      functionLinenumber: -1
      functionDepth:   0
      returnType:      'int '
      argCount:        3
      argTypes:
        - 'char *'
        - 'char *'
        - 'size_t '
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
      BBCount:         0
      ICount:          0
      EdgeCount:       0
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    3
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_null_create
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 163
      functionDepth:   0
      returnType:      'int '
      argCount:        1
      argTypes:
        - 'struct.k5_json_null_st **'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         3
      ICount:          23
      EdgeCount:       3
      CyclomaticComplexity: 2
      functionsReached:
        - alloc_value
      functionUses:    3
      BranchProfiles:  []
      Callsites:
        - Src:             'json.c:164,16'
          Dst:             alloc_value
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_bool_create
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 181
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'int '
        - 'struct.k5_json_bool_st **'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         6
      ICount:          52
      EdgeCount:       7
      CyclomaticComplexity: 3
      functionsReached:
        - alloc_value
      functionUses:    3
      BranchProfiles:
        - Branch String:   'json.c:186,9'
          Branch Sides:
            - BranchSide:      'json.c:187,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:188,29'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
      Callsites:
        - Src:             'json.c:185,9'
          Dst:             alloc_value
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    alloc_value
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 146
      functionDepth:   0
      returnType:      'char *'
      argCount:        2
      argTypes:
        - 'struct.json_type_st *'
        - 'size_t '
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         6
      ICount:          49
      EdgeCount:       7
      CyclomaticComplexity: 3
      functionsReached:
        - calloc
      functionUses:    7
      BranchProfiles:
        - Branch String:   'json.c:149,9'
          Branch Sides:
            - BranchSide:      'json.c:150,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:151,14'
              BranchSideFuncs: []
      Callsites:
        - Src:             'json.c:147,28'
          Dst:             calloc
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_number_create
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 557
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'size_t '
        - 'struct.k5_json_number_st **'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         6
      ICount:          46
      EdgeCount:       7
      CyclomaticComplexity: 3
      functionsReached:
        - alloc_value
      functionUses:    3
      BranchProfiles:
        - Branch String:   'json.c:562,9'
          Branch Sides:
            - BranchSide:      'json.c:563,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:564,25'
              BranchSideFuncs: []
      Callsites:
        - Src:             'json.c:561,9'
          Dst:             alloc_value
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_array_create
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 224
      functionDepth:   0
      returnType:      'int '
      argCount:        1
      argTypes:
        - 'struct.k5_json_array_st **'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         3
      ICount:          23
      EdgeCount:       3
      CyclomaticComplexity: 2
      functionsReached:
        - alloc_value
      functionUses:    2
      BranchProfiles:  []
      Callsites:
        - Src:             'json.c:225,16'
          Dst:             alloc_value
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    array_dealloc
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 209
      functionDepth:   0
      returnType:      'N/A'
      argCount:        1
      argTypes:
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         7
      ICount:          53
      EdgeCount:       8
      CyclomaticComplexity: 3
      functionsReached:
        - k5_json_release
      functionUses:    0
      BranchProfiles:
        - Branch String:   'json.c:213,5'
          Branch Sides:
            - BranchSide:      'json.c:214,25'
              BranchSideFuncs:
                - k5_json_release
                - __sanitizer_cov_trace_cmp8
                - free
            - BranchSide:      'json.c:215,10'
              BranchSideFuncs:
                - free
      Callsites:
        - Src:             'json.c:214,9'
          Dst:             k5_json_release
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_object_create
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 391
      functionDepth:   0
      returnType:      'int '
      argCount:        1
      argTypes:
        - 'struct.k5_json_object_st **'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         3
      ICount:          23
      EdgeCount:       3
      CyclomaticComplexity: 2
      functionsReached:
        - alloc_value
      functionUses:    1
      BranchProfiles:  []
      Callsites:
        - Src:             'json.c:392,16'
          Dst:             alloc_value
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    parse_object_association
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 856
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'struct.k5_json_object_st *'
        - 'struct.decode_ctx *'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         15
      ICount:          109
      EdgeCount:       20
      CyclomaticComplexity: 7
      functionsReached:
        - k5_json_object_set
        - k5_json_release
        - parse_string
        - parse_value
        - white_spaces
      functionUses:    1
      BranchProfiles:
        - Branch String:   'json.c:863,9'
          Branch Sides:
            - BranchSide:      'json.c:864,16'
              BranchSideFuncs: []
            - BranchSide:      'json.c:865,22'
              BranchSideFuncs:
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - parse_value
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_object_set
                - free
                - k5_json_release
                - free
                - free
        - Branch String:   'json.c:865,9'
          Branch Sides:
            - BranchSide:      'json.c:866,9'
              BranchSideFuncs:
                - free
            - BranchSide:      'json.c:867,10'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - parse_value
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_object_set
                - free
                - k5_json_release
                - free
                - free
        - Branch String:   'json.c:867,9'
          Branch Sides:
            - BranchSide:      'json.c:868,9'
              BranchSideFuncs:
                - free
            - BranchSide:      'json.c:869,5'
              BranchSideFuncs:
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - parse_value
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_object_set
                - free
                - k5_json_release
                - free
                - free
        - Branch String:   'json.c:870,9'
          Branch Sides:
            - BranchSide:      'json.c:871,9'
              BranchSideFuncs:
                - free
            - BranchSide:      'json.c:872,23'
              BranchSideFuncs:
                - parse_value
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_object_set
                - free
                - k5_json_release
                - free
        - Branch String:   'json.c:873,9'
          Branch Sides:
            - BranchSide:      'json.c:874,14'
              BranchSideFuncs:
                - free
            - BranchSide:      'json.c:879,30'
              BranchSideFuncs:
                - k5_json_object_set
                - free
                - k5_json_release
      Callsites:
        - Src:             'json.c:862,11'
          Dst:             parse_string
        - Src:             'json.c:865,9'
          Dst:             white_spaces
        - Src:             'json.c:870,9'
          Dst:             white_spaces
        - Src:             'json.c:872,11'
          Dst:             parse_value
        - Src:             'json.c:879,11'
          Dst:             k5_json_object_set
        - Src:             'json.c:881,5'
          Dst:             k5_json_release
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_object_set
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 428
      functionDepth:   0
      returnType:      'int '
      argCount:        3
      argTypes:
        - 'struct.k5_json_object_st *'
        - 'char *'
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
      BBCount:         25
      ICount:          229
      EdgeCount:       33
      CyclomaticComplexity: 10
      functionsReached:
        - k5_json_release
        - k5_json_retain
        - object_search
        - realloc
        - strdup
      functionUses:    1
      BranchProfiles:
        - Branch String:   'json.c:433,9'
          Branch Sides:
            - BranchSide:      'json.c:434,25'
              BranchSideFuncs:
                - k5_json_release
                - k5_json_retain
                - free
                - __sanitizer_cov_trace_cmp8
                - llvm.memcpy.p0i8.p0i8.i64
            - BranchSide:      'json.c:449,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - strdup
                - k5_json_retain
                - __sanitizer_cov_trace_const_cmp8
                - realloc
        - Branch String:   'json.c:435,13'
          Branch Sides:
            - BranchSide:      'json.c:437,18'
              BranchSideFuncs:
                - free
                - __sanitizer_cov_trace_cmp8
                - llvm.memcpy.p0i8.p0i8.i64
            - BranchSide:      'json.c:443,41'
              BranchSideFuncs:
                - k5_json_retain
        - Branch String:   'json.c:438,13'
          Branch Sides:
            - BranchSide:      'json.c:439,17'
              BranchSideFuncs:
                - llvm.memcpy.p0i8.p0i8.i64
                - __sanitizer_cov_trace_cmp8
            - BranchSide:      'json.c:440,13'
              BranchSideFuncs: []
        - Branch String:   'json.c:449,9'
          Branch Sides:
            - BranchSide:      'json.c:450,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:452,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - strdup
                - k5_json_retain
                - __sanitizer_cov_trace_const_cmp8
                - realloc
        - Branch String:   'json.c:452,9'
          Branch Sides:
            - BranchSide:      'json.c:454,21'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp8
                - realloc
                - strdup
                - k5_json_retain
            - BranchSide:      'json.c:463,41'
              BranchSideFuncs:
                - strdup
                - k5_json_retain
        - Branch String:   'json.c:455,13'
          Branch Sides:
            - BranchSide:      'json.c:456,23'
              BranchSideFuncs:
                - realloc
                - strdup
                - k5_json_retain
            - BranchSide:      'json.c:457,23'
              BranchSideFuncs:
                - realloc
                - strdup
                - k5_json_retain
        - Branch String:   'json.c:458,13'
          Branch Sides:
            - BranchSide:      'json.c:459,13'
              BranchSideFuncs: []
            - BranchSide:      'json.c:460,24'
              BranchSideFuncs:
                - strdup
                - k5_json_retain
        - Branch String:   'json.c:464,9'
          Branch Sides:
            - BranchSide:      'json.c:465,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:466,51'
              BranchSideFuncs:
                - k5_json_retain
      Callsites:
        - Src:             'json.c:432,11'
          Dst:             object_search
        - Src:             'json.c:434,9'
          Dst:             k5_json_release
        - Src:             'json.c:443,26'
          Dst:             k5_json_retain
        - Src:             'json.c:457,15'
          Dst:             realloc
        - Src:             'json.c:463,34'
          Dst:             strdup
        - Src:             'json.c:466,36'
          Dst:             k5_json_retain
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    object_search
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 405
      functionDepth:   0
      returnType:      'struct.entry *'
      argCount:        2
      argTypes:
        - 'struct.k5_json_object_st *'
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         10
      ICount:          65
      EdgeCount:       12
      CyclomaticComplexity: 4
      functionsReached:
        - strcmp
      functionUses:    2
      BranchProfiles:
        - Branch String:   'json.c:408,5'
          Branch Sides:
            - BranchSide:      'json.c:409,20'
              BranchSideFuncs:
                - strcmp
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_cmp8
            - BranchSide:      'json.c:412,5'
              BranchSideFuncs: []
        - Branch String:   'json.c:409,13'
          Branch Sides:
            - BranchSide:      'json.c:410,21'
              BranchSideFuncs: []
            - BranchSide:      'json.c:411,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - strcmp
                - __sanitizer_cov_trace_const_cmp4
      Callsites:
        - Src:             'json.c:409,13'
          Dst:             strcmp
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    strdup
      functionSourceFile: ''
      linkageType:     externalLinkage
      functionLinenumber: -1
      functionDepth:   0
      returnType:      'char *'
      argCount:        1
      argTypes:
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         0
      ICount:          0
      EdgeCount:       0
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    1
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    strcmp
      functionSourceFile: ''
      linkageType:     externalLinkage
      functionLinenumber: -1
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'char *'
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         0
      ICount:          0
      EdgeCount:       0
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    1
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    object_dealloc
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 374
      functionDepth:   0
      returnType:      'N/A'
      argCount:        1
      argTypes:
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         7
      ICount:          62
      EdgeCount:       8
      CyclomaticComplexity: 3
      functionsReached:
        - k5_json_release
      functionUses:    0
      BranchProfiles:
        - Branch String:   'json.c:378,5'
          Branch Sides:
            - BranchSide:      'json.c:379,14'
              BranchSideFuncs:
                - free
                - k5_json_release
                - __sanitizer_cov_trace_cmp8
                - free
            - BranchSide:      'json.c:382,10'
              BranchSideFuncs:
                - free
      Callsites:
        - Src:             'json.c:380,9'
          Dst:             k5_json_release
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    strlen
      functionSourceFile: ''
      linkageType:     externalLinkage
      functionLinenumber: -1
      functionDepth:   0
      returnType:      'size_t '
      argCount:        1
      argTypes:
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         0
      ICount:          0
      EdgeCount:       0
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    4
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_string_create_len
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 496
      functionDepth:   0
      returnType:      'int '
      argCount:        3
      argTypes:
        - 'char *'
        - 'size_t '
        - 'struct.k5_json_string_st **'
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
      BBCount:         9
      ICount:          64
      EdgeCount:       11
      CyclomaticComplexity: 4
      functionsReached:
        - alloc_value
      functionUses:    1
      BranchProfiles:
        - Branch String:   'json.c:501,9'
          Branch Sides:
            - BranchSide:      'json.c:502,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:503,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp8
                - llvm.memcpy.p0i8.p0i8.i64
        - Branch String:   'json.c:503,9'
          Branch Sides:
            - BranchSide:      'json.c:504,16'
              BranchSideFuncs:
                - llvm.memcpy.p0i8.p0i8.i64
            - BranchSide:      'json.c:505,5'
              BranchSideFuncs: []
      Callsites:
        - Src:             'json.c:500,9'
          Dst:             alloc_value
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    is_hex_digit
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 737
      functionDepth:   0
      returnType:      'int '
      argCount:        1
      argTypes:
        - 'char '
      constantsTouched: []
      argNames:
        - ''
      BBCount:         9
      ICount:          44
      EdgeCount:       11
      CyclomaticComplexity: 4
      functionsReached:
        - is_digit
      functionUses:    4
      BranchProfiles:
        - Branch String:   'json.c:738,24'
          Branch Sides:
            - BranchSide:      'json.c:738,24'
              BranchSideFuncs: []
            - BranchSide:      'json.c:738,35'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:738,37'
          Branch Sides:
            - BranchSide:      'json.c:738,40'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:738,24'
              BranchSideFuncs: []
      Callsites:
        - Src:             'json.c:738,12'
          Dst:             is_digit
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    hexval
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 744
      functionDepth:   0
      returnType:      'int '
      argCount:        1
      argTypes:
        - 'char '
      constantsTouched: []
      argNames:
        - ''
      BBCount:         12
      ICount:          62
      EdgeCount:       14
      CyclomaticComplexity: 4
      functionsReached:
        - abort
        - is_digit
      functionUses:    4
      BranchProfiles:
        - Branch String:   'json.c:745,9'
          Branch Sides:
            - BranchSide:      'json.c:746,16'
              BranchSideFuncs: []
            - BranchSide:      'json.c:747,21'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - abort
                - __sanitizer_cov_trace_const_cmp4
      Callsites:
        - Src:             'json.c:745,9'
          Dst:             is_digit
        - Src:             'json.c:749,5'
          Dst:             abort
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    strchr
      functionSourceFile: ''
      linkageType:     externalLinkage
      functionLinenumber: -1
      functionDepth:   0
      returnType:      'char *'
      argCount:        2
      argTypes:
        - 'char *'
        - 'int '
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         0
      ICount:          0
      EdgeCount:       0
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    3
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    abort
      functionSourceFile: ''
      linkageType:     externalLinkage
      functionLinenumber: -1
      functionDepth:   0
      returnType:      'N/A'
      argCount:        0
      argTypes:        []
      constantsTouched: []
      argNames:        []
      BBCount:         0
      ICount:          0
      EdgeCount:       0
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    3
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    encode_string
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 586
      functionDepth:   0
      returnType:      'N/A'
      argCount:        2
      argTypes:
        - 'struct.k5buf *'
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         12
      ICount:          90
      EdgeCount:       15
      CyclomaticComplexity: 5
      functionsReached:
        - k5_buf_add
        - k5_buf_add_fmt
        - k5_buf_add_len
        - strchr
        - strcspn
      functionUses:    2
      BranchProfiles:
        - Branch String:   'json.c:591,5'
          Branch Sides:
            - BranchSide:      'json.c:591,5'
              BranchSideFuncs:
                - strcspn
                - k5_buf_add_len
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
                - strchr
                - k5_buf_add_fmt
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
                - k5_buf_add_len
            - BranchSide:      'json.c:592,21'
              BranchSideFuncs:
                - strcspn
                - k5_buf_add_len
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
                - strchr
                - k5_buf_add_fmt
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
                - k5_buf_add_len
        - Branch String:   'json.c:595,13'
          Branch Sides:
            - BranchSide:      'json.c:596,13'
              BranchSideFuncs:
                - k5_buf_add
            - BranchSide:      'json.c:597,20'
              BranchSideFuncs:
                - k5_buf_add
                - strchr
                - k5_buf_add_fmt
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
                - strcspn
                - k5_buf_add_len
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add_len
        - Branch String:   'json.c:599,13'
          Branch Sides:
            - BranchSide:      'json.c:600,28'
              BranchSideFuncs:
                - k5_buf_add_len
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
                - strcspn
                - k5_buf_add_len
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
                - strchr
                - k5_buf_add_fmt
            - BranchSide:      'json.c:602,28'
              BranchSideFuncs:
                - k5_buf_add_fmt
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
                - strcspn
                - k5_buf_add_len
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
                - strchr
                - k5_buf_add_len
      Callsites:
        - Src:             'json.c:590,5'
          Dst:             k5_buf_add
        - Src:             'json.c:592,13'
          Dst:             strcspn
        - Src:             'json.c:593,9'
          Dst:             k5_buf_add_len
        - Src:             'json.c:597,9'
          Dst:             k5_buf_add
        - Src:             'json.c:598,13'
          Dst:             strchr
        - Src:             'json.c:600,13'
          Dst:             k5_buf_add_len
        - Src:             'json.c:602,13'
          Dst:             k5_buf_add_fmt
        - Src:             'json.c:605,5'
          Dst:             k5_buf_add
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    strcspn
      functionSourceFile: ''
      linkageType:     externalLinkage
      functionLinenumber: -1
      functionDepth:   0
      returnType:      'size_t '
      argCount:        2
      argTypes:
        - 'char *'
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         0
      ICount:          0
      EdgeCount:       0
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    1
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    encode_obj_entry
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 616
      functionDepth:   0
      returnType:      'N/A'
      argCount:        3
      argTypes:
        - 'char *'
        - 'char *'
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
      BBCount:         9
      ICount:          74
      EdgeCount:       11
      CyclomaticComplexity: 4
      functionsReached:
        - encode_string
        - encode_value
        - k5_buf_add
      functionUses:    1
      BranchProfiles:
        - Branch String:   'json.c:619,9'
          Branch Sides:
            - BranchSide:      'json.c:620,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:621,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
                - encode_string
                - k5_buf_add
                - encode_value
        - Branch String:   'json.c:621,9'
          Branch Sides:
            - BranchSide:      'json.c:622,9'
              BranchSideFuncs:
                - encode_string
                - k5_buf_add
                - encode_value
            - BranchSide:      'json.c:624,20'
              BranchSideFuncs:
                - k5_buf_add
                - encode_string
                - k5_buf_add
                - encode_value
      Callsites:
        - Src:             'json.c:624,9'
          Dst:             k5_buf_add
        - Src:             'json.c:625,5'
          Dst:             encode_string
        - Src:             'json.c:626,5'
          Dst:             k5_buf_add
        - Src:             'json.c:627,14'
          Dst:             encode_value
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    encode_value
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 632
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'struct.k5buf *'
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         22
      ICount:          171
      EdgeCount:       25
      CyclomaticComplexity: 5
      functionsReached:
        - k5_buf_add
        - k5_buf_add_fmt
        - k5_json_array_get
        - k5_json_array_length
        - k5_json_bool_value
        - k5_json_get_tid
        - k5_json_number_value
        - k5_json_object_iterate
        - k5_json_string_utf8
      functionUses:    3
      BranchProfiles:
        - Branch String:   'json.c:638,9'
          Branch Sides:
            - BranchSide:      'json.c:639,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:641,28'
              BranchSideFuncs:
                - k5_json_get_tid
                - __sanitizer_cov_trace_switch
                - k5_json_bool_value
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
                - k5_buf_add
                - k5_json_number_value
                - k5_buf_add_fmt
                - k5_json_string_utf8
                - encode_string
                - k5_buf_add
                - k5_json_object_iterate
                - k5_buf_add
                - k5_buf_add
                - k5_json_array_length
                - __sanitizer_cov_trace_cmp8
                - k5_buf_add
                - __sanitizer_cov_trace_const_cmp8
                - k5_json_array_get
                - encode_value
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
        - Branch String:   'json.c:642,5'
          Branch Sides:
            - BranchSide:      'json.c:644,20'
              BranchSideFuncs:
                - k5_buf_add
                - k5_json_array_length
                - __sanitizer_cov_trace_cmp8
                - k5_buf_add
                - __sanitizer_cov_trace_const_cmp8
                - k5_json_array_get
                - encode_value
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
            - BranchSide:      'json.c:657,20'
              BranchSideFuncs:
                - k5_buf_add
                - k5_json_object_iterate
                - k5_buf_add
            - BranchSide:      'json.c:666,23'
              BranchSideFuncs:
                - k5_json_string_utf8
                - encode_string
            - BranchSide:      'json.c:670,24'
              BranchSideFuncs:
                - k5_json_number_value
                - k5_buf_add_fmt
            - BranchSide:      'json.c:674,20'
              BranchSideFuncs:
                - k5_buf_add
            - BranchSide:      'json.c:678,20'
              BranchSideFuncs:
                - k5_json_bool_value
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
            - BranchSide:      'json.c:682,9'
              BranchSideFuncs: []
        - Branch String:   'json.c:646,9'
          Branch Sides:
            - BranchSide:      'json.c:647,17'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp8
                - k5_json_array_get
                - encode_value
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_cmp8
                - k5_buf_add
                - k5_buf_add
            - BranchSide:      'json.c:653,20'
              BranchSideFuncs:
                - k5_buf_add
        - Branch String:   'json.c:647,17'
          Branch Sides:
            - BranchSide:      'json.c:648,28'
              BranchSideFuncs:
                - k5_buf_add
                - k5_json_array_get
                - encode_value
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_cmp8
                - k5_buf_add
                - __sanitizer_cov_trace_const_cmp8
            - BranchSide:      'json.c:649,32'
              BranchSideFuncs:
                - k5_json_array_get
                - encode_value
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_cmp8
                - k5_buf_add
                - __sanitizer_cov_trace_const_cmp8
                - k5_buf_add
        - Branch String:   'json.c:650,17'
          Branch Sides:
            - BranchSide:      'json.c:651,24'
              BranchSideFuncs: []
            - BranchSide:      'json.c:652,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - k5_buf_add
                - __sanitizer_cov_trace_const_cmp8
                - k5_json_array_get
                - encode_value
                - __sanitizer_cov_trace_const_cmp4
                - k5_buf_add
      Callsites:
        - Src:             'json.c:641,12'
          Dst:             k5_json_get_tid
        - Src:             'json.c:644,9'
          Dst:             k5_buf_add
        - Src:             'json.c:645,15'
          Dst:             k5_json_array_length
        - Src:             'json.c:648,17'
          Dst:             k5_buf_add
        - Src:             'json.c:649,37'
          Dst:             k5_json_array_get
        - Src:             'json.c:649,19'
          Dst:             encode_value
        - Src:             'json.c:653,9'
          Dst:             k5_buf_add
        - Src:             'json.c:657,9'
          Dst:             k5_buf_add
        - Src:             'json.c:661,9'
          Dst:             k5_json_object_iterate
        - Src:             'json.c:661,9'
          Dst:             encode_obj_entry
        - Src:             'json.c:662,9'
          Dst:             k5_buf_add
        - Src:             'json.c:666,28'
          Dst:             k5_json_string_utf8
        - Src:             'json.c:666,9'
          Dst:             encode_string
        - Src:             'json.c:670,37'
          Dst:             k5_json_number_value
        - Src:             'json.c:670,9'
          Dst:             k5_buf_add_fmt
        - Src:             'json.c:674,9'
          Dst:             k5_buf_add
        - Src:             'json.c:678,25'
          Dst:             k5_json_bool_value
        - Src:             'json.c:678,9'
          Dst:             k5_buf_add
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_get_tid
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 138
      functionDepth:   0
      returnType:      'int '
      argCount:        1
      argTypes:
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         3
      ICount:          22
      EdgeCount:       3
      CyclomaticComplexity: 2
      functionsReached:
        - get_isa
      functionUses:    1
      BranchProfiles:  []
      Callsites:
        - Src:             'json.c:139,21'
          Dst:             get_isa
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_array_length
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 252
      functionDepth:   0
      returnType:      'size_t '
      argCount:        1
      argTypes:
        - 'struct.k5_json_array_st *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         1
      ICount:          10
      EdgeCount:       1
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    1
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_array_get
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 258
      functionDepth:   0
      returnType:      'char *'
      argCount:        2
      argTypes:
        - 'struct.k5_json_array_st *'
        - 'size_t '
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         5
      ICount:          38
      EdgeCount:       5
      CyclomaticComplexity: 2
      functionsReached:
        - abort
      functionUses:    1
      BranchProfiles:
        - Branch String:   'json.c:259,9'
          Branch Sides:
            - BranchSide:      'json.c:260,9'
              BranchSideFuncs:
                - abort
            - BranchSide:      'json.c:261,12'
              BranchSideFuncs: []
      Callsites:
        - Src:             'json.c:260,9'
          Dst:             abort
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_object_iterate
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 474
      functionDepth:   0
      returnType:      'N/A'
      argCount:        3
      argTypes:
        - 'struct.k5_json_object_st *'
        - 'func_type *'
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
      BBCount:         7
      ICount:          61
      EdgeCount:       8
      CyclomaticComplexity: 3
      functionsReached: []
      functionUses:    1
      BranchProfiles:
        - Branch String:   'json.c:477,5'
          Branch Sides:
            - BranchSide:      'json.c:478,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_pc_indir
                - __sanitizer_cov_trace_cmp8
            - BranchSide:      'json.c:479,1'
              BranchSideFuncs: []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_string_utf8
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 528
      functionDepth:   0
      returnType:      'char *'
      argCount:        1
      argTypes:
        - 'struct.k5_json_string_st *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         1
      ICount:          9
      EdgeCount:       1
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    1
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_number_value
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 571
      functionDepth:   0
      returnType:      'size_t '
      argCount:        1
      argTypes:
        - 'struct.k5_json_number_st *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         1
      ICount:          10
      EdgeCount:       1
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    1
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_bool_value
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 195
      functionDepth:   0
      returnType:      'int '
      argCount:        1
      argTypes:
        - 'struct.k5_json_bool_st *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         1
      ICount:          11
      EdgeCount:       1
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    1
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    get_isa
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 130
      functionDepth:   0
      returnType:      'struct.json_type_st *'
      argCount:        1
      argTypes:
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         1
      ICount:          16
      EdgeCount:       1
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    1
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_decode
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 1073
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'char *'
        - 'char **'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         8
      ICount:          63
      EdgeCount:       10
      CyclomaticComplexity: 4
      functionsReached:
        - k5_json_release
        - parse_value
        - white_spaces
      functionUses:    1
      BranchProfiles:
        - Branch String:   'json.c:1082,9'
          Branch Sides:
            - BranchSide:      'json.c:1083,16'
              BranchSideFuncs: []
            - BranchSide:      'json.c:1084,9'
              BranchSideFuncs:
                - white_spaces
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_release
        - Branch String:   'json.c:1084,9'
          Branch Sides:
            - BranchSide:      'json.c:1085,25'
              BranchSideFuncs:
                - k5_json_release
            - BranchSide:      'json.c:1088,16'
              BranchSideFuncs: []
      Callsites:
        - Src:             'json.c:1081,11'
          Dst:             parse_value
        - Src:             'json.c:1084,9'
          Dst:             white_spaces
        - Src:             'json.c:1085,9'
          Dst:             k5_json_release
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_encode
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 688
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'char *'
        - 'char **'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         6
      ICount:          53
      EdgeCount:       7
      CyclomaticComplexity: 3
      functionsReached:
        - encode_value
        - k5_buf_cstring
        - k5_buf_free
        - k5_buf_init_dynamic
      functionUses:    0
      BranchProfiles:
        - Branch String:   'json.c:695,9'
          Branch Sides:
            - BranchSide:      'json.c:696,9'
              BranchSideFuncs:
                - k5_buf_free
            - BranchSide:      'json.c:699,17'
              BranchSideFuncs:
                - k5_buf_cstring
      Callsites:
        - Src:             'json.c:693,5'
          Dst:             k5_buf_init_dynamic
        - Src:             'json.c:694,11'
          Dst:             encode_value
        - Src:             'json.c:696,9'
          Dst:             k5_buf_free
        - Src:             'json.c:699,17'
          Dst:             k5_buf_cstring
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_string_unbase64
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 535
      functionDepth:   0
      returnType:      'int '
      argCount:        3
      argTypes:
        - 'struct.k5_json_string_st *'
        - 'char **'
        - 'size_t *'
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
      BBCount:         6
      ICount:          58
      EdgeCount:       7
      CyclomaticComplexity: 3
      functionsReached:
        - k5_base64_decode
      functionUses:    0
      BranchProfiles:
        - Branch String:   'json.c:542,9'
          Branch Sides:
            - BranchSide:      'json.c:543,17'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp8
            - BranchSide:      'json.c:544,17'
              BranchSideFuncs: []
      Callsites:
        - Src:             'json.c:541,12'
          Dst:             k5_base64_decode
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_object_get
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 417
      functionDepth:   0
      returnType:      'char *'
      argCount:        2
      argTypes:
        - 'struct.k5_json_object_st *'
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         6
      ICount:          41
      EdgeCount:       7
      CyclomaticComplexity: 3
      functionsReached:
        - object_search
      functionUses:    0
      BranchProfiles:
        - Branch String:   'json.c:421,9'
          Branch Sides:
            - BranchSide:      'json.c:422,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:423,12'
              BranchSideFuncs: []
      Callsites:
        - Src:             'json.c:420,11'
          Dst:             object_search
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_object_count
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 398
      functionDepth:   0
      returnType:      'size_t '
      argCount:        1
      argTypes:
        - 'struct.k5_json_object_st *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         1
      ICount:          10
      EdgeCount:       1
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    0
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_string_create_base64
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 513
      functionDepth:   0
      returnType:      'int '
      argCount:        3
      argTypes:
        - 'char *'
        - 'size_t '
        - 'struct.k5_json_string_st **'
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
      BBCount:         6
      ICount:          52
      EdgeCount:       7
      CyclomaticComplexity: 3
      functionsReached:
        - k5_base64_encode
        - k5_json_string_create
      functionUses:    1
      BranchProfiles:
        - Branch String:   'json.c:519,9'
          Branch Sides:
            - BranchSide:      'json.c:520,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:521,33'
              BranchSideFuncs:
                - k5_json_string_create
                - free
      Callsites:
        - Src:             'json.c:518,14'
          Dst:             k5_base64_encode
        - Src:             'json.c:521,11'
          Dst:             k5_json_string_create
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_array_fmt
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 275
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'struct.k5_json_array_st **'
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         60
      ICount:          436
      EdgeCount:       77
      CyclomaticComplexity: 19
      functionsReached:
        - k5_json_array_add
        - k5_json_array_create
        - k5_json_bool_create
        - k5_json_null_create
        - k5_json_number_create
        - k5_json_release
        - k5_json_retain
        - k5_json_string_create
        - k5_json_string_create_base64
      functionUses:    0
      BranchProfiles:
        - Branch String:   'json.c:291,9'
          Branch Sides:
            - BranchSide:      'json.c:292,9'
              BranchSideFuncs: []
            - BranchSide:      'json.c:293,5'
              BranchSideFuncs:
                - llvm.va_start
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:294,5'
          Branch Sides:
            - BranchSide:      'json.c:295,18'
              BranchSideFuncs:
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
            - BranchSide:      'json.c:349,5'
              BranchSideFuncs:
                - llvm.va_end
        - Branch String:   'json.c:295,9'
          Branch Sides:
            - BranchSide:      'json.c:297,34'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:300,17'
              BranchSideFuncs:
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
            - BranchSide:      'json.c:305,21'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
            - BranchSide:      'json.c:311,20'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
            - BranchSide:      'json.c:317,20'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
            - BranchSide:      'json.c:323,23'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:335,20'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
            - BranchSide:      'json.c:342,13'
              BranchSideFuncs:
                - llvm.va_end
                - k5_json_release
        - Branch String:   'json.c:297,34'
          Branch Sides:
            - BranchSide:      'json.c:344,33'
              BranchSideFuncs:
                - k5_json_retain
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:344,33'
              BranchSideFuncs:
                - k5_json_retain
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:300,17'
          Branch Sides:
            - BranchSide:      'json.c:301,17'
              BranchSideFuncs:
                - llvm.va_end
                - k5_json_release
            - BranchSide:      'json.c:302,19'
              BranchSideFuncs:
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:305,21'
          Branch Sides:
            - BranchSide:      'json.c:305,21'
              BranchSideFuncs:
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
            - BranchSide:      'json.c:305,21'
              BranchSideFuncs:
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:306,17'
          Branch Sides:
            - BranchSide:      'json.c:307,17'
              BranchSideFuncs:
                - llvm.va_end
                - k5_json_release
            - BranchSide:      'json.c:308,19'
              BranchSideFuncs:
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:311,20'
          Branch Sides:
            - BranchSide:      'json.c:311,20'
              BranchSideFuncs:
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
            - BranchSide:      'json.c:311,20'
              BranchSideFuncs:
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:312,17'
          Branch Sides:
            - BranchSide:      'json.c:313,17'
              BranchSideFuncs:
                - llvm.va_end
                - k5_json_release
            - BranchSide:      'json.c:314,19'
              BranchSideFuncs:
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:317,20'
          Branch Sides:
            - BranchSide:      'json.c:317,20'
              BranchSideFuncs:
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
            - BranchSide:      'json.c:317,20'
              BranchSideFuncs:
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:318,17'
          Branch Sides:
            - BranchSide:      'json.c:319,17'
              BranchSideFuncs:
                - llvm.va_end
                - k5_json_release
            - BranchSide:      'json.c:320,19'
              BranchSideFuncs:
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:323,23'
          Branch Sides:
            - BranchSide:      'json.c:323,23'
              BranchSideFuncs:
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'json.c:323,23'
              BranchSideFuncs:
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'json.c:324,17'
          Branch Sides:
            - BranchSide:      'json.c:325,21'
              BranchSideFuncs:
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
            - BranchSide:      'json.c:329,43'
              BranchSideFuncs:
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:325,21'
          Branch Sides:
            - BranchSide:      'json.c:326,21'
              BranchSideFuncs:
                - llvm.va_end
                - k5_json_release
            - BranchSide:      'json.c:327,23'
              BranchSideFuncs:
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:329,21'
          Branch Sides:
            - BranchSide:      'json.c:330,21'
              BranchSideFuncs:
                - llvm.va_end
                - k5_json_release
            - BranchSide:      'json.c:331,23'
              BranchSideFuncs:
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:335,20'
          Branch Sides:
            - BranchSide:      'json.c:335,20'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
            - BranchSide:      'json.c:335,20'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:336,19'
          Branch Sides:
            - BranchSide:      'json.c:336,19'
              BranchSideFuncs:
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
            - BranchSide:      'json.c:336,19'
              BranchSideFuncs:
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:337,17'
          Branch Sides:
            - BranchSide:      'json.c:338,17'
              BranchSideFuncs:
                - llvm.va_end
                - k5_json_release
            - BranchSide:      'json.c:339,19'
              BranchSideFuncs:
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
        - Branch String:   'json.c:346,13'
          Branch Sides:
            - BranchSide:      'json.c:347,13'
              BranchSideFuncs:
                - llvm.va_end
                - k5_json_release
            - BranchSide:      'json.c:348,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - __sanitizer_cov_trace_switch
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create_base64
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_array_add
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - llvm.va_end
                - k5_json_release
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_string_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_number_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_bool_create
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_null_create
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - k5_json_retain
      Callsites:
        - Src:             'json.c:291,9'
          Dst:             k5_json_array_create
        - Src:             'json.c:297,19'
          Dst:             k5_json_retain
        - Src:             'json.c:300,17'
          Dst:             k5_json_null_create
        - Src:             'json.c:306,17'
          Dst:             k5_json_bool_create
        - Src:             'json.c:312,17'
          Dst:             k5_json_number_create
        - Src:             'json.c:318,17'
          Dst:             k5_json_number_create
        - Src:             'json.c:325,21'
          Dst:             k5_json_null_create
        - Src:             'json.c:329,21'
          Dst:             k5_json_string_create
        - Src:             'json.c:337,17'
          Dst:             k5_json_string_create_base64
        - Src:             'json.c:344,15'
          Dst:             k5_json_array_add
        - Src:             'json.c:345,9'
          Dst:             k5_json_release
        - Src:             'json.c:355,5'
          Dst:             k5_json_release
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_array_set
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 266
      functionDepth:   0
      returnType:      'N/A'
      argCount:        3
      argTypes:
        - 'struct.k5_json_array_st *'
        - 'size_t '
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
      BBCount:         5
      ICount:          50
      EdgeCount:       5
      CyclomaticComplexity: 2
      functionsReached:
        - abort
        - k5_json_release
        - k5_json_retain
      functionUses:    0
      BranchProfiles:
        - Branch String:   'json.c:267,9'
          Branch Sides:
            - BranchSide:      'json.c:268,9'
              BranchSideFuncs:
                - abort
            - BranchSide:      'json.c:269,21'
              BranchSideFuncs:
                - k5_json_release
                - k5_json_retain
      Callsites:
        - Src:             'json.c:268,9'
          Dst:             abort
        - Src:             'json.c:269,5'
          Dst:             k5_json_release
        - Src:             'json.c:270,26'
          Dst:             k5_json_retain
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_json_null_create_val
      functionSourceFile: '/src/krb5/src/util/support/json.c'
      linkageType:     InternalLinkage
      functionLinenumber: 170
      functionDepth:   0
      returnType:      'int '
      argCount:        1
      argTypes:
        - 'char **'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         3
      ICount:          22
      EdgeCount:       3
      CyclomaticComplexity: 2
      functionsReached:
        - alloc_value
      functionUses:    0
      BranchProfiles:  []
      Callsites:
        - Src:             'json.c:171,16'
          Dst:             alloc_value
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_buf_status
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 261
      functionDepth:   0
      returnType:      'int '
      argCount:        1
      argTypes:
        - 'struct.k5buf *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         1
      ICount:          14
      EdgeCount:       1
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    0
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_buf_truncate
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 252
      functionDepth:   0
      returnType:      'N/A'
      argCount:        2
      argTypes:
        - 'struct.k5buf *'
        - 'size_t '
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         9
      ICount:          48
      EdgeCount:       10
      CyclomaticComplexity: 3
      functionsReached:
        - __assert_fail
      functionUses:    0
      BranchProfiles:
        - Branch String:   'k5buf.c:253,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:254,9'
              BranchSideFuncs: []
            - BranchSide:      'k5buf.c:255,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __assert_fail
        - Branch String:   'k5buf.c:255,5'
          Branch Sides:
            - BranchSide:      'k5buf.c:255,5'
              BranchSideFuncs: []
            - BranchSide:      'k5buf.c:256,16'
              BranchSideFuncs: []
      Callsites:
        - Src:             'k5buf.c:255,5'
          Dst:             __assert_fail
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_buf_get_space
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 243
      functionDepth:   0
      returnType:      'char *'
      argCount:        2
      argTypes:
        - 'struct.k5buf *'
        - 'size_t '
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         6
      ICount:          46
      EdgeCount:       7
      CyclomaticComplexity: 3
      functionsReached:
        - endptr
        - ensure_space
      functionUses:    0
      BranchProfiles:
        - Branch String:   'k5buf.c:244,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:245,9'
              BranchSideFuncs:
                - endptr
            - BranchSide:      'k5buf.c:246,17'
              BranchSideFuncs:
                - endptr
      Callsites:
        - Src:             'k5buf.c:244,10'
          Dst:             ensure_space
        - Src:             'k5buf.c:247,12'
          Dst:             endptr
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    ensure_space
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 70
      functionDepth:   0
      returnType:      'int '
      argCount:        2
      argTypes:
        - 'struct.k5buf *'
        - 'size_t '
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         38
      ICount:          236
      EdgeCount:       50
      CyclomaticComplexity: 14
      functionsReached:
        - __assert_fail
        - explicit_bzero
        - realloc
        - set_error
      functionUses:    5
      BranchProfiles:
        - Branch String:   'k5buf.c:74,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:75,9'
              BranchSideFuncs: []
            - BranchSide:      'k5buf.c:76,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __assert_fail
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - realloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
                - malloc
                - llvm.memcpy.p0i8.p0i8.i64
                - explicit_bzero
                - free
        - Branch String:   'k5buf.c:76,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:77,9'
              BranchSideFuncs: []
            - BranchSide:      'k5buf.c:78,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __assert_fail
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - realloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
                - malloc
                - llvm.memcpy.p0i8.p0i8.i64
                - explicit_bzero
                - free
        - Branch String:   'k5buf.c:78,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:79,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
            - BranchSide:      'k5buf.c:80,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __assert_fail
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - realloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
                - malloc
                - llvm.memcpy.p0i8.p0i8.i64
                - explicit_bzero
                - free
        - Branch String:   'k5buf.c:80,5'
          Branch Sides:
            - BranchSide:      'k5buf.c:80,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - realloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
                - malloc
                - llvm.memcpy.p0i8.p0i8.i64
                - explicit_bzero
                - free
            - BranchSide:      'k5buf.c:80,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __assert_fail
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - realloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
                - malloc
                - llvm.memcpy.p0i8.p0i8.i64
                - explicit_bzero
                - free
        - Branch String:   'k5buf.c:80,5'
          Branch Sides:
            - BranchSide:      'k5buf.c:80,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - realloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
                - malloc
                - llvm.memcpy.p0i8.p0i8.i64
                - explicit_bzero
                - free
            - BranchSide:      'k5buf.c:81,17'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - realloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
                - malloc
                - llvm.memcpy.p0i8.p0i8.i64
                - explicit_bzero
                - free
        - Branch String:   'k5buf.c:82,5'
          Branch Sides:
            - BranchSide:      'k5buf.c:83,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - realloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
                - malloc
                - llvm.memcpy.p0i8.p0i8.i64
                - explicit_bzero
                - free
            - BranchSide:      'k5buf.c:87,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - realloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
                - malloc
                - llvm.memcpy.p0i8.p0i8.i64
                - explicit_bzero
                - free
        - Branch String:   'k5buf.c:83,13'
          Branch Sides:
            - BranchSide:      'k5buf.c:84,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
            - BranchSide:      'k5buf.c:85,19'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - realloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
                - malloc
                - llvm.memcpy.p0i8.p0i8.i64
                - explicit_bzero
                - free
        - Branch String:   'k5buf.c:87,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:89,27'
              BranchSideFuncs:
                - malloc
                - llvm.memcpy.p0i8.p0i8.i64
                - explicit_bzero
                - free
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
            - BranchSide:      'k5buf.c:96,28'
              BranchSideFuncs:
                - realloc
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
        - Branch String:   'k5buf.c:90,13'
          Branch Sides:
            - BranchSide:      'k5buf.c:91,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
            - BranchSide:      'k5buf.c:92,16'
              BranchSideFuncs:
                - llvm.memcpy.p0i8.p0i8.i64
                - explicit_bzero
                - free
        - Branch String:   'k5buf.c:97,13'
          Branch Sides:
            - BranchSide:      'k5buf.c:0,0'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
            - BranchSide:      'k5buf.c:98,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
                - explicit_bzero
        - Branch String:   'k5buf.c:105,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:106,9'
              BranchSideFuncs:
                - explicit_bzero
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
            - BranchSide:      'k5buf.c:107,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - set_error
                - free
        - Branch String:   'k5buf.c:107,43'
          Branch Sides:
            - BranchSide:      'k5buf.c:107,46'
              BranchSideFuncs:
                - free
                - set_error
            - BranchSide:      'k5buf.c:108,14'
              BranchSideFuncs:
                - free
                - set_error
        - Branch String:   'k5buf.c:107,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:108,14'
              BranchSideFuncs:
                - free
                - set_error
            - BranchSide:      'k5buf.c:109,15'
              BranchSideFuncs:
                - set_error
      Callsites:
        - Src:             'k5buf.c:80,5'
          Dst:             __assert_fail
        - Src:             'k5buf.c:93,9'
          Dst:             explicit_bzero
        - Src:             'k5buf.c:96,20'
          Dst:             realloc
        - Src:             'k5buf.c:106,9'
          Dst:             explicit_bzero
        - Src:             'k5buf.c:109,5'
          Dst:             set_error
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    endptr
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 51
      functionDepth:   0
      returnType:      'char *'
      argCount:        1
      argTypes:
        - 'struct.k5buf *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         1
      ICount:          14
      EdgeCount:       1
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    7
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    explicit_bzero
      functionSourceFile: ''
      linkageType:     externalLinkage
      functionLinenumber: -1
      functionDepth:   0
      returnType:      'N/A'
      argCount:        2
      argTypes:
        - 'char *'
        - 'size_t '
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         0
      ICount:          0
      EdgeCount:       0
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    4
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    set_error
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 57
      functionDepth:   0
      returnType:      'N/A'
      argCount:        1
      argTypes:
        - 'struct.k5buf *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         1
      ICount:          19
      EdgeCount:       1
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    4
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_buf_cstring
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 234
      functionDepth:   0
      returnType:      'char *'
      argCount:        1
      argTypes:
        - 'struct.k5buf *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         6
      ICount:          37
      EdgeCount:       7
      CyclomaticComplexity: 3
      functionsReached:
        - endptr
        - ensure_space
      functionUses:    1
      BranchProfiles:
        - Branch String:   'k5buf.c:235,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:236,9'
              BranchSideFuncs:
                - endptr
            - BranchSide:      'k5buf.c:237,13'
              BranchSideFuncs:
                - endptr
      Callsites:
        - Src:             'k5buf.c:235,10'
          Dst:             ensure_space
        - Src:             'k5buf.c:237,6'
          Dst:             endptr
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_buf_add_fmt
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 224
      functionDepth:   0
      returnType:      'N/A'
      argCount:        2
      argTypes:
        - 'struct.k5buf *'
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         3
      ICount:          29
      EdgeCount:       3
      CyclomaticComplexity: 2
      functionsReached:
        - k5_buf_add_vfmt
      functionUses:    2
      BranchProfiles:  []
      Callsites:
        - Src:             'k5buf.c:228,5'
          Dst:             k5_buf_add_vfmt
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_buf_add_vfmt
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 162
      functionDepth:   0
      returnType:      'N/A'
      argCount:        3
      argTypes:
        - 'struct.k5buf *'
        - 'char *'
        - 'struct.__va_list_tag *'
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
      BBCount:         34
      ICount:          259
      EdgeCount:       45
      CyclomaticComplexity: 13
      functionsReached:
        - __assert_fail
        - endptr
        - ensure_space
        - k5_buf_free
        - set_error
        - strlen
        - vasprintf
        - vsnprintf
      functionUses:    1
      BranchProfiles:
        - Branch String:   'k5buf.c:168,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:169,9'
              BranchSideFuncs: []
            - BranchSide:      'k5buf.c:170,17'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __assert_fail
                - llvm.va_copy
                - endptr
                - vsnprintf
                - llvm.va_end
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - vasprintf
                - __sanitizer_cov_trace_const_cmp4
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
                - strlen
                - explicit_bzero
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
                - k5_buf_free
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - endptr
                - vsnprintf
                - __sanitizer_cov_trace_cmp8
                - k5_buf_free
                - endptr
                - vsnprintf
                - __sanitizer_cov_trace_cmp8
                - set_error
        - Branch String:   'k5buf.c:172,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:174,30'
              BranchSideFuncs:
                - endptr
                - vsnprintf
                - __sanitizer_cov_trace_cmp8
                - set_error
            - BranchSide:      'k5buf.c:183,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __assert_fail
                - llvm.va_copy
                - endptr
                - vsnprintf
                - llvm.va_end
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - vasprintf
                - __sanitizer_cov_trace_const_cmp4
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
                - strlen
                - explicit_bzero
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
                - k5_buf_free
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - endptr
                - vsnprintf
                - __sanitizer_cov_trace_cmp8
                - k5_buf_free
        - Branch String:   'k5buf.c:175,13'
          Branch Sides:
            - BranchSide:      'k5buf.c:176,23'
              BranchSideFuncs:
                - set_error
            - BranchSide:      'k5buf.c:178,40'
              BranchSideFuncs: []
        - Branch String:   'k5buf.c:183,5'
          Branch Sides:
            - BranchSide:      'k5buf.c:183,5'
              BranchSideFuncs:
                - llvm.va_copy
                - endptr
                - vsnprintf
                - llvm.va_end
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - vasprintf
                - __sanitizer_cov_trace_const_cmp4
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
                - strlen
                - explicit_bzero
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
                - k5_buf_free
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - endptr
                - vsnprintf
                - __sanitizer_cov_trace_cmp8
                - k5_buf_free
            - BranchSide:      'k5buf.c:183,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __assert_fail
                - llvm.va_copy
                - endptr
                - vsnprintf
                - llvm.va_end
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - vasprintf
                - __sanitizer_cov_trace_const_cmp4
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
                - strlen
                - explicit_bzero
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
                - k5_buf_free
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - endptr
                - vsnprintf
                - __sanitizer_cov_trace_cmp8
                - k5_buf_free
        - Branch String:   'k5buf.c:183,5'
          Branch Sides:
            - BranchSide:      'k5buf.c:183,5'
              BranchSideFuncs:
                - llvm.va_copy
                - endptr
                - vsnprintf
                - llvm.va_end
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - vasprintf
                - __sanitizer_cov_trace_const_cmp4
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
                - strlen
                - explicit_bzero
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
                - k5_buf_free
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - endptr
                - vsnprintf
                - __sanitizer_cov_trace_cmp8
                - k5_buf_free
            - BranchSide:      'k5buf.c:184,5'
              BranchSideFuncs:
                - llvm.va_copy
                - endptr
                - vsnprintf
                - llvm.va_end
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_const_cmp4
                - vasprintf
                - __sanitizer_cov_trace_const_cmp4
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
                - strlen
                - explicit_bzero
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
                - k5_buf_free
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - endptr
                - vsnprintf
                - __sanitizer_cov_trace_cmp8
                - k5_buf_free
        - Branch String:   'k5buf.c:187,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:188,36'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - vasprintf
                - __sanitizer_cov_trace_const_cmp4
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
                - strlen
                - explicit_bzero
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
                - k5_buf_free
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - endptr
                - vsnprintf
                - __sanitizer_cov_trace_cmp8
                - k5_buf_free
            - BranchSide:      'k5buf.c:192,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - vasprintf
                - __sanitizer_cov_trace_const_cmp4
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
                - strlen
                - explicit_bzero
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
                - k5_buf_free
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - endptr
                - vsnprintf
                - __sanitizer_cov_trace_cmp8
                - k5_buf_free
        - Branch String:   'k5buf.c:192,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:194,27'
              BranchSideFuncs:
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - endptr
                - vsnprintf
                - __sanitizer_cov_trace_cmp8
                - k5_buf_free
            - BranchSide:      'k5buf.c:207,25'
              BranchSideFuncs:
                - vasprintf
                - __sanitizer_cov_trace_const_cmp4
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
                - strlen
                - explicit_bzero
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
                - k5_buf_free
        - Branch String:   'k5buf.c:194,13'
          Branch Sides:
            - BranchSide:      'k5buf.c:195,13'
              BranchSideFuncs:
                - endptr
                - vsnprintf
                - __sanitizer_cov_trace_cmp8
                - k5_buf_free
            - BranchSide:      'k5buf.c:196,21'
              BranchSideFuncs:
                - endptr
                - vsnprintf
                - __sanitizer_cov_trace_cmp8
                - k5_buf_free
        - Branch String:   'k5buf.c:198,13'
          Branch Sides:
            - BranchSide:      'k5buf.c:199,25'
              BranchSideFuncs:
                - k5_buf_free
            - BranchSide:      'k5buf.c:201,40'
              BranchSideFuncs: []
        - Branch String:   'k5buf.c:208,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:209,21'
              BranchSideFuncs:
                - k5_buf_free
            - BranchSide:      'k5buf.c:212,22'
              BranchSideFuncs:
                - ensure_space
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
                - strlen
                - explicit_bzero
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
        - Branch String:   'k5buf.c:212,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:214,23'
              BranchSideFuncs:
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
                - __sanitizer_cov_trace_const_cmp4
                - free
                - strlen
                - explicit_bzero
            - BranchSide:      'k5buf.c:217,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - free
                - strlen
                - explicit_bzero
        - Branch String:   'k5buf.c:217,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:218,9'
              BranchSideFuncs:
                - strlen
                - explicit_bzero
                - free
            - BranchSide:      'k5buf.c:219,10'
              BranchSideFuncs:
                - free
      Callsites:
        - Src:             'k5buf.c:174,23'
          Dst:             endptr
        - Src:             'k5buf.c:174,13'
          Dst:             vsnprintf
        - Src:             'k5buf.c:176,13'
          Dst:             set_error
        - Src:             'k5buf.c:183,5'
          Dst:             __assert_fail
        - Src:             'k5buf.c:185,19'
          Dst:             endptr
        - Src:             'k5buf.c:185,9'
          Dst:             vsnprintf
        - Src:             'k5buf.c:194,14'
          Dst:             ensure_space
        - Src:             'k5buf.c:197,23'
          Dst:             endptr
        - Src:             'k5buf.c:197,13'
          Dst:             vsnprintf
        - Src:             'k5buf.c:199,13'
          Dst:             k5_buf_free
        - Src:             'k5buf.c:207,9'
          Dst:             vasprintf
        - Src:             'k5buf.c:209,9'
          Dst:             k5_buf_free
        - Src:             'k5buf.c:212,9'
          Dst:             ensure_space
        - Src:             'k5buf.c:214,16'
          Dst:             endptr
        - Src:             'k5buf.c:218,9'
          Dst:             strlen
        - Src:             'k5buf.c:218,9'
          Dst:             explicit_bzero
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    vsnprintf
      functionSourceFile: ''
      linkageType:     externalLinkage
      functionLinenumber: -1
      functionDepth:   0
      returnType:      'int '
      argCount:        4
      argTypes:
        - 'char *'
        - 'size_t '
        - 'char *'
        - 'struct.__va_list_tag *'
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
        - ''
      BBCount:         0
      ICount:          0
      EdgeCount:       0
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    3
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_buf_free
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 267
      functionDepth:   0
      returnType:      'N/A'
      argCount:        1
      argTypes:
        - 'struct.k5buf *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         15
      ICount:          78
      EdgeCount:       18
      CyclomaticComplexity: 5
      functionsReached:
        - __assert_fail
        - explicit_bzero
        - set_error
      functionUses:    3
      BranchProfiles:
        - Branch String:   'k5buf.c:268,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:269,9'
              BranchSideFuncs: []
            - BranchSide:      'k5buf.c:270,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __assert_fail
                - __sanitizer_cov_trace_const_cmp4
                - free
                - set_error
                - explicit_bzero
        - Branch String:   'k5buf.c:270,5'
          Branch Sides:
            - BranchSide:      'k5buf.c:270,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - free
                - set_error
                - explicit_bzero
            - BranchSide:      'k5buf.c:270,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __assert_fail
                - __sanitizer_cov_trace_const_cmp4
                - free
                - set_error
                - explicit_bzero
        - Branch String:   'k5buf.c:270,5'
          Branch Sides:
            - BranchSide:      'k5buf.c:270,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - free
                - set_error
                - explicit_bzero
            - BranchSide:      'k5buf.c:271,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - free
                - set_error
                - explicit_bzero
        - Branch String:   'k5buf.c:271,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:272,9'
              BranchSideFuncs:
                - explicit_bzero
                - free
                - set_error
            - BranchSide:      'k5buf.c:273,10'
              BranchSideFuncs:
                - free
                - set_error
      Callsites:
        - Src:             'k5buf.c:270,5'
          Dst:             __assert_fail
        - Src:             'k5buf.c:272,9'
          Dst:             explicit_bzero
        - Src:             'k5buf.c:274,5'
          Dst:             set_error
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    vasprintf
      functionSourceFile: ''
      linkageType:     externalLinkage
      functionLinenumber: -1
      functionDepth:   0
      returnType:      'int '
      argCount:        3
      argTypes:
        - 'char **'
        - 'char *'
        - 'struct.__va_list_tag *'
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
      BBCount:         0
      ICount:          0
      EdgeCount:       0
      CyclomaticComplexity: 2
      functionsReached: []
      functionUses:    1
      BranchProfiles:  []
      Callsites:       []
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_buf_add_len
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 152
      functionDepth:   0
      returnType:      'N/A'
      argCount:        3
      argTypes:
        - 'struct.k5buf *'
        - 'char *'
        - 'size_t '
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
      BBCount:         9
      ICount:          54
      EdgeCount:       11
      CyclomaticComplexity: 4
      functionsReached:
        - endptr
        - ensure_space
      functionUses:    3
      BranchProfiles:
        - Branch String:   'k5buf.c:153,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:154,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp8
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
            - BranchSide:      'k5buf.c:155,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp8
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
        - Branch String:   'k5buf.c:155,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:156,23'
              BranchSideFuncs:
                - endptr
                - llvm.memcpy.p0i8.p0i8.i64
            - BranchSide:      'k5buf.c:157,17'
              BranchSideFuncs: []
      Callsites:
        - Src:             'k5buf.c:153,10'
          Dst:             ensure_space
        - Src:             'k5buf.c:156,16'
          Dst:             endptr
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_buf_add
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 146
      functionDepth:   0
      returnType:      'N/A'
      argCount:        2
      argTypes:
        - 'struct.k5buf *'
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         3
      ICount:          22
      EdgeCount:       3
      CyclomaticComplexity: 2
      functionsReached:
        - k5_buf_add_len
        - strlen
      functionUses:    12
      BranchProfiles:  []
      Callsites:
        - Src:             'k5buf.c:147,31'
          Dst:             strlen
        - Src:             'k5buf.c:147,5'
          Dst:             k5_buf_add_len
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_buf_init_dynamic_zap
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 138
      functionDepth:   0
      returnType:      'N/A'
      argCount:        1
      argTypes:
        - 'struct.k5buf *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         6
      ICount:          33
      EdgeCount:       7
      CyclomaticComplexity: 3
      functionsReached:
        - k5_buf_init_dynamic
      functionUses:    0
      BranchProfiles:
        - Branch String:   'k5buf.c:140,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:140,9'
              BranchSideFuncs: []
            - BranchSide:      'k5buf.c:141,9'
              BranchSideFuncs: []
      Callsites:
        - Src:             'k5buf.c:139,5'
          Dst:             k5_buf_init_dynamic
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_buf_init_dynamic
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 125
      functionDepth:   0
      returnType:      'N/A'
      argCount:        1
      argTypes:
        - 'struct.k5buf *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         6
      ICount:          45
      EdgeCount:       7
      CyclomaticComplexity: 3
      functionsReached:
        - set_error
      functionUses:    2
      BranchProfiles:
        - Branch String:   'k5buf.c:129,9'
          Branch Sides:
            - BranchSide:      'k5buf.c:130,19'
              BranchSideFuncs:
                - set_error
            - BranchSide:      'k5buf.c:133,5'
              BranchSideFuncs: []
      Callsites:
        - Src:             'k5buf.c:130,9'
          Dst:             set_error
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_buf_init_fixed
      functionSourceFile: '/src/krb5/src/util/support/k5buf.c'
      linkageType:     InternalLinkage
      functionLinenumber: 115
      functionDepth:   0
      returnType:      'N/A'
      argCount:        3
      argTypes:
        - 'struct.k5buf *'
        - 'char *'
        - 'size_t '
      constantsTouched: []
      argNames:
        - ''
        - ''
        - ''
      BBCount:         6
      ICount:          47
      EdgeCount:       6
      CyclomaticComplexity: 2
      functionsReached:
        - __assert_fail
      functionUses:    0
      BranchProfiles:
        - Branch String:   'k5buf.c:116,5'
          Branch Sides:
            - BranchSide:      'k5buf.c:116,5'
              BranchSideFuncs: []
            - BranchSide:      'k5buf.c:116,5'
              BranchSideFuncs:
                - __assert_fail
      Callsites:
        - Src:             'k5buf.c:116,5'
          Dst:             __assert_fail
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    decode_token
      functionSourceFile: '/src/krb5/src/util/support/base64.c'
      linkageType:     InternalLinkage
      functionLinenumber: 87
      functionDepth:   0
      returnType:      'int '
      argCount:        1
      argTypes:
        - 'char *'
      constantsTouched: []
      argNames:
        - ''
      BBCount:         18
      ICount:          115
      EdgeCount:       23
      CyclomaticComplexity: 7
      functionsReached:
        - strchr
      functionUses:    1
      BranchProfiles:
        - Branch String:   'base64.c:92,5'
          Branch Sides:
            - BranchSide:      'base64.c:93,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
            - BranchSide:      'base64.c:105,9'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'base64.c:94,13'
          Branch Sides:
            - BranchSide:      'base64.c:95,19'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
            - BranchSide:      'base64.c:96,20'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - strchr
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'base64.c:96,20'
          Branch Sides:
            - BranchSide:      'base64.c:97,13'
              BranchSideFuncs: []
            - BranchSide:      'base64.c:99,38'
              BranchSideFuncs:
                - strchr
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
        - Branch String:   'base64.c:100,17'
          Branch Sides:
            - BranchSide:      'base64.c:101,17'
              BranchSideFuncs: []
            - BranchSide:      'base64.c:102,20'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - strchr
        - Branch String:   'base64.c:105,9'
          Branch Sides:
            - BranchSide:      'base64.c:106,9'
              BranchSideFuncs: []
            - BranchSide:      'base64.c:107,13'
              BranchSideFuncs: []
      Callsites:
        - Src:             'base64.c:99,17'
          Dst:             strchr
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_base64_decode
      functionSourceFile: '/src/krb5/src/util/support/base64.c'
      linkageType:     InternalLinkage
      functionLinenumber: 112
      functionDepth:   0
      returnType:      'char *'
      argCount:        2
      argTypes:
        - 'char *'
        - 'size_t *'
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         20
      ICount:          153
      EdgeCount:       26
      CyclomaticComplexity: 8
      functionsReached:
        - decode_token
        - strlen
      functionUses:    1
      BranchProfiles:
        - Branch String:   'base64.c:121,9'
          Branch Sides:
            - BranchSide:      'base64.c:122,9'
              BranchSideFuncs: []
            - BranchSide:      'base64.c:123,23'
              BranchSideFuncs:
                - malloc
                - __sanitizer_cov_trace_const_cmp4
                - decode_token
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'base64.c:124,9'
          Branch Sides:
            - BranchSide:      'base64.c:125,10'
              BranchSideFuncs: []
            - BranchSide:      'base64.c:130,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - decode_token
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'base64.c:130,5'
          Branch Sides:
            - BranchSide:      'base64.c:131,28'
              BranchSideFuncs:
                - decode_token
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
            - BranchSide:      'base64.c:143,16'
              BranchSideFuncs: []
        - Branch String:   'base64.c:132,13'
          Branch Sides:
            - BranchSide:      'base64.c:133,18'
              BranchSideFuncs:
                - free
            - BranchSide:      'base64.c:136,19'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - decode_token
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'base64.c:138,13'
          Branch Sides:
            - BranchSide:      'base64.c:139,21'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - decode_token
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
            - BranchSide:      'base64.c:140,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - decode_token
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
        - Branch String:   'base64.c:140,13'
          Branch Sides:
            - BranchSide:      'base64.c:141,20'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - decode_token
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
            - BranchSide:      'base64.c:142,5'
              BranchSideFuncs:
                - __sanitizer_cov_trace_const_cmp4
                - decode_token
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - __sanitizer_cov_trace_const_cmp4
                - free
      Callsites:
        - Src:             'base64.c:120,11'
          Dst:             strlen
        - Src:             'base64.c:131,15'
          Dst:             decode_token
...
---
Fuzzer filename: '/src/krb5/fuzzing/Fuzz_json.c'
All functions:
  Function list name: All functions
  Elements:
    - functionName:    k5_base64_encode
      functionSourceFile: '/src/krb5/src/util/support/base64.c'
      linkageType:     InternalLinkage
      functionLinenumber: 44
      functionDepth:   0
      returnType:      'char *'
      argCount:        2
      argTypes:
        - 'char *'
        - 'size_t '
      constantsTouched: []
      argNames:
        - ''
        - ''
      BBCount:         23
      ICount:          205
      EdgeCount:       30
      CyclomaticComplexity: 9
      functionsReached: []
      functionUses:    1
      BranchProfiles:
        - Branch String:   'base64.c:50,9'
          Branch Sides:
            - BranchSide:      'base64.c:51,9'
              BranchSideFuncs: []
            - BranchSide:      'base64.c:53,20'
              BranchSideFuncs:
                - malloc
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
        - Branch String:   'base64.c:54,9'
          Branch Sides:
            - BranchSide:      'base64.c:55,9'
              BranchSideFuncs: []
            - BranchSide:      'base64.c:56,32'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
        - Branch String:   'base64.c:58,5'
          Branch Sides:
            - BranchSide:      'base64.c:59,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
            - BranchSide:      'base64.c:78,6'
              BranchSideFuncs: []
        - Branch String:   'base64.c:61,13'
          Branch Sides:
            - BranchSide:      'base64.c:62,18'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
            - BranchSide:      'base64.c:63,10'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
        - Branch String:   'base64.c:65,13'
          Branch Sides:
            - BranchSide:      'base64.c:66,18'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
            - BranchSide:      'base64.c:67,10'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
        - Branch String:   'base64.c:72,13'
          Branch Sides:
            - BranchSide:      'base64.c:73,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
            - BranchSide:      'base64.c:74,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
        - Branch String:   'base64.c:74,13'
          Branch Sides:
            - BranchSide:      'base64.c:75,13'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
            - BranchSide:      'base64.c:76,11'
              BranchSideFuncs:
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
                - __sanitizer_cov_trace_cmp8
      Callsites:       []
...
