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)
std::vector< std::unique_ptr< state_machine > >	ana::make_checkers (logger *logger)
std::unique_ptr< state_machine >	ana::make_malloc_state_machine (logger *)
std::unique_ptr< state_machine >	ana::make_fileptr_state_machine (logger *)
std::unique_ptr< state_machine >	ana::make_taint_state_machine (logger *)
std::unique_ptr< state_machine >	ana::make_sensitive_state_machine (logger *)
std::unique_ptr< state_machine >	ana::make_signal_state_machine (logger *)
std::unique_ptr< state_machine >	ana::make_pattern_test_state_machine (logger *)
std::unique_ptr< state_machine >	ana::make_va_list_state_machine (logger *)
std::unique_ptr< state_machine >	ana::make_fd_state_machine (logger *)