reachability.h File Reference

#include <source_location>
#include <string_view>

Include dependency graph for reachability.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	ReachabilityGoal
	A reachability condition explicitly registered by a fuzz target. More...

Functions
void	RegisterReachabilityGoal (const ReachabilityGoal &goal)
	Register a goal before executing any fuzz inputs.
void	ObserveReachabilityGoal (bool reached, const ReachabilityGoal &goal)
	Record whether a registered goal is satisfied by at least one fuzz input.

Function Documentation

ObserveReachabilityGoal()

void ObserveReachabilityGoal	(	bool	reached,
		const ReachabilityGoal &	goal
	)

Record whether a registered goal is satisfied by at least one fuzz input.

Definition at line 103 of file reachability.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

RegisterReachabilityGoal()

void RegisterReachabilityGoal

(

const ReachabilityGoal &

goal

)

Register a goal before executing any fuzz inputs.

Definition at line 98 of file reachability.cpp.

Here is the call graph for this function:

Here is the caller graph for this function: