CBMC
gdb_apit Member List

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

allocated_memorygdb_apitprotected
argsgdb_apitprotected
check_command_accepted()gdb_apitprotected
collect_malloc_calls()gdb_apitprotected
command_loggdb_apitprotected
command_streamgdb_apitprotected
commandst typedefgdb_apit
create_gdb_process()gdb_apit
eval_expr(const std::string &expr)gdb_apitprotected
gdb_apit(const std::vector< std::string > &args, const bool log=false)gdb_apitexplicit
gdb_output_recordt typedefgdb_apitprotected
gdb_stategdb_apitprotected
gdb_statet enum namegdb_apitprotected
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_apitprotected
get_register_value(const gdb_output_recordt &record)gdb_apitprotected
get_value(const std::string &expr)gdb_apit
get_value_from_record(const gdb_output_recordt &record, const std::string &value_name)gdb_apitprotected
hit_malloc_breakpoint(const gdb_output_recordt &stopped_record)gdb_apitprotected
loggdb_apitprotected
malloc_namegdb_apitprotected
most_recent_line_has_tag(const std::string &tag)gdb_apitprotected
parse_gdb_output_record(const std::string &s)gdb_apitprotectedstatic
query_malloc_size(const std::string &pointer_expr)gdb_apit
r_chargdb_apitprotected
r_hex_addrgdb_apitprotected
r_idgdb_apitprotected
r_opt(const std::string &regex)gdb_apitprotectedstatic
r_or(const std::string &regex_left, const std::string &regex_right)gdb_apitprotectedstatic
r_stringgdb_apitprotected
read_most_recent_line()gdb_apitprotected
read_next_line()gdb_apitprotected
response_streamgdb_apitprotected
run_gdb_from_core(const std::string &corefile)gdb_apit
run_gdb_to_breakpoint(const std::string &breakpoint)gdb_apit
was_command_accepted()gdb_apitprotected
write_to_gdb(const std::string &command)gdb_apitprotected
~gdb_apit()gdb_apit