#include <store.h>

Collaboration diagram for ana::binding_cluster:

[legend]

Public Types
typedef binding_map::const_iterator	const_iterator_t
typedef binding_map::iterator	iterator_t

Public Member Functions
	binding_cluster (store_manager &store_mgr, const region *base_region)
	binding_cluster (const binding_cluster &other)
binding_cluster &	operator= (const binding_cluster &other)
bool	operator== (const binding_cluster &other) const
bool	operator!= (const binding_cluster &other) const
hashval_t	hash () const
bool	symbolic_p () const
const region *	get_base_region () const
void	dump_to_pp (pretty_printer *pp, bool simple, bool multiline) const
void	dump (bool simple) const
void	validate () 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, store_manager *mgr) const
void	bind (store_manager mgr, const region , const svalue *)
void	clobber_region (store_manager mgr, const region reg)
void	purge_region (store_manager mgr, const region reg)
void	fill_region (store_manager mgr, const region reg, const svalue *sval)
void	zero_fill_region (store_manager mgr, const region reg)
void	mark_region_as_unknown (store_manager mgr, const region reg_to_bind, const region reg_for_overlap, uncertainty_t uncertainty, svalue_set *maybe_live_values)
void	purge_state_involving (const svalue sval, region_model_manager sval_mgr)
const svalue *	get_binding (store_manager mgr, const region reg) const
const svalue *	get_binding_recursive (store_manager mgr, const region reg) const
const svalue *	get_any_binding (store_manager mgr, const region reg) const
const svalue *	maybe_get_compound_binding (store_manager mgr, const region reg) const
void	remove_overlapping_bindings (store_manager mgr, const region reg, uncertainty_t uncertainty, svalue_set maybe_live_values)
template<typename T>
void	for_each_value (void(cb)(const svalue sval, T user_data), T user_data) const
void	make_unknown_relative_to (const binding_cluster other_cluster, store out_store, store_manager *mgr)
void	mark_as_escaped ()
void	on_unknown_fncall (const gcall &call, store_manager *mgr, const conjured_purge &p)
void	on_asm (const gasm stmt, store_manager mgr, const conjured_purge &p)
bool	escaped_p () const
bool	touched_p () const
bool	redundant_p () const
bool	empty_p () const
void	get_representative_path_vars (const region_model model, svalue_set visited, const region base_reg, const svalue sval, logger logger, auto_vec< path_var > out_pvs) const
const svalue *	maybe_get_simple_value (store_manager *mgr) const
const_iterator_t	begin () const
const_iterator_t	end () const
iterator_t	begin ()
iterator_t	end ()
const binding_map &	get_map () const
binding_map &	get_map ()

Static Public Member Functions
static bool	can_merge_p (const binding_cluster cluster_a, const binding_cluster cluster_b, binding_cluster out_cluster, store out_store, store_manager mgr, model_merger merger)

Private Member Functions
const svalue *	get_any_value (const binding_key *key) const
void	bind_compound_sval (store_manager mgr, const region reg, const compound_svalue *compound_sval)
void	bind_key (const binding_key key, const svalue sval)

Private Attributes
const region *	m_base_region
binding_map	m_map
bool	m_escaped
bool	m_touched

Friends
class	store

Detailed Description

All of the bindings within a store for regions that share the same
base region.

Member Typedef Documentation

◆ const_iterator_t

typedef binding_map::const_iterator ana::binding_cluster::const_iterator_t

◆ iterator_t

typedef binding_map::iterator ana::binding_cluster::iterator_t

Constructor & Destructor Documentation

◆ binding_cluster() [1/2]

ana::binding_cluster::binding_cluster	(	store_manager &	store_mgr,
		const region *	base_region )

Referenced by binding_cluster(), can_merge_p(), make_unknown_relative_to(), operator!=(), operator=(), and operator==().

◆ binding_cluster() [2/2]

ana::binding_cluster::binding_cluster ( const binding_cluster & other )

References binding_cluster().

Member Function Documentation

◆ begin() [1/2]

iterator_t ana::binding_cluster::begin ( )

inline

References m_map.

◆ begin() [2/2]

const_iterator_t ana::binding_cluster::begin ( ) const

inline

References m_map.

◆ bind()

void ana::binding_cluster::bind	(	store_manager *	mgr,
		const region *	,
		const svalue *	)

◆ bind_compound_sval()

void ana::binding_cluster::bind_compound_sval	(	store_manager *	mgr,
		const region *	reg,
		const compound_svalue *	compound_sval )

private

◆ bind_key()

void ana::binding_cluster::bind_key	(	const binding_key *	key,
		const svalue *	sval )

private

◆ can_merge_p()

bool ana::binding_cluster::can_merge_p	(	const binding_cluster *	cluster_a,
		const binding_cluster *	cluster_b,
		binding_cluster *	out_cluster,
		store *	out_store,
		store_manager *	mgr,
		model_merger *	merger )

static

References binding_cluster(), and store.

◆ clobber_region()

void ana::binding_cluster::clobber_region	(	store_manager *	mgr,
		const region *	reg )

◆ dump()

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

◆ dump_to_pp()

void ana::binding_cluster::dump_to_pp	(	pretty_printer *	pp,
		bool	simple,
		bool	multiline ) const

◆ empty_p()

bool ana::binding_cluster::empty_p ( ) const

inline

References m_map.

◆ end() [1/2]

iterator_t ana::binding_cluster::end ( )

inline

References m_map.

◆ end() [2/2]

const_iterator_t ana::binding_cluster::end ( ) const

inline

References m_map.

◆ escaped_p()

bool ana::binding_cluster::escaped_p ( ) const

◆ fill_region()

void ana::binding_cluster::fill_region	(	store_manager *	mgr,
		const region *	reg,
		const svalue *	sval )

◆ for_each_value()

template<typename T>

void ana::binding_cluster::for_each_value	(	void(*	cb )(const svalue *sval, T user_data),
		T	user_data ) const

inline

References m_map, and T.

◆ get_any_binding()

const svalue * ana::binding_cluster::get_any_binding	(	store_manager *	mgr,
		const region *	reg ) const

◆ get_any_value()

const svalue * ana::binding_cluster::get_any_value ( const binding_key * key ) const

private

◆ get_base_region()

const region * ana::binding_cluster::get_base_region ( ) const

inline

References m_base_region.

◆ get_binding()

const svalue * ana::binding_cluster::get_binding	(	store_manager *	mgr,
		const region *	reg ) const

◆ get_binding_recursive()

const svalue * ana::binding_cluster::get_binding_recursive	(	store_manager *	mgr,
		const region *	reg ) const

◆ get_map() [1/2]

binding_map & ana::binding_cluster::get_map ( )

inline

References m_map.

◆ get_map() [2/2]

const binding_map & ana::binding_cluster::get_map ( ) const

inline

References m_map.

◆ get_representative_path_vars()

void ana::binding_cluster::get_representative_path_vars	(	const region_model *	model,
		svalue_set *	visited,
		const region *	base_reg,
		const svalue *	sval,
		logger *	logger,
		auto_vec< path_var > *	out_pvs ) const

References visited.

◆ hash()

hashval_t ana::binding_cluster::hash ( ) const

◆ make_dump_widget()

std::unique_ptr< text_art::tree_widget > ana::binding_cluster::make_dump_widget	(	const text_art::dump_widget_info &	dwi,
		store_manager *	mgr ) const

◆ make_unknown_relative_to()

void ana::binding_cluster::make_unknown_relative_to	(	const binding_cluster *	other_cluster,
		store *	out_store,
		store_manager *	mgr )

References binding_cluster(), and store.

◆ mark_as_escaped()

void ana::binding_cluster::mark_as_escaped ( )

◆ mark_region_as_unknown()

void ana::binding_cluster::mark_region_as_unknown	(	store_manager *	mgr,
		const region *	reg_to_bind,
		const region *	reg_for_overlap,
		uncertainty_t *	uncertainty,
		svalue_set *	maybe_live_values )

◆ maybe_get_compound_binding()

const svalue * ana::binding_cluster::maybe_get_compound_binding	(	store_manager *	mgr,
		const region *	reg ) const

◆ maybe_get_simple_value()

const svalue * ana::binding_cluster::maybe_get_simple_value ( store_manager * mgr ) const

◆ on_asm()

void ana::binding_cluster::on_asm	(	const gasm *	stmt,
		store_manager *	mgr,
		const conjured_purge &	p )

◆ on_unknown_fncall()

void ana::binding_cluster::on_unknown_fncall	(	const gcall &	call,
		store_manager *	mgr,
		const conjured_purge &	p )

◆ operator!=()

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

inline

References binding_cluster().

◆ operator=()

binding_cluster & ana::binding_cluster::operator= ( const binding_cluster & other )

References binding_cluster().

◆ operator==()

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

References binding_cluster().

◆ purge_region()

void ana::binding_cluster::purge_region	(	store_manager *	mgr,
		const region *	reg )

◆ purge_state_involving()

void ana::binding_cluster::purge_state_involving	(	const svalue *	sval,
		region_model_manager *	sval_mgr )

◆ redundant_p()

bool ana::binding_cluster::redundant_p ( ) const

◆ remove_overlapping_bindings()

void ana::binding_cluster::remove_overlapping_bindings	(	store_manager *	mgr,
		const region *	reg,
		uncertainty_t *	uncertainty,
		svalue_set *	maybe_live_values )

◆ symbolic_p()

bool ana::binding_cluster::symbolic_p ( ) const

◆ to_json()

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

◆ touched_p()

bool ana::binding_cluster::touched_p ( ) const

inline

References m_touched.

◆ validate()

void ana::binding_cluster::validate ( ) const

◆ zero_fill_region()

void ana::binding_cluster::zero_fill_region	(	store_manager *	mgr,
		const region *	reg )

◆ store

friend class store

friend

References store.

Referenced by can_merge_p(), make_unknown_relative_to(), and store.

Field Documentation

◆ m_base_region

const region* ana::binding_cluster::m_base_region

private

Referenced by get_base_region().

◆ m_escaped

bool ana::binding_cluster::m_escaped

private

◆ m_map

binding_map ana::binding_cluster::m_map

private

Referenced by begin(), begin(), empty_p(), end(), end(), for_each_value(), get_map(), and get_map().

◆ m_touched

bool ana::binding_cluster::m_touched

private

Referenced by touched_p().

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

store.h

Public Types

Public Member Functions

Static Public Member Functions

Private Member Functions

Private Attributes

Friends

Detailed Description

Member Typedef Documentation

◆ const_iterator_t

◆ iterator_t

Constructor & Destructor Documentation

◆ binding_cluster() [1/2]

◆ binding_cluster() [2/2]

Member Function Documentation

◆ begin() [1/2]

◆ begin() [2/2]

◆ bind()

◆ bind_compound_sval()

◆ bind_key()

◆ can_merge_p()

◆ clobber_region()

◆ dump()

◆ dump_to_pp()

◆ empty_p()

◆ end() [1/2]

◆ end() [2/2]

◆ escaped_p()

◆ fill_region()

◆ for_each_value()

◆ get_any_binding()

◆ get_any_value()

◆ get_base_region()

◆ get_binding()

◆ get_binding_recursive()

◆ get_map() [1/2]

◆ get_map() [2/2]

◆ get_representative_path_vars()

◆ hash()

◆ make_dump_widget()

◆ make_unknown_relative_to()

◆ mark_as_escaped()

◆ mark_region_as_unknown()

◆ maybe_get_compound_binding()

◆ maybe_get_simple_value()

◆ on_asm()

◆ on_unknown_fncall()

◆ operator!=()

◆ operator=()

◆ operator==()

◆ purge_region()

◆ purge_state_involving()

◆ redundant_p()

◆ remove_overlapping_bindings()

◆ symbolic_p()

◆ to_json()

◆ touched_p()

◆ validate()

◆ zero_fill_region()

Friends And Related Symbol Documentation

◆ store

Field Documentation

◆ m_base_region

◆ m_escaped

◆ m_map

◆ m_touched