Some Were Meant For C [pdf]

• ikos

  14 1,989 7.5 C++

  Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  

Wat

The types of analysis and programming practices used to send stuff to Mars is beyond what Rust, or D, or any other safer-systems-language tries to do. It's not that simple.

These types of projects effectively need to prove the absence of bugs using formal verification and very extensive testing. Surprise surprise, C makes it extremely expensive and theoretically difficult too.

For example: NASA wrote this project https://github.com/NASA-SW-VnV/ikos which uses abstract interpretation and would catch bugs in practically any language.

• IntegerAbsoluteDifferenceCpp

  1 0 0.0 C++

  Computing the difference between two integer values in C++. Turns out this isn't trivial.

See also [0].

> I don't like exceptions very much either because control flow gets more complicated. Trapping like Swift does is fine, though.

I agree it introduces action at a distance flow-control. I'm afraid I don't know Swift.

[0] https://stackoverflow.com/q/59307930/

Vaguely related fun: https://github.com/MaxBarraclough/IntegerAbsoluteDifferenceC...

• InfluxDB

  www.influxdata.com featured

  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.

  

Suggest a related project