csonar_visitor.hpp File Reference

[CodeSonar only] Visitors: functors that carry out actions on elements of the internal representation (IR) at various stages of the analysis. More...

Go to the source code of this file.

Classes
class	cs::access_path
	An access path describes a memory location as a sequence of steps from some base symbol, with each step represented by a access_path object. More...
class	cs::analysis
	Manages the warning classes (warningclass) and visitors (visitor) for the analysis. More...
class	cs::point_adjusted_callees_iterator
	An iterator over the callee procedures (procedure) from a specific point, taking into account any translations incurred by csonar_replace_*() calls and the FUNCTION_MAP configuration file variable. More...
class	cs::point_adjusted_callees_no_reroute_iterator
	An iterator over the callee procedures (procedure) from a specific point, ignoring any translations incurred by csonar_replace_*() calls and the FUNCTION_MAP configuration file variable. More...
class	cs::procedure_adjusted_callers_iterator
	An iterator over the direct and indirect call sites (point of kind point_kind::CALL_SITE or point_kind::INDIRECT_CALL) whose target is a particular procedure, taking into account any translations incurred by csonar_replace_*() calls and the FUNCTION_MAP configuration file variable. More...
class	cs::rpc_handler
	Handles remote procedure calls (RPCs). More...
class	cs::step_state
	Abstract base class for step visitors, as added with analysis::add_step_bottom_up_visitor(): subclass to define your own step visitors. More...
class	cs::step_xform
	A program state transform along a path in the CFG. More...
class	cs::visitor< T >
	Abstract base class for visitors: functors that carry out actions on elements of the internal representation (IR) at various stages of the analysis. More...
class	cs::xform_expr
	Specifies parts of a query expression for step_xform::query() or step_xform::query_bounds(). More...
class	cs::xform_expr_mode
	Enumeration class: the evaluation mode for an xform_expr. More...
class	cs::xform_operator
	Enumeration class: an operator that can be used in a transform query with step_xform::query(). More...
class	cs::xform_query_bounds_result
	The return type of step_xform::query_bounds() More...
class	cs::xform_query_result
	Enumeration class: the possible outcomes of a transform query with step_xform::query(). More...

Namespaces
	cs
	Namespace for CodeSonar/CodeSurfer API.

Macros
#define	CSONAR_VISITOR_CATCH()
#define	CSONAR_VISITOR_CATCH_NON_RESULT()
#define	CSONAR_VISITOR_TRY

Detailed Description

[CodeSonar only] Visitors: functors that carry out actions on elements of the internal representation (IR) at various stages of the analysis.