cprover
|
#include "bv_pointers.h"
#include <util/arith_tools.h>
#include <util/bitvector_expr.h>
#include <util/c_types.h>
#include <util/config.h>
#include <util/exception_utils.h>
#include <util/pointer_expr.h>
#include <util/pointer_offset_size.h>
#include <util/pointer_predicates.h>
Go to the source code of this file.
Classes | |
class | bv_endianness_mapt |
Map bytes according to the configured endianness. More... | |
Functions | |
static bool | is_pointer_subtraction (const exprt &expr) |
static std::string | bits_to_string (const propt &prop, const bvt &bv) |
Definition at line 713 of file bv_pointers.cpp.
|
static |
Definition at line 541 of file bv_pointers.cpp.