value_set_dereference.cpp File Reference

Symbolic Execution of ANSI-C. More...

#include "value_set_dereference.h"
#include <util/arith_tools.h>
#include <util/array_name.h>
#include <util/base_type.h>
#include <util/byte_operators.h>
#include <util/c_types.h>
#include <util/config.h>
#include <util/cprover_prefix.h>
#include <util/format_type.h>
#include <util/fresh_symbol.h>
#include <util/guard.h>
#include <util/options.h>
#include <util/pointer_offset_size.h>
#include <util/pointer_predicates.h>
#include <util/simplify_expr.h>
#include <util/ssa_expr.h>

Include dependency graph for value_set_dereference.cpp:

Go to the source code of this file.

Functions
static bool	is_a_bv_type (const typet &type)

Detailed Description

Symbolic Execution of ANSI-C.

Definition in file value_set_dereference.cpp.

Function Documentation

is_a_bv_type()

static bool is_a_bv_type ( const typet &  type )

static

Definition at line 503 of file value_set_dereference.cpp.