io.cpp File Reference

#include <cassert>
#include <cctype>
#include <climits>
#include <goto-symex/engine/goto_symex.h>
#include <goto-symex/trace/printf_formatter.h>
#include <string>
#include <util/arith/arith_tools.h>
#include <util/lang/c_types.h>
#include <util/expr/expr_util.h>
#include <irep2/irep2.h>
#include <util/message/message.h>
#include <util/irep/migrate.h>
#include <util/irep/std_types.h>
#include <vector>
#include <algorithm>
#include <functional>
#include <util/expr/array2string.h>

Include dependency graph for io.cpp:

Functions
static bool	is_literal_string_start (const expr2tc &e)
static size_t	printf_args_end (const code_printf2t &call)
static expr2tc	digits_length (expr2tc v, unsigned base, size_t &max_len)
static expr2tc	integer_length (const expr2tc &v, char conv, const std::string &mod, size_t &max_len)
static bool	parse_field_width (const std::string &f, size_t &i, size_t &width)
static expr2tc	pad_to_width (const expr2tc &len, size_t width, size_t max_before, size_t &max_len)
static std::vector< bool >	scanf_conversions (const std::string &fmt)

Variables
static const size_t	max_stored_output = 1024

Function Documentation

digits_length()

expr2tc digits_length ( expr2tc v, unsigned base, size_t & max_len )

static

integer_length()

expr2tc integer_length ( const expr2tc & v, char conv, const std::string & mod, size_t & max_len )

static

is_literal_string_start()

bool is_literal_string_start ( const expr2tc & e )

static

pad_to_width()

expr2tc pad_to_width ( const expr2tc & len, size_t width, size_t max_before, size_t & max_len )

static

parse_field_width()

bool parse_field_width ( const std::string & f, size_t & i, size_t & width )

static

printf_args_end()

size_t printf_args_end ( const code_printf2t & call )

static

scanf_conversions()

std::vector< bool > scanf_conversions ( const std::string & fmt )

static

Variable Documentation

max_stored_output

const size_t max_stored_output = 1024

static