Fil-C: Memory-Safe and Compatible C/C++ with No Unsafe Escape Hatches

  • From Fil Pizlo (http://www.filpizlo.com/), major contributor to WebKit's JavaScript engine, among other things:

    > Fil-C is already powerful enough to run a memory-safe curl and a memory-safe OpenSSH (both client and server) on top of a memory-safe OpenSSL, memory-safe zlib, memory-safe pcre (which required no changes), memory-safe CPython (which required some changes and even found a bug), memory-safe SQLite, memory-safe libcxx and libcxxabi, and memory-safe musl (Fil-C's current libc).

  • Kudos for effort but some dealbreakers here. Hope it makes more progress.

       Currently about 10x slower than standard C (ranging from 3x to 20x)
       Only works on Linux/X86_64