#include <checker-event.h>

Inheritance diagram for ana::debug_event:

Collaboration diagram for ana::debug_event:

Public Types
enum	verb { VERB_unknown , VERB_acquire , VERB_release , VERB_enter , VERB_exit , VERB_call , VERB_return , VERB_branch , VERB_danger }

enum	noun { NOUN_unknown , NOUN_taint , NOUN_sensitive , NOUN_function , NOUN_lock , NOUN_memory , NOUN_resource }

enum	property { PROPERTY_unknown , PROPERTY_true , PROPERTY_false }

Public Member Functions
	debug_event (const event_loc_info &loc_info, const char *desc)

	~debug_event ()

label_text	get_desc (bool) const final override

location_t	get_location () const final override

int	get_stack_depth () const final override

const logical_location *	get_logical_location () const final override

meaning	get_meaning () const override

bool	connect_to_next_event_p () const override

diagnostic_thread_id_t	get_thread_id () const final override

void	maybe_add_sarif_properties (sarif_object &thread_flow_loc_obj) const override

tree	get_fndecl () const

int	get_original_stack_depth () const

virtual void	prepare_for_emission (checker_path , pending_diagnostic pd, diagnostic_event_id_t emission_id)

virtual bool	is_call_p () const

virtual bool	is_function_entry_p () const

virtual bool	is_return_p () const

const diagnostic_event_id_t *	get_id_ptr () const

void	dump (pretty_printer *pp) const

void	debug () const

void	set_location (location_t loc)

Data Fields
enum event_kind	m_kind

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

diagnostic_event_id_t	m_emission_id

tree_logical_location	m_logical_loc

Private Attributes
char *	m_desc

Detailed Description

A concrete event subclass for a purely textual event, for use in
debugging path creation and filtering.

Member Enumeration Documentation

◆ noun

enum diagnostic_event::noun

inherited

Enumerator
NOUN_unknown
NOUN_taint
NOUN_sensitive
NOUN_function
NOUN_lock
NOUN_memory
NOUN_resource

◆ property

enum diagnostic_event::property

inherited

Enumerator
PROPERTY_unknown
PROPERTY_true
PROPERTY_false

◆ verb

enum diagnostic_event::verb

inherited

Enumerator
VERB_unknown
VERB_acquire
VERB_release
VERB_enter
VERB_exit
VERB_call
VERB_return
VERB_branch
VERB_danger

Constructor & Destructor Documentation

◆ debug_event()

ana::debug_event::debug_event	(	const event_loc_info &	loc_info,
		const char *	desc )

inline

◆ ~debug_event()

ana::debug_event::~debug_event ( )

inline

References free(), and m_desc.

Member Function Documentation

◆ connect_to_next_event_p()

bool ana::checker_event::connect_to_next_event_p ( ) const

inlineoverridevirtualinherited

Implements diagnostic_event.

Reimplemented in ana::start_cfg_edge_event, and ana::start_consolidated_cfg_edges_event.

◆ debug()

void ana::checker_event::debug ( ) const

inherited

◆ dump()

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

inherited

◆ get_desc()

label_text ana::debug_event::get_desc ( bool ) const

finaloverridevirtual

Implements diagnostic_event.

◆ get_fndecl()

tree ana::checker_event::get_fndecl ( ) const

inlineinherited

References ana::checker_event::m_effective_fndecl.

◆ get_id_ptr()

const diagnostic_event_id_t * ana::checker_event::get_id_ptr ( ) const

inlineinherited

References ana::checker_event::m_emission_id.

◆ get_location()

location_t ana::checker_event::get_location ( ) const

inlinefinaloverridevirtualinherited

Implements diagnostic_event.

References ana::checker_event::m_loc.

◆ get_logical_location()

const logical_location * ana::checker_event::get_logical_location ( ) const

inlinefinaloverridevirtualinherited

Implements diagnostic_event.

References ana::checker_event::m_effective_fndecl, ana::checker_event::m_logical_loc, and NULL.

◆ get_meaning()

meaning ana::checker_event::get_meaning ( ) const

overridevirtualinherited

Implements diagnostic_event.

Reimplemented in ana::function_entry_event, ana::inlined_call_event, ana::return_event, ana::start_consolidated_cfg_edges_event, ana::state_change_event, and ana::warning_event.

◆ get_original_stack_depth()

int ana::checker_event::get_original_stack_depth ( ) const

inlineinherited

References ana::checker_event::m_original_depth.

◆ get_stack_depth()

int ana::checker_event::get_stack_depth ( ) const

inlinefinaloverridevirtualinherited

Implements diagnostic_event.

References ana::checker_event::m_effective_depth.

◆ get_thread_id()

diagnostic_thread_id_t ana::checker_event::get_thread_id ( ) const

inlinefinaloverridevirtualinherited

Implements diagnostic_event.

◆ 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::checker_event::maybe_add_sarif_properties ( sarif_object & thread_flow_loc_obj ) const

overridevirtualinherited

Reimplemented from diagnostic_event.

Reimplemented in ana::superedge_event.

◆ prepare_for_emission()

virtual void ana::checker_event::prepare_for_emission	(	checker_path *	,
		pending_diagnostic *	pd,
		diagnostic_event_id_t	emission_id )

virtualinherited

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

Referenced by ana::checker_path::prepare_for_emission().

◆ set_location()

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

inlineinherited

References ana::checker_event::m_loc.

Field Documentation

◆ m_desc

char* ana::debug_event::m_desc

private

Referenced by ~debug_event().

◆ m_effective_depth

int ana::checker_event::m_effective_depth

protectedinherited

Referenced by ana::checker_event::get_stack_depth().

◆ m_effective_fndecl

tree ana::checker_event::m_effective_fndecl

protectedinherited

Referenced by ana::checker_event::get_fndecl(), and ana::checker_event::get_logical_location().

◆ m_emission_id

diagnostic_event_id_t ana::checker_event::m_emission_id

protectedinherited

Referenced by ana::checker_event::get_id_ptr().

◆ m_kind

enum event_kind ana::checker_event::m_kind

inherited

◆ m_loc

location_t ana::checker_event::m_loc

protectedinherited

Referenced by ana::checker_event::get_location(), and ana::checker_event::set_location().

◆ m_logical_loc

tree_logical_location ana::checker_event::m_logical_loc

protectedinherited

Referenced by ana::checker_event::get_logical_location().

◆ m_original_depth

int ana::checker_event::m_original_depth

protectedinherited

Referenced by ana::checker_event::get_original_stack_depth().

◆ m_original_fndecl

tree ana::checker_event::m_original_fndecl

protectedinherited

◆ m_pending_diagnostic

pending_diagnostic* ana::checker_event::m_pending_diagnostic

protectedinherited

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

checker-event.h

Public Types

Public Member Functions

Data Fields

Protected Attributes

Private Attributes

Detailed Description

Member Enumeration Documentation

◆ noun

◆ property

◆ verb

Constructor & Destructor Documentation

◆ debug_event()

◆ ~debug_event()

Member Function Documentation

◆ connect_to_next_event_p()

◆ debug()

◆ dump()

◆ get_desc()

◆ get_fndecl()

◆ get_id_ptr()

◆ get_location()

◆ get_logical_location()

◆ get_meaning()

◆ get_original_stack_depth()

◆ get_stack_depth()

◆ get_thread_id()

◆ is_call_p()

◆ is_function_entry_p()

◆ is_return_p()

◆ maybe_add_sarif_properties()

◆ prepare_for_emission()

◆ set_location()

Field Documentation

◆ m_desc

◆ m_effective_depth

◆ m_effective_fndecl

◆ m_emission_id

◆ m_kind

◆ m_loc

◆ m_logical_loc

◆ m_original_depth

◆ m_original_fndecl

◆ m_pending_diagnostic