Philip McGrath <phi...@philipmcgrath.com> skribis: > But, as the above paper says, this means that Chez's `call/cc`, > `dynamic-wind`, etc. are *unsafe* from the perspective of Racket's > control primitives. From the docs for Racket's `ffi/unsafe/vm` library [6]:
I think that’s the crux of the problem and widely recognized: ‘dynamic-wind’ and ‘call/cc’ should be avoided. This was also mentioned in the context of Rees’ 1996 “Security Kernel” paper¹. Ludo’. ¹ http://mumble.net/~jar/pubs/secureos/