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"Go to the source code of this file.
Symex Shadow Memory Instrumentation.
Definition in file shadow_memory.cpp.
