f

usnistgov · May 14, 2024 · 4314501 · 4314501
1 parent 4bbdf85
commit 4314501
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/content/en/Info/BF Classes/_MEM/Model.md b/content/en/Info/BF Classes/_MEM/Model.md
@@ -32,9 +32,7 @@ If an object is owned by more than one pointer, MMN Reallocate (i.e., MAL Reallo
 
 ## BF Memory Safety
 
-The BF Memory (_MEM) Bugs Model addresses temporal memory safety by defining the proper flow of operations over the owner (pointer) or the object along the x-axis. It also addresses spatial memory safety via the operations that affect object boundaries along the y-axis. 
-
-The BF Memory Bugs Model captures temporal memory safety by defining the proper flow of operations over the owner (pointer) or the object along the x-axis. It also captures spatial memory safety via the operations that affect object boundaries along the y-axis. 
+The BF Memory (_MEM) Bugs Model captures temporal memory safety along the x-axis via the flow of operations over the owner (pointer) or the object. It also captures spatial memory safety along the y-axis via the operations that affect the object boundaries. 
 
 For example, a pointer must be initialized before it is used, repositioned after reallocation of its object, and reassigned after deallocation of its object. These correspond to Wild Pointer and  Dangling Pointer.