GCC Middle and Back End API Reference
|
#include <checker-event.h>
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 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 |
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 |
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 | |
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 |
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 |
Subclass of checker_event describing a state change.
|
inherited |
|
inherited |
|
inherited |
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 ) |
|
inlineoverridevirtualinherited |
Implements diagnostic_event.
Reimplemented in ana::start_cfg_edge_event, and ana::start_consolidated_cfg_edges_event.
|
inherited |
|
inherited |
|
finaloverridevirtual |
Implements diagnostic_event.
|
inline |
References ana::program_state::get_current_function(), and m_dst_state.
|
inline |
References m_enode.
|
inlineinherited |
References ana::checker_event::m_effective_fndecl.
|
inlineinherited |
References ana::checker_event::m_emission_id.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
References ana::checker_event::m_loc.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
References ana::checker_event::m_effective_fndecl, ana::checker_event::m_logical_loc, and NULL.
|
overridevirtual |
Reimplemented from ana::checker_event.
|
inlineinherited |
References ana::checker_event::m_original_depth.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
References ana::checker_event::m_effective_depth.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
|
inlinevirtualinherited |
Reimplemented in ana::call_event.
|
inlinevirtualinherited |
Reimplemented in ana::function_entry_event.
|
inlinevirtualinherited |
Reimplemented in ana::return_event.
|
overridevirtualinherited |
Reimplemented from diagnostic_event.
Reimplemented in ana::superedge_event.
|
virtualinherited |
Reimplemented in ana::rewind_to_setjmp_event, and ana::setjmp_event.
Referenced by ana::checker_path::prepare_for_emission().
|
inlineinherited |
References ana::checker_event::m_loc.
program_state ana::state_change_event::m_dst_state |
Referenced by get_dest_function().
|
protectedinherited |
Referenced by ana::checker_event::get_stack_depth().
|
protectedinherited |
Referenced by ana::checker_event::get_fndecl(), and ana::checker_event::get_logical_location().
|
protectedinherited |
Referenced by ana::checker_event::get_id_ptr().
const exploded_node* ana::state_change_event::m_enode |
Referenced by get_exploded_node().
state_machine::state_t ana::state_change_event::m_from |
|
inherited |
|
protectedinherited |
Referenced by ana::checker_event::get_location(), and ana::checker_event::set_location().
|
protectedinherited |
Referenced by ana::checker_event::get_logical_location().
const supernode* ana::state_change_event::m_node |
const svalue* ana::state_change_event::m_origin |
|
protectedinherited |
Referenced by ana::checker_event::get_original_stack_depth().
|
protectedinherited |
|
protectedinherited |
const state_machine& ana::state_change_event::m_sm |
const gimple* ana::state_change_event::m_stmt |
const svalue* ana::state_change_event::m_sval |
state_machine::state_t ana::state_change_event::m_to |