Fix the dynamic flavor scope for allocate-or-change-rw-memory.yml (ma…

…ndiant#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`
MBCProject · Dec 11, 2023 · d19f712 · d19f712
1 parent 722a257
commit d19f712
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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
@@ -6,7 +6,7 @@ rule:
     lib: true
     scopes:
       static: basic block
-      dynamic: thread
+      dynamic: call
     mbc:
       - Memory::Change Memory Protection [C0008]
     examples: