Symbolic Execution of ANSI-C. More...

#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/expr_initializer.h>
#include <util/expr_util.h>
#include <util/fresh_symbol.h>
#include <util/invariant_utils.h>
#include <util/pointer_offset_size.h>
#include <util/pointer_predicates.h>
#include <util/std_code.h>
#include <util/string_constant.h>
#include "goto_symex.h"
#include "path_storage.h"
#include "simplify_expr_with_value_set.h"

Include dependency graph for symex_builtin_functions.cpp:

Go to the source code of this file.

Functions
static std::optional< typet >	c_sizeof_type_rec (const exprt &expr)

static exprt	va_list_entry (const irep_idt &parameter, const pointer_typet &lhs_type, const namespacet &ns)
	Construct an entry for the var args array.

static irep_idt	get_string_argument_rec (const exprt &src)

static irep_idt	get_string_argument (const exprt &src, const value_sett &value_set, const irep_idt &language_mode, const namespacet &ns)

static std::optional< exprt >	get_va_args (const exprt::operandst &operands)
	Return an expression if `operands` fulfills all criteria that we expect of the expression to be a variable argument list.