Add Makefiles enabeling memory-analyzer and tests

Author: mmuesly

regression/memory-analyzer/Makefile

@@ -0,0 +1,21 @@
+default: clean tests.log
+
+clean:
+	find -name '*.exe' -execdir $(RM) '{}' \;
+	find -name '*.out' -execdir $(RM) '{}' \;
+	$(RM) tests.log
+
+test:
+	-@ln -s goto-cc ../../src/goto-cc/goto-gcc
+	@../test.pl -p -c ../compile_example.sh
+
+tests.log: ../test.pl
+	-@ln -s goto-cc ../../src/goto-cc/goto-gcc
+	@../test.pl -p -c ../compile_example.sh
+
+show:
+	@for dir in *; do \
+		if [ -d "$$dir" ]; then \
+			vim -o "$$dir/*.c" "$$dir/*.out"; \
+		fi; \
+	done;

src/CMakeLists.txt

@@ -91,6 +91,7 @@ add_subdirectory(jsil)
 add_subdirectory(json)
 add_subdirectory(langapi)
 add_subdirectory(linking)
+add_subdirectory(memory-analyzer)
 add_subdirectory(memory-models)
 add_subdirectory(pointer-analysis)
 add_subdirectory(solvers)

src/Makefile

@@ -15,6 +15,7 @@ DIRS = analyses \
        json \
        langapi \
        linking \
+       memory-analyzer \
        memory-models \
        pointer-analysis \
        solvers \
@@ -27,6 +28,7 @@ all: cbmc.dir \
      goto-cc.dir \
      goto-diff.dir \
      goto-instrument.dir \
+     memory-analyzer.dir \
      # Empty last line
 
 ###############################################################################
@@ -64,6 +66,8 @@ goto-diff.dir: languages goto-programs.dir pointer-analysis.dir \
 
 goto-cc.dir: languages pointer-analysis.dir goto-programs.dir linking.dir
 
+memory-analyzer.dir: util.dir goto-programs.dir
+
 # building for a particular directory
 
 $(patsubst %, %.dir, $(DIRS)):

src/memory-analyzer/Makefile

@@ -0,0 +1,37 @@
+SRC = analyze_symbol.cpp\
+			gdb_api.cpp \
+			memory_analyzer_main.cpp \
+			memory_analyzer_parse_options.cpp
+      # Empty last line
+
+INCLUDES= -I ..
+
+LIBS = \
+	../ansi-c/ansi-c.a \
+	../goto-programs/goto-programs.a \
+	../linking/linking.a \
+	../util/util.a \
+	../big-int/big-int.a \
+	../langapi/langapi.a
+	
+	
+
+CLEANFILES = memory-analyzer$(EXEEXT) 
+
+include ../config.inc
+include ../common
+
+all: memory-analyzer$(EXEEXT)
+
+
+
+###############################################################################
+
+memory-analyzer$(EXEEXT): $(OBJ)
+	$(LINKBIN)
+
+
+.PHONY: memory-analyser-mac-signed
+
+memory-analyser-mac-signed: memory-analyzer$(EXEEXT)
+	codesign -v -s $(OSX_IDENTITY) memory-analyzer$(EXEEXT)

src/memory-analyzer/module_dependencies.txt

@@ -0,0 +1,3 @@
+ansi-c
+goto-programs
+util

unit/Makefile

@@ -17,6 +17,7 @@ SRC += unit_tests.cpp \
        analyses/does_remove_const/is_type_at_least_as_const_as.cpp \
        goto-programs/goto_trace_output.cpp \
        path_strategies.cpp \
+       memory-analyzer/gdb_api.cpp \
        solvers/floatbv/float_utils.cpp \
        solvers/refinement/array_pool/array_pool.cpp \
        solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp \
@@ -97,7 +98,8 @@ TESTS = unit_tests$(EXEEXT) \
         miniBDD$(EXEEXT) \
         # Empty last line
 
-CLEANFILES = $(TESTS)
+CLEANFILES = $(TESTS)\
+        #Empty last line
 
 all: cprover.dir testing-utils.dir
 	$(MAKE) $(MAKEARGS) $(TESTS)

unit/memory-analyzer/module_dependencies.txt

@@ -0,0 +1,2 @@
+memory-analyzer
+testing-utils

unit/module_dependencies.txt

@@ -5,6 +5,7 @@ goto-programs
 goto-symex
 json
 langapi # should go away
+memory-analyzer
 solvers/flattening
 solvers/floatbv
 solvers/miniBDD