String Abstraction. More...

#include "string_abstraction.h"
#include <algorithm>
#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/exception_utils.h>
#include <util/expr_util.h>
#include <util/pointer_predicates.h>
#include <util/type_eq.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)

void	string_abstraction (goto_modelt &goto_model, message_handlert &message_handler)

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 60 of file string_abstraction.cpp.

◆ string_abstraction() [1/3]

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

Definition at line 65 of file string_abstraction.cpp.

◆ string_abstraction() [2/3]

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

Definition at line 74 of file string_abstraction.cpp.

◆ string_abstraction() [3/3]

void string_abstraction	(	goto_modelt &	goto_model,
		message_handlert &	message_handler
	)