What is Type Safety Verification?Type safe code is one that accesses types only in allowable and proper ways. JIT performs a type safety verification which verifies that the code is type-safe and that all types were accessed using allowable ways only. Such code is called verifiably type-safe code. Security policies cannot be enforced properly on code that is not verifiably type-safe code.
|