[plt-dev] certificates, #%module-begin, and typed-scheme's soundness

From: Carl Eastlund (carl.eastlund at gmail.com)
Date: Wed Dec 16 18:05:37 EST 2009

On Wed, Dec 16, 2009 at 5:19 PM, Sam TH <samth at ccs.neu.edu> wrote:
> The program at the end of this message behaves in arbitrary ways.  In
> particular, it segfaults on my system.  However, this should be safe:
> Typed Scheme is checking that only vectors are passed to `f'.  But the
> `cheater' macro uses `local-expand' to extract a reference to `f', and
> use it in arbitrary ways.

You provided 'f'.  Certificates do not protect identifiers that are
provided from the module that defines them.

--Carl


Posted on the dev mailing list.