High level conclusions

Fuzzers reach 92.91% of cyclomatic complexity.

Fuzzers reach 90.54% of all functions.

Fuzzers reach 68.65% code coverage.

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

7239 / 7791

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	91	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	91	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
90	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	7	7.77%
gold	[1:9]	3	3.33%
yellow	[10:29]	0	0.0%
greenyellow	[30:49]	0	0.0%
lawngreen	50+	80	88.8%
All colors	90	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	78	LLVMFuzzerTestOneInput	call site: 00078	printf
2	81	LLVMFuzzerTestOneInput	call site: 00081	printf
2	87	LLVMFuzzerTestOneInput	call site: 00087	printf
1	27	ada::idna::find_direction(unsigned int)	call site: 00027	__cxa_begin_catch

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: 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	406	66.2%
gold	[1:9]	0	0.0%
yellow	[10:29]	9	1.46%
greenyellow	[30:49]	0	0.0%
lawngreen	50+	198	32.3%
All colors	613	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
98	339	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00339	abort
65	476	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00476	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	458	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00458	__clang_call_terminate
12	543	ada::url_aggregator::~url_aggregator()	call site: 00543	_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	447	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00447
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	258	47.5%
gold	[1:9]	10	1.84%
yellow	[10:29]	22	4.05%
greenyellow	[30:49]	6	1.10%
lawngreen	50+	247	45.4%
All colors	543	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	406	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00406	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	526	LLVMFuzzerTestOneInput	call site: 00526	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	504	LLVMFuzzerTestOneInput	call site: 00504
5	377	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00377

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: 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	184	28.2%
gold	[1:9]	5	0.76%
yellow	[10:29]	18	2.76%
greenyellow	[30:49]	6	0.92%
lawngreen	50+	438	67.2%
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
17	344	ada::checkers::is_windows_drive_letter(std::__1::basic_string_view >)	call site: 00344	abort
15	67	ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)	call site: 00067	abort
12	155	ada::url_aggregator::clear_hostname()	call site: 00155	abort
9	86	ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)	call site: 00086	abort
7	545	ada::url ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url const*)	call site: 00545	__clang_call_terminate
6	210	ada::url_aggregator::clear_search()	call site: 00210	abort
6	604	LLVMFuzzerTestOneInput	call site: 00604
6	637	LLVMFuzzerTestOneInput	call site: 00637
5	23	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00023	__clang_call_terminate
5	466	_ZN2tl8expectedIN3ada14url_aggregatorENS1_6errorsEEC2IS3_TnPNSt3__19enable_ifIXsr3std16is_constructibleIS3_OT_EE5valueEvE4typeELPv0ETnPNS7_IXsr3std14is_convertibleIS9_S3_EE5valueEvE4typeELSD_0EEEONS_10unexpectedIS8_EE	call site: 00466	_ZN2tl6detail25expected_copy_assign_baseIN3ada14url_aggregatorENS2_6errorsELb0EECI2NS0_21expected_storage_baseIS3_S4_Lb0ELb1EEEIJS4_ETnPNSt3__19enable_ifIXsr3std16is_constructibleIS4_DpOT_EE5valueEvE4typeELPv0EEENS_10unexpect_tESB_
5	478	_ZN2tl8expectedIN3ada14url_aggregatorENS1_6errorsEEC2IJS2_ETnPNSt3__19enable_ifIXsr3std16is_constructibleIS2_DpOT_EE5valueEvE4typeELPv0EEENS_10in_place_tESA_	call site: 00478	_ZN2tl6detail25expected_copy_assign_baseIN3ada14url_aggregatorENS2_6errorsELb0EECI2NS0_21expected_storage_baseIS3_S4_Lb0ELb1EEEIJS3_ETnPNSt3__19enable_ifIXsr3std16is_constructibleIS3_DpOT_EE5valueEvE4typeELPv0EEENS_10in_place_tESB_
5	571	_ZN2tl8expectedIN3ada3urlENS1_6errorsEEC2IS3_TnPNSt3__19enable_ifIXsr3std16is_constructibleIS3_OT_EE5valueEvE4typeELPv0ETnPNS7_IXsr3std14is_convertibleIS9_S3_EE5valueEvE4typeELSD_0EEEONS_10unexpectedIS8_EE	call site: 00571	_ZN2tl6detail25expected_copy_assign_baseIN3ada3urlENS2_6errorsELb0EECI2NS0_21expected_storage_baseIS3_S4_Lb0ELb1EEEIJS4_ETnPNSt3__19enable_ifIXsr3std16is_constructibleIS4_DpOT_EE5valueEvE4typeELPv0EEENS_10unexpect_tESB_

Runtime coverage analysis

Covered functions

195

Functions that are reachable but not covered

121

Reachable functions

400

Percentage of reachable functions covered

69.75%

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: 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	282	21.8%
gold	[1:9]	31	2.40%
yellow	[10:29]	7	0.54%
greenyellow	[30:49]	15	1.16%
lawngreen	50+	954	74.0%
All colors	1289	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	557	ada::url_aggregator::has_port() const	call site: 00557	abort
15	62	ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)	call site: 00062	abort
14	933	ada_get_components	call site: 00933	printf
12	160	ada::url_aggregator::clear_hostname()	call site: 00160	abort
12	1032	_ZNR2tl8expectedIN3ada14url_aggregatorENS1_6errorsEE5valueIS2_TnPNSt3__19enable_ifIXntsr3std7is_voidIT_EE5valueEvE4typeELPv0EEERS8_v	call site: 01032	__cxa_allocate_exception
10	392	void ada::helpers::inner_concat > >(std::__1::basic_string , std::__1::allocator >&, char const*, std::__1::basic_string_view >)	call site: 00392	abort
9	382	ada::url_aggregator::get_host() const	call site: 00382	abort
6	226	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00226
6	490	ada::url_aggregator::set_href(std::__1::basic_string_view >)	call site: 00490
6	686	ada::url_aggregator::update_base_password(std::__1::basic_string_view >)	call site: 00686	abort
6	1001	LLVMFuzzerTestOneInput	call site: 01001	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	169	11.7%
gold	[1:9]	1	0.06%
yellow	[10:29]	1	0.06%
greenyellow	[30:49]	13	0.90%
lawngreen	50+	1255	87.2%
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	135	ada::url ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url const*)	call site: 00135	__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	530	28.8%
gold	[1:9]	3	0.16%
yellow	[10:29]	15	0.81%
greenyellow	[30:49]	12	0.65%
lawngreen	50+	1276	69.4%
All colors	1836	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	863	ada::url_aggregator ada::parser::parse_url_impl (std::__1::basic_string_view >, ada::url_aggregator const*)	call site: 00863	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	1108	bool ada::url_aggregator::set_host_or_hostname (std::__1::basic_string_view >)	call site: 01108	abort
15	546	ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)	call site: 00546	abort
10	1595	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: 01595	_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	1415	ada::url_pattern ::exec(std::__1::variant >, ada::url_pattern_init> const&, std::__1::basic_string_view > const*)	call site: 01415	_ZN2tl8expectedINSt3__18optionalIN3ada18url_pattern_resultEEENS3_6errorsEEC2IS6_TnPNS1_9enable_ifIXsr3std16is_constructibleIS6_OT_EE5valueEvE4typeELPv0ETnPNS9_IXsr3std14is_convertibleISB_S6_EE5valueEvE4typeELSF_0EEEONS_10unexpectedISA_EE
8	1144	ada::url_pattern_init::process_port(std::__1::basic_string_view >, std::__1::basic_string_view >, ada::url_pattern_init::process_type)	call site: 01144	_ZN2tl8expectedINSt3__112basic_stringIcNS1_11char_traitsIcEENS1_9allocatorIcEEEEN3ada6errorsEEC2IS9_TnPNS1_9enable_ifIXsr3std16is_constructibleIS9_OT_EE5valueEvE4typeELPv0ETnPNSC_IXsr3std14is_convertibleISE_S9_EE5valueEvE4typeELSI_0EEEONS_10unexpectedISD_EE
8	1270	_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: 01270
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	241	0	1069	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	1749	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

7470 / 7791

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

/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/can_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::checkers::is_windows_drive_letter(std::__1::basic_string_view >)', 'ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)', 'ada::url_aggregator::clear_hostname()', 'ada::url_aggregator::update_base_pathname(std::__1::basic_string_view >)', 'ada::url ada::parser::parse_url_impl(std::__1::basic_string_view >, ada::url const*)', 'ada::url_aggregator::clear_search()', 'LLVMFuzzerTestOneInput', 'ada::url_aggregator ada::parser::parse_url_impl(std::__1::basic_string_view >, ada::url_aggregator const*)', '_ZN2tl8expectedIN3ada14url_aggregatorENS1_6errorsEEC2IS3_TnPNSt3__19enable_ifIXsr3std16is_constructibleIS3_OT_EE5valueEvE4typeELPv0ETnPNS7_IXsr3std14is_convertibleIS9_S3_EE5valueEvE4typeELSD_0EEEONS_10unexpectedIS8_EE']

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

Directories in report

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