Let's Talk About .NET, Java, and Various File Formats!

Posts tagged ‘Type-Safe’

Verify .NET Assembly for Type-Safe Code

Some times, developers need to produce the CIL in such a way that it meets type safety requirements. This type-safe code can only be generated by avoiding certain language constructs. In order to make sure that the .NET assembly contains type-safe code, you need to verify the assembly. The assembly can be verified using PEVerify utility from Microsoft.

If you have installed Visual Studio on your computer, this utility (peverify.exe) will already be there. It provides various options, however the simplest way to verify the assembly is to use peverify.exe along with the assembly path/name.

It will take a while and show you the result. If the assembly contains type-safe code, the following message will be shown on the command window: All Classes and Methods in <assembly path/name> Verified.