Our great sponsors
-
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Because if you couldn't prevent creation of pointers from the thin air (e.g. by sending them to remove server and then pulling them from said server) then you can not prove anything of that sort and if you limit such operations then you are starting journey on the road to Rust or Wuffs!
That means that if you are serious about these issues then you need to switch to a different language (currently this means Ada+SPARK or Rust, I think, maybe there are some other languages that I don't know) and if you have already decided to do that then what's the point of complaining about C compilers?
Yet development is carried via consensus between developers and users, there are places where users come to discuss thinks and ask questsion, there are place where resolutions are described in a POSITA-understandable terms and so on.
Without developers of the compilers all others groups are pretty much irrelevant. There were lots of people who were telling that Python3 is abomination and some even attempted to fork it but fork haven't caught enough interest thus Python2 is, for all intends and purposes, dead.
Yes, unlike clang/gcc is includes similar tool to Rust's Miri which helps you to find and eliminate UBs.