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 4745 84.0%
gold [1:9] 168 2.97%
yellow [10:29] 103 1.82%
greenyellow [30:49] 9 0.15%
lawngreen 50+ 622 11.0%
All colors 5647 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
809 4834 dwg_model_space_object call site: 04834 dwg_write_dxfb
341 4229 bit_write_TV call site: 04229 encode_classes
311 2401 in_hex2bin call site: 02401 _set_struct_field
288 678 bit_read_fixed call site: 00678 read_2004_section_classes
265 970 bit_read_TF call site: 00970 decode_R2007
260 4572 bit_write_RLL call site: 04572 dwg_write_dxf
220 1244 bit_chain_free call site: 01244 read_2007_section_classes
150 381 resolve_objectref_vector call site: 00381 decode_R2004
145 1465 bit_convert_TU call site: 01465 decode_R2004
143 2041 dwg_dynapi_header_set_value call site: 02041 json_CMC
143 4007 bit_write_RL_BE call site: 04007 encode_classes
128 3542 dwg_free_eed call site: 03542 add_DUMMY_eed

Runtime coverage analysis

Covered functions
636
Functions that are reachable but not covered
911
Reachable functions
1144
Percentage of reachable functions covered
20.37%
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 138
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 94
src/free.c 197
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 162
src/out_dxf.c 145
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 758 0 18931 17640
new_object /src/libredwg/src/in_dxf.c 6 ['char*', 'char*', 'Bit_Chain*', 'Dwg_Data*', 'BITCODE_BL', 'BITCODE_BL*'] 8 0 646 152 266 134 0 1008 619
json_xdata /src/libredwg/src/out_json.c 2 ['Bit_Chain*', 'Dwg_Object_XRECORD*'] 5 0 547 167 163 156 0 399 259
add_MULTILEADER /src/libredwg/src/in_dxf.c 3 ['Dwg_Object*', 'Bit_Chain*', 'Dxf_Pair*'] 5 0 444 128 175 23 0 286 243
add_HATCH /src/libredwg/src/in_dxf.c 3 ['Dwg_Object*', 'Bit_Chain*', 'Dxf_Pair*'] 8 0 531 115 173 71 0 583 230
dwg_add_dat /src/libredwg/examples/dwgadd.c 2 ['Dwg_Data**', 'Bit_Chain*'] 11 0 500 93 144 669 0 2795 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 90 0 304 181

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

Functions statically reachable by fuzzers
33.0%
951 / 2919
Cyclomatic complexity statically reachable by fuzzers
79.0%
23529 / 29725

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
LLVMFuzzerTestOneInput 131 71 54.19%
jsmn_parse_string 54 20 37.03%
bit_write_H 36 14 38.88% ['llvmfuzz']
bit_write_TV 38 17 44.73% ['llvmfuzz']
bit_u_expand 53 25 47.16% ['llvmfuzz']
bit_read_CMC 38 8 21.05% ['llvmfuzz']
dwg_decode_handleref 81 41 50.61% ['llvmfuzz']
dwg_decode_xdata 219 45 20.54% ['llvmfuzz']
dwg_fixup_BLOCKS_entities 173 37 21.38% ['llvmfuzz']
dwg_model_space_ref 35 13 37.14%
dwg_model_space_object 35 7 20.0% ['llvmfuzz']
dwg_resbuf_value_type 126 62 49.20% ['llvmfuzz']
dwg_ctrl_table 137 31 22.62% ['llvmfuzz']
dwg_find_tablehandle 119 64 53.78% ['llvmfuzz']
dwg_decode_LAYER_private 136 68 50.0%
dwg_decode_VPORT_private 173 64 36.99%
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 70 53.03%
dwg_decode_MTEXT_private 92 27 29.34%
dwg_decode_HATCH_private 227 117 51.54%
dwg_decode_LAYOUT_private 122 67 54.91%
dwg_free_HATCH_private 232 104 44.82%
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 69 52.67%
dwg_free_LAYER_private 135 67 49.62%
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_encode_TEXT_private 146 27 18.49%
dwg_encode_ATTRIB_private 185 38 20.54%
dwg_encode_ATTDEF_private 194 40 20.61%
dwg_encode_INSERT_private 163 22 13.49%
dwg_encode_POLYLINE_2D_private 84 24 28.57%
dwg_encode_POLYLINE_3D_private 55 23 41.81%
dwg_encode_LINE_private 66 15 22.72%
dwg_encode_DIMENSION_ORDINATE_private 43 15 34.88%
dwg_encode_DIMENSION_LINEAR_private 41 17 41.46%
dwg_encode_DIMENSION_ALIGNED_private 35 14 40.0%
dwg_encode_DIMENSION_ANG3PT_private 42 14 33.33%
dwg_encode_DIMENSION_ANG2LN_private 48 14 29.16%
dwg_encode__3DFACE_private 92 25 27.17%
dwg_encode_POLYLINE_PFACE_private 42 19 45.23%
dwg_encode_POLYLINE_MESH_private 66 25 37.87%
dwg_encode_SHAPE_private 46 11 23.91%
dwg_encode_VIEWPORT_private 132 21 15.90%
dwg_free_JUMP_private 48 3 6.25%
dwg_free_XRECORD_private 51 18 35.29%
dwg_insert_entity 129 36 27.90% ['llvmfuzz']
dwg_dynapi_common_value 42 21 50.0% ['llvmfuzz']
dwg_dynapi_common_set_value 79 31 39.24% ['llvmfuzz']
dynapi_set_helper 44 20 45.45% ['llvmfuzz']
dwg_encode 1385 133 9.602% ['llvmfuzz']
dwg_encode_get_class 59 5 8.474% ['llvmfuzz']
dwg_encode_entity 51 21 41.17% ['llvmfuzz']
in_postprocess_handles 77 22 28.57%
encode_preR13_entities 307 88 28.66% ['llvmfuzz']
dwg_free_variable_type 33 9 27.27% ['llvmfuzz']
dxf_read_string 83 34 40.96% ['llvmfuzz']
dxf_read_binary 73 36 49.31% ['llvmfuzz']
dxf_header_read 263 108 41.06% ['llvmfuzz']
matches_type 56 19 33.92% ['llvmfuzz']
dxf_tables_read 255 86 33.72%
new_table_control 228 80 35.08% ['llvmfuzz']
new_object 3255 573 17.60% ['llvmfuzz']
add_MLINE 221 50 22.62% ['llvmfuzz']
resolve_postponed_header_refs 49 6 12.24%
dxf_blocks_read 230 86 37.39%
resolve_postponed_object_refs 109 20 18.34%
add_to_BLOCK_HEADER 32 6 18.75%
json_OBJECTS 708 165 23.30% ['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_MULTILEADER, add_HATCH
#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_MULTILEADER */
  UNKNOWN_TYPE unknown_9;
  UNKNOWN_TYPE unknown_10;
  UNKNOWN_TYPE unknown_11;
  add_MULTILEADER(unknown_9, unknown_10, unknown_11);

  /* target add_HATCH */
  UNKNOWN_TYPE unknown_12;
  UNKNOWN_TYPE unknown_13;
  UNKNOWN_TYPE unknown_14;
  add_HATCH(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/include/dwg_api.h [] []
/src/libredwg/test/unit-testing/common_test.c [] []
/src/libredwg/src/reedsolomon.c [] []
/src/libredwg/src/dec_macros.h [] []
/src/libredwg/src/logging.h [] []
/src/libredwg/src/in_json.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/dwg.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/include/dwg.h [] []
/src/libredwg/test/unit-testing/add_test.c [] []
/src/libredwg/test/unit-testing/imagedef_reactor.c [] []
/src/libredwg/test/unit-testing/dxf_test.c [] []
/src/libredwg/src/out_dxfb.c ['llvmfuzz'] []
/src/libredwg/src/common.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/out_dxf.c ['llvmfuzz'] []
/src/libredwg/examples/load_dwg.c [] []
/src/libredwg/src/dwg_api.c [] []
/src/libredwg/src/decode_r11.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/test/unit-testing/dynapi_test.c [] []
/src/libredwg/src/in_dxf.h [] []
/src/libredwg/src/objects.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/programs/dwg2SVG.c [] []
/src/libredwg/src/bits.h [] []
/src/libredwg/test/xmlsuite/testsuite.c [] []
/src/libredwg/src/logging.c [] []
/src/libredwg/programs/dwggrep.c [] []
/src/libredwg/src/out_json.c ['llvmfuzz'] []
/src/libredwg/examples/llvmfuzz.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/dynapi.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/spec.h [] []
/src/libredwg/examples/dwgadd.c [] []
/src/libredwg/programs/getopt.c [] []
/src/libredwg/programs/dwg2ps.c [] []
/src/libredwg/src/myalloca.h [] []
/src/libredwg/src/encode.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/geom.c [] []
/src/libredwg/src/hash.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/print.c ['llvmfuzz'] []
/src/libredwg/programs/escape.c [] []
/src/libredwg/src/dxfclasses.c [] []
/src/libredwg/examples/unknown.c [] []
/src/libredwg/src/codepages.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/programs/my_stat.h [] []
/src/libredwg/programs/dwgbmp.c [] []
/src/libredwg/test/unit-testing/encode_test.c [] []
/src/libredwg/src/free.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/test/unit-testing/bits_test.c [] []
/src/libredwg/src/bits.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/common.h [] []
/src/libredwg/src/classes.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/test/unit-testing/tests_common.c [] []
/src/libredwg/programs/dxf2dwg.c [] []
/src/libredwg/test/unit-testing/decode_test.c [] []
/src/libredwg/src/decode_r2007.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/examples/bits.c [] []
/src/libredwg/src/out_geojson.c [] []
/src/libredwg/src/dwg_spec_shared.h [] []
/src/libredwg/src/enc_macros.h [] []
/src/libredwg/src/decode.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/src/dynapi.h [] []
/src/libredwg/test/unit-testing/material.c [] []
/src/libredwg/test/unit-testing/tests_common.h [] []
/src/libredwg/src/in_dxf.c ['llvmfuzz'] ['llvmfuzz']
/src/libredwg/test/xmlsuite/common.c [] []
/src/libredwg/examples/dwg2svg2.c [] []
/src/libredwg/examples/dwgfuzz.c [] []

Directories in report

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