|
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_
} |
◆ noun
Enumerator |
---|
unknown | |
taint | |
sensitive | |
function | |
lock | |
memory | |
resource | |
◆ property
Enumerator |
---|
unknown | |
true_ | |
false_ | |
◆ verb
Enumerator |
---|
unknown | |
acquire | |
release | |
enter | |
exit | |
call | |
return_ | |
branch | |
danger | |
◆ looping_back_event()
◆ connect_to_next_event_p()
bool ana::start_cfg_edge_event::connect_to_next_event_p |
( |
| ) |
const |
|
inlinefinaloverridevirtualinherited |
◆ debug()
void ana::checker_event::debug |
( |
| ) |
const |
|
inherited |
◆ dump()
◆ get_callgraph_superedge()
◆ get_cfg_superedge()
const cfg_superedge & ana::cfg_edge_event::get_cfg_superedge |
( |
| ) |
const |
|
inherited |
◆ get_desc()
label_text diagnostic_event::get_desc |
( |
pretty_printer & | ref_pp | ) |
const |
|
inherited |
◆ get_fndecl()
tree ana::checker_event::get_fndecl |
( |
| ) |
const |
|
inlineinherited |
◆ get_id_ptr()
◆ get_kind()
enum event_kind ana::checker_event::get_kind |
( |
| ) |
const |
|
inlineinherited |
◆ get_location()
location_t ana::checker_event::get_location |
( |
| ) |
const |
|
inlinefinaloverridevirtualinherited |
◆ get_logical_location()
|
inlinefinaloverridevirtualinherited |
◆ get_meaning()
meaning ana::cfg_edge_event::get_meaning |
( |
| ) |
const |
|
overridevirtualinherited |
◆ get_original_stack_depth()
int ana::checker_event::get_original_stack_depth |
( |
| ) |
const |
|
inlineinherited |
◆ get_program_state()
const program_state * ana::superedge_event::get_program_state |
( |
| ) |
const |
|
overridevirtualinherited |
◆ get_stack_depth()
int ana::checker_event::get_stack_depth |
( |
| ) |
const |
|
inlinefinaloverridevirtualinherited |
◆ get_thread_id()
|
inlinefinaloverridevirtualinherited |
◆ is_call_p()
virtual bool ana::checker_event::is_call_p |
( |
| ) |
const |
|
inlinevirtualinherited |
◆ is_function_entry_p()
virtual bool ana::checker_event::is_function_entry_p |
( |
| ) |
const |
|
inlinevirtualinherited |
◆ is_return_p()
virtual bool ana::checker_event::is_return_p |
( |
| ) |
const |
|
inlinevirtualinherited |
◆ maybe_add_sarif_properties()
◆ maybe_describe_condition() [1/2]
label_text ana::start_cfg_edge_event::maybe_describe_condition |
( |
bool | can_colorize | ) |
const |
|
protectedinherited |
◆ maybe_describe_condition() [2/2]
label_text ana::start_cfg_edge_event::maybe_describe_condition |
( |
bool | can_colorize, |
|
|
tree | lhs, |
|
|
enum tree_code | op, |
|
|
tree | rhs ) |
|
staticprivateinherited |
◆ maybe_make_xml_state()
std::unique_ptr< xml::document > ana::checker_event::maybe_make_xml_state |
( |
bool | debug | ) |
const |
|
finaloverridevirtualinherited |
◆ prepare_for_emission()
◆ print_desc()
|
inlinefinaloverridevirtual |
◆ record_critical_state()
◆ set_location()
void ana::checker_event::set_location |
( |
location_t | loc | ) |
|
|
inlineinherited |
◆ should_filter_p()
bool ana::superedge_event::should_filter_p |
( |
int | verbosity | ) |
const |
|
inherited |
◆ should_print_expr_p()
bool ana::start_cfg_edge_event::should_print_expr_p |
( |
tree | | ) |
|
|
staticprivateinherited |
◆ m_critical_state
state_machine::state_t ana::superedge_event::m_critical_state |
|
inherited |
◆ m_eedge
◆ 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
◆ m_kind
◆ m_loc
location_t ana::checker_event::m_loc |
|
protectedinherited |
◆ m_logical_loc
◆ m_original_depth
int ana::checker_event::m_original_depth |
|
protectedinherited |
◆ m_original_fndecl
tree ana::checker_event::m_original_fndecl |
|
protectedinherited |
◆ m_path
◆ m_pending_diagnostic
◆ m_sedge
const superedge* ana::superedge_event::m_sedge |
|
inherited |
◆ m_var
tree ana::superedge_event::m_var |
|
inherited |
The documentation for this class was generated from the following file: