4 ms·
A study backed by microsoft recently released a version of C that can be statically checked https://github.com/Microsoft/checkedc https://github.com/Microsoft/c
by erk__ 8y ago
A study backed by microsoft recently released a version of C that can be statically checked https://github.com/Microsoft/checkedc https://github.com/Microsoft/checkedc
- steveklabnik 8y agoThat 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.