High level conclusions

Fuzzers reach 92.88% of cyclomatic complexity.

Fuzzers reach 90.54% of all functions.

Fuzzers reach 68.65% code coverage.

Fuzzer can_parse is blocked:

The runtime code coverage of can_parse covers 0.0% of its statically reachable code. This means there is some place that blocks the fuzzer to continue exploring more code at run time.

Fuzzer unicode is blocked:

The runtime code coverage of unicode covers 0.0% of its statically reachable code. This means there is some place that blocks the fuzzer to continue exploring more code at run time.

Reachability and coverage overview

Functions statically reachable by fuzzers

910 / 1005

Cyclomatic complexity statically reachable by fuzzers

7209 / 7761

Runtime code coverage of functions

690 / 1005

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

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	92	100.%
gold	[1:9]	0	0.0%
yellow	[10:29]	0	0.0%
greenyellow	[30:49]	0	0.0%
lawngreen	50+	0	0.0%
All colors	92	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
91	0	EP	call site: 00000	printf

Runtime coverage analysis

Covered functions

1

Functions that are reachable but not covered

82

Reachable functions

82

Percentage of reachable functions covered

0.0%

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
/src/ada-url/fuzz/unicode.cc	1
/src/ada-url/build/singleheader/ada.h	5
/src/ada-url/build/singleheader/ada.cpp	33

Fuzzer: idna

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	8	8.42%
gold	[1:9]	3	3.15%
yellow	[10:29]	0	0.0%
greenyellow	[30:49]	0	0.0%
lawngreen	50+	84	88.4%
All colors	95	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
2	83	LLVMFuzzerTestOneInput	call site: 00083	printf
2	86	LLVMFuzzerTestOneInput	call site: 00086	printf
2	92	LLVMFuzzerTestOneInput	call site: 00092	printf
1	27	ada::idna::find_direction(unsigned int)	call site: 00027	__cxa_begin_catch
1	32	ada::idna::is_label_valid(std::__1::basic_string_view >)	call site: 00032

Runtime coverage analysis

Covered functions

41

Functions that are reachable but not covered

4

Reachable functions

73

Percentage of reachable functions covered

94.52%

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
/src/ada-url/fuzz/idna.cc	1
/src/ada-url/build/singleheader/ada.cpp	34

Fuzzer: can_parse

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	651	100.%
gold	[1:9]	0	0.0%
yellow	[10:29]	0	0.0%
greenyellow	[30:49]	0	0.0%
lawngreen	50+	0	0.0%
All colors	651	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
650	0	EP	call site: 00000	_ZN2tl8expectedIN3ada14url_aggregatorENS1_6errorsEEC2IS3_TnPNSt3__19enable_ifIXsr3std16is_constructibleIS3_OT_EE5valueEvE4typeELPv0ETnPNS7_IXsr3std14is_convertibleIS9_S3_EE5valueEvE4typeELSD_0EEEONS_10unexpectedIS8_EE

Runtime coverage analysis

Covered functions

1

Functions that are reachable but not covered

400

Reachable functions

400

Percentage of reachable functions covered

0.0%

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
/src/ada-url/fuzz/can_parse.cc	1
/src/ada-url/build/singleheader/ada.cpp	70
/src/ada-url/build/singleheader/ada.h	131
/usr/local/bin/../include/c++/v1/optional	13

Fuzzer: url_search_params

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	407	66.2%
gold	[1:9]	0	0.0%
yellow	[10:29]	0	0.0%
greenyellow	[30:49]	0	0.0%
lawngreen	50+	207	33.7%
All colors	614	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
99	339	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00339	abort
65	477	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00477	abort
45	133	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00133	abort
38	243	ada::url_aggregator::get_hostname() const	call site: 00243	abort
32	210	ada::url_aggregator::add_authority_slashes_if_needed()	call site: 00210	abort
21	288	ada::url_aggregator::update_base_hostname(std::__1::basic_string_view >)	call site: 00288	abort
16	459	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00459	__clang_call_terminate
12	544	ada::url_aggregator::~url_aggregator()	call site: 00544	_ZN2tl8expectedIN3ada14url_aggregatorENS1_6errorsEEC2IS3_TnPNSt3__19enable_ifIXsr3std16is_constructibleIS3_OT_EE5valueEvE4typeELPv0ETnPNS7_IXsr3std14is_convertibleIS9_S3_EE5valueEvE4typeELSD_0EEEONS_10unexpectedIS8_EE
11	317	ada::url_aggregator::clear_search()	call site: 00317	abort
10	179	ada::url_aggregator::get_search() const	call site: 00179	abort
10	448	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00448
9	196	ada::url_aggregator::update_unencoded_base_hash(std::__1::basic_string_view >)	call site: 00196	abort

Runtime coverage analysis

Covered functions

116

Functions that are reachable but not covered

210

Reachable functions

393

Percentage of reachable functions covered

46.56%

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
/src/ada-url/fuzz/url_search_params.cc	1
/src/ada-url/build/singleheader/ada.h	130
/src/ada-url/build/singleheader/ada.cpp	63
/usr/local/bin/../include/c++/v1/optional	8

Fuzzer: serializers

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	47.6%
gold	[1:9]	10	1.83%
yellow	[10:29]	5	0.91%
greenyellow	[30:49]	20	3.67%
lawngreen	50+	250	45.9%
All colors	544	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
63	407	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00407	abort
38	174	ada::url_aggregator::get_hostname() const	call site: 00174	abort
18	64	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00064	abort
16	235	ada::url_aggregator::update_base_port(unsigned int)	call site: 00235	abort
15	89	ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)	call site: 00089	abort
15	527	LLVMFuzzerTestOneInput	call site: 00527	printf
12	108	ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)	call site: 00108	abort
10	291	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00291	abort
7	252	ada::checkers::is_normalized_windows_drive_letter(std::__1::basic_string_view >)	call site: 00252
6	167	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00167
6	505	LLVMFuzzerTestOneInput	call site: 00505
5	378	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00378

Runtime coverage analysis

Covered functions

143

Functions that are reachable but not covered

108

Reachable functions

307

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
/src/ada-url/fuzz/serializers.cc	1
/src/ada-url/build/singleheader/ada.cpp	62
/src/ada-url/build/singleheader/ada.h	89
/usr/local/bin/../include/c++/v1/optional	8

Fuzzer: ada_c

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	283	21.8%
gold	[1:9]	31	2.39%
yellow	[10:29]	7	0.54%
greenyellow	[30:49]	15	1.15%
lawngreen	50+	958	74.0%
All colors	1294	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
22	558	ada::url_aggregator::has_port() const	call site: 00558	abort
15	62	ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)	call site: 00062	abort
14	934	ada_get_components	call site: 00934	printf
12	160	ada::url_aggregator::clear_hostname()	call site: 00160	abort
12	1033	_ZNR2tl8expectedIN3ada14url_aggregatorENS1_6errorsEE5valueIS2_TnPNSt3__19enable_ifIXntsr3std7is_voidIT_EE5valueEvE4typeELPv0EEERS8_v	call site: 01033	__cxa_allocate_exception
10	393	void ada::helpers::inner_concat > >(std::__1::basic_string , std::__1::allocator >&, char const*, std::__1::basic_string_view >)	call site: 00393	abort
9	383	ada::url_aggregator::get_host() const	call site: 00383	abort
6	226	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00226
6	491	ada::url_aggregator::set_href(std::__1::basic_string_view >)	call site: 00491
6	687	ada::url_aggregator::update_base_password(std::__1::basic_string_view >)	call site: 00687	abort
6	1002	LLVMFuzzerTestOneInput	call site: 01002	ada_free
5	16	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00016	__clang_call_terminate

Runtime coverage analysis

Covered functions

378

Functions that are reachable but not covered

151

Reachable functions

680

Percentage of reachable functions covered

77.79%

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
/src/ada-url/fuzz/ada_c.c	1
/src/ada-url/build/singleheader/ada.cpp	163
/src/ada-url/build/singleheader/ada.h	227
/usr/local/bin/../include/c++/v1/optional	10
/usr/local/bin/../include/c++/v1/__exception/exception.h	2

Fuzzer: parse

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	170	11.8%
gold	[1:9]	0	0.0%
yellow	[10:29]	1	0.06%
greenyellow	[30:49]	22	1.52%
lawngreen	50+	1246	86.5%
All colors	1439	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
12	337	ada::url_aggregator::clear_hostname()	call site: 00337	abort
9	888	LLVMFuzzerTestOneInput	call site: 00888	__clang_call_terminate
9	1386	LLVMFuzzerTestOneInput	call site: 01386	printf
6	242	ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)	call site: 00242	abort
6	719	ada::url::set_href(std::__1::basic_string_view >)	call site: 00719
6	739	ada::url_aggregator::set_href(std::__1::basic_string_view >)	call site: 00739
6	1047	bool ada::url_aggregator::set_host_or_hostname (std::__1::basic_string_view >)	call site: 01047
5	136	ada::url ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url const*)	call site: 00136	__clang_call_terminate
5	173	_ZN2tl8expectedIN3ada3urlENS1_6errorsEEC2IS3_TnPNSt3__19enable_ifIXsr3std16is_constructibleIS3_OT_EE5valueEvE4typeELPv0ETnPNS7_IXsr3std14is_convertibleIS9_S3_EE5valueEvE4typeELSD_0EEEONS_10unexpectedIS8_EE	call site: 00173	_ZN2tl6detail25expected_copy_assign_baseIN3ada3urlENS2_6errorsELb0EECI2NS0_21expected_storage_baseIS3_S4_Lb0ELb1EEEIJS4_ETnPNSt3__19enable_ifIXsr3std16is_constructibleIS4_DpOT_EE5valueEvE4typeELPv0EEENS_10unexpect_tESB_
5	185	_ZN2tl8expectedIN3ada3urlENS1_6errorsEEC2IJS2_ETnPNSt3__19enable_ifIXsr3std16is_constructibleIS2_DpOT_EE5valueEvE4typeELPv0EEENS_10in_place_tESA_	call site: 00185	_ZN2tl6detail25expected_copy_assign_baseIN3ada3urlENS2_6errorsELb0EECI2NS0_21expected_storage_baseIS3_S4_Lb0ELb1EEEIJS3_ETnPNSt3__19enable_ifIXsr3std16is_constructibleIS3_DpOT_EE5valueEvE4typeELPv0EEENS_10in_place_tESB_
5	552	_ZN2tl8expectedIN3ada14url_aggregatorENS1_6errorsEEC2IS3_TnPNSt3__19enable_ifIXsr3std16is_constructibleIS3_OT_EE5valueEvE4typeELPv0ETnPNS7_IXsr3std14is_convertibleIS9_S3_EE5valueEvE4typeELSD_0EEEONS_10unexpectedIS8_EE	call site: 00552	_ZN2tl6detail25expected_copy_assign_baseIN3ada14url_aggregatorENS2_6errorsELb0EECI2NS0_21expected_storage_baseIS3_S4_Lb0ELb1EEEIJS4_ETnPNSt3__19enable_ifIXsr3std16is_constructibleIS4_DpOT_EE5valueEvE4typeELPv0EEENS_10unexpect_tESB_
5	562	_ZN2tl8expectedIN3ada14url_aggregatorENS1_6errorsEEC2IJS2_ETnPNSt3__19enable_ifIXsr3std16is_constructibleIS2_DpOT_EE5valueEvE4typeELPv0EEENS_10in_place_tESA_	call site: 00562	_ZN2tl6detail25expected_copy_assign_baseIN3ada14url_aggregatorENS2_6errorsELb0EECI2NS0_21expected_storage_baseIS3_S4_Lb0ELb1EEEIJS3_ETnPNSt3__19enable_ifIXsr3std16is_constructibleIS3_DpOT_EE5valueEvE4typeELPv0EEENS_10in_place_tESB_

Runtime coverage analysis

Covered functions

316

Functions that are reachable but not covered

90

Reachable functions

540

Percentage of reachable functions covered

83.33%

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
/src/ada-url/fuzz/parse.cc	4
/src/ada-url/build/singleheader/ada.cpp	106
/src/ada-url/build/singleheader/ada.h	160
/usr/local/bin/../include/c++/v1/optional	15

Fuzzer: url_pattern

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	531	28.9%
gold	[1:9]	1	0.05%
yellow	[10:29]	21	1.14%
greenyellow	[30:49]	12	0.65%
lawngreen	50+	1272	69.2%
All colors	1837	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
63	864	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00864	abort
38	630	ada::url_aggregator::get_hostname() const	call site: 00630	abort
24	691	ada::url_aggregator::update_base_port(unsigned int)	call site: 00691	abort
19	1109	bool ada::url_aggregator::set_host_or_hostname (std::__1::basic_string_view >)	call site: 01109	abort
15	546	ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)	call site: 00546	abort
10	1596	exercise_exec_and_test(ada::url_pattern &, std::__1::basic_string , std::__1::allocator > const&, std::__1::basic_string , std::__1::allocator > const&)	call site: 01596	_ZN2tl8expectedIbN3ada6errorsEEC2IS2_TnPNSt3__19enable_ifIXsr3std16is_constructibleIS2_OT_EE5valueEvE4typeELPv0ETnPNS6_IXsr3std14is_convertibleIS8_S2_EE5valueEvE4typeELSC_0EEEONS_10unexpectedIS7_EE
9	567	ada::url_aggregator::get_search() const	call site: 00567	abort
9	1416	ada::url_pattern ::exec(std::__1::variant >, ada::url_pattern_init> const&, std::__1::basic_string_view > const*)	call site: 01416	_ZN2tl8expectedINSt3__18optionalIN3ada18url_pattern_resultEEENS3_6errorsEEC2IS6_TnPNS1_9enable_ifIXsr3std16is_constructibleIS6_OT_EE5valueEvE4typeELPv0ETnPNS9_IXsr3std14is_convertibleISB_S6_EE5valueEvE4typeELSF_0EEEONS_10unexpectedISA_EE
8	1145	ada::url_pattern_init::process_port(std::__1::basic_string_view >, std::__1::basic_string_view >, ada::url_pattern_init::process_type)	call site: 01145	_ZN2tl8expectedINSt3__112basic_stringIcNS1_11char_traitsIcEENS1_9allocatorIcEEEEN3ada6errorsEEC2IS9_TnPNS1_9enable_ifIXsr3std16is_constructibleIS9_OT_EE5valueEvE4typeELPv0ETnPNSC_IXsr3std14is_convertibleISE_S9_EE5valueEvE4typeELSI_0EEEONS_10unexpectedISD_EE
8	1271	_ZN3ada6parser22parse_url_pattern_implITkNS_17url_pattern_regex13regex_conceptENS2_18std_regex_providerEEEN2tl8expectedINS_11url_patternIT_EENS_6errorsEEEONSt3__17variantIJNSB_17basic_string_viewIcNSB_11char_traitsIcEEEENS_16url_pattern_initEEEEPKSG_PKNS_19url_pattern_optionsE	call site: 01271
7	399	ada::url_pattern_helpers::constructor_string_parser ::parse(std::__1::basic_string_view >)	call site: 00399
7	418	ada::url_pattern_helpers::constructor_string_parser ::parse(std::__1::basic_string_view >)	call site: 00418

Runtime coverage analysis

Covered functions

401

Functions that are reachable but not covered

364

Reachable functions

981

Percentage of reachable functions covered

62.9%

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
/src/ada-url/fuzz/url_pattern.cc	6
/src/ada-url/build/singleheader/ada.h	446
/src/ada-url/build/singleheader/ada.cpp	103
/usr/local/bin/../include/c++/v1/optional	25

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
ada::url::get_origin()const	/src/ada-url/build/singleheader/ada.cpp	2	['N/A', 'N/A']	11	0	211	44	41	243	0	1074	61
ada::url_aggregator::get_origin()const	/src/ada-url/build/singleheader/ada.cpp	2	['N/A', 'N/A']	11	0	227	35	34	309	0	1750	46
ada::url_aggregator::to_string()const	/src/ada-url/build/singleheader/ada.cpp	2	['N/A', 'N/A']	2	0	603	100	39	23	0	80	42
ada::url::to_string()const	/src/ada-url/build/singleheader/ada.cpp	2	['N/A', 'N/A']	4	0	421	69	41	22	0	93	41
ada::url_pattern_helpers::canonicalize_port(std::__1::basic_string_view >)	/src/ada-url/build/singleheader/ada.cpp	3	['N/A', 'N/A', 'size_t']	8	0	237	41	41	43	0	117	41

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

Functions statically reachable by fuzzers

920 / 1005

Cyclomatic complexity statically reachable by fuzzers

7440 / 7761

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.

/src/ada-url/fuzz/unicode.cc

Dictionary

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

/src/ada-url/fuzz/idna.cc

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=['LLVMFuzzerTestOneInput', 'ada::idna::find_direction(unsigned int)', 'ada::idna::is_label_valid(std::__1::basic_string_view >)']

/src/ada-url/fuzz/can_parse.cc

Dictionary

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

/src/ada-url/fuzz/url_search_params.cc

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=['ada::url_aggregator ada::parser::parse_url_impl(std::__1::basic_string_view >, ada::url_aggregator const*)', 'ada::url_aggregator ada::parser::parse_url_impl(std::__1::basic_string_view >, ada::url_aggregator const*)', 'ada::url_aggregator ada::parser::parse_url_impl(std::__1::basic_string_view >, ada::url_aggregator const*)', 'ada::url_aggregator::get_hostname() const', 'ada::url_aggregator::add_authority_slashes_if_needed()', 'ada::url_aggregator::update_base_hostname(std::__1::basic_string_view >)', 'ada::url_aggregator ada::parser::parse_url_impl(std::__1::basic_string_view >, ada::url_aggregator const*)', 'ada::url_aggregator::~url_aggregator()', 'ada::url_aggregator::clear_search()', 'ada::url_aggregator::get_search() const']

/src/ada-url/fuzz/serializers.cc

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=['ada::url_aggregator ada::parser::parse_url_impl(std::__1::basic_string_view >, ada::url_aggregator const*)', 'ada::url_aggregator::get_hostname() const', 'ada::url_aggregator ada::parser::parse_url_impl(std::__1::basic_string_view >, ada::url_aggregator const*)', 'ada::url_aggregator::update_base_port(unsigned int)', 'ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)', 'LLVMFuzzerTestOneInput', 'ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)', 'ada::url_aggregator ada::parser::parse_url_impl(std::__1::basic_string_view >, ada::url_aggregator const*)', 'ada::checkers::is_normalized_windows_drive_letter(std::__1::basic_string_view >)', 'ada::url_aggregator ada::parser::parse_url_impl(std::__1::basic_string_view >, ada::url_aggregator const*)']

/src/ada-url/fuzz/ada_c.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=['ada::url_aggregator::has_port() const', 'ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)', 'ada_get_components', 'ada::url_aggregator::clear_hostname()', '_ZNR2tl8expectedIN3ada14url_aggregatorENS1_6errorsEE5valueIS2_TnPNSt3__19enable_ifIXntsr3std7is_voidIT_EE5valueEvE4typeELPv0EEERS8_v', 'void ada::helpers::inner_concat > >(std::__1::basic_string, std::__1::allocator >&, char const*, std::__1::basic_string_view >)', 'ada::url_aggregator::get_host() const', 'ada::url_aggregator ada::parser::parse_url_impl(std::__1::basic_string_view >, ada::url_aggregator const*)', 'ada::url_aggregator::set_href(std::__1::basic_string_view >)', 'ada::url_aggregator::update_base_password(std::__1::basic_string_view >)']

/src/ada-url/fuzz/parse.cc

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=['ada::url_aggregator::clear_hostname()', 'LLVMFuzzerTestOneInput', 'ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)', 'ada::url::set_href(std::__1::basic_string_view >)', 'ada::url_aggregator::set_href(std::__1::basic_string_view >)', 'bool ada::url_aggregator::set_host_or_hostname(std::__1::basic_string_view >)', 'ada::url ada::parser::parse_url_impl(std::__1::basic_string_view >, ada::url const*)', '_ZN2tl8expectedIN3ada3urlENS1_6errorsEEC2IS3_TnPNSt3__19enable_ifIXsr3std16is_constructibleIS3_OT_EE5valueEvE4typeELPv0ETnPNS7_IXsr3std14is_convertibleIS9_S3_EE5valueEvE4typeELSD_0EEEONS_10unexpectedIS8_EE', '_ZN2tl8expectedIN3ada3urlENS1_6errorsEEC2IJS2_ETnPNSt3__19enable_ifIXsr3std16is_constructibleIS2_DpOT_EE5valueEvE4typeELPv0EEENS_10in_place_tESA_']

/src/ada-url/fuzz/url_pattern.cc

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=['ada::url_aggregator ada::parser::parse_url_impl(std::__1::basic_string_view >, ada::url_aggregator const*)', 'ada::url_aggregator::get_hostname() const', 'ada::url_aggregator::update_base_port(unsigned int)', 'bool ada::url_aggregator::set_host_or_hostname(std::__1::basic_string_view >)', 'ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)', 'exercise_exec_and_test(ada::url_pattern&, std::__1::basic_string, std::__1::allocator > const&, std::__1::basic_string, std::__1::allocator > const&)', 'ada::url_aggregator::get_search() const', 'ada::url_pattern::exec(std::__1::variant >, ada::url_pattern_init> const&, std::__1::basic_string_view > const*)', 'ada::url_pattern_init::process_port(std::__1::basic_string_view >, std::__1::basic_string_view >, ada::url_pattern_init::process_type)', '_ZN3ada6parser22parse_url_pattern_implITkNS_17url_pattern_regex13regex_conceptENS2_18std_regex_providerEEEN2tl8expectedINS_11url_patternIT_EENS_6errorsEEEONSt3__17variantIJNSB_17basic_string_viewIcNSB_11char_traitsIcEEEENS_16url_pattern_initEEEEPKSG_PKNS_19url_pattern_optionsE']

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
ada::url_aggregator::validate()const	150	62	41.33%	['url_pattern', 'parse', 'ada_c', 'serializers', 'can_parse', 'url_search_params']
ada::url_aggregator::update_base_search(std::__1::basic_string_view >)	33	17	51.51%	['url_pattern', 'parse', 'ada_c', 'serializers', 'can_parse', 'url_search_params']
ada::url_pattern_helpers::Tokenizer::get_next_code_point()	42	15	35.71%	['url_pattern']

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
	[]	[]
/usr/local/bin/../include/c++/v1/__charconv/from_chars_integral.h	[]	[]
/src/ada-url/fuzz/url_search_params.cc	['url_search_params']	['url_search_params']
/usr/local/bin/../include/c++/v1/__algorithm/ranges_replace.h	[]	[]
/src/ada-url/build/singleheader/ada.cpp	['unicode', 'idna', 'can_parse', 'url_search_params', 'serializers', 'ada_c', 'parse', 'url_pattern']	['idna', 'url_search_params', 'serializers', 'ada_c', 'parse', 'url_pattern']
/usr/local/bin/../include/c++/v1/optional	['can_parse', 'url_search_params', 'serializers', 'ada_c', 'parse', 'url_pattern']	[]
/usr/local/bin/../include/c++/v1/__algorithm/ranges_find_if_not.h	[]	[]
/src/ada-url/fuzz/parse.cc	['parse']	['parse']
/usr/local/bin/../include/c++/v1/stdexcept	[]	[]
/usr/local/bin/../include/c++/v1/string	[]	[]
/usr/local/bin/../include/c++/v1/__exception/exception.h	['ada_c']	[]
/src/ada-url/fuzz/can_parse.cc	['can_parse']	[]
/usr/local/bin/../include/c++/v1/variant	[]	[]
/src/ada-url/fuzz/idna.cc	['idna']	['idna']
/src/ada-url/fuzz/url_pattern.cc	['url_pattern']	['url_pattern']
/src/ada-url/build/singleheader/ada.h	['unicode', 'can_parse', 'url_search_params', 'serializers', 'ada_c', 'parse', 'url_pattern']	['unicode', 'can_parse', 'url_search_params', 'serializers', 'ada_c', 'parse', 'url_pattern']
/usr/local/bin/../include/c++/v1/__iterator/move_iterator.h	[]	[]
/src/ada-url/fuzz/serializers.cc	['serializers']	['serializers']
/src/ada-url/fuzz/ada_c.c	['ada_c']	['ada_c']
/src/ada-url/fuzz/unicode.cc	['unicode']	[]

Directories in report

Directory
/usr/local/bin/../include/c++/v1/__exception/
/src/ada-url/build/singleheader/
/usr/local/bin/../include/c++/v1/__algorithm/
/usr/local/bin/../include/c++/v1/__charconv/
/usr/local/bin/../include/c++/v1/__iterator/
/usr/local/bin/../include/c++/v1/
/src/ada-url/fuzz/