第17页 IL and Verification

In my opinion, the biggest benefit of IL isn’t that it abstracts away the underlying CPU. The biggest benefit IL provides is application robustness and security. 
中间语言（IL）的最大益处是为应用提供稳定性和安全性。

While compiling IL into native CPU instructions, the CLR performs a process called verification. Verification examines the high-level IL code and ensures that everything the code does is safe.
将IL编译成本地CPU指令时，CLR会生成一个叫验证的进程，验证进程会检查高级中间语言代码，并确保代码所做的事情是安全的。

比如：参数数量，类型正确，是否有返回值等等。

The managed module’s metadata includes all of the method and type information used by the verification process.
验证进程使用托管模块中包括方法，类型信息的元数据块。