Added global string for dynamic-object prefix

Author: mariusmc92

src/cbmc/Makefile

@@ -19,6 +19,7 @@ OBJ += ../ansi-c/ansi-c$(LIBEXT) \
       ../pointer-analysis/add_failed_symbols$(OBJEXT) \
       ../pointer-analysis/rewrite_index$(OBJEXT) \
       ../pointer-analysis/goto_program_dereference$(OBJEXT) \
+      ../pointer-analysis/dynamic_object_name$(OBJEXT) \
       ../goto-instrument/full_slicer$(OBJEXT) \
       ../goto-instrument/nondet_static$(OBJEXT) \
       ../goto-instrument/cover$(OBJEXT) \

src/cegis/Makefile

@@ -100,6 +100,7 @@ OBJ += ../ansi-c/ansi-c$(LIBEXT) \
       ../pointer-analysis/add_failed_symbols$(OBJEXT) \
       ../pointer-analysis/rewrite_index$(OBJEXT) \
       ../pointer-analysis/goto_program_dereference$(OBJEXT) \
+      ../pointer-analysis/dynamic_object_name$(OBJEXT) \
       ../goto-instrument/full_slicer$(OBJEXT) \
       ../analyses/analyses$(LIBEXT) \
       ../langapi/langapi$(LIBEXT) \

src/pointer-analysis/Makefile

@@ -5,7 +5,9 @@ SRC = value_set.cpp goto_program_dereference.cpp value_set_analysis.cpp \
       value_set_analysis_fivr.cpp value_set_fivr.cpp value_set_domain_fivr.cpp \
       value_set_analysis_fivrns.cpp value_set_fivrns.cpp \
       value_set_domain_fivrns.cpp value_set_dereference.cpp \
-      dereference_callback.cpp
+      dereference_callback.cpp \
+      dynamic_object_name.cpp \
+      # No more source files 
 
 INCLUDES= -I ..
 

src/pointer-analysis/dynamic_object_name.cpp

@@ -0,0 +1,18 @@
+/*******************************************************************\
+
+Module: Dynamic object name
+
+Author: Marius-Constantin Melemciuc
+
+Date: April 2017
+
+@ Copyright Diffblue, Ltd.
+
+\*******************************************************************/
+
+#include "dynamic_object_name.h"
+
+// We use std::string concatenation regularly with this string
+// NOLINTNEXTLINE(runtime/string)
+const std::string prefix_dynamic_object="value_set::dynamic_object";
+

src/pointer-analysis/dynamic_object_name.h

@@ -17,6 +17,8 @@ Date: April 2017
 
 #include <util/std_expr.h>
 
+extern const std::string prefix_dynamic_object;
+
 /*******************************************************************\
 
 Function: get_dynamic_object_name