#include <program-state.h>

Collaboration diagram for ana::sm_state_map:

[legend]

Data Structures
struct	entry_t

Public Types
typedef hash_map< const svalue *, entry_t >	map_t
typedef map_t::iterator	iterator_t

Public Member Functions
	sm_state_map (const state_machine &sm)
sm_state_map *	clone () const
void	print (const region_model model, bool simple, bool multiline, pretty_printer pp) const
void	dump (bool simple) const
std::unique_ptr< json::object >	to_json () const
std::unique_ptr< text_art::tree_widget >	make_dump_widget (const text_art::dump_widget_info &dwi, const region_model *model) const
bool	is_empty_p () const
hashval_t	hash () const
bool	operator== (const sm_state_map &other) const
bool	operator!= (const sm_state_map &other) const
state_machine::state_t	get_state (const svalue *sval, const extrinsic_state &ext_state) const
const svalue *	get_origin (const svalue *sval, const extrinsic_state &ext_state) const
void	set_state (region_model model, const svalue sval, state_machine::state_t state, const svalue *origin, const extrinsic_state &ext_state)
bool	set_state (const equiv_class &ec, state_machine::state_t state, const svalue *origin, const extrinsic_state &ext_state)
bool	impl_set_state (const svalue sval, state_machine::state_t state, const svalue origin, const extrinsic_state &ext_state)
void	clear_any_state (const svalue *sval)
void	clear_all_per_svalue_state ()
void	set_global_state (state_machine::state_t state)
state_machine::state_t	get_global_state () const
void	on_svalue_leak (const svalue sval, impl_region_model_context ctxt)
void	on_liveness_change (const svalue_set &live_svalues, const region_model model, const extrinsic_state &ext_state, impl_region_model_context ctxt)
void	on_unknown_change (const svalue *sval, bool is_mutable, const extrinsic_state &ext_state)
void	purge_state_involving (const svalue *sval, const extrinsic_state &ext_state)
iterator_t	begin () const
iterator_t	end () const
size_t	elements () const
bool	replay_call_summary (call_summary_replay &r, const sm_state_map &summary)
bool	can_merge_with_p (const sm_state_map &other, const state_machine &sm, const extrinsic_state &ext_state, sm_state_map **out) const

Static Public Member Functions
static int	cmp (const sm_state_map &smap_a, const sm_state_map &smap_b)
static const svalue *	canonicalize_svalue (const svalue *sval, const extrinsic_state &ext_state)

Private Attributes
const state_machine &	m_sm
map_t	m_map
state_machine::state_t	m_global_state

Detailed Description

Map from svalue * to state machine state, also capturing the origin of
each state.

Member Typedef Documentation

◆ iterator_t

typedef map_t::iterator ana::sm_state_map::iterator_t

◆ map_t

typedef hash_map<const svalue *, entry_t> ana::sm_state_map::map_t

Constructor & Destructor Documentation

◆ sm_state_map()

ana::sm_state_map::sm_state_map ( const state_machine & sm )

Referenced by can_merge_with_p(), clone(), cmp(), operator!=(), operator==(), and replay_call_summary().

Member Function Documentation

◆ begin()

iterator_t ana::sm_state_map::begin ( ) const

inline

References m_map.

◆ can_merge_with_p()

bool ana::sm_state_map::can_merge_with_p	(	const sm_state_map &	other,
		const state_machine &	sm,
		const extrinsic_state &	ext_state,
		sm_state_map **	out ) const

References sm_state_map().

◆ canonicalize_svalue()

const svalue * ana::sm_state_map::canonicalize_svalue	(	const svalue *	sval,
		const extrinsic_state &	ext_state )

static

◆ clear_all_per_svalue_state()

void ana::sm_state_map::clear_all_per_svalue_state ( )

◆ clear_any_state()

void ana::sm_state_map::clear_any_state ( const svalue * sval )

◆ clone()

sm_state_map * ana::sm_state_map::clone ( ) const

References sm_state_map().

◆ cmp()

int ana::sm_state_map::cmp	(	const sm_state_map &	smap_a,
		const sm_state_map &	smap_b )

static

References sm_state_map().

◆ dump()

void ana::sm_state_map::dump ( bool simple ) const

◆ elements()

size_t ana::sm_state_map::elements ( ) const

inline

References m_map.

◆ end()

iterator_t ana::sm_state_map::end ( ) const

inline

References m_map.

◆ get_global_state()

state_machine::state_t ana::sm_state_map::get_global_state ( ) const

◆ get_origin()

const svalue * ana::sm_state_map::get_origin	(	const svalue *	sval,
		const extrinsic_state &	ext_state ) const

◆ get_state()

state_machine::state_t ana::sm_state_map::get_state	(	const svalue *	sval,
		const extrinsic_state &	ext_state ) const

Referenced by ana::program_state::can_purge_p().

◆ hash()

hashval_t ana::sm_state_map::hash ( ) const

◆ impl_set_state()

bool ana::sm_state_map::impl_set_state	(	const svalue *	sval,
		state_machine::state_t	state,
		const svalue *	origin,
		const extrinsic_state &	ext_state )

◆ is_empty_p()

bool ana::sm_state_map::is_empty_p ( ) const

◆ make_dump_widget()

std::unique_ptr< text_art::tree_widget > ana::sm_state_map::make_dump_widget	(	const text_art::dump_widget_info &	dwi,
		const region_model *	model ) const

◆ on_liveness_change()

void ana::sm_state_map::on_liveness_change	(	const svalue_set &	live_svalues,
		const region_model *	model,
		const extrinsic_state &	ext_state,
		impl_region_model_context *	ctxt )

◆ on_svalue_leak()

void ana::sm_state_map::on_svalue_leak	(	const svalue *	sval,
		impl_region_model_context *	ctxt )

◆ on_unknown_change()

void ana::sm_state_map::on_unknown_change	(	const svalue *	sval,
		bool	is_mutable,
		const extrinsic_state &	ext_state )

◆ operator!=()

bool ana::sm_state_map::operator!= ( const sm_state_map & other ) const

inline

References sm_state_map().

◆ operator==()

bool ana::sm_state_map::operator== ( const sm_state_map & other ) const

References sm_state_map().

◆ print()

void ana::sm_state_map::print	(	const region_model *	model,
		bool	simple,
		bool	multiline,
		pretty_printer *	pp ) const

◆ purge_state_involving()

void ana::sm_state_map::purge_state_involving	(	const svalue *	sval,
		const extrinsic_state &	ext_state )

◆ replay_call_summary()

bool ana::sm_state_map::replay_call_summary	(	call_summary_replay &	r,
		const sm_state_map &	summary )

References r, and sm_state_map().

◆ set_global_state()

void ana::sm_state_map::set_global_state ( state_machine::state_t state )

◆ set_state() [1/2]

bool ana::sm_state_map::set_state	(	const equiv_class &	ec,
		state_machine::state_t	state,
		const svalue *	origin,
		const extrinsic_state &	ext_state )

◆ set_state() [2/2]

void ana::sm_state_map::set_state	(	region_model *	model,
		const svalue *	sval,
		state_machine::state_t	state,
		const svalue *	origin,
		const extrinsic_state &	ext_state )

◆ to_json()

std::unique_ptr< json::object > ana::sm_state_map::to_json ( ) const

Field Documentation

◆ m_global_state

state_machine::state_t ana::sm_state_map::m_global_state

private

◆ m_map

map_t ana::sm_state_map::m_map

private

Referenced by begin(), elements(), and end().

◆ m_sm

const state_machine& ana::sm_state_map::m_sm

private

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

program-state.h

Data Structures

Public Types

Public Member Functions

Static Public Member Functions

Private Attributes

Detailed Description

Member Typedef Documentation

◆ iterator_t

◆ map_t

Constructor & Destructor Documentation

◆ sm_state_map()

Member Function Documentation

◆ begin()

◆ can_merge_with_p()

◆ canonicalize_svalue()

◆ clear_all_per_svalue_state()

◆ clear_any_state()

◆ clone()

◆ cmp()

◆ dump()

◆ elements()

◆ end()

◆ get_global_state()

◆ get_origin()

◆ get_state()

◆ hash()

◆ impl_set_state()

◆ is_empty_p()

◆ make_dump_widget()

◆ on_liveness_change()

◆ on_svalue_leak()

◆ on_unknown_change()

◆ operator!=()

◆ operator==()

◆ print()

◆ purge_state_involving()

◆ replay_call_summary()

◆ set_global_state()

◆ set_state() [1/2]

◆ set_state() [2/2]

◆ to_json()

Field Documentation

◆ m_global_state

◆ m_map

◆ m_sm