CBMC
|
This is the complete list of members for gdb_apit, including all inherited members.
allocated_memory | gdb_apit | protected |
args | gdb_apit | protected |
check_command_accepted() | gdb_apit | protected |
collect_malloc_calls() | gdb_apit | protected |
command_log | gdb_apit | protected |
command_stream | gdb_apit | protected |
commandst typedef | gdb_apit | |
create_gdb_process() | gdb_apit | |
eval_expr(const std::string &expr) | gdb_apit | protected |
gdb_apit(const std::vector< std::string > &args, const bool log=false) | gdb_apit | explicit |
gdb_output_recordt typedef | gdb_apit | protected |
gdb_state | gdb_apit | protected |
gdb_statet enum name | gdb_apit | protected |
get_command_log() | gdb_apit | |
get_memory(const std::string &expr) | gdb_apit | |
get_most_recent_record(const std::string &tag, const bool must_exist=false) | gdb_apit | protected |
get_register_value(const gdb_output_recordt &record) | gdb_apit | protected |
get_value(const std::string &expr) | gdb_apit | |
get_value_from_record(const gdb_output_recordt &record, const std::string &value_name) | gdb_apit | protected |
hit_malloc_breakpoint(const gdb_output_recordt &stopped_record) | gdb_apit | protected |
log | gdb_apit | protected |
malloc_name | gdb_apit | protected |
most_recent_line_has_tag(const std::string &tag) | gdb_apit | protected |
parse_gdb_output_record(const std::string &s) | gdb_apit | protectedstatic |
query_malloc_size(const std::string &pointer_expr) | gdb_apit | |
r_char | gdb_apit | protected |
r_hex_addr | gdb_apit | protected |
r_id | gdb_apit | protected |
r_opt(const std::string ®ex) | gdb_apit | protectedstatic |
r_or(const std::string ®ex_left, const std::string ®ex_right) | gdb_apit | protectedstatic |
r_string | gdb_apit | protected |
read_most_recent_line() | gdb_apit | protected |
read_next_line() | gdb_apit | protected |
response_stream | gdb_apit | protected |
run_gdb_from_core(const std::string &corefile) | gdb_apit | |
run_gdb_to_breakpoint(const std::string &breakpoint) | gdb_apit | |
was_command_accepted() | gdb_apit | protected |
write_to_gdb(const std::string &command) | gdb_apit | protected |
~gdb_apit() | gdb_apit |