From d19f7122ac8e5aa7edc768030cf41edccef63327 Mon Sep 17 00:00:00 2001
From: Yacine <16624109+yelhamer@users.noreply.github.com>
Date: Mon, 11 Dec 2023 17:06:39 +0100
Subject: [PATCH] Fix the dynamic flavor scope for
 allocate-or-change-rw-memory.yml (#860)

* lib/allocate-or-change-rw-memory.yml: set `meta.scopes.dynamic` to `call` in order to enforce the rule's call locality

* lib/change-memory-protection.yml: set `meta.scopes.dynamic` to `call`

* lib/allocate-memory.yml: set `meta.scopes.dynamic` to `call`
---
 lib/allocate-memory.yml              | 2 +-
 lib/allocate-or-change-rw-memory.yml | 2 +-
 lib/change-memory-protection.yml     | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/allocate-memory.yml b/lib/allocate-memory.yml
index def1265d..d19d5d6e 100644
--- a/lib/allocate-memory.yml
+++ b/lib/allocate-memory.yml
@@ -7,7 +7,7 @@ rule:
     lib: true
     scopes:
       static: basic block
-      dynamic: thread
+      dynamic: call
     mbc:
       - Memory::Allocate Memory [C0007]
     examples:
diff --git a/lib/allocate-or-change-rw-memory.yml b/lib/allocate-or-change-rw-memory.yml
index 4d2b2d06..1af81742 100644
--- a/lib/allocate-or-change-rw-memory.yml
+++ b/lib/allocate-or-change-rw-memory.yml
@@ -7,7 +7,7 @@ rule:
     lib: true
     scopes:
       static: basic block
-      dynamic: thread
+      dynamic: call
     mbc:
       - Memory::Allocate Memory [C0007]
     examples:
diff --git a/lib/change-memory-protection.yml b/lib/change-memory-protection.yml
index 229fd754..5ca046c8 100644
--- a/lib/change-memory-protection.yml
+++ b/lib/change-memory-protection.yml
@@ -6,7 +6,7 @@ rule:
     lib: true
     scopes:
       static: basic block
-      dynamic: thread
+      dynamic: call
     mbc:
       - Memory::Change Memory Protection [C0008]
     examples: