X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot-interface.cc;h=fdabcf33549349acb203ac201608461aa25d049c;hb=b02e5f980b66f92801bc2e93db05940ac5ac7c5e;hp=5f8a68773eeba95fca07678ee73d6e39ace1c62d;hpb=923b6a3cc2e14f3bf6fc660d760abb5686b97914;p=model-checker.git

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 5f8a687..fdabcf3 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -85,10 +85,16 @@ static void SnapshotGlobalSegments()
 
 static void get_binary_name(char *buf, size_t len)
 {
-	if (readlink("/proc/self/exe", buf, len) == -1) {
+	ssize_t size = readlink("/proc/self/exe", buf, len);
+	if (size < 0) {
 		perror("readlink");
 		exit(EXIT_FAILURE);
 	}
+
+	/* Terminate string */
+	if ((size_t)size > len)
+		size = len;
+	buf[size] = '\0';
 }
 
 /** The SnapshotGlobalSegments function computes the memory regions