#include <checker-event.h>

Inheritance diagram for ana::state_change_event:

[legend]

Collaboration diagram for ana::state_change_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
	state_change_event (const supernode node, const gimple stmt, int stack_depth, const state_machine &sm, const svalue sval, state_machine::state_t from, state_machine::state_t to, const svalue origin, const program_state &dst_state, const exploded_node *enode)
void	print_desc (pretty_printer &pp) const final override
meaning	get_meaning () const override
const program_state *	get_program_state () const final override
const function *	get_dest_function () const
const exploded_node *	get_exploded_node () const
location_t	get_location () const final override
int	get_stack_depth () const final override
diagnostics::logical_locations::key	get_logical_location () const final override
bool	connect_to_next_event_p () const override
diagnostics::paths::thread_id_t	get_thread_id () const final override
void	maybe_add_sarif_properties (diagnostics::sarif_builder &, diagnostics::sarif_object &thread_flow_loc_obj) const 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 supernode *	m_node
const gimple *	m_stmt
const state_machine &	m_sm
const svalue *	m_sval
state_machine::state_t	m_from
state_machine::state_t	m_to
const svalue *	m_origin
program_state	m_dst_state
const exploded_node *	m_enode

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

Private Attributes
const checker_path *	m_path
enum event_kind	m_kind

Detailed Description

Subclass of checker_event describing a state change.

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

◆ state_change_event()

ana::state_change_event::state_change_event	(	const supernode *	node,
		const gimple *	stmt,
		int	stack_depth,
		const state_machine &	sm,
		const svalue *	sval,
		state_machine::state_t	from,
		state_machine::state_t	to,
		const svalue *	origin,
		const program_state &	dst_state,
		const exploded_node *	enode )

References ana::stmt.

Member Function Documentation

◆ connect_to_next_event_p()

bool ana::checker_event::connect_to_next_event_p ( ) const

inlineoverridevirtualinherited

Implements diagnostics::paths::event.

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

◆ 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_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_dest_function()

const function * ana::state_change_event::get_dest_function ( ) const

inline

References diagnostics::paths::event::function, and m_dst_state.

◆ get_exploded_node()

const exploded_node * ana::state_change_event::get_exploded_node ( ) const

inline

References m_enode.

◆ 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::state_change_event::get_meaning ( ) const

overridevirtual

Reimplemented from ana::checker_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::state_change_event::get_program_state ( ) const

inlinefinaloverridevirtual

Reimplemented from ana::checker_event.

References final(), and m_dst_state.

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

overridevirtualinherited

Reimplemented from diagnostics::paths::event.

Reimplemented in ana::superedge_event.

◆ 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 ana::state_change_event::print_desc ( pretty_printer & pp ) const

finaloverridevirtual

Implements diagnostics::paths::event.

◆ set_location()

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

inlineinherited

References m_loc.

Field Documentation

◆ m_dst_state

program_state ana::state_change_event::m_dst_state

Referenced by get_dest_function(), and get_program_state().

◆ 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_enode

const exploded_node* ana::state_change_event::m_enode

Referenced by get_exploded_node().

◆ m_from

state_machine::state_t ana::state_change_event::m_from

◆ 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_node

const supernode* ana::state_change_event::m_node

◆ m_origin

const svalue* ana::state_change_event::m_origin

◆ 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_sm

const state_machine& ana::state_change_event::m_sm

◆ m_stmt

const gimple* ana::state_change_event::m_stmt

◆ m_sval

const svalue* ana::state_change_event::m_sval

◆ m_to

state_machine::state_t ana::state_change_event::m_to

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

◆ state_change_event()

Member Function Documentation

◆ connect_to_next_event_p()

◆ debug()

◆ dump()

◆ get_desc()

◆ get_dest_function()

◆ get_exploded_node()

◆ 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_make_diagnostic_state_graph()

◆ prepare_for_emission()

◆ print_desc()

◆ set_location()

Field Documentation

◆ m_dst_state

◆ m_effective_depth

◆ m_effective_fndecl

◆ m_emission_id

◆ m_enode

◆ m_from

◆ m_kind

◆ m_loc

◆ m_logical_loc

◆ m_node

◆ m_origin

◆ m_original_depth

◆ m_original_fndecl

◆ m_path

◆ m_pending_diagnostic

◆ m_sm

◆ m_stmt

◆ m_sval

◆ m_to