.NET Core for Mac和Linux中的PEVerify等价物在哪里？

Question

在.Net Framework中，PEVerify确定.Net模块的IL代码是否符合类型安全要求。

.NET Core中的等效工具是什么产生相同类型的验证？