From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 21 Oct 2022 12:51:59 +0000 (+0200)
Subject: fix the parameter of a strncpy call
X-Git-Tag: v3.34~765
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d4530ff98dfcdf37347bac8fb2690acd9b1cbc64

fix the parameter of a strncpy call
---

diff --git a/src/mc/remote/AppSide.cpp b/src/mc/remote/AppSide.cpp
index cd8412e686..36f2b8d200 100644
--- a/src/mc/remote/AppSide.cpp
+++ b/src/mc/remote/AppSide.cpp
@@ -289,7 +289,7 @@ void AppSide::declare_symbol(const char* name, int* value) const
   memset(&message, 0, sizeof(message));
   message.type = MessageType::REGISTER_SYMBOL;
   xbt_assert(strlen(name) + 1 <= message.name.size(), "Symbol is too long");
-  strncpy(message.name.data(), name, message.name.size());
+  strncpy(message.name.data(), name, message.name.size() - 1);
   message.callback = nullptr;
   message.data     = value;
   xbt_assert(channel_.send(message) == 0, "Could send REGISTER_SYMBOL message to model-checker");