cprover
|
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/ssa_expr.h>
Go to the source code of this file.
Functions | |
static bool | is_a_bv_type (const typet &type) |
Symbolic Execution of ANSI-C.
Definition in file value_set_dereference.cpp.
|
static |
Definition at line 726 of file value_set_dereference.cpp.
References irept::id().
Referenced by value_set_dereferencet::memory_model(), and value_set_dereferencet::memory_model_bytes().