string_abstraction.cpp File Reference

String Abstraction. More...

#include "string_abstraction.h"
#include <cstring>
#include <util/pointer_predicates.h>
#include <util/std_expr.h>
#include <util/std_code.h>
#include <util/message.h>
#include <util/arith_tools.h>
#include <util/type_eq.h>
#include <util/c_types.h>
#include "pointer_arithmetic.h"

Include dependency graph for string_abstraction.cpp:

Go to the source code of this file.

Functions
static bool	is_ptr_argument (const typet &type)
void	string_abstraction (symbol_tablet &symbol_table, message_handlert &message_handler, goto_programt &dest)
void	string_abstraction (symbol_tablet &symbol_table, message_handlert &message_handler, goto_functionst &dest)

Detailed Description

String Abstraction.

Definition in file string_abstraction.cpp.

Function Documentation

is_ptr_argument()

static bool is_ptr_argument ( const typet &  type )

inlinestatic

Definition at line 62 of file string_abstraction.cpp.

References irept::id().

Referenced by string_abstractiont::abstract_function_call(), string_abstractiont::add_argument(), and string_abstractiont::build_symbol().

string_abstraction() [1/2]

void string_abstraction	(	symbol_tablet &	symbol_table,
		message_handlert &	message_handler,
		goto_programt &	dest
	)

Definition at line 67 of file string_abstraction.cpp.

References string_abstraction().

Referenced by goto_instrument_parse_optionst::instrument_goto_program(), cbmc_parse_optionst::process_goto_program(), and string_abstraction().

string_abstraction() [2/2]

void string_abstraction	(	symbol_tablet &	symbol_table,
		message_handlert &	message_handler,
		goto_functionst &	dest
	)

Definition at line 76 of file string_abstraction.cpp.

References string_abstraction().