[C-safe-secure-studygroup] Uninitialized Reads
Robert Seacord
rcseacord at gmail.com
Thu Sep 7 15:27:48 UTC 2017
Here is a link to a paper I wrote on uninitialized reads:
http://queue.acm.org/detail.cfm?id=3041020
Search for _Bool to find the part that was most directly related to our
discussion yesterday.
This was based in part on the work of some folks who still might be lurking
on this list:
5. Memarian, K., Sewell, P. 2016. Clarifying the C memory object model
(revised version of WG14 N2012). University of Cambridge;
http://www.cl.cam.ac.uk/~pes20/cerberus/notes64-wg14.html#clarifying-the-c-memory-object-model-uninitialised-values
.
6. Memarian, K., Sewell, P. 2015 (updated 2016). What is C in practice?
(Cerberus survey v2): analysis of responses (n2014) - with comments;
https://www.cl.cam.ac.uk/~pes20/cerberus/notes50-survey-discussion.html.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.trustable.io/pipermail/c-safe-secure-studygroup/attachments/20170907/84324a87/attachment.html>
More information about the C-safe-secure-studygroup
mailing list