High level conclusions

Fuzzers reach 28.33% of cyclomatic complexity.

Fuzzers reach 18.61% of all functions.

Reachability and coverage overview

Functions statically reachable by fuzzers

231 / 1241

Cyclomatic complexity statically reachable by fuzzers

2163 / 7635

Runtime code coverage of functions

178 / 1241

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: json_load_fuzzer

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	20	16.3%
gold	[1:9]	0	0.0%
yellow	[10:29]	0	0.0%
greenyellow	[30:49]	0	0.0%
lawngreen	50+	102	83.6%
All colors	122	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
4	14	loader_log	call site: 00014	util_SubmitDebugUtilsMessageEXT
2	8	loader_read_entire_file	call site: 00008	create_callback_file
2	23	loader_read_entire_file	call site: 00023	loader_log
2	79	ensure	call site: 00079	loader_free
2	92	print_number	call site: 00092	ensure
1	12	loader_read_entire_file	call site: 00012	loader_log
1	21	loader_calloc	call site: 00021	loader_log
1	66	parse_array	call site: 00066	buffer_skip_whitespace
1	68	loader_cJSON_ParseWithLengthOpts	call site: 00068	loader_log
1	72	loader_instance_heap_free	call site: 00072	loader_cJSON_Delete
1	82	loader_realloc	call site: 00082	loader_free
1	96	print_string	call site: 00096	ensure

Runtime coverage analysis

Covered functions

43

Functions that are reachable but not covered

23

Reachable functions

56

Percentage of reachable functions covered

58.93%

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
json_load_fuzzer.c	1
vulkan-loader/loader/loader_json.c	2
fuzz_header.h	1
vulkan-loader/loader/log.c	1
vulkan-loader/loader/debug_utils.c	3
vulkan-loader/loader/generated/vk_object_types.h	1
vulkan-loader/loader/allocation.c	6
vulkan-loader/loader/cJSON.c	24

Fuzzer: settings_fuzzer

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	135	25.6%
gold	[1:9]	17	3.22%
yellow	[10:29]	5	0.94%
greenyellow	[30:49]	11	2.08%
lawngreen	50+	359	68.1%
All colors	527	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
16	289	log_settings	call site: 00289	loader_log
12	121	loader_realloc	call site: 00121	print_number
9	235	parse_device_configurations	call site: 00235	parse_device_configuration
8	138	print_string_ptr	call site: 00138	print_array
8	147	update_offset	call site: 00147	print_value
8	225	parse_additional_drivers	call site: 00225	parse_additional_driver
7	435	loader_read_layer_json	call site: 00435	loader_parse_json_string
7	476	loader_read_layer_json	call site: 00476	loader_parse_json_string
5	260	check_if_layer_configurations_are_equal	call site: 00260	check_if_device_configurations_are_equal
4	42	loader_log	call site: 00042	util_SubmitDebugUtilsMessageEXT
4	309	free_loader_settings	call site: 00309	free_driver_configuration
3	247	loader_cJSON_PrintPreallocated	call site: 00247	loader_parse_json_string_to_existing_str

Runtime coverage analysis

Covered functions

109

Functions that are reachable but not covered

50

Reachable functions

151

Percentage of reachable functions covered

66.89%

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
settings_fuzzer.c	3
vulkan-loader/loader/settings.c	28
vulkan-loader/loader/loader_environment.c	1
vulkan-loader/loader/allocation.c	7
vulkan-loader/loader/vk_loader_platform.h	10
vulkan-loader/loader/log.c	4
vulkan-loader/loader/debug_utils.c	3
vulkan-loader/loader/generated/vk_object_types.h	1
vulkan-loader/loader/loader_json.c	5
fuzz_header.h	1
vulkan-loader/loader/cJSON.c	31
vulkan-loader/loader/loader.c	24
vulkan-loader/loader/wsi.c	1

Fuzzer: instance_enumerate_fuzzer

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	167	21.5%
gold	[1:9]	0	0.0%
yellow	[10:29]	10	1.28%
greenyellow	[30:49]	9	1.15%
lawngreen	50+	590	76.0%
All colors	776	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
16	289	log_settings	call site: 00289	loader_log
14	753	loader_scan_for_implicit_layers	call site: 00753	loader_open_layer_file
12	121	loader_realloc	call site: 00121	print_number
11	332	parse_layers_disable_filter_environment_var	call site: 00332	loader_log
9	235	parse_device_configurations	call site: 00235	parse_device_configuration
8	138	print_string_ptr	call site: 00138	print_array
8	147	update_offset	call site: 00147	print_value
8	225	parse_additional_drivers	call site: 00225	parse_additional_driver
6	536	check_name_matches_filter_environment_var	call site: 00536	name_segment_matches_filter_value
5	260	check_if_layer_configurations_are_equal	call site: 00260	check_if_device_configurations_are_equal
4	42	loader_log	call site: 00042	util_SubmitDebugUtilsMessageEXT
4	309	free_loader_settings	call site: 00309	free_driver_configuration

Runtime coverage analysis

Covered functions

151

Functions that are reachable but not covered

64

Reachable functions

201

Percentage of reachable functions covered

68.16%

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
instance_enumerate_fuzzer.c	3
vulkan-loader/loader/trampoline.c	1
vulkan-loader/loader/settings.c	29
vulkan-loader/loader/loader_environment.c	9
vulkan-loader/loader/allocation.c	8
vulkan-loader/loader/vk_loader_platform.h	13
vulkan-loader/loader/log.c	4
vulkan-loader/loader/debug_utils.c	3
vulkan-loader/loader/generated/vk_object_types.h	1
vulkan-loader/loader/loader_json.c	5
fuzz_header.h	1
vulkan-loader/loader/cJSON.c	31
vulkan-loader/loader/loader.c	51
vulkan-loader/loader/wsi.c	1

Fuzzer: instance_create_advanced_fuzzer

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	530	44.2%
gold	[1:9]	8	0.66%
yellow	[10:29]	7	0.58%
greenyellow	[30:49]	22	1.83%
lawngreen	50+	632	52.7%
All colors	1199	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
109	921	vkCreateInstance	call site: 00921	loader_validate_instance_extensions
63	855	loader_parse_icd_manifest	call site: 00855	loader_scanned_icd_add
58	1031	loader_destroy_pointer_layer_list	call site: 01031	loader_enable_instance_layers
35	1123	vkCreateInstance	call site: 01123	fill_out_enabled_instance_extensions
32	822	loader_parse_icd_manifest	call site: 00822	loader_cJSON_Print
28	1159	vkCreateInstance	call site: 01159	vkDestroyInstance
16	310	log_settings	call site: 00310	loader_log
13	788	loader_icd_scan	call site: 00788	loader_add_direct_driver
12	153	loader_realloc	call site: 00153	print_number
12	1108	vkCreateInstance	call site: 01108	loader_icd_close_objects
11	346	parse_layers_disable_filter_environment_var	call site: 00346	loader_log
10	807	loader_settings_get_additional_driver_files	call site: 00807	prepend_if_manifest_file

Runtime coverage analysis

Covered functions

161

Functions that are reachable but not covered

112

Reachable functions

266

Percentage of reachable functions covered

57.89%

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
instance_create_advanced_fuzzer.c	3
fuzz_header.h	3
vulkan-loader/loader/trampoline.c	5
vulkan-loader/loader/log.c	3
vulkan-loader/loader/debug_utils.c	9
vulkan-loader/loader/generated/vk_object_types.h	1
vulkan-loader/loader/allocation.c	11
vulkan-loader/loader/vk_loader_platform.h	13
vulkan-loader/loader/loader.c	94
vulkan-loader/loader/settings.c	26
vulkan-loader/loader/loader_environment.c	10
vulkan-loader/loader/loader_json.c	5
vulkan-loader/loader/cJSON.c	32
vulkan-loader/loader/wsi.c	1
vulkan-loader/loader/generated/vk_loader_extensions.c	3

Fuzzer: instance_create_fuzzer

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	464	39.0%
gold	[1:9]	7	0.58%
yellow	[10:29]	10	0.84%
greenyellow	[30:49]	16	1.34%
lawngreen	50+	690	58.1%
All colors	1187	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
109	914	vkCreateInstance	call site: 00914	loader_validate_instance_extensions
58	1024	loader_destroy_pointer_layer_list	call site: 01024	loader_enable_instance_layers
45	863	loader_handle_load_library_error	call site: 00863	fixup_library_binary_path
35	1116	vkCreateInstance	call site: 01116	fill_out_enabled_instance_extensions
28	1152	vkCreateInstance	call site: 01152	vkDestroyInstance
16	303	log_settings	call site: 00303	loader_log
13	781	loader_icd_scan	call site: 00781	loader_add_direct_driver
12	1101	vkCreateInstance	call site: 01101	loader_icd_close_objects
11	339	parse_layers_disable_filter_environment_var	call site: 00339	loader_log
10	800	loader_settings_get_additional_driver_files	call site: 00800	prepend_if_manifest_file
9	260	parse_device_configurations	call site: 00260	parse_device_configuration
8	250	parse_additional_drivers	call site: 00250	parse_additional_driver

Runtime coverage analysis

Covered functions

167

Functions that are reachable but not covered

102

Reachable functions

263

Percentage of reachable functions covered

61.22%

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
instance_create_fuzzer.c	3
vulkan-loader/loader/trampoline.c	5
vulkan-loader/loader/log.c	3
vulkan-loader/loader/debug_utils.c	9
vulkan-loader/loader/generated/vk_object_types.h	1
vulkan-loader/loader/allocation.c	11
vulkan-loader/loader/vk_loader_platform.h	13
vulkan-loader/loader/loader.c	94
vulkan-loader/loader/settings.c	26
vulkan-loader/loader/loader_environment.c	10
vulkan-loader/loader/loader_json.c	5
fuzz_header.h	1
vulkan-loader/loader/cJSON.c	32
vulkan-loader/loader/wsi.c	1
vulkan-loader/loader/generated/vk_loader_extensions.c	3

Fuzzer: instance_enumerate_fuzzer_split_input

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	259	33.3%
gold	[1:9]	65	8.37%
yellow	[10:29]	11	1.41%
greenyellow	[30:49]	10	1.28%
lawngreen	50+	431	55.5%
All colors	776	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
16	289	log_settings	call site: 00289	loader_log
14	482	loader_read_layer_json	call site: 00482	loader_parse_json_array_of_strings
14	753	loader_scan_for_implicit_layers	call site: 00753	loader_open_layer_file
13	694	verify_meta_layer_component_layers	call site: 00694	verify_meta_layer_component_layers
12	121	loader_realloc	call site: 00121	print_number
11	332	parse_layers_disable_filter_environment_var	call site: 00332	loader_log
9	235	parse_device_configurations	call site: 00235	parse_device_configuration
8	138	print_string_ptr	call site: 00138	print_array
8	147	update_offset	call site: 00147	print_value
8	225	parse_additional_drivers	call site: 00225	parse_additional_driver
8	718	verify_all_meta_layers	call site: 00718	loader_remove_layers_not_in_implicit_meta_layers
7	459	loader_read_layer_json	call site: 00459	loader_parse_json_string

Runtime coverage analysis

Covered functions

143

Functions that are reachable but not covered

70

Reachable functions

201

Percentage of reachable functions covered

65.17%

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
instance_enumerate_fuzzer.c	3
vulkan-loader/loader/trampoline.c	1
vulkan-loader/loader/settings.c	29
vulkan-loader/loader/loader_environment.c	9
vulkan-loader/loader/allocation.c	8
vulkan-loader/loader/vk_loader_platform.h	13
vulkan-loader/loader/log.c	4
vulkan-loader/loader/debug_utils.c	3
vulkan-loader/loader/generated/vk_object_types.h	1
vulkan-loader/loader/loader_json.c	5
fuzz_header.h	1
vulkan-loader/loader/cJSON.c	31
vulkan-loader/loader/loader.c	51
vulkan-loader/loader/wsi.c	1

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
vkGetDeviceProcAddr	/src/vulkan-loader/loader/trampoline.c	2	['N/A', 'N/A']	3	0	166	36	17	8	0	1143	1133
vkGetInstanceProcAddr	/src/vulkan-loader/loader/trampoline.c	2	['N/A', 'N/A']	7	0	70	19	8	37	0	1014	893
terminator_EnumeratePhysicalDeviceGroups	/src/vulkan-loader/loader/loader.c	3	['N/A', 'N/A', 'N/A']	5	0	1102	221	83	36	0	367	236
vkCreateDevice	/src/vulkan-loader/loader/trampoline.c	4	['N/A', 'N/A', 'N/A', 'N/A']	7	0	26	5	2	48	0	338	133
loader_gpa_instance_terminator	/src/vulkan-loader/loader/loader.c	2	['N/A', 'N/A']	6	0	234	48	23	30	0	318	130
vkEnumeratePhysicalDevices	/src/vulkan-loader/loader/trampoline.c	3	['N/A', 'N/A', 'N/A']	5	0	159	31	12	45	0	310	117
terminator_CreateInstance	/src/vulkan-loader/loader/loader.c	3	['N/A', 'N/A', 'N/A']	6	0	816	168	65	33	0	319	82

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

Functions statically reachable by fuzzers

294 / 1241

Cyclomatic complexity statically reachable by fuzzers

4883 / 7635

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

This sections provides heuristics that can be used as input to a fuzz engine when running a given fuzz target. The current focus is on providing input that is usable by libFuzzer.

json_load_fuzzer.c

Dictionary

Use this with the libFuzzer -dict=DICT.file flag

Fuzzer function priority

Use one of these functions as input to libfuzzer with flag: -focus_function name

-focus_function=['loader_log', 'loader_read_entire_file', 'ensure', 'print_number', 'loader_calloc', 'parse_array', 'loader_cJSON_ParseWithLengthOpts', 'loader_instance_heap_free']

settings_fuzzer.c

Dictionary

Use this with the libFuzzer -dict=DICT.file flag

Fuzzer function priority

Use one of these functions as input to libfuzzer with flag: -focus_function name

-focus_function=['log_settings', 'loader_realloc', 'parse_device_configurations', 'print_string_ptr', 'update_offset', 'parse_additional_drivers', 'loader_read_layer_json', 'check_if_layer_configurations_are_equal', 'loader_log']

instance_enumerate_fuzzer.c

Dictionary

Use this with the libFuzzer -dict=DICT.file flag

Fuzzer function priority

Use one of these functions as input to libfuzzer with flag: -focus_function name

-focus_function=['log_settings', 'loader_scan_for_implicit_layers', 'loader_realloc', 'parse_layers_disable_filter_environment_var', 'parse_device_configurations', 'print_string_ptr', 'update_offset', 'parse_additional_drivers', 'check_name_matches_filter_environment_var', 'check_if_layer_configurations_are_equal']

instance_create_advanced_fuzzer.c

Dictionary

Use this with the libFuzzer -dict=DICT.file flag

Fuzzer function priority

Use one of these functions as input to libfuzzer with flag: -focus_function name

-focus_function=['vkCreateInstance', 'loader_parse_icd_manifest', 'loader_destroy_pointer_layer_list', 'log_settings', 'loader_icd_scan', 'loader_realloc']

instance_create_fuzzer.c

Dictionary

Use this with the libFuzzer -dict=DICT.file flag

Fuzzer function priority

Use one of these functions as input to libfuzzer with flag: -focus_function name

-focus_function=['vkCreateInstance', 'loader_destroy_pointer_layer_list', 'loader_handle_load_library_error', 'log_settings', 'loader_icd_scan', 'parse_layers_disable_filter_environment_var', 'loader_settings_get_additional_driver_files']

instance_enumerate_fuzzer.c

Dictionary

Use this with the libFuzzer -dict=DICT.file flag

Fuzzer function priority

Use one of these functions as input to libfuzzer with flag: -focus_function name

-focus_function=['log_settings', 'loader_read_layer_json', 'loader_scan_for_implicit_layers', 'verify_meta_layer_component_layers', 'loader_realloc', 'parse_layers_disable_filter_environment_var', 'parse_device_configurations', 'print_string_ptr', 'update_offset', 'parse_additional_drivers']

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
print	35	18	51.42%	['instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'json_load_fuzzer', 'instance_enumerate_fuzzer', 'settings_fuzzer', 'instance_create_fuzzer']
loader_init_global_debug_level	36	7	19.44%	['instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'json_load_fuzzer', 'instance_enumerate_fuzzer', 'settings_fuzzer', 'instance_create_fuzzer']
parse_additional_drivers	46	9	19.56%	['instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_enumerate_fuzzer', 'settings_fuzzer', 'instance_create_fuzzer']
parse_device_configurations	46	6	13.04%	['instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_enumerate_fuzzer', 'settings_fuzzer', 'instance_create_fuzzer']
log_settings	60	29	48.33%	['instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_enumerate_fuzzer', 'settings_fuzzer', 'instance_create_fuzzer']
vk_string_validate	36	16	44.44%	['instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']
determine_filter_type	46	18	39.13%	['instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']
parse_layers_disable_filter_environment_var	60	12	20.0%	['instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']
check_name_matches_filter_environment_var	40	19	47.5%	['instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']
vkEnumerateInstanceExtensionProperties	67	33	49.25%	['instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input']
convertCoreObjectToDebugReportObject	88	7	7.954%	['instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'json_load_fuzzer', 'instance_enumerate_fuzzer', 'settings_fuzzer', 'instance_create_fuzzer']
loader_scan_for_direct_drivers	69	11	15.94%	['instance_create_advanced_fuzzer', 'instance_create_fuzzer']
loader_icd_scan	113	62	54.86%	['instance_create_advanced_fuzzer', 'instance_create_fuzzer']
vkCreateInstance	208	87	41.82%	['instance_create_advanced_fuzzer', 'instance_create_fuzzer']
loader_scanned_icd_add	159	27	16.98%	['instance_create_advanced_fuzzer', 'instance_create_fuzzer']

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/vulkan-loader/loader/log.c	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']
/src/vulkan-loader/loader/cJSON.c	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']
/src/vulkan-loader/loader/loader_environment.c	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']
/src/vulkan-loader/loader/trampoline.c	['instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']	['instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']
/src/vulkan-loader/loader/vk_loader_platform.h	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']
/src/vulkan-loader/loader/loader_linux.c	[]	[]
/src/vulkan-loader/loader/gpa_helper.c	[]	[]
/src/vulkan-loader/loader/dev_ext_trampoline.c	[]	[]
/src/vulkan-loader/loader/loader.c	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']
/src/fuzz_header.h	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']
/src/instance_create_advanced_fuzzer.c	['instance_create_advanced_fuzzer']	['instance_create_advanced_fuzzer']
/src/vulkan-loader/loader/settings.c	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']
/src/instance_create_fuzzer.c	['instance_create_fuzzer']	['instance_create_fuzzer']
/src/vulkan-loader/loader/phys_dev_ext.c	[]	[]
/src/vulkan-loader/loader/wsi.c	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']
/src/vulkan-loader/loader/loader.h	[]	[]
/src/vulkan-loader/loader/terminator.c	[]	[]
/src/vulkan-loader/loader/unknown_function_handling.c	[]	[]
/src/vulkan-loader/loader/allocation.c	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']
/src/vulkan-loader/loader/loader_json.c	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']
/src/vulkan-loader/loader/extension_manual.c	[]	[]
/src/vulkan-loader/loader/generated/vk_object_types.h	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']	['instance_create_advanced_fuzzer', 'instance_create_fuzzer']
/src/vulkan-loader/loader/debug_utils.c	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer', 'instance_enumerate_fuzzer_split_input']	['instance_create_advanced_fuzzer', 'instance_create_fuzzer']
/src/json_load_fuzzer.c	['json_load_fuzzer']	['json_load_fuzzer']
/src/vulkan-loader/loader/generated/vk_loader_extensions.c	['instance_create_advanced_fuzzer', 'instance_create_fuzzer']	[]
/src/settings_fuzzer.c	['settings_fuzzer']	['settings_fuzzer']
/src/instance_enumerate_fuzzer.c	['instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input']	['instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input']

Directories in report

Directory
/src/vulkan-loader/loader/generated/
/src/vulkan-loader/loader/
/src/