Re:Rust is not a good C replacement
by erk__ on Monday March 25, 2019 @06:39PM
(#19487406)
A study backed by microsoft recently released a version of C that can be statically checked https://github.com/Microsoft/checkedc
[ Parent
| on HN ]
Re:Rust is not a good C replacement
by steveklabnik on Monday March 25, 2019 @06:47PM
(#19487472)
That some stuff can be, of course:
> Static checking enforces the integrity of the bounds information and allows the eliding of some dynamic checking. Dynamic checking enforces the integrity of memory accesses at runtime when static checking cannot.