Learning objectives
What you should understand
- Construct an execution where A changes and returns
- Explain why comparison alone misses intervening state
- Choose tagged, protected or redesigned solutions
Lab
Hands-on exercise
Reproduce ABA in a controlled freelist simulation.
Deliverable
Evidence of completion
An event timeline and evaluation of two mitigations.
- Prerequisite
- EP 64