Inheritance diagram for looping_back_event:

[legend]

Collaboration diagram for looping_back_event:

[legend]

Public Types
enum class	verb { unknown , acquire , release , enter , exit , call , return_ , branch , danger }
enum class	noun { unknown , taint , sensitive , function , lock , memory , resource }
enum class	property { unknown , true_ , false_ }

Public Member Functions
	looping_back_event (const exploded_edge &eedge, const event_loc_info &loc_info)
void	print_desc (pretty_printer &pp) const final override
bool	connect_to_next_event_p () const final override
meaning	get_meaning () const override
const cfg_superedge &	get_cfg_superedge () const
void	maybe_add_sarif_properties (diagnostics::sarif_builder &, diagnostics::sarif_object &thread_flow_loc_obj) const override
void	record_critical_state (tree var, state_machine::state_t state)
const callgraph_superedge &	get_callgraph_superedge () const
bool	should_filter_p (int verbosity) const
const program_state *	get_program_state () const override
location_t	get_location () const final override
int	get_stack_depth () const final override
diagnostics::logical_locations::key	get_logical_location () const final override
diagnostics::paths::thread_id_t	get_thread_id () const final override
enum event_kind	get_kind () const
tree	get_fndecl () const
int	get_original_stack_depth () const
virtual void	prepare_for_emission (checker_path , pending_diagnostic pd, diagnostics::paths::event_id_t emission_id)
virtual bool	is_call_p () const
virtual bool	is_function_entry_p () const
virtual bool	is_return_p () const
std::unique_ptr< diagnostics::digraphs::digraph >	maybe_make_diagnostic_state_graph (bool debug) const final override
const diagnostics::paths::event_id_t *	get_id_ptr () const
void	dump (pretty_printer *pp) const
void	debug () const
void	set_location (location_t loc)
label_text	get_desc (pretty_printer &ref_pp) const

Data Fields
const exploded_edge &	m_eedge
const superedge *	m_sedge
tree	m_var
state_machine::state_t	m_critical_state

Protected Member Functions
label_text	maybe_describe_condition (bool can_colorize) const

Protected Attributes
location_t	m_loc
tree	m_original_fndecl
tree	m_effective_fndecl
int	m_original_depth
int	m_effective_depth
pending_diagnostic *	m_pending_diagnostic
diagnostics::paths::event_id_t	m_emission_id
diagnostics::logical_locations::key	m_logical_loc

Static Private Member Functions
static label_text	maybe_describe_condition (bool can_colorize, tree lhs, enum tree_code op, tree rhs)
static bool	should_print_expr_p (tree)

Private Attributes
const checker_path *	m_path
enum event_kind	m_kind

Member Enumeration Documentation

◆ noun

enum class diagnostics::paths::event::noun

stronginherited

Enumerator
unknown
taint
sensitive
function
lock
memory
resource

◆ property

enum class diagnostics::paths::event::property

stronginherited

Enumerator
unknown
true_
false_

◆ verb

enum class diagnostics::paths::event::verb

stronginherited

Enumerator
unknown
acquire
release
enter
exit
call
return_
branch
danger

Constructor & Destructor Documentation

◆ looping_back_event()

looping_back_event::looping_back_event	(	const exploded_edge &	eedge,
		const event_loc_info &	loc_info )

inline

References ana::start_cfg_edge_event::start_cfg_edge_event().

Member Function Documentation

◆ connect_to_next_event_p()

bool ana::start_cfg_edge_event::connect_to_next_event_p ( ) const

inlinefinaloverridevirtualinherited

Reimplemented from ana::checker_event.

References final().

◆ debug()

void ana::checker_event::debug ( ) const

inherited

Referenced by ana::debug_event::debug_event(), and maybe_make_diagnostic_state_graph().

◆ dump()

void ana::checker_event::dump ( pretty_printer * pp ) const

inherited

◆ get_callgraph_superedge()

const callgraph_superedge & ana::superedge_event::get_callgraph_superedge ( ) const

inherited

◆ get_cfg_superedge()

const cfg_superedge & ana::cfg_edge_event::get_cfg_superedge ( ) const

inherited

◆ get_desc()

label_text event::get_desc ( pretty_printer & ref_pp ) const

inherited

Generate a label_text containing the description of this event
(for debugging/logging purposes).

References pretty_printer::clone(), pp_formatted_text(), pp_show_color(), and print_desc().

◆ get_fndecl()

tree ana::checker_event::get_fndecl ( ) const

inlineinherited

References m_effective_fndecl.

◆ get_id_ptr()

const diagnostics::paths::event_id_t * ana::checker_event::get_id_ptr ( ) const

inlineinherited

References m_emission_id.

◆ get_kind()

enum event_kind ana::checker_event::get_kind ( ) const

inlineinherited

References m_kind.

◆ get_location()

location_t ana::checker_event::get_location ( ) const

inlinefinaloverridevirtualinherited

Implements diagnostics::paths::event.

References final(), and m_loc.

◆ get_logical_location()

diagnostics::logical_locations::key ana::checker_event::get_logical_location ( ) const

inlinefinaloverridevirtualinherited

Implements diagnostics::paths::event.

References final(), and m_logical_loc.

◆ get_meaning()

meaning ana::cfg_edge_event::get_meaning ( ) const

overridevirtualinherited

Implements diagnostics::paths::event.

◆ get_original_stack_depth()

int ana::checker_event::get_original_stack_depth ( ) const

inlineinherited

References m_original_depth.

◆ get_program_state()

const program_state * ana::superedge_event::get_program_state ( ) const

overridevirtualinherited

Reimplemented from ana::checker_event.

◆ get_stack_depth()

int ana::checker_event::get_stack_depth ( ) const

inlinefinaloverridevirtualinherited

Implements diagnostics::paths::event.

References final(), and m_effective_depth.

◆ get_thread_id()

diagnostics::paths::thread_id_t ana::checker_event::get_thread_id ( ) const

inlinefinaloverridevirtualinherited

Implements diagnostics::paths::event.

References final().

◆ is_call_p()

virtual bool ana::checker_event::is_call_p ( ) const

inlinevirtualinherited

Reimplemented in ana::call_event.

◆ is_function_entry_p()

virtual bool ana::checker_event::is_function_entry_p ( ) const

inlinevirtualinherited

Reimplemented in ana::function_entry_event.

◆ is_return_p()

virtual bool ana::checker_event::is_return_p ( ) const

inlinevirtualinherited

Reimplemented in ana::return_event.

◆ maybe_add_sarif_properties()

void ana::superedge_event::maybe_add_sarif_properties	(	diagnostics::sarif_builder &	,
		diagnostics::sarif_object &	thread_flow_loc_obj ) const

overridevirtualinherited

Reimplemented from ana::checker_event.

◆ maybe_describe_condition() [1/2]

label_text ana::start_cfg_edge_event::maybe_describe_condition ( bool can_colorize ) const

protectedinherited

Referenced by perpetual_start_cfg_edge_event::print_desc().

◆ maybe_describe_condition() [2/2]

label_text ana::start_cfg_edge_event::maybe_describe_condition	(	bool	can_colorize,
		tree	lhs,
		enum tree_code	op,
		tree	rhs )

staticprivateinherited

◆ maybe_make_diagnostic_state_graph()

std::unique_ptr< diagnostics::digraphs::digraph > ana::checker_event::maybe_make_diagnostic_state_graph ( bool debug ) const

finaloverridevirtualinherited

Reimplemented from diagnostics::paths::event.

References debug().

◆ prepare_for_emission()

virtual void ana::checker_event::prepare_for_emission	(	checker_path *	,
		pending_diagnostic *	pd,
		diagnostics::paths::event_id_t	emission_id )

virtualinherited

Reimplemented in ana::rewind_to_setjmp_event, and ana::setjmp_event.

◆ print_desc()

void looping_back_event::print_desc ( pretty_printer & pp ) const

inlinefinaloverridevirtual

Implements diagnostics::paths::event.

References pp_string().

◆ record_critical_state()

void ana::superedge_event::record_critical_state	(	tree	var,
		state_machine::state_t	state )

inlineinherited

References m_critical_state, and m_var.

◆ set_location()

void ana::checker_event::set_location ( location_t loc )

inlineinherited

References m_loc.

◆ should_filter_p()

bool ana::superedge_event::should_filter_p ( int verbosity ) const

inherited

◆ should_print_expr_p()

bool ana::start_cfg_edge_event::should_print_expr_p ( tree )

staticprivateinherited

Field Documentation

◆ m_critical_state

state_machine::state_t ana::superedge_event::m_critical_state

inherited

Referenced by record_critical_state().

◆ m_eedge

const exploded_edge& ana::superedge_event::m_eedge

inherited

◆ m_effective_depth

int ana::checker_event::m_effective_depth

protectedinherited

Referenced by get_stack_depth().

◆ m_effective_fndecl

tree ana::checker_event::m_effective_fndecl

protectedinherited

Referenced by get_fndecl().

◆ m_emission_id

diagnostics::paths::event_id_t ana::checker_event::m_emission_id

protectedinherited

Referenced by get_id_ptr().

◆ m_kind

enum event_kind ana::checker_event::m_kind

privateinherited

Referenced by get_kind().

◆ m_loc

location_t ana::checker_event::m_loc

protectedinherited

Referenced by get_location(), and set_location().

◆ m_logical_loc

diagnostics::logical_locations::key ana::checker_event::m_logical_loc

protectedinherited

Referenced by get_logical_location().

◆ m_original_depth

int ana::checker_event::m_original_depth

protectedinherited

Referenced by get_original_stack_depth().

◆ m_original_fndecl

tree ana::checker_event::m_original_fndecl

protectedinherited

◆ m_path

const checker_path* ana::checker_event::m_path

privateinherited

◆ m_pending_diagnostic

pending_diagnostic* ana::checker_event::m_pending_diagnostic

protectedinherited

◆ m_sedge

const superedge* ana::superedge_event::m_sedge

inherited

Referenced by perpetual_start_cfg_edge_event::print_desc().

◆ m_var

tree ana::superedge_event::m_var

inherited

Referenced by record_critical_state().

The documentation for this class was generated from the following file:

infinite-loop.cc

Public Types

Public Member Functions

Data Fields

Protected Member Functions

Protected Attributes

Static Private Member Functions

Private Attributes

Member Enumeration Documentation

◆ noun

◆ property

◆ verb

Constructor & Destructor Documentation

◆ looping_back_event()

Member Function Documentation

◆ connect_to_next_event_p()

◆ debug()

◆ dump()

◆ get_callgraph_superedge()

◆ get_cfg_superedge()

◆ get_desc()

◆ get_fndecl()

◆ get_id_ptr()

◆ get_kind()

◆ get_location()

◆ get_logical_location()

◆ get_meaning()

◆ get_original_stack_depth()

◆ get_program_state()

◆ get_stack_depth()

◆ get_thread_id()

◆ is_call_p()

◆ is_function_entry_p()

◆ is_return_p()

◆ maybe_add_sarif_properties()

◆ maybe_describe_condition() [1/2]

◆ maybe_describe_condition() [2/2]

◆ maybe_make_diagnostic_state_graph()

◆ prepare_for_emission()

◆ print_desc()

◆ record_critical_state()

◆ set_location()

◆ should_filter_p()

◆ should_print_expr_p()

Field Documentation

◆ m_critical_state

◆ m_eedge

◆ m_effective_depth

◆ m_effective_fndecl

◆ m_emission_id

◆ m_kind

◆ m_loc

◆ m_logical_loc

◆ m_original_depth

◆ m_original_fndecl

◆ m_path

◆ m_pending_diagnostic

◆ m_sedge

◆ m_var