reverse engineering of compiled lisp code
in [Lisp]
|
Prev: A Fateman paper
Next: Variables use.
From: Vassil Nikolov on 1 Nov 2009 11:23 On Sun, 1 Nov 2009 07:05:29 -0800 (PST), "\"(typep 'nil (statisfies 'identity))\"" <christophamort(a)yahoo.it> said: > ... > I was thinking nil does not satisfy the test of its own identity Hmmm, what do you mean by "a test of an object's own identity"? > ... > identity is a macro It's a function, not a macro, though. By the way, (SATISFIES IDENTITY) is type-equivalent to (NOT NULL) in Common Lisp. ---Vassil. -- "Even when the muse is posting on Usenet, Alexander Sergeevich?"
From: Pascal J. Bourguignon on 1 Nov 2009 11:59 Vassil Nikolov <vnikolov(a)pobox.com> writes: > On Sun, 1 Nov 2009 07:05:29 -0800 (PST), "\"(typep 'nil (statisfies 'identity))\"" <christophamort(a)yahoo.it> said: >> ... >> I was thinking nil does not satisfy the test of its own identity > > Hmmm, what do you mean by "a test of an object's own identity"? > >> ... >> identity is a macro > > It's a function, not a macro, though. > > By the way, (SATISFIES IDENTITY) is type-equivalent to (NOT NULL) in > Common Lisp. Perhaps the OP means ((lambda (x) (eq x (identity x))) 'nil) ? -- __Pascal Bourguignon__
From: Vassil Nikolov on 1 Nov 2009 18:00 On Sun, 01 Nov 2009 17:59:14 +0100, pjb(a)informatimago.com (Pascal J. Bourguignon) said: > Vassil Nikolov <vnikolov(a)pobox.com> writes: >> On Sun, 1 Nov 2009 07:05:29 -0800 (PST), "\"(typep 'nil (statisfies 'identity))\"" <christophamort(a)yahoo.it> said: >>> ... >>> I was thinking nil does not satisfy the test of its own identity >> >> Hmmm, what do you mean by "a test of an object's own identity"? >> ... > Perhaps the OP means ((lambda (x) (eq x (identity x))) 'nil) ? I hoped for an answer from the OP; perhaps something more interesting than that. ---Vassil. -- "Even when the muse is posting on Usenet, Alexander Sergeevich?"
From: budden on 3 Nov 2009 05:33
It looks like there is some threat as there is apropos, disassemble, trace, describe, type-of, inspect and other means of introspection. At least, users would be able to find out a call graph and package structure of your lisp program. I think it depends on optimizations though. I think it would be reasonable to remove introspection facilities from your image. |