++ Fil-C — это фанатично совместимая безопасная для работы с памятью реализация языков C и C++. Множество программ компилируются и запускаются на Fil-C с нулевыми или минимальными изменениями. Все ошибки, связанные с безопасностью работы с памятью, выявляются как ошибки Fil-C. Достигается это с помощью сочетания параллельной сборки мусора и невидимых возможностей (InvisiCaps). В Fil-C нет оператора unsafe и поддерживается только ограниченный FFI для небезопасного кода. Под капотом свежий clang 20.1.8, так что make, cmake и meson работают привычно. Ребята уже собрали CPython, OpenSSH, GNU Emacs и даже Wayland. При этом потоки, исключения, сигналы, longjmp/setjmp, разделяемая память и встроенный ассемблер (inline assembly) остаются под защитой. На сайте проекта можно скачать релиз 0.679. Я бы не стал мигрировать прод завтра, но следить за проектом точно стоит. #c #cpp
Fil-C запускает OpenSSH, Emacs и Wayland в память-безопасном C и C
2 дня назад2 дня назад
3
~1 мин