ana::warning_event Class Reference

#include <checker-event.h>

Inheritance diagram for ana::warning_event:

Collaboration diagram for ana::warning_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
	warning_event (const event_loc_info &loc_info, const exploded_node *enode, const state_machine *sm, tree var, state_machine::state_t state)
label_text	get_desc (bool can_colorize) const final override
meaning	get_meaning () const override
const exploded_node *	get_exploded_node () const
location_t	get_location () const final override
tree	get_fndecl () const final override
int	get_stack_depth () const final override
const logical_location *	get_logical_location () const final 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
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
const exploded_node *	m_enode
const state_machine *	m_sm
tree	m_var
state_machine::state_t	m_state

Detailed Description

Concrete subclass of checker_event for use at the end of a path:
a repeat of the warning message at the end of the path (perhaps with
references to pertinent events that occurred on the way), at the point
where the problem occurs.   

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

warning_event()

ana::warning_event::warning_event ( const event_loc_info & loc_info, const exploded_node * enode, const state_machine * sm, tree var, state_machine::state_t state )

inline

References ana::EK_WARNING.

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::warning_event::get_desc ( bool can_colorize ) const

finaloverridevirtual

Implements diagnostic_event.

get_exploded_node()

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

inline

get_fndecl()

tree ana::checker_event::get_fndecl ( ) const

inlinefinaloverridevirtualinherited

Implements diagnostic_event.

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::warning_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 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::setjmp_event, and ana::rewind_to_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_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_enode

const exploded_node* ana::warning_event::m_enode

private

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

m_sm

const state_machine* ana::warning_event::m_sm

private

m_state

state_machine::state_t ana::warning_event::m_state

private

m_var

tree ana::warning_event::m_var

private

---

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

• checker-event.h