[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Date: Sun, 9 Sep 2018 08:22:44 -0400
From: Sandy Harris <sandyinchina@...il.com>
To: kernel-hardening@...ts.openwall.com
Subject: Checked C?
Slashdot reports that Microsoft have come up with something they call
"checked C". It claims to prevent a wide variety of memory & pointer
bugs, using a mix of compile-time and run-time checks, at moderate
overheads.
Implementation is as extensions to Clang so it might be hard to apply
to the kernel which I think has some GNU-isms. Perhaps still worth a
look?
Paper describing it is at:
https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/
Code is at:
https://github.com/Microsoft/checkedc
Powered by blists - more mailing lists
Confused about mailing lists and their use?
Read about mailing lists on Wikipedia
and check out these
guidelines on proper formatting of your messages.
