Fuzz introspector
For issues and ideas: https://github.com/ossf/fuzz-introspector/issues

Project functions overview

The following table shows data about each function in the project. The functions included in this table correspond to all functions that exist in the executables of the fuzzers. As such, there may be functions that are from third-party libraries.

For further technical details on the meaning of columns in the below table, please see the Glossary .

Func name Functions filename Args Function call depth Reached by Fuzzers Runtime reached by Fuzzers Combined reached by Fuzzers Fuzzers runtime hit Func lines hit % I Count BB Count Cyclomatic complexity Functions reached Reached by functions Accumulated cyclomatic complexity Undiscovered complexity

Fuzzer details

Fuzzer: llvmfuzz

Call tree

The calltree shows the control flow of the fuzzer. This is overlaid with coverage information to display how much of the potential code a fuzzer can reach is in fact covered at runtime. In the following there is a link to a detailed calltree visualisation as well as a bitmap showing a high-level view of the calltree. For further information about these topics please see the glossary for full calltree and calltree overview

Call tree overview bitmap:

The distribution of callsites in terms of coloring is
Color Runtime hitcount Callsite count Percentage
red 0 4078 71.5%
gold [1:9] 489 8.58%
yellow [10:29] 221 3.87%
greenyellow [30:49] 100 1.75%
lawngreen 50+ 811 14.2%
All colors 5699 100

Fuzz blockers

The following nodes represent call sites where fuzz blockers occur.

Amount of callsites blocked Calltree index Parent function Callsite Largest blocked function
292 684 bit_read_fixed call site: 00684 read_2004_section_classes
272 981 bit_read_TF call site: 00981 decode_R2007
220 1262 bit_chain_free call site: 01262 read_2007_section_classes
206 2513 _set_struct_field call site: 02513 _set_struct_field
155 5218 dxfb_tables_write call site: 05218 dxfb_blocks_write
145 1483 bit_convert_TU call site: 01483 decode_R2004
143 2062 dwg_dynapi_header_set_value call site: 02062 json_CMC
141 4621 bit_write_RLL call site: 04621 compress_R2004_section
128 3572 dwg_free_eed call site: 03572 add_DUMMY_eed
124 555 bit_write_RC call site: 00555 read_R2004_section_info
112 4507 bit_write_TF call site: 04507 encode_classes
105 5394 json_classes_write call site: 05394 json_tables_write

Runtime coverage analysis

Covered functions
956
Functions that are reachable but not covered
819
Reachable functions
1147
Percentage of reachable functions covered
28.6%
NB: The sum of covered functions and functions that are reachable but not covered need not be equal to Reachable functions . This is because the reachability analysis is an approximation and thus at runtime some functions may be covered that are not included in the reachability analysis. This is a limitation of our static analysis capabilities.
Function name source code lines source lines hit percentage hit

Files reached

filename functions hit
examples/llvmfuzz.c 23
src/decode.c 140
src/hash.c 10
src/decode_r11.c 13
src/bits.c 59
src/dwg.c 57
src/common.c 4
src/print.c 91
src/decode_r2007.c 95
src/free.c 198
src/classes.c 10
src/in_json.c 127
src/codepages.c 5
src/dynapi.c 30
src/objects.c 3
src/in_dxf.c 80
src/encode.c 163
src/out_dxf.c 146
src/out_dxfb.c 137
src/out_json.c 147

Analyses and suggestions

Optimal target analysis

Remaining optimal interesting functions

The following table shows a list of functions that are optimal targets. Optimal targets are identified by finding the functions that in combination, yield a high code coverage.

Func name Functions filename Arg count Args Function depth hitcount instr count bb count cyclomatic complexity Reachable functions Incoming references total cyclomatic complexity Unreached complexity
test_dynapi /src/libredwg/test/unit-testing/dynapi_test.c 1 ['char*'] 10 0 14 2 3 761 0 18988 17644
new_object /src/libredwg/src/in_dxf.c 6 ['char*', 'char*', 'Bit_Chain*', 'Dwg_Data*', 'BITCODE_BL', 'BITCODE_BL*'] 8 0 650 153 267 135 0 1012 620
json_xdata /src/libredwg/src/out_json.c 2 ['Bit_Chain*', 'Dwg_Object_XRECORD*'] 7 0 549 167 163 157 0 433 293
add_HATCH /src/libredwg/src/in_dxf.c 3 ['Dwg_Object*', 'Bit_Chain*', 'Dxf_Pair*'] 8 0 572 124 194 71 0 604 252
add_MULTILEADER /src/libredwg/src/in_dxf.c 3 ['Dwg_Object*', 'Bit_Chain*', 'Dxf_Pair*'] 5 0 444 128 175 23 0 286 242
dwg_add_dat /src/libredwg/examples/dwgadd.c 2 ['Dwg_Data**', 'Bit_Chain*'] 11 0 500 93 144 673 0 2881 221
decode_preR13_entities /src/libredwg/src/decode.c 7 ['BITCODE_RL', 'BITCODE_RL', 'unsigned', 'BITCODE_RL', 'Bit_Chain*', 'Dwg_Data*', 'EntitySectionIndexR11'] 7 0 363 91 113 91 0 307 181

Implementing fuzzers that target the above functions will improve reachability such that it becomes:

Functions statically reachable by fuzzers
33.0%
955 / 2929
Cyclomatic complexity statically reachable by fuzzers
79.0%
23973 / 30215

All functions overview

If you implement fuzzers for these functions, the status of all functions in the project will be:

Func name Functions filename Args Function call depth Reached by Fuzzers Runtime reached by Fuzzers Combined reached by Fuzzers Fuzzers runtime hit Func lines hit % I Count BB Count Cyclomatic complexity Functions reached Reached by functions Accumulated cyclomatic complexity Undiscovered complexity

Runtime coverage analysis

This section shows analysis of runtime coverage data.

For futher technical details on how this section is generated, please see the Glossary .

Complex functions with low coverage

Func name Function total lines Lines covered at runtime percentage covered Reached by fuzzers
jsmn_parse_string 54 18 33.33%
bit_write_DD 45 21 46.66% ['llvmfuzz']
bit_write_TFv 36 15 41.66% ['llvmfuzz']
bit_write_TV 38 18 47.36% ['llvmfuzz']
bit_write_T 86 10 11.62% ['llvmfuzz']
bit_write_T16 69 9 13.04% ['llvmfuzz']
bit_u_expand 53 25 47.16% ['llvmfuzz']
bit_TV_to_utf8 128 61 47.65% ['llvmfuzz']
bit_read_CMC 38 8 21.05% ['llvmfuzz']
bit_write_CMC 42 10 23.80% ['llvmfuzz']
dwg_decode_xdata 219 62 28.31% ['llvmfuzz']
dwg_fixup_BLOCKS_entities 209 45 21.53% ['llvmfuzz']
get_first_owned_entity 33 12 36.36% ['llvmfuzz']
get_last_owned_block 40 18 45.0% ['llvmfuzz']
dwg_find_dictionary 35 9 25.71% ['llvmfuzz']
dwg_ctrl_table 137 58 42.33% ['llvmfuzz']
dwg_decode_LAYER_private 139 68 48.92%
dwg_decode_VIEW_private 98 50 51.02%
dwg_decode_VPORT_private 173 92 53.17%
dwg_decode_DIMENSION_LINEAR_private 41 16 39.02%
dwg_decode_DIMENSION_ALIGNED_private 35 14 40.0%
dwg_decode_DIMENSION_ANG3PT_private 42 14 33.33%
dwg_decode_DIMENSION_ANG2LN_private 48 18 37.5%
dwg_decode_VIEWPORT_private 132 72 54.54%
dwg_decode_MTEXT_private 92 27 29.34%
dwg_decode_LAYOUT_private 122 67 54.91%
dwg_free_INSERT_private 162 86 53.08%
dwg_free_MINSERT_private 117 45 38.46%
dwg_free_MTEXT_private 91 26 28.57%
dwg_free_VERTEX_2D_private 75 38 50.66%
dwg_free_VIEWPORT_private 131 71 54.19%
dwg_free_LAYER_private 138 67 48.55%
dwg_free_LAYOUT_private 121 57 47.10%
dwg_free_LTYPE_private 125 55 44.0%
dwg_free_VPORT_private 172 83 48.25%
dwg_dxf_VPORT_private 173 37 21.38%
dwg_dxf_LTYPE_private 126 13 10.31%
dwg_dxf_LAYER_private 139 25 17.98%
dwg_dxf_STYLE_private 67 16 23.88%
dwg_dxf_BLOCK_HEADER_private 124 17 13.70%
dwg_dxf_BLOCK_private 78 38 48.71%
dwg_json_ATTRIB_private 173 89 51.44%
dwg_json_ATTDEF_private 182 66 36.26%
dwg_json_INSERT_private 156 49 31.41%
dwg_json_MINSERT_private 117 43 36.75%
dwg_json_POLYLINE_2D_private 86 34 39.53%
dwg_json_POLYLINE_3D_private 54 24 44.44%
dwg_json_DIMENSION_ORDINATE_private 42 17 40.47%
dwg_json_DIMENSION_LINEAR_private 40 15 37.5%
dwg_json_DIMENSION_ANG3PT_private 41 13 31.70%
dwg_json_DIMENSION_ANG2LN_private 44 14 31.81%
dwg_json__3DFACE_private 91 31 34.06%
dwg_json_POLYLINE_PFACE_private 41 22 53.65%
dwg_json_POLYLINE_MESH_private 65 25 38.46%
dwg_json_SHAPE_private 45 18 40.0%
dwg_json_VIEWPORT_private 131 64 48.85%
dwg_json_SPLINE_private 87 45 51.72%
dwg_json_MTEXT_private 91 26 28.57%
dwg_json_LAYER_private 138 70 50.72%
dwg_json_LTYPE_private 125 55 44.0%
dwg_json_VIEW_private 97 46 47.42%
dwg_json_UCS_private 47 22 46.80%
dwg_json_VPORT_private 172 85 49.41%
dwg_json_LAYOUT_private 121 57 47.10%
dwg_encode_ATTRIB_private 185 100 54.05%
dwg_encode_INSERT_private 163 79 48.46%
dwg_encode_VERTEX_2D_private 76 19 25.0%
dwg_encode_POLYLINE_2D_private 87 35 40.22%
dwg_encode_VIEWPORT_private 132 65 49.24%
dwg_encode_SPLINE_private 88 36 40.90%
dwg_encode_MTEXT_private 92 27 29.34%
dwg_encode_BLOCK_HEADER_private 123 61 49.59%
dwg_encode_LTYPE_private 125 44 35.19%
dwg_encode_VIEW_private 97 44 45.36%
dwg_encode_VPORT_private 172 58 33.72%
dwg_encode_LAYOUT_private 121 59 48.76%
dwg_free_JUMP_private 48 3 6.25%
dwg_free_TABLE_private 431 33 7.656%
dwg_free_TABLESTYLE_private 67 22 32.83%
dwg_free_XRECORD_private 51 18 35.29%
dwg_encode_XRECORD_private 54 28 51.85%
dwg_insert_entity 129 36 27.90% ['llvmfuzz']
encode_3dsolid 68 19 27.94% ['llvmfuzz']
dwg_dynapi_common_value 42 21 50.0% ['llvmfuzz']
dwg_dynapi_common_set_value 79 39 49.36% ['llvmfuzz']
dwg_dynapi_subclass_name 46 13 28.26% ['llvmfuzz']
dwg_encode 1454 448 30.81% ['llvmfuzz']
dwg_encode_get_class 59 5 8.474% ['llvmfuzz']
dwg_encode_add_object 519 260 50.09% ['llvmfuzz']
dwg_encode_xdata 218 26 11.92% ['llvmfuzz']
in_postprocess_handles 77 23 29.87%
calc_preR13_ctrl_size 63 9 14.28% ['llvmfuzz']
encode_header_vars 102 30 29.41% ['llvmfuzz']
encode_classes 168 34 20.23% ['llvmfuzz']
encode_objfreespace_2ndheader 111 13 11.71% ['llvmfuzz']
encode_preR13_section 217 119 54.83% ['llvmfuzz']
dwg_encode_eed_data 190 54 28.42% ['llvmfuzz']
dwg_free_variable_type 45 13 28.88% ['llvmfuzz']
dxf_read_string 83 35 42.16% ['llvmfuzz']
dxf_read_binary 73 36 49.31% ['llvmfuzz']
dxf_tables_read 287 86 29.96%
new_table_control 228 80 35.08% ['llvmfuzz']
add_eed 331 109 32.93% ['llvmfuzz']
new_object 3280 774 23.59% ['llvmfuzz']
add_PERSUBENTMGR 50 24 48.0% ['llvmfuzz']
add_MLINE 221 50 22.62% ['llvmfuzz']
get_numfield_value 31 11 35.48% ['llvmfuzz']
add_TABLESTYLE 154 49 31.81% ['llvmfuzz']
resolve_postponed_eed_refs 36 4 11.11% ['llvmfuzz']
dxf_blocks_read 280 149 53.21%
resolve_postponed_object_refs 109 28 25.68%
add_to_BLOCK_HEADER 39 6 15.38%
dwg_read_json 185 99 53.51% ['llvmfuzz']
json_OBJECTS 708 223 31.49% ['llvmfuzz']
_set_struct_field 801 59 7.365% ['llvmfuzz']
dxf_format 75 22 29.33% ['llvmfuzz']
dxf_CMC 80 8 10.0% ['llvmfuzz']
cquote 51 21 41.17% ['llvmfuzz']
dxf_cvt_tablerecord 40 21 52.5% ['llvmfuzz']
dxf_classes_write 33 8 24.24% ['llvmfuzz']
dxf_write_eed 70 6 8.571% ['llvmfuzz']
dxf_block_write 106 30 28.30% ['llvmfuzz']
dwg_dxf_object 244 38 15.57% ['llvmfuzz']
dxf_cvt_blockname 53 7 13.20% ['llvmfuzz']
dxf_entities_write 69 29 42.02% ['llvmfuzz']
dwg_write_dxfb 44 20 45.45% ['llvmfuzz']
dxfb_classes_write 32 7 21.87% ['llvmfuzz']
dxfb_write_eed 69 17 24.63% ['llvmfuzz']
dwg_geojson_feature 138 52 37.68% ['llvmfuzz']
dwg_geojson_variable_type 38 8 21.05% ['llvmfuzz']
dwg_write_json 67 35 52.23% ['llvmfuzz']
field_cmc 51 8 15.68% ['llvmfuzz']
json_3dsolid 69 28 40.57% ['llvmfuzz']

Fuzz driver synthesis

New fuzzers

The below fuzzers are templates and suggestions for how to target the set of optimal functions above

dynapi_test.c

Target file: /src/libredwg/test/unit-testing/dynapi_test.c
Target functions: test_dynapi
#include "ada_fuzz_header.h"

int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
  af_safe_gb_init(data, size);

  /* target test_dynapi */
  char *new_var0 = ada_safe_get_char_p();
  test_dynapi(new_var0);

  af_safe_gb_cleanup();
}

in_dxf.c

Target file: /src/libredwg/src/in_dxf.c
Target functions: new_object, add_HATCH, add_MULTILEADER
#include "ada_fuzz_header.h"

int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
  af_safe_gb_init(data, size);

  /* target new_object */
  char *new_var1 = ada_safe_get_char_p();
  char *new_var2 = ada_safe_get_char_p();
  UNKNOWN_TYPE unknown_3;
  UNKNOWN_TYPE unknown_4;
  UNKNOWN_TYPE unknown_5;
  UNKNOWN_TYPE unknown_6;
  new_object(new_var1, new_var2, unknown_3, unknown_4, unknown_5, unknown_6);

  /* target add_HATCH */
  UNKNOWN_TYPE unknown_9;
  UNKNOWN_TYPE unknown_10;
  UNKNOWN_TYPE unknown_11;
  add_HATCH(unknown_9, unknown_10, unknown_11);

  /* target add_MULTILEADER */
  UNKNOWN_TYPE unknown_12;
  UNKNOWN_TYPE unknown_13;
  UNKNOWN_TYPE unknown_14;
  add_MULTILEADER(unknown_12, unknown_13, unknown_14);

  af_safe_gb_cleanup();
}

out_json.c

Target file: /src/libredwg/src/out_json.c
Target functions: json_xdata
#include "ada_fuzz_header.h"

int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
  af_safe_gb_init(data, size);

  /* target json_xdata */
  UNKNOWN_TYPE unknown_7;
  UNKNOWN_TYPE unknown_8;
  json_xdata(unknown_7, unknown_8);

  af_safe_gb_cleanup();
}

dwgadd.c

Target file: /src/libredwg/examples/dwgadd.c
Target functions: dwg_add_dat
#include "ada_fuzz_header.h"

int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
  af_safe_gb_init(data, size);

  /* target dwg_add_dat */
  UNKNOWN_TYPE unknown_15;
  UNKNOWN_TYPE unknown_16;
  dwg_add_dat(unknown_15, unknown_16);

  af_safe_gb_cleanup();
}

decode.c

Target file: /src/libredwg/src/decode.c
Target functions: decode_preR13_entities
#include "ada_fuzz_header.h"

int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
  af_safe_gb_init(data, size);

  /* target decode_preR13_entities */
  UNKNOWN_TYPE unknown_17;
  UNKNOWN_TYPE unknown_18;
  UNKNOWN_TYPE unknown_19;
  UNKNOWN_TYPE unknown_20;
  UNKNOWN_TYPE unknown_21;
  UNKNOWN_TYPE unknown_22;
  UNKNOWN_TYPE unknown_23;
  decode_preR13_entities(unknown_17, unknown_18, unknown_19, unknown_20, unknown_21, unknown_22, unknown_23);

  af_safe_gb_cleanup();
}

Files and Directories in report

This section shows which files and directories are considered in this report. The main reason for showing this is fuzz introspector may include more code in the reasoning than is desired. This section helps identify if too many files/directories are included, e.g. third party code, which may be irrelevant for the threat model. In the event too much is included, fuzz introspector supports a configuration file that can exclude data from the report. See the following link for more information on how to create a config file: link

Files in report

Source file Reached by Covered by
/src/libredwg/test/unit-testing/tests_common.h [] []
/src/libredwg/src/common.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/test/unit-testing/dxf_test.c [] []
/src/libredwg/src/decode_r2007.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/programs/dwg2SVG.c [] []
/src/libredwg/src/in_json.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/reedsolomon.c [] []
/src/libredwg/src/print.c ['llvmfuzz'] []
/src/libredwg/src/in_dxf.h [] []
/src/libredwg/test/unit-testing/material.c [] []
/src/libredwg/test/unit-testing/bits_test.c [] []
/src/libredwg/programs/dxf2dwg.c [] []
/src/libredwg/programs/my_stat.h [] []
/src/libredwg/src/common.h [] []
/src/libredwg/examples/dwgfuzz.c [] []
/src/libredwg/src/out_geojson.c [] []
/src/libredwg/src/dwg_api.c [] []
/src/libredwg/examples/dwg2svg2.c [] []
/src/libredwg/include/dwg_api.h [] []
/src/libredwg/src/logging.c [] []
/src/libredwg/src/out_dxfb.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/objects.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/hash.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/test/unit-testing/tests_common.c [] []
/src/libredwg/src/decode.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/free.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/examples/unknown.c [] []
/src/libredwg/programs/getopt.c [] []
/src/libredwg/src/decode_r11.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/test/unit-testing/add_test.c [] []
/src/libredwg/examples/llvmfuzz.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/test/unit-testing/common_test.c [] []
/src/libredwg/src/logging.h [] []
/src/libredwg/test/xmlsuite/common.c [] []
/src/libredwg/test/unit-testing/decode_test.c [] []
/src/libredwg/src/bits.h [] []
/src/libredwg/src/dxfclasses.c [] []
/src/libredwg/src/dwg_spec_shared.h [] []
/src/libredwg/src/dynapi.h [] []
/src/libredwg/programs/dwg2ps.c [] []
/src/libredwg/src/enc_macros.h [] []
/src/libredwg/programs/dwggrep.c [] []
/src/libredwg/examples/load_dwg.c [] []
/src/libredwg/test/unit-testing/dynapi_test.c [] []
/src/libredwg/programs/dwgbmp.c [] []
/src/libredwg/src/classes.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/codepages.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/programs/escape.c [] []
/src/libredwg/src/myalloca.h [] []
/src/libredwg/src/encode.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/dec_macros.h [] []
/src/libredwg/examples/dwgadd.c [] []
/src/libredwg/src/bits.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/out_json.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/dwg.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/geom.c [] []
/src/libredwg/src/in_dxf.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/test/unit-testing/encode_test.c [] []
/src/libredwg/src/out_dxf.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/test/unit-testing/imagedef_reactor.c [] []
/src/libredwg/src/spec.h [] []
/src/libredwg/test/xmlsuite/testsuite.c [] []
/src/libredwg/examples/bits.c [] []
/src/libredwg/src/dynapi.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/include/dwg.h [] []

Directories in report

Directory
/src/libredwg/examples/
/src/libredwg/programs/
/src/libredwg/src/
/src/libredwg/include/
/src/libredwg/test/unit-testing/
/src/libredwg/test/xmlsuite/