yosh on Nostr: Saving computer folks a search as to what some C/C++/Google folks mean by certain ...
Saving computer folks a search as to what some C/C++/Google folks mean by certain terms:
- “temporal safety”: no use after free / double free
- “spatial safety “: no out of bounds accesses
I had to look these up, because honestly: these are pretty confusing terms. I wish they would at least qualify these as: “{temporal,spatial} memory safety”.
There are a lot more non-memory related uses of the word “temporal” when it comes to safety. (e.g. Temporal Logic of Actions - TLA, etc.)
- “temporal safety”: no use after free / double free
- “spatial safety “: no out of bounds accesses
I had to look these up, because honestly: these are pretty confusing terms. I wish they would at least qualify these as: “{temporal,spatial} memory safety”.
There are a lot more non-memory related uses of the word “temporal” when it comes to safety. (e.g. Temporal Logic of Actions - TLA, etc.)