[cap-talk] Midori in The Register

[Dean Tribble]

> So far as I know, managed code refers to code that is
>
>  (a) type safe (and therefore memory safe)
>  (b) runs in a garbage-collected environment.
>
> I am not aware that any guarantee stronger than these exists. Have I
> missed something?

That's consistent with my understanding.  "Unsafe managed code" is
similar, but with explicit regions that may violate "a" above (and
therefore won't pass the verifier).  Code in an unsafe block may do
things that might break the memory or type model (e.g., pointer
mucking).  In some sense, that means it is just "b" above, but the
unsafe code is effectively part of implementing the managed
environment that provides both.