PEVerify.exe

*.NET Framework Portable Executable Verifier.*

PEVerify.exe checks if an assembly contains verifiably type-safe code.