Fil-C: Garbage In, Memory Safety Out

13 points by kristoff


trousers

I previously saw Filip give a talk about fil-c on wookash podcast, but there were other folks talking and interrupting a bit, which made it a little harder to follow.
I found this presentation to be very clear and understandable. Great talk!

katomyomachia

The definition of "memory safety" that he uses here is at least worth bookmarking:

"In a memory-safe programming language, memory logic bugs don't give the attacker control over all of memory."

It's far from what I would probably start talking about if a friend asked me what memory safety means, but then it's insightful the more I think about it. This is one of those terms/concepts that are difficult to pin down, anyway.