Fil-C verspricht Speichersicherheit für C und C++ – ohne Umschreiben

Fil-C: Garbage In, Memory Safety Out [video]

In diesem Vortrag von der SSW 2026 stellt Filip Pizlo Fil-C vor, eine Implementierung von C und C++, die Speichersicherheit auf dem Niveau sicherer Sprachen wie Rust erreichen soll. Er erläutert die Funktionsweise des Compilers und der Laufzeitumgebung sowie die Portierung bestehender Software. Das Ziel: Die gängige Annahme widerlegen, dass C und C++ grundsätzlich unsicher sind, und eine Alternative zum vollständigen Neuschreiben von Code bieten.