GCC Middle and Back End API Reference
ana::state_change_event Class Reference

#include <checker-event.h>

Inheritance diagram for ana::state_change_event:
Collaboration diagram for ana::state_change_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

 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)
 
label_text get_desc (bool can_colorize) const final override
 
meaning get_meaning () const override
 
const functionget_dest_function () const
 
const exploded_nodeget_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_locationget_logical_location () const final 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_tget_id_ptr () const
 
void dump (pretty_printer *pp) const
 
void debug () const
 
void set_location (location_t loc)
 

Data Fields

const supernodem_node
 
const gimplem_stmt
 
const state_machinem_sm
 
const svaluem_sval
 
state_machine::state_t m_from
 
state_machine::state_t m_to
 
const svaluem_origin
 
program_state m_dst_state
 
const exploded_nodem_enode
 
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_diagnosticm_pending_diagnostic
 
diagnostic_event_id_t m_emission_id
 
tree_logical_location m_logical_loc
 

Detailed Description

Subclass of checker_event describing a state change.   

Member Enumeration Documentation

◆ noun

Enumerator
NOUN_unknown 
NOUN_taint 
NOUN_sensitive 
NOUN_function 
NOUN_lock 
NOUN_memory 
NOUN_resource 

◆ property

Enumerator
PROPERTY_unknown 
PROPERTY_true 
PROPERTY_false 

◆ verb

Enumerator
VERB_unknown 
VERB_acquire 
VERB_release 
VERB_enter 
VERB_exit 
VERB_call 
VERB_return 
VERB_branch 
VERB_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 )

Member Function Documentation

◆ debug()

void ana::checker_event::debug ( ) const
inherited

◆ dump()

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

◆ get_desc()

label_text ana::state_change_event::get_desc ( bool can_colorize) const
finaloverridevirtual

Implements diagnostic_event.

◆ get_dest_function()

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

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

◆ get_id_ptr()

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

◆ get_location()

location_t ana::checker_event::get_location ( ) const
inlinefinaloverridevirtualinherited

◆ get_logical_location()

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

◆ 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

◆ get_stack_depth()

int ana::checker_event::get_stack_depth ( ) const
inlinefinaloverridevirtualinherited

◆ 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

◆ set_location()

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

Field Documentation

◆ m_dst_state

program_state ana::state_change_event::m_dst_state

Referenced by get_dest_function().

◆ m_effective_depth

int ana::checker_event::m_effective_depth
protectedinherited

◆ m_effective_fndecl

tree ana::checker_event::m_effective_fndecl
protectedinherited

◆ m_emission_id

diagnostic_event_id_t ana::checker_event::m_emission_id
protectedinherited

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

◆ m_loc

location_t ana::checker_event::m_loc
protectedinherited

◆ m_logical_loc

tree_logical_location ana::checker_event::m_logical_loc
protectedinherited

◆ 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

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