Our great sponsors
-
checkedc
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.
-
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.
As far as the language, you can have a language that has failsafes, but C isn't that language. You can extend C to be safer in regards to this stuff, then you might end up with something like Checked C. You could also make a new language that is designed from the beginning to deal with this stuff, then you end up with something like Rust.