From 4f29706128f3d3a66f0503d07c4960d4021aaf27 Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Tue, 11 Jun 2024 13:44:21 -0400 Subject: support watching for dangerous parameter access --- src/string/memmove.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/string/memmove.c') diff --git a/src/string/memmove.c b/src/string/memmove.c index 5d6dd3e0..5a6fdc97 100644 --- a/src/string/memmove.c +++ b/src/string/memmove.c @@ -8,6 +8,8 @@ void * memmove(void *s1, const void *s2, size_t n) SIGNAL_SAFE(0); ASSERT_NONNULL(s1); ASSERT_NONNULL(s2); + DANGEROUS_READ(s2, n); + DANGEROUS_WRITE(s1, n); if (s1 < s2) { for (size_t i = 0; i < n; i++) { @@ -22,6 +24,8 @@ void * memmove(void *s1, const void *s2, size_t n) ((char*)s1)[n] = ((char*)s2)[n]; } + DANGER_OVER(); + /* RETURN_ALWAYS(ARGUMENT(s1)); */ -- cgit v1.2.1