#include <region-model.h>

Inheritance diagram for ana::region_model_context:

[legend]

Public Member Functions
virtual bool	warn (std::unique_ptr< pending_diagnostic > d, const stmt_finder *custom_finder=NULL)=0

virtual void	add_note (std::unique_ptr< pending_note > pn)=0

virtual void	add_event (std::unique_ptr< checker_event > event)=0

virtual void	on_svalue_leak (const svalue *sval)=0

virtual void	on_liveness_change (const svalue_set &live_svalues, const region_model *model)=0

virtual logger *	get_logger ()=0

virtual void	on_condition (const svalue lhs, enum tree_code op, const svalue rhs)=0

virtual void	on_bounded_ranges (const svalue &sval, const bounded_ranges &ranges)=0

virtual void	on_pop_frame (const frame_region *)=0

virtual void	on_unknown_change (const svalue *sval, bool is_mutable)=0

virtual void	on_phi (const gphi *phi, tree rhs)=0

virtual void	on_unexpected_tree_code (tree t, const dump_location_t &loc)=0

virtual void	on_escaped_function (tree fndecl)=0

virtual uncertainty_t *	get_uncertainty ()=0

virtual void	purge_state_involving (const svalue *sval)=0

virtual void	bifurcate (std::unique_ptr< custom_edge_info > info)=0

virtual void	terminate_path ()=0

virtual const extrinsic_state *	get_ext_state () const =0

virtual bool	get_state_map_by_name (const char name, sm_state_map out_smap, const state_machine out_sm, unsigned out_sm_idx, std::unique_ptr< sm_context > *out_sm_context)=0

bool	get_fd_map (sm_state_map out_smap, const state_machine out_sm, unsigned out_sm_idx, std::unique_ptr< sm_context > out_sm_context)

bool	get_malloc_map (sm_state_map out_smap, const state_machine out_sm, unsigned *out_sm_idx)

bool	get_taint_map (sm_state_map out_smap, const state_machine out_sm, unsigned *out_sm_idx)

bool	possibly_tainted_p (const svalue *sval)

virtual const gimple *	get_stmt () const =0

virtual const exploded_graph *	get_eg () const =0

virtual void	maybe_did_work ()=0

virtual bool	checking_for_infinite_loop_p () const =0

virtual void	on_unusable_in_infinite_loop ()=0

Detailed Description

Some region_model activity could lead to warnings (e.g. attempts to use an
uninitialized value).  This abstract base class encapsulates an interface
for the region model to use when emitting such warnings.

Having this as an abstract base class allows us to support the various
operations needed by program_state in the analyzer within region_model,
whilst keeping them somewhat modularized.

Member Function Documentation

◆ add_event()

virtual void ana::region_model_context::add_event ( std::unique_ptr< checker_event > event )

pure virtual

Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.

◆ add_note()

virtual void ana::region_model_context::add_note ( std::unique_ptr< pending_note > pn )

pure virtual

Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.

Referenced by ana::region_model_context_decorator::add_note().

◆ bifurcate()

virtual void ana::region_model_context::bifurcate ( std::unique_ptr< custom_edge_info > info )

pure virtual

Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.

Referenced by ana::region_model_context_decorator::bifurcate().

◆ checking_for_infinite_loop_p()

virtual bool ana::region_model_context::checking_for_infinite_loop_p ( ) const

pure virtual

Implemented in ana::impl_region_model_context, ana::noop_region_model_context, ana::region_model_context_decorator, and infinite_loop_checking_context.

Referenced by ana::region_model_context_decorator::checking_for_infinite_loop_p().

◆ get_eg()

virtual const exploded_graph * ana::region_model_context::get_eg ( ) const

pure virtual

Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.

Referenced by ana::region_model_context_decorator::get_eg().

◆ get_ext_state()

virtual const extrinsic_state * ana::region_model_context::get_ext_state ( ) const

pure virtual

Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.

Referenced by ana::region_model_context_decorator::get_ext_state().

◆ get_fd_map()

bool ana::region_model_context::get_fd_map	(	sm_state_map **	out_smap,
		const state_machine **	out_sm,
		unsigned *	out_sm_idx,
		std::unique_ptr< sm_context > *	out_sm_context )

inline

References get_state_map_by_name().

◆ get_logger()

virtual logger * ana::region_model_context::get_logger ( )

pure virtual

Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.

Referenced by ana::region_model_context_decorator::get_logger().

◆ get_malloc_map()

bool ana::region_model_context::get_malloc_map	(	sm_state_map **	out_smap,
		const state_machine **	out_sm,
		unsigned *	out_sm_idx )

inline

References get_state_map_by_name(), and NULL.

◆ get_state_map_by_name()

virtual bool ana::region_model_context::get_state_map_by_name	(	const char *	name,
		sm_state_map **	out_smap,
		const state_machine **	out_sm,
		unsigned *	out_sm_idx,
		std::unique_ptr< sm_context > *	out_sm_context )