Skip to content

Commit

Permalink
a
Browse files Browse the repository at this point in the history
  • Loading branch information
ibojanova committed May 14, 2024
1 parent 4314501 commit db4cfc6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion content/en/Info/BF Classes/_MEM/Model.md
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +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 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.
The BF Memory (_MEM) Bugs Model addresses temporal memory safety along the x-axis via the flow of operations over the owner (pointer) or the object. It also addresses 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.

Expand Down

0 comments on commit db4cfc6

Please sign in to comment.