Merge pull request diffblue#18 from diffblue/marek/rename_of_executable

Rename of executable providing summary-based taint analysis+slicing.

Author: smowton

src/.gitignore

@@ -6,5 +6,5 @@
 *.obj
 *.a
 *.lib
-driver/sec-driver
+driver/security-analyzer
 

src/driver/Makefile

@@ -24,9 +24,9 @@ LIBS =
 include ../../cbmc/src/config.inc
 include ../../cbmc/src/common
 
-CLEANFILES = sec-driver$(EXEEXT)
+CLEANFILES = security-analyzer$(EXEEXT)
 
-all: sec-driver$(EXEEXT)
+all: security-analyzer$(EXEEXT)
 
 ifneq ($(wildcard ../../cbmc/src/java_bytecode/Makefile),)
   OBJ += ../../cbmc/src/java_bytecode/java_bytecode$(LIBEXT)
@@ -51,11 +51,11 @@ endif
 
 ###############################################################################
 
-sec-driver$(EXEEXT): $(OBJ)
+security-analyzer$(EXEEXT): $(OBJ)
 	$(LINKBIN)
 
-.PHONY: sec-driver-mac-signed
+.PHONY: security-analyzer-mac-signed
 
-sec-driver-mac-signed: sec-driver$(EXEEXT)
-	strip sec-driver$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) sec-driver$(EXEEXT)
+security-analyzer-mac-signed: security-analyzer$(EXEEXT)
+	strip security-analyzer$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) security-analyzer$(EXEEXT)