|
void | instrument (goto_programt &dest, goto_programt::targett it) |
|
void | do_function_call (goto_programt &dest, goto_programt::targett target) |
|
void | do_sprintf (goto_programt &dest, goto_programt::targett target, const exprt &lhs, const exprt::operandst &arguments) |
|
void | do_snprintf (goto_programt &dest, goto_programt::targett target, const exprt &lhs, const exprt::operandst &arguments) |
|
void | do_strcat (goto_programt &dest, goto_programt::targett it, const exprt &lhs, const exprt::operandst &arguments) |
|
void | do_strncmp (goto_programt &dest, goto_programt::targett it, const exprt &lhs, const exprt::operandst &arguments) |
|
void | do_strchr (goto_programt &dest, goto_programt::targett target, const exprt &lhs, const exprt::operandst &arguments) |
|
void | do_strrchr (goto_programt &dest, goto_programt::targett target, const exprt &lhs, const exprt::operandst &arguments) |
|
void | do_strstr (goto_programt &dest, goto_programt::targett target, const exprt &lhs, const exprt::operandst &arguments) |
|
void | do_strtok (goto_programt &dest, goto_programt::targett target, const exprt &lhs, const exprt::operandst &arguments) |
|
void | do_strerror (goto_programt &dest, goto_programt::targett it, const exprt &lhs, const exprt::operandst &arguments) |
|
void | do_fscanf (goto_programt &dest, goto_programt::targett target, const exprt &lhs, const exprt::operandst &arguments) |
|
void | do_format_string_read (goto_programt &dest, goto_programt::const_targett target, const code_function_callt::argumentst &arguments, std::size_t format_string_inx, std::size_t argument_start_inx, const std::string &function_name) |
|
void | do_format_string_write (goto_programt &dest, goto_programt::const_targett target, const code_function_callt::argumentst &arguments, std::size_t format_string_inx, std::size_t argument_start_inx, const std::string &function_name) |
|
bool | is_string_type (const typet &t) const |
|
void | invalidate_buffer (goto_programt &dest, goto_programt::const_targett target, const exprt &buffer, const typet &buf_type, const mp_integer &limit) |
|
Definition at line 51 of file string_instrumentation.cpp.
◆ string_instrumentationt()
◆ do_format_string_read()
◆ do_format_string_write()
◆ do_fscanf()
◆ do_function_call()
◆ do_snprintf()
◆ do_sprintf()
◆ do_strcat()
◆ do_strchr()
◆ do_strerror()
◆ do_strncmp()
◆ do_strrchr()
◆ do_strstr()
◆ do_strtok()
◆ instrument()
◆ invalidate_buffer()
◆ is_string_type()
◆ operator()() [1/2]
◆ operator()() [2/2]
◆ ns
◆ symbol_table
The documentation for this class was generated from the following file: