projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Annotation Support
[model-checker.git]
/
snapshot-interface.cc
diff --git
a/snapshot-interface.cc
b/snapshot-interface.cc
index 5f8a68773eeba95fca07678ee73d6e39ace1c62d..fdabcf33549349acb203ac201608461aa25d049c 100644
(file)
--- 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)
{
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);
}
perror("readlink");
exit(EXIT_FAILURE);
}
+
+ /* Terminate string */
+ if ((size_t)size > len)
+ size = len;
+ buf[size] = '\0';
}
/** The SnapshotGlobalSegments function computes the memory regions
}
/** The SnapshotGlobalSegments function computes the memory regions