[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