ana::interprocedural_call Class Reference

#include <exploded-graph.h>

Inheritance diagram for ana::interprocedural_call:

Collaboration diagram for ana::interprocedural_call:

Public Member Functions
	interprocedural_call (const call_and_return_op &op, function &callee_fun)
void	print (pretty_printer *pp) const final override
void	get_dot_attrs (const char *&out_style, const char *&out_color) const final override
bool	update_state (program_state *state, const exploded_edge *eedge, region_model_context *ctxt) const final override
bool	update_model (region_model *model, const exploded_edge *eedge, region_model_context *ctxt) const final override
void	add_events_to_path (checker_path *emission_path, const exploded_edge &eedge, pending_diagnostic &pd, const state_transition *state_trans) const final override
bool	try_to_rewind_data_flow (rewind_context &) const final override
const gcall &	get_gcall () const
virtual exploded_node *	create_enode (exploded_graph &eg, const program_point &point, program_state &&state, exploded_node *enode_for_diag, region_model_context *ctxt) const

Private Attributes
const call_and_return_op &	m_op
function &	m_callee_fun

Detailed Description

Extra data for an exploded_edge that represents an interprocedural
call.   

Constructor & Destructor Documentation

interprocedural_call()

ana::interprocedural_call::interprocedural_call ( const call_and_return_op & op, function & callee_fun )

inline

References m_callee_fun, and m_op.

Member Function Documentation

add_events_to_path()

void ana::interprocedural_call::add_events_to_path ( checker_path * emission_path, const exploded_edge & eedge, pending_diagnostic & pd, const state_transition * state_trans ) const

finaloverridevirtual

Implements ana::custom_edge_info.

create_enode()

virtual exploded_node * ana::custom_edge_info::create_enode ( exploded_graph & eg, const program_point & point, program_state && state, exploded_node * enode_for_diag, region_model_context * ctxt ) const

virtualinherited

get_dot_attrs()

void ana::interprocedural_call::get_dot_attrs ( const char *& out_style, const char *& out_color ) const

finaloverridevirtual

Reimplemented from ana::custom_edge_info.

get_gcall()

const gcall & ana::interprocedural_call::get_gcall

(

)

const

print()

void ana::interprocedural_call::print ( pretty_printer * pp ) const

finaloverridevirtual

Implements ana::custom_edge_info.

try_to_rewind_data_flow()

bool ana::interprocedural_call::try_to_rewind_data_flow ( rewind_context & ) const

finaloverridevirtual

Reimplemented from ana::custom_edge_info.

update_model()

bool ana::interprocedural_call::update_model ( region_model * model, const exploded_edge * eedge, region_model_context * ctxt ) const

finaloverridevirtual

Implements ana::custom_edge_info.

update_state()

bool ana::interprocedural_call::update_state ( program_state * state, const exploded_edge * eedge, region_model_context * ctxt ) const

finaloverridevirtual

Reimplemented from ana::custom_edge_info.

Field Documentation

m_callee_fun

function& ana::interprocedural_call::m_callee_fun

private

Referenced by interprocedural_call().

m_op

const call_and_return_op& ana::interprocedural_call::m_op

private

Referenced by interprocedural_call().

---

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

• exploded-graph.h