sm.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	ana::state_machine
class	ana::state_machine::state
class	ana::custom_transition
class	ana::sm_context

Namespaces
namespace	ana

Functions
bool	ana::any_pointer_p (tree expr)
bool	ana::any_pointer_p (const svalue *sval)
void	ana::make_checkers (auto_delete_vec< state_machine > &out, logger *logger)
state_machine *	ana::make_malloc_state_machine (logger *logger)
state_machine *	ana::make_fileptr_state_machine (logger *logger)
state_machine *	ana::make_taint_state_machine (logger *logger)
state_machine *	ana::make_sensitive_state_machine (logger *logger)
state_machine *	ana::make_signal_state_machine (logger *logger)
state_machine *	ana::make_pattern_test_state_machine (logger *logger)
state_machine *	ana::make_va_list_state_machine (logger *logger)
state_machine *	ana::make_fd_state_machine (logger *logger)