Symex Shadow Memory Instrumentation. More...

#include "shadow_memory.h"
#include <util/bitvector_types.h>
#include <util/expr_initializer.h>
#include <util/format_expr.h>
#include <util/format_type.h>
#include <util/fresh_symbol.h>
#include <util/pointer_expr.h>
#include <util/string_constant.h>
#include <langapi/language_util.h>
#include <linking/static_lifetime_init.h>
#include "goto_symex_state.h"
#include "shadow_memory_util.h"

Include dependency graph for shadow_memory.cpp:

Go to the source code of this file.

Detailed Description

Symex Shadow Memory Instrumentation.

Definition in file shadow_memory.cpp.