Programming enthusiast. Unapologetic enjoyer of Western civilization 🏳️🌈
Joined August 2019
- Tweets 805
- Following 110
- Followers 12
- Likes 35,516
30 Photos and videos
4 Nov 2025
Apparently, the safety guarantees of Fil-C are weaker than I thought. Out-of-bounds reads and writes are possible under certain conditions. Within one allocation, there are not guarantees at all.
x.com/unixpickle/status/1985…
3 Nov 2025
Here's a real example that truly does leak information to a user, even in Fil-C, due to a user-provided out-of-bounds offset.
If your "safe C" system doesn’t protect against "valid pointer bad offset," then it isn’t actually enforcing memory safety.
gist.github.com/unixpickle/4…
2
285