3 ms·
> The next major advance to be completely ignored by standards committees will be the 100% memory safe C/C++ compiler, which is also implemented and works amazi
by account42 1y ago
> The next major advance to be completely ignored by standards committees will be the 100% memory safe C/C++ compiler, which is also implemented and works amazingly well: https://github.com/pizlonator/fil-c https://github.com/pizlonator/fil-c
> It's not even possible to link to unsafe code.
This makes it rather theoretical.
- StilesCrisis 1y agoYou’d be surprised! “Lots of software packages work in Fil-C with zero or minimal changes, including big ones like openssl, CPython, SQLite, and many others.” It wraps all of the typical API surface used by Linux code. I’m told it has found real bugs in well-known packages as well, as it will trap on unsafe but otherwise benign accesses (like reading past one the end of a stack buffer).