[110642] in cryptography@c2.net mail archive
Re: More on in-memory zeroisation
daemon@ATHENA.MIT.EDU (Leichter, Jerry)
Thu Dec 13 14:04:56 2007
Date: Wed, 12 Dec 2007 16:43:33 -0500 (EST)
From: "Leichter, Jerry" <leichter_jerrold@emc.com>
To: Thierry Moreau <thierry.moreau@connotech.com>
cc: Peter Gutmann <pgut001@cs.auckland.ac.nz>, cryptography@metzdowd.com
In-Reply-To: <4760519B.80304@connotech.com>
On Wed, 12 Dec 2007, Thierry Moreau wrote:
| Date: Wed, 12 Dec 2007 16:24:43 -0500
| From: Thierry Moreau <thierry.moreau@connotech.com>
| To: "Leichter, Jerry" <leichter_jerrold@emc.com>
| Cc: Peter Gutmann <pgut001@cs.auckland.ac.nz>, cryptography@metzdowd.com
| Subject: Re: More on in-memory zeroisation
|
| /************ testf.c ************/
| #include <stdio.h>
| #include <string.h>
|
| typedef void *(*fpt_t)(void *, int, size_t);
|
| void f(fpt_t arg)
| {
| if (memset==arg)
| printf("Hello world!\n");
| }
|
| /************ test.c ************/
| #include <stdlib.h>
| #include <string.h>
|
| typedef void *(*fpt_t)(void *, int, size_t);
|
| extern void f(fpt_t arg);
|
| int main(int argc, char *argv[])
| {
| f(memset);
| return EXIT_SUCCESS;
| }
|
| /* I don't want to argue too theoretically.
|
| - Thierry Moreau */
I'm not sure what you are trying to prove here. Yes, I believe that
in most implementations, this will print "Hello world\n". Is it,
however, a strictly conforming program (I think that's the right
standardese) - i.e., are the results guaranteed to be the same on
all conforming implementations? I think you'll find it difficult
to prove that.
BTW, it *might* not even be true in practice if you build your program
as multiple shared libraries!
-- Jerry
---------------------------------------------------------------------
The Cryptography Mailing List
Unsubscribe by sending "unsubscribe cryptography" to majordomo@metzdowd.com
