|
void | make_type (exprt &dest, const typet &type) |
|
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 53 of file string_instrumentation.cpp.
◆ string_instrumentationt()
string_instrumentationt::string_instrumentationt |
( |
symbol_tablet & |
_symbol_table | ) |
|
|
inlineexplicit |
◆ 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()
bool string_instrumentationt::is_string_type |
( |
const typet & |
t | ) |
const |
|
inlineprotected |
◆ make_type()
void string_instrumentationt::make_type |
( |
exprt & |
dest, |
|
|
const typet & |
type |
|
) |
| |
|
inlineprotected |
◆ operator()() [1/2]
◆ operator()() [2/2]
◆ ns
◆ symbol_table
The documentation for this class was generated from the following file: