From d4530ff98dfcdf37347bac8fb2690acd9b1cbc64 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 21 Oct 2022 14:51:59 +0200 Subject: [PATCH] fix the parameter of a strncpy call --- src/mc/remote/AppSide.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"); -- 2.20.1