#include <sm.h>

Inheritance diagram for ana::state_machine:

Collaboration diagram for ana::state_machine:

Data Structures
class	state

Public Types
typedef const state_machine::state *	state_t

Public Member Functions
	state_machine (const char name, logger logger)

virtual	~state_machine ()

virtual bool	inherited_state_p () const =0

virtual state_t	alt_get_inherited_state (const sm_state_map &, const svalue *, const extrinsic_state &) const

virtual bool	has_alt_get_inherited_state_p () const

virtual state_machine::state_t	get_default_state (const svalue *) const

const char *	get_name () const

state_t	get_state_by_name (const char *name) const

virtual bool	on_stmt (sm_context &sm_ctxt, const supernode node, const gimple stmt) const =0

virtual void	on_phi (sm_context &sm_ctxt, const supernode node, const gphi phi, tree rhs) const

virtual void	on_condition (sm_context &sm_ctxt, const supernode node, const gimple stmt, const svalue lhs, enum tree_code op, const svalue rhs) const

virtual void	on_bounded_ranges (sm_context &sm_ctxt, const supernode node, const gimple stmt, const svalue &sval, const bounded_ranges &ranges) const

virtual void	on_pop_frame (sm_state_map smap, const frame_region frame_reg) const

virtual bool	can_purge_p (state_t s) const =0

virtual std::unique_ptr< pending_diagnostic >	on_leak (tree var) const

virtual bool	reset_when_passed_to_unknown_fn_p (state_t s, bool is_mutable) const

state_t	maybe_get_merged_state (state_t state_a, state_t state_b) const

virtual state_t	maybe_get_merged_states_nonequal (state_t state_a, state_t state_b) const

void	validate (state_t s) const

void	dump_to_pp (pretty_printer *pp) const

json::object *	to_json () const

state_t	get_start_state () const

logger *	get_logger () const

void	set_logger (logger *logger)

void	log (const char *fmt,...) const ATTRIBUTE_GCC_DIAG(2

void void	start_log_line () const

void	end_log_line () const

void	enter_scope (const char *scope_name)

void	exit_scope (const char *scope_name)

pretty_printer *	get_logger_pp () const

FILE *	get_logger_file () const

Protected Member Functions
state_t	add_state (const char *name)

state_t	add_custom_state (state *s)

unsigned	alloc_state_id ()

Protected Attributes
state_t	m_start

Private Member Functions
	DISABLE_COPY_AND_ASSIGN (state_machine)

Private Attributes
const char *	m_name

auto_delete_vec< state >	m_states

unsigned	m_next_state_id

logger *	m_logger

Detailed Description

An abstract base class for a state machine describing an API.
Manages a set of state objects, and has various virtual functions
for pattern-matching on statements.

Member Typedef Documentation

◆ state_t

const state_machine::state* ana::state_machine::state_t

Constructor & Destructor Documentation

◆ state_machine()

ana::state_machine::state_machine	(	const char *	name,
		logger *	logger )

◆ ~state_machine()

virtual ana::state_machine::~state_machine ( )

inlinevirtual

Member Function Documentation

◆ add_custom_state()

state_t ana::state_machine::add_custom_state ( state * s )

inlineprotected

References m_states.

◆ add_state()

state_t ana::state_machine::add_state ( const char * name )

protected

◆ alloc_state_id()

unsigned ana::state_machine::alloc_state_id ( )

inlineprotected

References m_next_state_id.

◆ alt_get_inherited_state()

virtual state_t ana::state_machine::alt_get_inherited_state	(	const sm_state_map &	,
		const svalue *	,
		const extrinsic_state &	) const

inlinevirtual

References NULL.

◆ can_purge_p()

virtual bool ana::state_machine::can_purge_p ( state_t s ) const

pure virtual

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

◆ DISABLE_COPY_AND_ASSIGN()

ana::state_machine::DISABLE_COPY_AND_ASSIGN ( state_machine )

private

◆ dump_to_pp()

void ana::state_machine::dump_to_pp ( pretty_printer * pp ) const

◆ end_log_line()

void ana::log_user::end_log_line ( ) const

inlineinherited

A shortcut for ending a log line from a log_user,
handling the common case where the underlying logger is NULL via
a no-op.

References ana::logger::end_log_line(), and ana::log_user::m_logger.

◆ enter_scope()

void ana::log_user::enter_scope ( const char * scope_name )

inlineinherited

A shortcut for recording entry into a scope from a log_user,
handling the common case where the underlying logger is NULL via
a no-op.

References ana::logger::enter_scope(), and ana::log_user::m_logger.

◆ exit_scope()

void ana::log_user::exit_scope ( const char * scope_name )

inlineinherited

A shortcut for recording exit from a scope from a log_user,
handling the common case where the underlying logger is NULL via
a no-op.

References ana::logger::exit_scope(), and ana::log_user::m_logger.

◆ get_default_state()

virtual state_machine::state_t ana::state_machine::get_default_state ( const svalue * ) const

inlinevirtual

References m_start.

◆ get_logger()

logger * ana::log_user::get_logger ( ) const

inlineinherited

References ana::log_user::m_logger.

Referenced by ana::exploded_graph::get_logger(), and ana::impl_region_model_context::get_logger().

◆ get_logger_file()

FILE * ana::log_user::get_logger_file ( ) const

inlineinherited

References ana::logger::get_file(), ana::log_user::m_logger, and NULL.

◆ get_logger_pp()

pretty_printer * ana::log_user::get_logger_pp ( ) const

inlineinherited

References gcc_assert, ana::logger::get_printer(), and ana::log_user::m_logger.

◆ get_name()

const char * ana::state_machine::get_name ( ) const

inline

References m_name.

◆ get_start_state()

state_t ana::state_machine::get_start_state ( ) const

inline

References m_start.

◆ get_state_by_name()

state_t ana::state_machine::get_state_by_name ( const char * name ) const

◆ has_alt_get_inherited_state_p()

virtual bool ana::state_machine::has_alt_get_inherited_state_p ( ) const

inlinevirtual

◆ inherited_state_p()

virtual bool ana::state_machine::inherited_state_p ( ) const

pure virtual

◆ log()

void ana::log_user::log	(	const char *	fmt,
			... ) const

inlineinherited

A shortcut for calling log from a log_user, handling the common
case where the underlying logger is NULL via a no-op.

References ap, ana::logger::log_va(), and ana::log_user::m_logger.

◆ maybe_get_merged_state()

state_t ana::state_machine::maybe_get_merged_state	(	state_t	state_a,
		state_t	state_b ) const

inline

References maybe_get_merged_states_nonequal().

◆ maybe_get_merged_states_nonequal()

virtual state_t ana::state_machine::maybe_get_merged_states_nonequal	(	state_t	state_a,
		state_t	state_b ) const

inlinevirtual

References NULL.

Referenced by maybe_get_merged_state().

◆ on_bounded_ranges()

virtual void ana::state_machine::on_bounded_ranges	(	sm_context &	sm_ctxt,
		const supernode *	node,
		const gimple *	stmt,
		const svalue &	sval,
		const bounded_ranges &	ranges ) const

inlinevirtual

◆ on_condition()

virtual void ana::state_machine::on_condition	(	sm_context &	sm_ctxt,
		const supernode *	node,
		const gimple *	stmt,
		const svalue *	lhs,
		enum tree_code	op,
		const svalue *	rhs ) const

inlinevirtual

◆ on_leak()

virtual std::unique_ptr< pending_diagnostic > ana::state_machine::on_leak ( tree var ) const

virtual

◆ on_phi()

virtual void ana::state_machine::on_phi	(	sm_context &	sm_ctxt,
		const supernode *	node,
		const gphi *	phi,
		tree	rhs ) const

inlinevirtual

◆ on_pop_frame()

virtual void ana::state_machine::on_pop_frame	(	sm_state_map *	smap,
		const frame_region *	frame_reg ) const

inlinevirtual

◆ on_stmt()

virtual bool ana::state_machine::on_stmt	(	sm_context &	sm_ctxt,
		const supernode *	node,
		const gimple *	stmt ) const

pure virtual

◆ reset_when_passed_to_unknown_fn_p()

virtual bool ana::state_machine::reset_when_passed_to_unknown_fn_p	(	state_t	s,
		bool	is_mutable ) const

inlinevirtual

◆ set_logger()

void ana::log_user::set_logger ( logger * logger )

inherited

◆ start_log_line()

void ana::log_user::start_log_line ( ) const

inlineinherited

A shortcut for starting a log line from a log_user,
handling the common case where the underlying logger is NULL via
a no-op.

References ana::log_user::m_logger, and ana::logger::start_log_line().

◆ to_json()

json::object * ana::state_machine::to_json ( ) const

◆ validate()

void ana::state_machine::validate ( state_t s ) const

Field Documentation

◆ m_logger

logger* ana::log_user::m_logger

privateinherited

Referenced by ana::log_user::end_log_line(), ana::log_user::enter_scope(), ana::log_user::exit_scope(), ana::log_user::get_logger(), ana::log_user::get_logger_file(), ana::log_user::get_logger_pp(), ana::log_user::log(), and ana::log_user::start_log_line().

◆ m_name

const char* ana::state_machine::m_name

private

Referenced by get_name().

◆ m_next_state_id

unsigned ana::state_machine::m_next_state_id

private

Referenced by alloc_state_id().

◆ m_start

state_t ana::state_machine::m_start

protected

Referenced by get_default_state(), and get_start_state().

◆ m_states

auto_delete_vec<state> ana::state_machine::m_states

private

Referenced by add_custom_state().

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

sm.h

Data Structures

Public Types

Public Member Functions

Protected Member Functions

Protected Attributes

Private Member Functions

Private Attributes

Detailed Description

Member Typedef Documentation

◆ state_t

Constructor & Destructor Documentation

◆ state_machine()

◆ ~state_machine()

Member Function Documentation

◆ add_custom_state()

◆ add_state()

◆ alloc_state_id()

◆ alt_get_inherited_state()

◆ can_purge_p()

◆ DISABLE_COPY_AND_ASSIGN()

◆ dump_to_pp()

◆ end_log_line()

◆ enter_scope()

◆ exit_scope()

◆ get_default_state()

◆ get_logger()

◆ get_logger_file()

◆ get_logger_pp()

◆ get_name()

◆ get_start_state()

◆ get_state_by_name()

◆ has_alt_get_inherited_state_p()

◆ inherited_state_p()

◆ log()

◆ maybe_get_merged_state()

◆ maybe_get_merged_states_nonequal()

◆ on_bounded_ranges()

◆ on_condition()

◆ on_leak()

◆ on_phi()

◆ on_pop_frame()

◆ on_stmt()

◆ reset_when_passed_to_unknown_fn_p()

◆ set_logger()

◆ start_log_line()

◆ to_json()

◆ validate()

Field Documentation

◆ m_logger

◆ m_name

◆ m_next_state_id

◆ m_start

◆ m_states