cprover
string_instrumentationt Member List

This is the complete list of members for string_instrumentationt, including all inherited members.

debug()messagetinline
do_format_string_read(goto_programt &dest, goto_programt::const_targett target, const code_function_callt::argumentst &arguments, unsigned format_string_inx, unsigned argument_start_inx, const std::string &function_name)string_instrumentationtprotected
do_format_string_write(goto_programt &dest, goto_programt::const_targett target, const code_function_callt::argumentst &arguments, unsigned format_string_inx, unsigned argument_start_inx, const std::string &function_name)string_instrumentationtprotected
do_fscanf(goto_programt &dest, goto_programt::targett it, code_function_callt &call)string_instrumentationtprotected
do_function_call(goto_programt &dest, goto_programt::targett it)string_instrumentationtprotected
do_snprintf(goto_programt &dest, goto_programt::targett it, code_function_callt &call)string_instrumentationtprotected
do_sprintf(goto_programt &dest, goto_programt::targett it, code_function_callt &call)string_instrumentationtprotected
do_strcat(goto_programt &dest, goto_programt::targett it, code_function_callt &call)string_instrumentationtprotected
do_strchr(goto_programt &dest, goto_programt::targett it, code_function_callt &call)string_instrumentationtprotected
do_strerror(goto_programt &dest, goto_programt::targett it, code_function_callt &call)string_instrumentationtprotected
do_strncmp(goto_programt &dest, goto_programt::targett it, code_function_callt &call)string_instrumentationtprotected
do_strrchr(goto_programt &dest, goto_programt::targett it, code_function_callt &call)string_instrumentationtprotected
do_strstr(goto_programt &dest, goto_programt::targett it, code_function_callt &call)string_instrumentationtprotected
do_strtok(goto_programt &dest, goto_programt::targett it, code_function_callt &call)string_instrumentationtprotected
endl(mstreamt &m)messagetinlinestatic
eom(mstreamt &m)messagetinlinestatic
error()messagetinline
get_message_handler()messagetinline
get_mstream(unsigned message_level)messagetinline
instrument(goto_programt &dest, goto_programt::targett it)string_instrumentationtprotected
invalidate_buffer(goto_programt &dest, goto_programt::const_targett target, const exprt &buffer, const typet &buf_type, const mp_integer &limit)string_instrumentationtprotected
is_string_type(const typet &t) conststring_instrumentationtinlineprotected
M_DEBUG enum valuemessaget
M_ERROR enum valuemessaget
M_PROGRESS enum valuemessaget
M_RESULT enum valuemessaget
M_STATISTICS enum valuemessaget
M_STATUS enum valuemessaget
M_WARNING enum valuemessaget
make_type(exprt &dest, const typet &type)string_instrumentationtinlineprotected
message_handlermessagetprotected
message_levelt enum namemessaget
messaget()messagetinline
messaget(const messaget &other)messagetinline
messaget(message_handlert &_message_handler)messagetinlineexplicit
mstreammessagetprotected
nsstring_instrumentationtprotected
operator()(goto_programt &dest)string_instrumentationt
operator()(goto_functionst &dest)string_instrumentationt
progress()messagetinline
result()messagetinline
set_message_handler(message_handlert &_message_handler)messagetinlinevirtual
statistics()messagetinline
status()messagetinline
string_instrumentationt(symbol_tablet &_symbol_table, message_handlert &_message_handler)string_instrumentationtinline
symbol_tablestring_instrumentationtprotected
warning()messagetinline
~messaget()messagetvirtual