C-rusted: The advantages of Rust, in C, without the disadvantages

Article note: Interesting. The premise that you can get your Rust-y static analysis features out of something that will pass through a standards compliant C compiler with pain comparable to actually writing rust is pretty compelling, especially for portability and gradual-improvement reasons. ... On the other hand, it appears to depend on BUGSENG's proprietary ECLAIR Software Verification Platform, which seems to be priced in the "If you have to ask, you can't afford it" range, and requires annotation that make's Rust's slightly obstinate features look convenient.