Hi, I've heard about the development of a memory-safe C compiler that's perfectly compatible with standard C and C++ programs. It's called Fil-C and was developed by Filip Pizlo. I'd like your opinion on this project and whether it could be useful in an OpenBSD environment. It seems (though I don't have any definitive information yet) that they're trying to compile a Debian distribution with this compiler. I learned about this compiler because a very talented Italian developer who has also worked on security in the past, Salvatore Sanfilippo (founder of the Redis and hping projects and inventor of idle-scan), spoke highly of it in a recent YouTube video. He also went into the technical details of this compiler's memory management. I'm not asking whether this compiler will be ported, but just your opinion on it. That is, whether it could actually improve the security of many software without the need to switch to Rust. And whether it could improve the security of OpenBSD. Naturally, this compiler's collator effects degrade executable performance, but that doesn't concern us.
I fully realize this is a bit off-topic, but I think this could be a topic of interest. If you find this email excessively off-topic, please ignore it. Here are the links: https://fil-c.org/ https://github.com/pizlonator/fil-c https://www.youtube.com/@pizlonator Thanks so much for your opinions.
