ana::rewind_info_t Class Reference

#include <exploded-graph.h>

Inheritance diagram for ana::rewind_info_t:

Collaboration diagram for ana::rewind_info_t:

Public Member Functions
	rewind_info_t (const setjmp_record &setjmp_record, const gcall &longjmp_call)
void	print (pretty_printer *pp) 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 final override
program_point	get_point_before_setjmp () const
program_point	get_point_after_setjmp () const
const gcall &	get_setjmp_call () const
const gcall &	get_longjmp_call () const
const exploded_node *	get_enode_origin () const
virtual void	get_dot_attrs (const char *&out_style, const char *&out_color) const
virtual bool	update_state (program_state *state, const exploded_edge *eedge, region_model_context *ctxt) 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
setjmp_record	m_setjmp_record
const gcall &	m_longjmp_call

Detailed Description

Extra data for an exploded_edge that represents a rewind from a
longjmp to a setjmp (or from a siglongjmp to a sigsetjmp).   

Constructor & Destructor Documentation

rewind_info_t()

ana::rewind_info_t::rewind_info_t ( const setjmp_record & setjmp_record, const gcall & longjmp_call )

inline

References m_longjmp_call, and m_setjmp_record.

Member Function Documentation

add_events_to_path()

void ana::rewind_info_t::add_events_to_path ( checker_path * emission_path, const exploded_edge & eedge, pending_diagnostic & pd ) 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()

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

virtualinherited

Reimplemented in ana::interprocedural_call, and ana::interprocedural_return.

get_enode_origin()

const exploded_node * ana::rewind_info_t::get_enode_origin ( ) const

inline

References m_setjmp_record.

Referenced by get_point_after_setjmp(), and get_point_before_setjmp().

get_longjmp_call()

const gcall & ana::rewind_info_t::get_longjmp_call ( ) const

inline

References m_longjmp_call.

get_point_after_setjmp()

program_point ana::rewind_info_t::get_point_after_setjmp ( ) const

inline

References ana::program_point::get_call_string(), get_enode_origin(), ana::exploded_node::get_point(), and m_setjmp_record.

get_point_before_setjmp()

program_point ana::rewind_info_t::get_point_before_setjmp ( ) const

inline

References get_enode_origin(), and ana::exploded_node::get_point().

get_setjmp_call()

const gcall & ana::rewind_info_t::get_setjmp_call ( ) const

inline

References m_setjmp_record.

print()

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

inlinefinaloverridevirtual

Implements ana::custom_edge_info.

References pp_string().

update_model()

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

finaloverridevirtual

Implements ana::custom_edge_info.

update_state()

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

virtualinherited

Reimplemented in ana::interprocedural_call, and ana::interprocedural_return.

Field Documentation

m_longjmp_call

const gcall& ana::rewind_info_t::m_longjmp_call

private

Referenced by get_longjmp_call(), and rewind_info_t().

m_setjmp_record

setjmp_record ana::rewind_info_t::m_setjmp_record

private

Referenced by get_enode_origin(), get_point_after_setjmp(), get_setjmp_call(), and rewind_info_t().

---

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

• exploded-graph.h