Re:Linux Kernel Use-After-Free Remote Code Execution Vulnera...
by progman on Wednesday October 05, 2016 @11:24AM
(#12644621)
Indeed. That's what Nim and Rust (for instance) can do to ease porting to other platforms. Even safety critical applications can be written in C by using tools like FramaC.
https://frama-c.com