Typesafe--Code that accesses only the memory locations it is authorized to access, and only in well-defined, allowable ways. ... The
C# and VB.NET language compilers always produce
typesafe code, which is verified to be
typesafe during JIT-compilation. The PEVerify tool can also be used to verify if code is
typesafe.
read more >>