High level conclusions

Fuzzers reach 28.22% of cyclomatic complexity.

Fuzzers reach 18.45% of all functions.

Reachability and coverage overview

Functions statically reachable by fuzzers

231 / 1252

Cyclomatic complexity statically reachable by fuzzers

2175 / 7705

Runtime code coverage of functions

178 / 1252

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	139	26.1%
gold	[1:9]	11	2.07%
yellow	[10:29]	4	0.75%
greenyellow	[30:49]	14	2.63%
lawngreen	50+	363	68.3%
All colors	531	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	440	loader_read_layer_json	call site: 00440	loader_parse_json_string
7	481	loader_read_layer_json	call site: 00481	loader_parse_json_string
6	433	loader_read_layer_json	call site: 00433	loader_log
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

110

Functions that are reachable but not covered

50

Reachable functions

152

Percentage of reachable functions covered

67.11%

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	25
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	162	21.2%
gold	[1:9]	2	0.26%
yellow	[10:29]	10	1.31%
greenyellow	[30:49]	11	1.44%
lawngreen	50+	576	75.6%
All colors	761	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	738	loader_scan_for_implicit_layers	call site: 00738	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	540	check_name_matches_filter_environment_var	call site: 00540	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

149

Functions that are reachable but not covered

64

Reachable functions

199

Percentage of reachable functions covered

67.84%

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	7
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_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	248	32.5%
gold	[1:9]	57	7.49%
yellow	[10:29]	38	4.99%
greenyellow	[30:49]	39	5.12%
lawngreen	50+	379	49.8%
All colors	761	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
15	716	loader_scan_for_implicit_layers	call site: 00716	loader_append_layer_property
14	487	loader_read_layer_json	call site: 00487	loader_parse_json_array_of_strings
14	738	loader_scan_for_implicit_layers	call site: 00738	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
11	683	loader_find_layer_property	call site: 00683	verify_meta_layer_component_layers
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	697	verify_all_meta_layers	call site: 00697	loader_add_to_dev_ext_list

Runtime coverage analysis

Covered functions

142

Functions that are reachable but not covered

70

Reachable functions

199

Percentage of reachable functions covered

64.82%

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	7
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	533	44.8%
gold	[1:9]	22	1.85%
yellow	[10:29]	2	0.16%
greenyellow	[30:49]	0	0.0%
lawngreen	50+	631	53.1%
All colors	1188	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
111	908	vkCreateInstance	call site: 00908	loader_validate_instance_extensions
101	805	loader_settings_get_additional_driver_files	call site: 00805	loader_parse_icd_manifest
58	1020	loader_destroy_pointer_layer_list	call site: 01020	loader_enable_instance_layers
35	1112	vkCreateInstance	call site: 01112	fill_out_enabled_instance_extensions
28	1148	vkCreateInstance	call site: 01148	vkDestroyInstance
16	310	log_settings	call site: 00310	loader_log
14	774	loader_icd_scan	call site: 00774	loader_add_direct_driver
12	153	loader_realloc	call site: 00153	print_number
12	1097	vkCreateInstance	call site: 01097	loader_icd_close_objects
11	344	parse_layers_disable_filter_environment_var	call site: 00344	loader_log
10	794	loader_settings_get_additional_driver_files	call site: 00794	prepend_if_manifest_file
9	267	parse_device_configurations	call site: 00267	parse_device_configuration

Runtime coverage analysis

Covered functions

161

Functions that are reachable but not covered

113

Reachable functions

267

Percentage of reachable functions covered

57.68%

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	95
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.4%
gold	[1:9]	6	0.51%
yellow	[10:29]	19	1.61%
greenyellow	[30:49]	2	0.17%
lawngreen	50+	685	58.2%
All colors	1176	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
111	901	vkCreateInstance	call site: 00901	loader_validate_instance_extensions
58	1013	loader_destroy_pointer_layer_list	call site: 01013	loader_enable_instance_layers
45	850	loader_handle_load_library_error	call site: 00850	fixup_library_binary_path
35	1105	vkCreateInstance	call site: 01105	fill_out_enabled_instance_extensions
28	1141	vkCreateInstance	call site: 01141	vkDestroyInstance
16	303	log_settings	call site: 00303	loader_log
14	767	loader_icd_scan	call site: 00767	loader_add_direct_driver
12	1090	vkCreateInstance	call site: 01090	loader_icd_close_objects
11	337	parse_layers_disable_filter_environment_var	call site: 00337	loader_log
10	787	loader_settings_get_additional_driver_files	call site: 00787	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

168

Functions that are reachable but not covered

102

Reachable functions

264

Percentage of reachable functions covered

61.36%

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	95
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

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	9	0	1155	1145
vkGetInstanceProcAddr	/src/vulkan-loader/loader/trampoline.c	2	['N/A', 'N/A']	7	0	70	19	8	38	0	1026	899
terminator_EnumeratePhysicalDeviceGroups	/src/vulkan-loader/loader/loader.c	3	['N/A', 'N/A', 'N/A']	5	0	1210	255	95	41	0	422	287
vkCreateDevice	/src/vulkan-loader/loader/trampoline.c	4	['N/A', 'N/A', 'N/A', 'N/A']	7	0	26	5	2	48	0	340	133
loader_gpa_instance_terminator	/src/vulkan-loader/loader/loader.c	2	['N/A', 'N/A']	6	0	234	48	23	31	0	324	130
vkEnumeratePhysicalDevices	/src/vulkan-loader/loader/trampoline.c	3	['N/A', 'N/A', 'N/A']	5	0	159	31	12	45	0	310	115
terminator_CreateInstance	/src/vulkan-loader/loader/loader.c	3	['N/A', 'N/A', 'N/A']	6	0	814	167	63	34	0	320	80

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

Functions statically reachable by fuzzers

297 / 1252

Cyclomatic complexity statically reachable by fuzzers

4960 / 7705

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']

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_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_read_layer_json', 'loader_realloc', 'parse_layers_disable_filter_environment_var', 'loader_find_layer_property', 'parse_device_configurations', 'print_string_ptr', 'update_offset']

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_settings_get_additional_driver_files', 'loader_destroy_pointer_layer_list', 'log_settings', 'loader_icd_scan', 'loader_realloc', 'parse_layers_disable_filter_environment_var']

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']

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_create_advanced_fuzzer', 'instance_enumerate_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer_split_input', 'json_load_fuzzer', 'instance_create_fuzzer']
loader_init_global_debug_level	37	8	21.62%	['instance_create_advanced_fuzzer', 'instance_enumerate_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer_split_input', 'json_load_fuzzer', 'instance_create_fuzzer']
parse_additional_drivers	46	9	19.56%	['instance_create_advanced_fuzzer', 'instance_enumerate_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_fuzzer']
parse_device_configurations	48	6	12.5%	['instance_create_advanced_fuzzer', 'instance_enumerate_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_fuzzer']
log_settings	60	29	48.33%	['instance_create_advanced_fuzzer', 'instance_enumerate_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_fuzzer']
loader_implicit_layer_is_enabled	64	34	53.12%	['instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']
vk_string_validate	43	18	41.86%	['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_create_advanced_fuzzer', 'instance_enumerate_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer_split_input', 'json_load_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/loader_linux.c	[]	[]
/src/instance_create_fuzzer.c	['instance_create_fuzzer']	['instance_create_fuzzer']
/src/vulkan-loader/loader/loader_json.c	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']
/src/vulkan-loader/loader/extension_manual.c	[]	[]
/src/vulkan-loader/loader/generated/vk_loader_extensions.c	['instance_create_advanced_fuzzer', 'instance_create_fuzzer']	[]
/src/vulkan-loader/loader/loader_environment.c	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']	['settings_fuzzer', 'instance_enumerate_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_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']	['instance_create_advanced_fuzzer', 'instance_create_fuzzer']
/src/instance_enumerate_fuzzer.c	['instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input']	['instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input']
/src/vulkan-loader/loader/cJSON.c	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']
/src/vulkan-loader/loader/gpa_helper.c	[]	[]
/src/vulkan-loader/loader/loader.h	[]	[]
/src/vulkan-loader/loader/log.c	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']
/src/vulkan-loader/loader/allocation.c	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']
/src/vulkan-loader/loader/trampoline.c	['instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']	['instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']
/src/vulkan-loader/loader/terminator.c	[]	[]
/src/vulkan-loader/loader/dev_ext_trampoline.c	[]	[]
/src/fuzz_header.h	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']
/src/vulkan-loader/loader/generated/vk_object_types.h	['json_load_fuzzer', 'settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']	['instance_create_advanced_fuzzer', 'instance_create_fuzzer']
/src/settings_fuzzer.c	['settings_fuzzer']	['settings_fuzzer']
/src/vulkan-loader/loader/loader_common.h	[]	[]
/src/vulkan-loader/loader/unknown_function_handling.c	[]	[]
/src/vulkan-loader/loader/vk_loader_platform.h	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']
/src/instance_create_advanced_fuzzer.c	['instance_create_advanced_fuzzer']	['instance_create_advanced_fuzzer']
/src/vulkan-loader/loader/wsi.c	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']	['settings_fuzzer', 'instance_enumerate_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/settings.c	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']
/src/vulkan-loader/loader/phys_dev_ext.c	[]	[]
/src/vulkan-loader/loader/loader.c	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']	['settings_fuzzer', 'instance_enumerate_fuzzer', 'instance_enumerate_fuzzer_split_input', 'instance_create_advanced_fuzzer', 'instance_create_fuzzer']

Directories in report

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