use after free
Using memory after it has been given back.
Use after free is reading or writing memory that has been deallocated; its behavior is undefined.
Examples
After
drop(s);, any later use ofsis rejected at compile time with E0382, so the freed buffer can't be read.